2014-02-10 08:36:31 -06:00
|
|
|
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
2012-12-03 18:48:01 -06:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
2014-07-18 07:45:17 -05:00
|
|
|
#![allow(non_camel_case_types, non_snake_case)]
|
2014-02-10 08:36:31 -06:00
|
|
|
|
2013-05-17 17:28:44 -05:00
|
|
|
//! Code that is useful in various trans modules.
|
2013-01-07 16:16:52 -06:00
|
|
|
|
2014-11-15 19:30:33 -06:00
|
|
|
use session::Session;
|
2014-07-07 19:58:01 -05:00
|
|
|
use llvm;
|
2016-12-16 19:48:25 -06:00
|
|
|
use llvm::{ValueRef, BasicBlockRef, ContextRef, TypeKind};
|
2016-12-18 17:06:41 -06:00
|
|
|
use llvm::{True, False, Bool, OperandBundleDef};
|
2016-03-29 04:54:26 -05:00
|
|
|
use rustc::hir::def::Def;
|
|
|
|
use rustc::hir::def_id::DefId;
|
2016-11-16 04:27:43 -06:00
|
|
|
use rustc::hir::map::DefPathData;
|
2016-05-05 23:47:28 -05:00
|
|
|
use rustc::util::common::MemoizationMap;
|
2013-07-15 22:42:13 -05:00
|
|
|
use middle::lang_items::LangItem;
|
2016-03-22 12:23:36 -05:00
|
|
|
use base;
|
|
|
|
use builder::Builder;
|
|
|
|
use consts;
|
|
|
|
use declare;
|
|
|
|
use machine;
|
|
|
|
use monomorphize;
|
|
|
|
use type_::Type;
|
|
|
|
use value::Value;
|
2016-03-22 10:30:57 -05:00
|
|
|
use rustc::ty::{self, Ty, TyCtxt};
|
2016-05-25 03:55:44 -05:00
|
|
|
use rustc::ty::layout::Layout;
|
2016-06-30 13:22:47 -05:00
|
|
|
use rustc::traits::{self, SelectionContext, Reveal};
|
2016-03-29 00:50:44 -05:00
|
|
|
use rustc::hir;
|
2012-12-23 16:41:37 -06:00
|
|
|
|
2014-10-14 15:36:11 -05:00
|
|
|
use libc::{c_uint, c_char};
|
2016-11-09 15:09:28 -06:00
|
|
|
use std::borrow::Cow;
|
|
|
|
use std::iter;
|
2016-02-01 04:04:49 -06:00
|
|
|
use std::ops::Deref;
|
2014-11-25 15:28:35 -06:00
|
|
|
use std::ffi::CString;
|
2016-02-23 13:57:22 -06:00
|
|
|
|
2014-02-13 23:07:09 -06:00
|
|
|
use syntax::ast;
|
2016-11-16 02:21:52 -06:00
|
|
|
use syntax::symbol::{Symbol, InternedString};
|
2016-12-18 12:50:07 -06:00
|
|
|
use syntax_pos::Span;
|
2011-07-14 19:08:22 -05:00
|
|
|
|
2016-08-22 19:56:52 -05:00
|
|
|
use rustc_i128::u128;
|
|
|
|
|
2016-05-05 23:47:28 -05:00
|
|
|
pub use context::{CrateContext, SharedCrateContext};
|
2013-06-12 21:02:33 -05:00
|
|
|
|
2016-12-18 12:50:07 -06:00
|
|
|
pub fn type_is_fat_ptr<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, ty: Ty<'tcx>) -> bool {
|
2015-01-08 06:14:07 -06:00
|
|
|
match ty.sty {
|
2015-07-10 20:27:06 -05:00
|
|
|
ty::TyRawPtr(ty::TypeAndMut{ty, ..}) |
|
|
|
|
ty::TyRef(_, ty::TypeAndMut{ty, ..}) |
|
2015-06-11 18:21:46 -05:00
|
|
|
ty::TyBox(ty) => {
|
2016-12-18 12:50:07 -06:00
|
|
|
!ccx.shared().type_is_sized(ty)
|
2015-01-08 06:14:07 -06:00
|
|
|
}
|
|
|
|
_ => {
|
|
|
|
false
|
|
|
|
}
|
2015-01-06 17:22:24 -06:00
|
|
|
}
|
|
|
|
}
|
2014-12-18 08:26:10 -06:00
|
|
|
|
2014-09-29 14:11:30 -05:00
|
|
|
pub fn type_is_immediate<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, ty: Ty<'tcx>) -> bool {
|
2016-03-22 12:23:36 -05:00
|
|
|
use machine::llsize_of_alloc;
|
|
|
|
use type_of::sizing_type_of;
|
2015-01-08 06:14:07 -06:00
|
|
|
|
2015-06-24 00:24:13 -05:00
|
|
|
let simple = ty.is_scalar() ||
|
|
|
|
ty.is_unique() || ty.is_region_ptr() ||
|
2015-08-06 10:25:15 -05:00
|
|
|
ty.is_simd();
|
2016-12-18 12:50:07 -06:00
|
|
|
if simple && !type_is_fat_ptr(ccx, ty) {
|
2015-01-08 06:14:07 -06:00
|
|
|
return true;
|
|
|
|
}
|
2016-12-18 12:50:07 -06:00
|
|
|
if !ccx.shared().type_is_sized(ty) {
|
2015-01-08 06:14:07 -06:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
match ty.sty {
|
2016-09-05 17:26:02 -05:00
|
|
|
ty::TyAdt(..) | ty::TyTuple(..) | ty::TyArray(..) | ty::TyClosure(..) => {
|
2015-01-08 06:14:07 -06:00
|
|
|
let llty = sizing_type_of(ccx, ty);
|
|
|
|
llsize_of_alloc(ccx, llty) <= llsize_of_alloc(ccx, ccx.int_type())
|
|
|
|
}
|
|
|
|
_ => type_is_zero_size(ccx, ty)
|
make small (<= size_of::<int>()) tuples immediate
fn foo() -> (u32, u8, u8, u8, u8) {
(4, 5, 6, 7, 8)
}
Before:
; Function Attrs: nounwind uwtable
define void @_ZN3foo18hbb616262f874f8daf4v0.0E({ i32, i8, i8, i8, i8 }* noalias nocapture sret, { i64, %tydesc*, i8*, i8*, i8 }* nocapture readnone) #0 {
"function top level":
%2 = getelementptr inbounds { i32, i8, i8, i8, i8 }* %0, i64 0, i32 0
store i32 4, i32* %2, align 4
%3 = getelementptr inbounds { i32, i8, i8, i8, i8 }* %0, i64 0, i32 1
store i8 5, i8* %3, align 4
%4 = getelementptr inbounds { i32, i8, i8, i8, i8 }* %0, i64 0, i32 2
store i8 6, i8* %4, align 1
%5 = getelementptr inbounds { i32, i8, i8, i8, i8 }* %0, i64 0, i32 3
store i8 7, i8* %5, align 2
%6 = getelementptr inbounds { i32, i8, i8, i8, i8 }* %0, i64 0, i32 4
store i8 8, i8* %6, align 1
ret void
}
After:
; Function Attrs: nounwind readnone uwtable
define { i32, i8, i8, i8, i8 } @_ZN3foo18hbb616262f874f8daf4v0.0E({ i64, %tydesc*, i8*, i8*, i8 }* nocapture readnone) #0 {
"function top level":
ret { i32, i8, i8, i8, i8 } { i32 4, i8 5, i8 6, i8 7, i8 8 }
}
2013-09-30 17:29:42 -05:00
|
|
|
}
|
2013-09-30 16:45:53 -05:00
|
|
|
}
|
|
|
|
|
2016-05-25 03:55:44 -05:00
|
|
|
/// Returns Some([a, b]) if the type has a pair of fields with types a and b.
|
|
|
|
pub fn type_pair_fields<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, ty: Ty<'tcx>)
|
|
|
|
-> Option<[Ty<'tcx>; 2]> {
|
|
|
|
match ty.sty {
|
2016-09-05 17:26:02 -05:00
|
|
|
ty::TyAdt(adt, substs) => {
|
2016-05-25 03:55:44 -05:00
|
|
|
assert_eq!(adt.variants.len(), 1);
|
|
|
|
let fields = &adt.variants[0].fields;
|
|
|
|
if fields.len() != 2 {
|
|
|
|
return None;
|
|
|
|
}
|
|
|
|
Some([monomorphize::field_ty(ccx.tcx(), substs, &fields[0]),
|
|
|
|
monomorphize::field_ty(ccx.tcx(), substs, &fields[1])])
|
|
|
|
}
|
2016-11-03 15:19:33 -05:00
|
|
|
ty::TyClosure(def_id, substs) => {
|
|
|
|
let mut tys = substs.upvar_tys(def_id, ccx.tcx());
|
|
|
|
tys.next().and_then(|first_ty| tys.next().and_then(|second_ty| {
|
|
|
|
if tys.next().is_some() {
|
|
|
|
None
|
|
|
|
} else {
|
|
|
|
Some([first_ty, second_ty])
|
|
|
|
}
|
|
|
|
}))
|
|
|
|
}
|
2016-05-25 03:55:44 -05:00
|
|
|
ty::TyTuple(tys) => {
|
|
|
|
if tys.len() != 2 {
|
|
|
|
return None;
|
|
|
|
}
|
2016-10-13 11:15:50 -05:00
|
|
|
Some([tys[0], tys[1]])
|
2016-05-25 03:55:44 -05:00
|
|
|
}
|
|
|
|
_ => None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
/// Returns true if the type is represented as a pair of immediates.
|
|
|
|
pub fn type_is_imm_pair<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, ty: Ty<'tcx>)
|
|
|
|
-> bool {
|
2016-08-27 00:51:55 -05:00
|
|
|
match *ccx.layout_of(ty) {
|
2016-05-25 03:55:44 -05:00
|
|
|
Layout::FatPointer { .. } => true,
|
|
|
|
Layout::Univariant { ref variant, .. } => {
|
|
|
|
// There must be only 2 fields.
|
2016-10-01 20:25:40 -05:00
|
|
|
if variant.offsets.len() != 2 {
|
2016-05-25 03:55:44 -05:00
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
match type_pair_fields(ccx, ty) {
|
|
|
|
Some([a, b]) => {
|
|
|
|
type_is_immediate(ccx, a) && type_is_immediate(ccx, b)
|
|
|
|
}
|
|
|
|
None => false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
_ => false
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-11-25 20:17:11 -06:00
|
|
|
/// Identify types which have size zero at runtime.
|
2014-09-29 14:11:30 -05:00
|
|
|
pub fn type_is_zero_size<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>, ty: Ty<'tcx>) -> bool {
|
2016-03-22 12:23:36 -05:00
|
|
|
use machine::llsize_of_alloc;
|
|
|
|
use type_of::sizing_type_of;
|
2015-01-08 06:14:07 -06:00
|
|
|
let llty = sizing_type_of(ccx, ty);
|
|
|
|
llsize_of_alloc(ccx, llty) == 0
|
2014-01-16 14:11:22 -06:00
|
|
|
}
|
|
|
|
|
2011-07-21 19:27:34 -05:00
|
|
|
/*
|
2015-01-06 17:22:24 -06:00
|
|
|
* A note on nomenclature of linking: "extern", "foreign", and "upcall".
|
|
|
|
*
|
|
|
|
* An "extern" is an LLVM symbol we wind up emitting an undefined external
|
|
|
|
* reference to. This means "we don't have the thing in this compilation unit,
|
|
|
|
* please make sure you link it in at runtime". This could be a reference to
|
|
|
|
* C code found in a C library, or rust code found in a rust crate.
|
|
|
|
*
|
|
|
|
* Most "externs" are implicitly declared (automatically) as a result of a
|
|
|
|
* user declaring an extern _module_ dependency; this causes the rust driver
|
|
|
|
* to locate an extern crate, scan its compilation metadata, and emit extern
|
|
|
|
* declarations for any symbols used by the declaring crate.
|
|
|
|
*
|
|
|
|
* A "foreign" is an extern that references C (or other non-rust ABI) code.
|
|
|
|
* There is no metadata to scan for extern references so in these cases either
|
|
|
|
* a header-digester like bindgen, or manual function prototypes, have to
|
|
|
|
* serve as declarators. So these are usually given explicitly as prototype
|
|
|
|
* declarations, in rust code, with ABI attributes on them noting which ABI to
|
|
|
|
* link via.
|
|
|
|
*
|
|
|
|
* An "upcall" is a foreign call generated by the compiler (not corresponding
|
|
|
|
* to any user-written call in the code) into the runtime library, to perform
|
|
|
|
* some helper task such as bringing a task to life, allocating memory, etc.
|
|
|
|
*
|
|
|
|
*/
|
2012-03-22 15:44:20 -05:00
|
|
|
|
2016-03-22 12:23:36 -05:00
|
|
|
use Disr;
|
2016-01-16 09:03:09 -06:00
|
|
|
|
2015-08-02 14:52:50 -05:00
|
|
|
/// The concrete version of ty::FieldDef. The name is the field index if
|
|
|
|
/// the field is numeric.
|
|
|
|
pub struct Field<'tcx>(pub ast::Name, pub Ty<'tcx>);
|
|
|
|
|
|
|
|
/// The concrete version of ty::VariantDef
|
|
|
|
pub struct VariantInfo<'tcx> {
|
2016-01-16 09:03:09 -06:00
|
|
|
pub discr: Disr,
|
2015-08-02 14:52:50 -05:00
|
|
|
pub fields: Vec<Field<'tcx>>
|
|
|
|
}
|
|
|
|
|
2016-05-02 20:56:42 -05:00
|
|
|
impl<'a, 'tcx> VariantInfo<'tcx> {
|
2016-05-02 21:23:22 -05:00
|
|
|
pub fn from_ty(tcx: TyCtxt<'a, 'tcx, 'tcx>,
|
2015-08-02 14:52:50 -05:00
|
|
|
ty: Ty<'tcx>,
|
2016-01-20 13:31:10 -06:00
|
|
|
opt_def: Option<Def>)
|
2015-08-02 14:52:50 -05:00
|
|
|
-> Self
|
|
|
|
{
|
|
|
|
match ty.sty {
|
2016-09-05 17:26:02 -05:00
|
|
|
ty::TyAdt(adt, substs) => {
|
2015-08-02 14:52:50 -05:00
|
|
|
let variant = match opt_def {
|
|
|
|
None => adt.struct_variant(),
|
|
|
|
Some(def) => adt.variant_of_def(def)
|
|
|
|
};
|
|
|
|
|
|
|
|
VariantInfo {
|
2016-01-16 09:03:09 -06:00
|
|
|
discr: Disr::from(variant.disr_val),
|
2015-08-02 14:52:50 -05:00
|
|
|
fields: variant.fields.iter().map(|f| {
|
|
|
|
Field(f.name, monomorphize::field_ty(tcx, substs, f))
|
|
|
|
}).collect()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
ty::TyTuple(ref v) => {
|
|
|
|
VariantInfo {
|
2016-01-16 09:03:09 -06:00
|
|
|
discr: Disr(0),
|
2015-08-02 14:52:50 -05:00
|
|
|
fields: v.iter().enumerate().map(|(i, &t)| {
|
2016-11-16 02:21:52 -06:00
|
|
|
Field(Symbol::intern(&i.to_string()), t)
|
2015-08-02 14:52:50 -05:00
|
|
|
}).collect()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
_ => {
|
2016-03-28 18:46:02 -05:00
|
|
|
bug!("cannot get field types from the type {:?}", ty);
|
2015-08-02 14:52:50 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-12-16 20:39:35 -06:00
|
|
|
// Function context. Every LLVM function we create will have one of these.
|
2014-04-22 07:56:37 -05:00
|
|
|
pub struct FunctionContext<'a, 'tcx: 'a> {
|
2015-01-08 06:14:07 -06:00
|
|
|
// The ValueRef returned from a call to llvm::LLVMAddFunction; the
|
|
|
|
// address of the first instruction in the sequence of
|
|
|
|
// instructions for this function that will go in the .text
|
|
|
|
// section of the executable we're generating.
|
|
|
|
pub llfn: ValueRef,
|
2011-07-27 07:19:39 -05:00
|
|
|
|
2015-01-08 06:14:07 -06:00
|
|
|
// A marker for the place where we want to insert the function's static
|
|
|
|
// allocas, so that LLVM will coalesce them into a single alloca call.
|
2016-12-16 17:00:17 -06:00
|
|
|
alloca_insert_pt: Option<ValueRef>,
|
2014-08-11 21:16:00 -05:00
|
|
|
|
2015-01-08 06:14:07 -06:00
|
|
|
// This function's enclosing crate context.
|
|
|
|
pub ccx: &'a CrateContext<'a, 'tcx>,
|
2013-08-05 04:12:40 -05:00
|
|
|
|
2016-12-16 18:39:35 -06:00
|
|
|
alloca_builder: Builder<'a, 'tcx>,
|
2013-01-06 13:16:14 -06:00
|
|
|
}
|
|
|
|
|
2014-04-22 07:56:37 -05:00
|
|
|
impl<'a, 'tcx> FunctionContext<'a, 'tcx> {
|
2016-12-16 09:28:20 -06:00
|
|
|
/// Create a function context for the given function.
|
2016-12-16 17:45:52 -06:00
|
|
|
/// Call FunctionContext::get_entry_block for the first entry block.
|
2016-12-19 20:16:36 -06:00
|
|
|
pub fn new(ccx: &'a CrateContext<'a, 'tcx>, llfndecl: ValueRef) -> FunctionContext<'a, 'tcx> {
|
2016-12-16 17:00:17 -06:00
|
|
|
let mut fcx = FunctionContext {
|
2016-12-16 09:28:20 -06:00
|
|
|
llfn: llfndecl,
|
2016-12-16 17:00:17 -06:00
|
|
|
alloca_insert_pt: None,
|
2016-12-16 09:28:20 -06:00
|
|
|
ccx: ccx,
|
2016-12-16 18:39:35 -06:00
|
|
|
alloca_builder: Builder::with_ccx(ccx),
|
2016-12-16 17:00:17 -06:00
|
|
|
};
|
2016-12-16 09:28:20 -06:00
|
|
|
|
2016-12-16 17:00:17 -06:00
|
|
|
let val = {
|
|
|
|
let entry_bcx = fcx.build_new_block("entry-block");
|
|
|
|
let val = entry_bcx.load(C_null(Type::i8p(ccx)));
|
2016-12-16 18:39:35 -06:00
|
|
|
fcx.alloca_builder.position_at_start(entry_bcx.llbb());
|
2016-12-16 17:00:17 -06:00
|
|
|
val
|
|
|
|
};
|
2016-12-16 09:28:20 -06:00
|
|
|
|
|
|
|
// Use a dummy instruction as the insertion point for all allocas.
|
2016-12-16 17:00:17 -06:00
|
|
|
// This is later removed in the drop of FunctionContext.
|
|
|
|
fcx.alloca_insert_pt = Some(val);
|
2016-12-16 09:28:20 -06:00
|
|
|
|
2016-12-16 17:45:52 -06:00
|
|
|
fcx
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn get_entry_block(&'a self) -> BlockAndBuilder<'a, 'tcx> {
|
2016-12-16 17:00:17 -06:00
|
|
|
BlockAndBuilder::new(unsafe {
|
|
|
|
llvm::LLVMGetFirstBasicBlock(self.llfn)
|
|
|
|
}, self)
|
2016-12-16 09:28:20 -06:00
|
|
|
}
|
|
|
|
|
2016-12-11 23:19:39 -06:00
|
|
|
pub fn new_block(&'a self, name: &str) -> BasicBlockRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
2015-02-18 00:47:40 -06:00
|
|
|
let name = CString::new(name).unwrap();
|
2016-12-11 23:19:39 -06:00
|
|
|
llvm::LLVMAppendBasicBlockInContext(
|
|
|
|
self.ccx.llcx(),
|
|
|
|
self.llfn,
|
|
|
|
name.as_ptr()
|
|
|
|
)
|
2015-01-08 06:14:07 -06:00
|
|
|
}
|
2013-05-02 20:15:36 -05:00
|
|
|
}
|
2015-01-06 17:22:24 -06:00
|
|
|
|
2016-12-11 23:19:39 -06:00
|
|
|
pub fn build_new_block(&'a self, name: &str) -> BlockAndBuilder<'a, 'tcx> {
|
|
|
|
BlockAndBuilder::new(self.new_block(name), self)
|
|
|
|
}
|
|
|
|
|
2016-12-11 09:59:20 -06:00
|
|
|
pub fn alloca(&self, ty: Type, name: &str) -> ValueRef {
|
2016-12-16 18:39:35 -06:00
|
|
|
self.alloca_builder.dynamic_alloca(ty, name)
|
2016-12-11 09:59:20 -06:00
|
|
|
}
|
2013-05-02 20:15:36 -05:00
|
|
|
}
|
|
|
|
|
2016-12-16 17:00:17 -06:00
|
|
|
impl<'a, 'tcx> Drop for FunctionContext<'a, 'tcx> {
|
|
|
|
fn drop(&mut self) {
|
|
|
|
unsafe {
|
|
|
|
llvm::LLVMInstructionEraseFromParent(self.alloca_insert_pt.unwrap());
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2016-02-01 04:04:49 -06:00
|
|
|
|
2016-12-10 21:32:44 -06:00
|
|
|
#[must_use]
|
2016-12-17 20:54:32 -06:00
|
|
|
pub struct BlockAndBuilder<'a, 'tcx: 'a> {
|
2016-12-11 23:19:39 -06:00
|
|
|
// The BasicBlockRef returned from a call to
|
|
|
|
// llvm::LLVMAppendBasicBlock(llfn, name), which adds a basic
|
|
|
|
// block to the function pointed to by llfn. We insert
|
|
|
|
// instructions into that block by way of this block context.
|
|
|
|
// The block pointing to this one in the function's digraph.
|
|
|
|
llbb: BasicBlockRef,
|
|
|
|
|
|
|
|
// The function context for the function to which this block is
|
|
|
|
// attached.
|
2016-12-17 20:54:32 -06:00
|
|
|
fcx: &'a FunctionContext<'a, 'tcx>,
|
2016-12-11 23:19:39 -06:00
|
|
|
|
2016-12-17 20:54:32 -06:00
|
|
|
builder: Builder<'a, 'tcx>,
|
2016-02-01 04:04:49 -06:00
|
|
|
}
|
|
|
|
|
2016-12-17 20:54:32 -06:00
|
|
|
impl<'a, 'tcx> BlockAndBuilder<'a, 'tcx> {
|
|
|
|
pub fn new(llbb: BasicBlockRef, fcx: &'a FunctionContext<'a, 'tcx>) -> Self {
|
2016-12-16 18:39:35 -06:00
|
|
|
let builder = Builder::with_ccx(fcx.ccx);
|
2016-02-01 04:04:49 -06:00
|
|
|
// Set the builder's position to this block's end.
|
2016-12-16 18:39:35 -06:00
|
|
|
builder.position_at_end(llbb);
|
2016-02-01 04:04:49 -06:00
|
|
|
BlockAndBuilder {
|
2016-12-11 23:19:39 -06:00
|
|
|
llbb: llbb,
|
|
|
|
fcx: fcx,
|
2016-12-16 18:39:35 -06:00
|
|
|
builder: builder,
|
2016-02-01 04:04:49 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-02-04 11:40:28 -06:00
|
|
|
pub fn at_start<F, R>(&self, f: F) -> R
|
2016-12-17 20:54:32 -06:00
|
|
|
where F: FnOnce(&BlockAndBuilder<'a, 'tcx>) -> R
|
2016-02-04 11:40:28 -06:00
|
|
|
{
|
2016-12-11 23:19:39 -06:00
|
|
|
self.position_at_start(self.llbb);
|
2016-02-04 11:40:28 -06:00
|
|
|
let r = f(self);
|
2016-12-11 23:19:39 -06:00
|
|
|
self.position_at_end(self.llbb);
|
2016-02-04 11:40:28 -06:00
|
|
|
r
|
|
|
|
}
|
|
|
|
|
2016-12-17 20:54:32 -06:00
|
|
|
pub fn fcx(&self) -> &'a FunctionContext<'a, 'tcx> {
|
2016-12-11 23:19:39 -06:00
|
|
|
self.fcx
|
2016-02-01 04:04:49 -06:00
|
|
|
}
|
2016-12-17 20:54:32 -06:00
|
|
|
pub fn tcx(&self) -> TyCtxt<'a, 'tcx, 'tcx> {
|
2016-12-19 18:48:41 -06:00
|
|
|
self.ccx.tcx()
|
2016-02-01 04:04:49 -06:00
|
|
|
}
|
2016-12-17 20:54:32 -06:00
|
|
|
pub fn sess(&self) -> &'a Session {
|
2016-12-19 18:48:41 -06:00
|
|
|
self.ccx.sess()
|
2016-02-01 04:04:49 -06:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn llbb(&self) -> BasicBlockRef {
|
2016-12-11 23:19:39 -06:00
|
|
|
self.llbb
|
2016-02-01 04:04:49 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-12-17 20:54:32 -06:00
|
|
|
impl<'a, 'tcx> Deref for BlockAndBuilder<'a, 'tcx> {
|
|
|
|
type Target = Builder<'a, 'tcx>;
|
2016-02-01 04:04:49 -06:00
|
|
|
fn deref(&self) -> &Self::Target {
|
2016-12-16 18:39:35 -06:00
|
|
|
&self.builder
|
2016-02-01 04:04:49 -06:00
|
|
|
}
|
2012-06-12 16:55:44 -05:00
|
|
|
}
|
2011-07-21 19:27:34 -05:00
|
|
|
|
2015-10-23 20:18:44 -05:00
|
|
|
/// A structure representing an active landing pad for the duration of a basic
|
|
|
|
/// block.
|
|
|
|
///
|
|
|
|
/// Each `Block` may contain an instance of this, indicating whether the block
|
|
|
|
/// is part of a landing pad or not. This is used to make decision about whether
|
|
|
|
/// to emit `invoke` instructions (e.g. in a landing pad we don't continue to
|
|
|
|
/// use `invoke`) and also about various function call metadata.
|
|
|
|
///
|
|
|
|
/// For GNU exceptions (`landingpad` + `resume` instructions) this structure is
|
|
|
|
/// just a bunch of `None` instances (not too interesting), but for MSVC
|
|
|
|
/// exceptions (`cleanuppad` + `cleanupret` instructions) this contains data.
|
|
|
|
/// When inside of a landing pad, each function call in LLVM IR needs to be
|
|
|
|
/// annotated with which landing pad it's a part of. This is accomplished via
|
|
|
|
/// the `OperandBundleDef` value created for MSVC landing pads.
|
2016-12-12 07:48:39 -06:00
|
|
|
pub struct Funclet {
|
|
|
|
cleanuppad: ValueRef,
|
|
|
|
operand: OperandBundleDef,
|
2015-10-23 20:18:44 -05:00
|
|
|
}
|
|
|
|
|
2016-12-12 07:48:39 -06:00
|
|
|
impl Funclet {
|
2016-12-19 15:10:48 -06:00
|
|
|
pub fn new(cleanuppad: ValueRef) -> Funclet {
|
|
|
|
Funclet {
|
2016-12-12 07:48:39 -06:00
|
|
|
cleanuppad: cleanuppad,
|
|
|
|
operand: OperandBundleDef::new("funclet", &[cleanuppad]),
|
2016-12-19 15:10:48 -06:00
|
|
|
}
|
2015-10-23 20:18:44 -05:00
|
|
|
}
|
|
|
|
|
2016-12-12 07:48:39 -06:00
|
|
|
pub fn cleanuppad(&self) -> ValueRef {
|
|
|
|
self.cleanuppad
|
2015-10-23 20:18:44 -05:00
|
|
|
}
|
2016-05-29 14:01:06 -05:00
|
|
|
|
2016-12-12 07:48:39 -06:00
|
|
|
pub fn bundle(&self) -> &OperandBundleDef {
|
|
|
|
&self.operand
|
2016-05-29 14:01:06 -05:00
|
|
|
}
|
2015-10-23 20:18:44 -05:00
|
|
|
}
|
|
|
|
|
2016-12-12 07:48:39 -06:00
|
|
|
impl Clone for Funclet {
|
|
|
|
fn clone(&self) -> Funclet {
|
|
|
|
Funclet {
|
2015-10-23 20:18:44 -05:00
|
|
|
cleanuppad: self.cleanuppad,
|
2016-12-12 07:48:39 -06:00
|
|
|
operand: OperandBundleDef::new("funclet", &[self.cleanuppad]),
|
2015-10-23 20:18:44 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-06-16 05:52:44 -05:00
|
|
|
pub fn val_ty(v: ValueRef) -> Type {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
Type::from_ref(llvm::LLVMTypeOf(v))
|
|
|
|
}
|
2013-01-10 23:23:07 -06:00
|
|
|
}
|
2011-07-21 19:27:34 -05:00
|
|
|
|
2011-07-14 19:08:22 -05:00
|
|
|
// LLVM constant constructors.
|
2013-06-15 22:45:48 -05:00
|
|
|
pub fn C_null(t: Type) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
llvm::LLVMConstNull(t.to_ref())
|
|
|
|
}
|
2013-01-10 23:23:07 -06:00
|
|
|
}
|
2011-07-14 19:08:22 -05:00
|
|
|
|
2013-06-15 22:45:48 -05:00
|
|
|
pub fn C_undef(t: Type) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
llvm::LLVMGetUndef(t.to_ref())
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
2013-06-15 22:45:48 -05:00
|
|
|
pub fn C_integral(t: Type, u: u64, sign_extend: bool) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
llvm::LLVMConstInt(t.to_ref(), u, sign_extend as Bool)
|
|
|
|
}
|
2011-07-14 19:08:22 -05:00
|
|
|
}
|
|
|
|
|
2016-08-22 19:56:52 -05:00
|
|
|
pub fn C_big_integral(t: Type, u: u128) -> ValueRef {
|
|
|
|
if ::std::mem::size_of::<u128>() == 16 {
|
|
|
|
unsafe {
|
|
|
|
llvm::LLVMConstIntOfArbitraryPrecision(t.to_ref(), 2, &u as *const u128 as *const u64)
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
C_integral(t, u as u64, false)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2015-10-21 16:42:25 -05:00
|
|
|
pub fn C_floating_f64(f: f64, t: Type) -> ValueRef {
|
|
|
|
unsafe {
|
|
|
|
llvm::LLVMConstReal(t.to_ref(), f)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2014-03-15 15:29:34 -05:00
|
|
|
pub fn C_nil(ccx: &CrateContext) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
C_struct(ccx, &[], false)
|
2011-07-14 19:08:22 -05:00
|
|
|
}
|
|
|
|
|
2014-03-15 15:29:34 -05:00
|
|
|
pub fn C_bool(ccx: &CrateContext, val: bool) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
C_integral(Type::i1(ccx), val as u64, false)
|
2013-02-06 16:28:02 -06:00
|
|
|
}
|
|
|
|
|
2014-03-15 15:29:34 -05:00
|
|
|
pub fn C_i32(ccx: &CrateContext, i: i32) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
C_integral(Type::i32(ccx), i as u64, true)
|
2011-10-26 00:23:28 -05:00
|
|
|
}
|
|
|
|
|
2015-02-21 16:26:29 -06:00
|
|
|
pub fn C_u32(ccx: &CrateContext, i: u32) -> ValueRef {
|
|
|
|
C_integral(Type::i32(ccx), i as u64, false)
|
|
|
|
}
|
|
|
|
|
2014-03-15 15:29:34 -05:00
|
|
|
pub fn C_u64(ccx: &CrateContext, i: u64) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
C_integral(Type::i64(ccx), i, false)
|
2013-09-29 04:20:11 -05:00
|
|
|
}
|
|
|
|
|
2014-10-14 15:36:11 -05:00
|
|
|
pub fn C_uint<I: AsU64>(ccx: &CrateContext, i: I) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
let v = i.as_u64();
|
2014-10-15 12:26:43 -05:00
|
|
|
|
2015-08-15 01:43:39 -05:00
|
|
|
let bit_size = machine::llbitsize_of_real(ccx, ccx.int_type());
|
|
|
|
|
|
|
|
if bit_size < 64 {
|
|
|
|
// make sure it doesn't overflow
|
|
|
|
assert!(v < (1<<bit_size));
|
2015-01-08 06:14:07 -06:00
|
|
|
}
|
2014-10-15 12:26:43 -05:00
|
|
|
|
2015-01-08 06:14:07 -06:00
|
|
|
C_integral(ccx.int_type(), v, false)
|
2011-10-14 18:45:25 -05:00
|
|
|
}
|
2011-07-14 19:08:22 -05:00
|
|
|
|
2014-10-14 15:36:11 -05:00
|
|
|
pub trait AsI64 { fn as_i64(self) -> i64; }
|
|
|
|
pub trait AsU64 { fn as_u64(self) -> u64; }
|
|
|
|
|
2014-10-15 12:26:43 -05:00
|
|
|
// FIXME: remove the intptr conversions, because they
|
|
|
|
// are host-architecture-dependent
|
2014-10-14 15:36:11 -05:00
|
|
|
impl AsI64 for i64 { fn as_i64(self) -> i64 { self as i64 }}
|
|
|
|
impl AsI64 for i32 { fn as_i64(self) -> i64 { self as i64 }}
|
2015-03-25 19:06:52 -05:00
|
|
|
impl AsI64 for isize { fn as_i64(self) -> i64 { self as i64 }}
|
2014-10-14 15:36:11 -05:00
|
|
|
|
|
|
|
impl AsU64 for u64 { fn as_u64(self) -> u64 { self as u64 }}
|
|
|
|
impl AsU64 for u32 { fn as_u64(self) -> u64 { self as u64 }}
|
2015-03-25 19:06:52 -05:00
|
|
|
impl AsU64 for usize { fn as_u64(self) -> u64 { self as u64 }}
|
2014-10-14 15:36:11 -05:00
|
|
|
|
2015-08-05 02:46:59 -05:00
|
|
|
pub fn C_u8(ccx: &CrateContext, i: u8) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
C_integral(Type::i8(ccx), i as u64, false)
|
2013-01-30 13:46:19 -06:00
|
|
|
}
|
2011-07-14 19:08:22 -05:00
|
|
|
|
|
|
|
|
|
|
|
// This is a 'c-like' raw string, which differs from
|
|
|
|
// our boxed-and-length-annotated strings.
|
2014-04-03 15:26:08 -05:00
|
|
|
pub fn C_cstr(cx: &CrateContext, s: InternedString, null_terminated: bool) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
2016-02-23 09:48:07 -06:00
|
|
|
if let Some(&llval) = cx.const_cstr_cache().borrow().get(&s) {
|
|
|
|
return llval;
|
2015-01-08 06:14:07 -06:00
|
|
|
}
|
2012-04-21 15:23:25 -05:00
|
|
|
|
2015-01-08 06:14:07 -06:00
|
|
|
let sc = llvm::LLVMConstStringInContext(cx.llcx(),
|
2015-02-03 18:04:50 -06:00
|
|
|
s.as_ptr() as *const c_char,
|
|
|
|
s.len() as c_uint,
|
2015-01-08 06:14:07 -06:00
|
|
|
!null_terminated as Bool);
|
2016-10-21 11:41:20 -05:00
|
|
|
let sym = cx.generate_local_symbol_name("str");
|
2015-03-03 17:08:06 -06:00
|
|
|
let g = declare::define_global(cx, &sym[..], val_ty(sc)).unwrap_or_else(||{
|
2016-03-28 18:46:02 -05:00
|
|
|
bug!("symbol `{}` is already defined", sym);
|
2015-03-03 17:08:06 -06:00
|
|
|
});
|
2015-01-08 06:14:07 -06:00
|
|
|
llvm::LLVMSetInitializer(g, sc);
|
|
|
|
llvm::LLVMSetGlobalConstant(g, True);
|
2016-09-01 13:52:33 -05:00
|
|
|
llvm::LLVMRustSetLinkage(g, llvm::Linkage::InternalLinkage);
|
2012-04-21 15:23:25 -05:00
|
|
|
|
2015-01-08 06:14:07 -06:00
|
|
|
cx.const_cstr_cache().borrow_mut().insert(s, g);
|
|
|
|
g
|
|
|
|
}
|
2011-07-14 19:08:22 -05:00
|
|
|
}
|
|
|
|
|
2013-01-05 01:06:25 -06:00
|
|
|
// NB: Do not use `do_spill_noroot` to make this into a constant string, or
|
|
|
|
// you will be kicked off fast isel. See issue #4352 for an example of this.
|
2014-01-10 16:02:36 -06:00
|
|
|
pub fn C_str_slice(cx: &CrateContext, s: InternedString) -> ValueRef {
|
2015-02-03 18:04:50 -06:00
|
|
|
let len = s.len();
|
2015-01-08 06:14:07 -06:00
|
|
|
let cs = consts::ptrcast(C_cstr(cx, s, false), Type::i8p(cx));
|
2016-10-11 22:46:22 -05:00
|
|
|
C_named_struct(cx.str_slice_type(), &[cs, C_uint(cx, len)])
|
2012-06-08 15:26:06 -05:00
|
|
|
}
|
|
|
|
|
run optimization and codegen on worker threads
Refactor the code in `llvm::back` that invokes LLVM optimization and codegen
passes so that it can be called from worker threads. (Previously, it used
`&Session` extensively, and `Session` is not `Share`.) The new code can handle
multiple compilation units, by compiling each unit to `crate.0.o`, `crate.1.o`,
etc., and linking together all the `crate.N.o` files into a single `crate.o`
using `ld -r`. The later linking steps can then be run unchanged.
The new code preserves the behavior of `--emit`/`-o` when building a single
compilation unit. With multiple compilation units, the `--emit=asm/ir/bc`
options produce multiple files, so combinations like `--emit=ir -o foo.ll` will
not actually produce `foo.ll` (they instead produce several `foo.N.ll` files).
The new code supports `-Z lto` only when using a single compilation unit.
Compiling with multiple compilation units and `-Z lto` will produce an error.
(I can't think of any good reason to do such a thing.) Linking with `-Z lto`
against a library that was built as multiple compilation units will also fail,
because the rlib does not contain a `crate.bytecode.deflate` file. This could
be supported in the future by linking together the `crate.N.bc` files produced
when compiling the library into a single `crate.bc`, or by making the LTO code
support multiple `crate.N.bytecode.deflate` files.
2014-07-17 12:52:52 -05:00
|
|
|
pub fn C_struct(cx: &CrateContext, elts: &[ValueRef], packed: bool) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
C_struct_in_context(cx.llcx(), elts, packed)
|
run optimization and codegen on worker threads
Refactor the code in `llvm::back` that invokes LLVM optimization and codegen
passes so that it can be called from worker threads. (Previously, it used
`&Session` extensively, and `Session` is not `Share`.) The new code can handle
multiple compilation units, by compiling each unit to `crate.0.o`, `crate.1.o`,
etc., and linking together all the `crate.N.o` files into a single `crate.o`
using `ld -r`. The later linking steps can then be run unchanged.
The new code preserves the behavior of `--emit`/`-o` when building a single
compilation unit. With multiple compilation units, the `--emit=asm/ir/bc`
options produce multiple files, so combinations like `--emit=ir -o foo.ll` will
not actually produce `foo.ll` (they instead produce several `foo.N.ll` files).
The new code supports `-Z lto` only when using a single compilation unit.
Compiling with multiple compilation units and `-Z lto` will produce an error.
(I can't think of any good reason to do such a thing.) Linking with `-Z lto`
against a library that was built as multiple compilation units will also fail,
because the rlib does not contain a `crate.bytecode.deflate` file. This could
be supported in the future by linking together the `crate.N.bc` files produced
when compiling the library into a single `crate.bc`, or by making the LTO code
support multiple `crate.N.bytecode.deflate` files.
2014-07-17 12:52:52 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn C_struct_in_context(llcx: ContextRef, elts: &[ValueRef], packed: bool) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
llvm::LLVMConstStructInContext(llcx,
|
|
|
|
elts.as_ptr(), elts.len() as c_uint,
|
|
|
|
packed as Bool)
|
|
|
|
}
|
2013-01-23 18:25:47 -06:00
|
|
|
}
|
|
|
|
|
2014-02-15 15:15:03 -06:00
|
|
|
pub fn C_named_struct(t: Type, elts: &[ValueRef]) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
llvm::LLVMConstNamedStruct(t.to_ref(), elts.as_ptr(), elts.len() as c_uint)
|
|
|
|
}
|
2011-07-14 19:08:22 -05:00
|
|
|
}
|
|
|
|
|
2013-06-16 05:52:44 -05:00
|
|
|
pub fn C_array(ty: Type, elts: &[ValueRef]) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
return llvm::LLVMConstArray(ty.to_ref(), elts.as_ptr(), elts.len() as c_uint);
|
|
|
|
}
|
2011-07-27 17:14:59 -05:00
|
|
|
}
|
2011-08-04 12:46:10 -05:00
|
|
|
|
2015-01-29 06:03:34 -06:00
|
|
|
pub fn C_vector(elts: &[ValueRef]) -> ValueRef {
|
|
|
|
unsafe {
|
|
|
|
return llvm::LLVMConstVector(elts.as_ptr(), elts.len() as c_uint);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
run optimization and codegen on worker threads
Refactor the code in `llvm::back` that invokes LLVM optimization and codegen
passes so that it can be called from worker threads. (Previously, it used
`&Session` extensively, and `Session` is not `Share`.) The new code can handle
multiple compilation units, by compiling each unit to `crate.0.o`, `crate.1.o`,
etc., and linking together all the `crate.N.o` files into a single `crate.o`
using `ld -r`. The later linking steps can then be run unchanged.
The new code preserves the behavior of `--emit`/`-o` when building a single
compilation unit. With multiple compilation units, the `--emit=asm/ir/bc`
options produce multiple files, so combinations like `--emit=ir -o foo.ll` will
not actually produce `foo.ll` (they instead produce several `foo.N.ll` files).
The new code supports `-Z lto` only when using a single compilation unit.
Compiling with multiple compilation units and `-Z lto` will produce an error.
(I can't think of any good reason to do such a thing.) Linking with `-Z lto`
against a library that was built as multiple compilation units will also fail,
because the rlib does not contain a `crate.bytecode.deflate` file. This could
be supported in the future by linking together the `crate.N.bc` files produced
when compiling the library into a single `crate.bc`, or by making the LTO code
support multiple `crate.N.bytecode.deflate` files.
2014-07-17 12:52:52 -05:00
|
|
|
pub fn C_bytes(cx: &CrateContext, bytes: &[u8]) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
C_bytes_in_context(cx.llcx(), bytes)
|
run optimization and codegen on worker threads
Refactor the code in `llvm::back` that invokes LLVM optimization and codegen
passes so that it can be called from worker threads. (Previously, it used
`&Session` extensively, and `Session` is not `Share`.) The new code can handle
multiple compilation units, by compiling each unit to `crate.0.o`, `crate.1.o`,
etc., and linking together all the `crate.N.o` files into a single `crate.o`
using `ld -r`. The later linking steps can then be run unchanged.
The new code preserves the behavior of `--emit`/`-o` when building a single
compilation unit. With multiple compilation units, the `--emit=asm/ir/bc`
options produce multiple files, so combinations like `--emit=ir -o foo.ll` will
not actually produce `foo.ll` (they instead produce several `foo.N.ll` files).
The new code supports `-Z lto` only when using a single compilation unit.
Compiling with multiple compilation units and `-Z lto` will produce an error.
(I can't think of any good reason to do such a thing.) Linking with `-Z lto`
against a library that was built as multiple compilation units will also fail,
because the rlib does not contain a `crate.bytecode.deflate` file. This could
be supported in the future by linking together the `crate.N.bc` files produced
when compiling the library into a single `crate.bc`, or by making the LTO code
support multiple `crate.N.bytecode.deflate` files.
2014-07-17 12:52:52 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
pub fn C_bytes_in_context(llcx: ContextRef, bytes: &[u8]) -> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
let ptr = bytes.as_ptr() as *const c_char;
|
|
|
|
return llvm::LLVMConstStringInContext(llcx, ptr, bytes.len() as c_uint, True);
|
|
|
|
}
|
2012-09-05 17:27:22 -05:00
|
|
|
}
|
|
|
|
|
2016-02-18 11:49:45 -06:00
|
|
|
pub fn const_get_elt(v: ValueRef, us: &[c_uint])
|
2015-01-06 17:22:24 -06:00
|
|
|
-> ValueRef {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
let r = llvm::LLVMConstExtractValue(v, us.as_ptr(), us.len() as c_uint);
|
2013-02-18 16:16:21 -06:00
|
|
|
|
2016-02-18 11:49:45 -06:00
|
|
|
debug!("const_get_elt(v={:?}, us={:?}, r={:?})",
|
|
|
|
Value(v), us, Value(r));
|
2013-02-18 16:16:21 -06:00
|
|
|
|
2016-02-18 11:49:45 -06:00
|
|
|
r
|
2015-01-08 06:14:07 -06:00
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
2014-10-14 15:36:11 -05:00
|
|
|
pub fn const_to_uint(v: ValueRef) -> u64 {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
llvm::LLVMConstIntGetZExtValue(v)
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
2015-03-26 19:37:10 -05:00
|
|
|
fn is_const_integral(v: ValueRef) -> bool {
|
|
|
|
unsafe {
|
|
|
|
!llvm::LLVMIsAConstantInt(v).is_null()
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn const_to_opt_int(v: ValueRef) -> Option<i64> {
|
|
|
|
unsafe {
|
|
|
|
if is_const_integral(v) {
|
|
|
|
Some(llvm::LLVMConstIntGetSExtValue(v))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
pub fn const_to_opt_uint(v: ValueRef) -> Option<u64> {
|
|
|
|
unsafe {
|
|
|
|
if is_const_integral(v) {
|
|
|
|
Some(llvm::LLVMConstIntGetZExtValue(v))
|
|
|
|
} else {
|
|
|
|
None
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2013-02-18 16:16:21 -06:00
|
|
|
pub fn is_undef(val: ValueRef) -> bool {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
llvm::LLVMIsUndef(val) != False
|
|
|
|
}
|
2013-02-18 16:16:21 -06:00
|
|
|
}
|
|
|
|
|
2014-12-04 15:44:51 -06:00
|
|
|
#[allow(dead_code)] // potentially useful
|
2013-03-31 17:55:30 -05:00
|
|
|
pub fn is_null(val: ValueRef) -> bool {
|
2015-01-08 06:14:07 -06:00
|
|
|
unsafe {
|
|
|
|
llvm::LLVMIsNull(val) != False
|
|
|
|
}
|
2013-03-31 17:55:30 -05:00
|
|
|
}
|
|
|
|
|
2014-11-25 20:17:11 -06:00
|
|
|
/// Attempts to resolve an obligation. The result is a shallow vtable resolution -- meaning that we
|
|
|
|
/// do not (necessarily) resolve all nested obligations on the impl. Note that type check should
|
|
|
|
/// guarantee to us that all nested obligations *could be* resolved if we wanted to.
|
2016-05-06 16:07:36 -05:00
|
|
|
pub fn fulfill_obligation<'a, 'tcx>(scx: &SharedCrateContext<'a, 'tcx>,
|
2015-03-17 05:24:11 -05:00
|
|
|
span: Span,
|
|
|
|
trait_ref: ty::PolyTraitRef<'tcx>)
|
|
|
|
-> traits::Vtable<'tcx, ()>
|
2014-09-12 10:42:58 -05:00
|
|
|
{
|
2016-05-06 16:07:36 -05:00
|
|
|
let tcx = scx.tcx();
|
2015-01-08 06:14:07 -06:00
|
|
|
|
|
|
|
// Remove any references to regions; this helps improve caching.
|
2015-09-14 16:47:14 -05:00
|
|
|
let trait_ref = tcx.erase_regions(&trait_ref);
|
2015-01-08 06:14:07 -06:00
|
|
|
|
2016-05-06 16:07:36 -05:00
|
|
|
scx.trait_cache().memoize(trait_ref, || {
|
2016-05-21 04:43:17 -05:00
|
|
|
debug!("trans::fulfill_obligation(trait_ref={:?}, def_id={:?})",
|
2016-05-05 23:47:28 -05:00
|
|
|
trait_ref, trait_ref.def_id());
|
|
|
|
|
|
|
|
// Do the initial selection for the obligation. This yields the
|
|
|
|
// shallow result we are looking for -- that is, what specific impl.
|
2016-08-31 21:06:01 -05:00
|
|
|
tcx.infer_ctxt(None, None, Reveal::All).enter(|infcx| {
|
2016-03-24 22:22:44 -05:00
|
|
|
let mut selcx = SelectionContext::new(&infcx);
|
2016-05-05 23:47:28 -05:00
|
|
|
|
2016-03-24 22:22:44 -05:00
|
|
|
let obligation_cause = traits::ObligationCause::misc(span,
|
2016-05-05 23:47:28 -05:00
|
|
|
ast::DUMMY_NODE_ID);
|
2016-03-24 22:22:44 -05:00
|
|
|
let obligation = traits::Obligation::new(obligation_cause,
|
|
|
|
trait_ref.to_poly_trait_predicate());
|
|
|
|
|
|
|
|
let selection = match selcx.select(&obligation) {
|
|
|
|
Ok(Some(selection)) => selection,
|
|
|
|
Ok(None) => {
|
|
|
|
// Ambiguity can happen when monomorphizing during trans
|
|
|
|
// expands to some humongo type that never occurred
|
|
|
|
// statically -- this humongo type can then overflow,
|
|
|
|
// leading to an ambiguous result. So report this as an
|
|
|
|
// overflow bug, since I believe this is the only case
|
|
|
|
// where ambiguity can result.
|
|
|
|
debug!("Encountered ambiguity selecting `{:?}` during trans, \
|
|
|
|
presuming due to overflow",
|
|
|
|
trait_ref);
|
|
|
|
tcx.sess.span_fatal(span,
|
|
|
|
"reached the recursion limit during monomorphization \
|
|
|
|
(selection ambiguity)");
|
|
|
|
}
|
|
|
|
Err(e) => {
|
|
|
|
span_bug!(span, "Encountered error `{:?}` selecting `{:?}` during trans",
|
|
|
|
e, trait_ref)
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2016-05-21 04:43:17 -05:00
|
|
|
debug!("fulfill_obligation: selection={:?}", selection);
|
|
|
|
|
2016-03-24 22:22:44 -05:00
|
|
|
// Currently, we use a fulfillment context to completely resolve
|
|
|
|
// all nested obligations. This is because they can inform the
|
|
|
|
// inference of the impl's type parameters.
|
|
|
|
let mut fulfill_cx = traits::FulfillmentContext::new();
|
|
|
|
let vtable = selection.map(|predicate| {
|
2016-05-21 04:43:17 -05:00
|
|
|
debug!("fulfill_obligation: register_predicate_obligation {:?}", predicate);
|
2016-03-24 22:22:44 -05:00
|
|
|
fulfill_cx.register_predicate_obligation(&infcx, predicate);
|
|
|
|
});
|
|
|
|
let vtable = infcx.drain_fulfillment_cx_or_panic(span, &mut fulfill_cx, &vtable);
|
|
|
|
|
|
|
|
info!("Cache miss: {:?} => {:?}", trait_ref, vtable);
|
|
|
|
vtable
|
|
|
|
})
|
|
|
|
})
|
2014-09-12 10:42:58 -05:00
|
|
|
}
|
|
|
|
|
2016-05-25 00:39:32 -05:00
|
|
|
pub fn langcall(tcx: TyCtxt,
|
2014-01-07 10:54:58 -06:00
|
|
|
span: Option<Span>,
|
|
|
|
msg: &str,
|
|
|
|
li: LangItem)
|
2015-08-16 05:32:28 -05:00
|
|
|
-> DefId {
|
2016-05-25 00:39:32 -05:00
|
|
|
match tcx.lang_items.require(li) {
|
2013-07-15 22:42:13 -05:00
|
|
|
Ok(id) => id,
|
|
|
|
Err(s) => {
|
2013-09-28 00:38:08 -05:00
|
|
|
let msg = format!("{} {}", msg, s);
|
2013-07-15 22:42:13 -05:00
|
|
|
match span {
|
2016-05-25 00:39:32 -05:00
|
|
|
Some(span) => tcx.sess.span_fatal(span, &msg[..]),
|
|
|
|
None => tcx.sess.fatal(&msg[..]),
|
2013-07-15 22:42:13 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
2015-08-02 14:52:50 -05:00
|
|
|
|
2015-10-21 16:35:15 -05:00
|
|
|
// To avoid UB from LLVM, these two functions mask RHS with an
|
|
|
|
// appropriate mask unconditionally (i.e. the fallback behavior for
|
|
|
|
// all shifts). For 32- and 64-bit types, this matches the semantics
|
|
|
|
// of Java. (See related discussion on #1877 and #10183.)
|
|
|
|
|
2016-12-17 20:54:32 -06:00
|
|
|
pub fn build_unchecked_lshift<'a, 'tcx>(
|
|
|
|
bcx: &BlockAndBuilder<'a, 'tcx>,
|
|
|
|
lhs: ValueRef,
|
|
|
|
rhs: ValueRef
|
|
|
|
) -> ValueRef {
|
2015-10-21 16:35:15 -05:00
|
|
|
let rhs = base::cast_shift_expr_rhs(bcx, hir::BinOp_::BiShl, lhs, rhs);
|
|
|
|
// #1877, #10183: Ensure that input is always valid
|
2016-12-11 09:59:20 -06:00
|
|
|
let rhs = shift_mask_rhs(bcx, rhs);
|
|
|
|
bcx.shl(lhs, rhs)
|
2015-10-21 16:35:15 -05:00
|
|
|
}
|
|
|
|
|
2016-12-17 20:54:32 -06:00
|
|
|
pub fn build_unchecked_rshift<'a, 'tcx>(
|
|
|
|
bcx: &BlockAndBuilder<'a, 'tcx>, lhs_t: Ty<'tcx>, lhs: ValueRef, rhs: ValueRef
|
|
|
|
) -> ValueRef {
|
2015-10-21 16:35:15 -05:00
|
|
|
let rhs = base::cast_shift_expr_rhs(bcx, hir::BinOp_::BiShr, lhs, rhs);
|
|
|
|
// #1877, #10183: Ensure that input is always valid
|
2016-12-11 09:59:20 -06:00
|
|
|
let rhs = shift_mask_rhs(bcx, rhs);
|
2015-10-21 16:35:15 -05:00
|
|
|
let is_signed = lhs_t.is_signed();
|
|
|
|
if is_signed {
|
2016-12-11 09:59:20 -06:00
|
|
|
bcx.ashr(lhs, rhs)
|
2015-10-21 16:35:15 -05:00
|
|
|
} else {
|
2016-12-11 09:59:20 -06:00
|
|
|
bcx.lshr(lhs, rhs)
|
2015-10-21 16:35:15 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2016-12-17 20:54:32 -06:00
|
|
|
fn shift_mask_rhs<'a, 'tcx>(bcx: &BlockAndBuilder<'a, 'tcx>, rhs: ValueRef) -> ValueRef {
|
2015-10-21 16:35:15 -05:00
|
|
|
let rhs_llty = val_ty(rhs);
|
2016-12-11 09:59:20 -06:00
|
|
|
bcx.and(rhs, shift_mask_val(bcx, rhs_llty, rhs_llty, false))
|
2015-10-21 16:35:15 -05:00
|
|
|
}
|
|
|
|
|
2016-12-17 20:54:32 -06:00
|
|
|
pub fn shift_mask_val<'a, 'tcx>(
|
|
|
|
bcx: &BlockAndBuilder<'a, 'tcx>,
|
2016-12-10 21:32:44 -06:00
|
|
|
llty: Type,
|
|
|
|
mask_llty: Type,
|
|
|
|
invert: bool
|
|
|
|
) -> ValueRef {
|
2015-10-21 16:35:15 -05:00
|
|
|
let kind = llty.kind();
|
|
|
|
match kind {
|
|
|
|
TypeKind::Integer => {
|
|
|
|
// i8/u8 can shift by at most 7, i16/u16 by at most 15, etc.
|
|
|
|
let val = llty.int_width() - 1;
|
|
|
|
if invert {
|
|
|
|
C_integral(mask_llty, !val, true)
|
|
|
|
} else {
|
|
|
|
C_integral(mask_llty, val, false)
|
|
|
|
}
|
|
|
|
},
|
|
|
|
TypeKind::Vector => {
|
|
|
|
let mask = shift_mask_val(bcx, llty.element_type(), mask_llty.element_type(), invert);
|
2016-12-11 09:59:20 -06:00
|
|
|
bcx.vector_splat(mask_llty.vector_length(), mask)
|
2015-10-21 16:35:15 -05:00
|
|
|
},
|
2016-03-28 18:46:02 -05:00
|
|
|
_ => bug!("shift_mask_val: expected Integer or Vector, found {:?}", kind),
|
2015-10-21 16:35:15 -05:00
|
|
|
}
|
|
|
|
}
|
2016-11-09 15:09:28 -06:00
|
|
|
|
|
|
|
pub fn ty_fn_ty<'a, 'tcx>(ccx: &CrateContext<'a, 'tcx>,
|
|
|
|
ty: Ty<'tcx>)
|
|
|
|
-> Cow<'tcx, ty::BareFnTy<'tcx>>
|
|
|
|
{
|
|
|
|
match ty.sty {
|
|
|
|
ty::TyFnDef(_, _, fty) => Cow::Borrowed(fty),
|
|
|
|
// Shims currently have type TyFnPtr. Not sure this should remain.
|
|
|
|
ty::TyFnPtr(fty) => Cow::Borrowed(fty),
|
|
|
|
ty::TyClosure(def_id, substs) => {
|
|
|
|
let tcx = ccx.tcx();
|
|
|
|
let ty::ClosureTy { unsafety, abi, sig } = tcx.closure_type(def_id, substs);
|
|
|
|
|
|
|
|
let env_region = ty::ReLateBound(ty::DebruijnIndex::new(1), ty::BrEnv);
|
|
|
|
let env_ty = match tcx.closure_kind(def_id) {
|
|
|
|
ty::ClosureKind::Fn => tcx.mk_imm_ref(tcx.mk_region(env_region), ty),
|
|
|
|
ty::ClosureKind::FnMut => tcx.mk_mut_ref(tcx.mk_region(env_region), ty),
|
|
|
|
ty::ClosureKind::FnOnce => ty,
|
|
|
|
};
|
|
|
|
|
2016-11-28 21:25:33 -06:00
|
|
|
let sig = sig.map_bound(|sig| tcx.mk_fn_sig(
|
|
|
|
iter::once(env_ty).chain(sig.inputs().iter().cloned()),
|
2016-11-28 20:35:38 -06:00
|
|
|
sig.output(),
|
2016-11-28 21:25:33 -06:00
|
|
|
sig.variadic
|
2016-11-28 20:35:38 -06:00
|
|
|
));
|
2016-11-09 15:09:28 -06:00
|
|
|
Cow::Owned(ty::BareFnTy { unsafety: unsafety, abi: abi, sig: sig })
|
|
|
|
}
|
|
|
|
_ => bug!("unexpected type {:?} to ty_fn_sig", ty)
|
|
|
|
}
|
|
|
|
}
|
2016-11-16 04:27:43 -06:00
|
|
|
|
|
|
|
pub fn is_closure(tcx: TyCtxt, def_id: DefId) -> bool {
|
|
|
|
tcx.def_key(def_id).disambiguated_data.data == DefPathData::ClosureExpr
|
|
|
|
}
|