Refactor call & function handling in trans, enable MIR bootstrap. - #32080

Merged

bors merged 77 commits into

rust-lang:masterfrom

eddyb:transcendent

Mar 18, 2016

Commits on Mar 17, 2016

trans: Use fmt::Debug for debugging instead of ad-hoc methods.
eddyb
committed
b47fcb8
Move simd_ffi gating from trans to typeck.
eddyb
committed
9723a3b
metedata: Remove the unnecessary indirection to astencode.
eddyb
committed
b918e37
metadata: Constrain FoundAst::FoundParent to an Item.
eddyb
committed
062a05d
trans: Get functions and do calls only through Callee.
eddyb
committed
16201d4
trans: Move trans_foreign_mod and trans_impl to trans_item.
eddyb
committed
e097049
trans: Remove dead code for variants and structs from get_item_val.
eddyb
committed
c3f856e
trans: Move static item handling to consts.
eddyb
committed
5af3c12
trans: Remove unused return type argument from declare_cfn.
eddyb
committed
55b5a36
trans: Remove the old ExprOrMethodCall.
eddyb
committed
7011e30
trans: Pass the Rust type for the closure env in type_of_rust_fn.
eddyb
committed
9221b91
trans: Revamp and empower cabi::FnType.
eddyb
committed
c6d214b
trans: simplify the declare interface.
eddyb
committed
b122d16
trans: use Cell instead of RefCell where it suffices.
eddyb
committed
89766a8
trans: Don't store extra copies of intrinsics ID/substs.
eddyb
committed
d6e72c4
trans: Rename MonoId to Instance and start using it in more places.
eddyb
committed
b05556e
trans: Condense the fn instantiation logic into callee.
eddyb
committed
cdfad40
trans: Combine cabi and back::abi into abi.
eddyb
committed
da66431
trans: Don't treat closure types like function types in declare.
eddyb
committed
3342da4
trans: Pass fat pointers as two arguments even for FFI.
eddyb
committed
200d001
tests: Force instantiation of extern fns.
eddyb
committed
cf0ea78
trans: Remove dropflag-unaware type_is_newtype_immediate shortcut.
eddyb
committed
f6bbbe1
trans: Handle type_of for Rust fn's via abi::FnType.
eddyb
committed
0394205
trans: Only mutate ArgTy's in C ABI handling, don't create them.
eddyb
committed
ac60318
trans: Apply ZExt and StructRet attributes uniformly.
eddyb
committed
d492d09
trans: use sizing_type_of for interacting with potentially incomplete types.
eddyb
committed
1d7c9bd
rustc_llvm: Update the Attribute bitflags and remove OtherAttribute.
eddyb
committed
763b6cb
rustc_llvm: An AttrBuilder that's not completely wasteful.
eddyb
committed
c7172a9
trans: Use llvm::Attributes directly in ArgTy.
eddyb
committed
de5f824
trans: Apply all attributes through FnType.
eddyb
committed
77f3484
trans: Set the calling convention in apply_attrs_callsite.
eddyb
committed
7454b5c
trans: Handle ignored arguments/returns uniformly.
eddyb
committed
80d939f
trans: Provide the FnType for a direct call via Callee::direct_fn_type.
eddyb
committed
9e036c0
trans: Handle calls for all ABIs through FnType.
eddyb
committed
0399388
trans: datum::lvalue_scratch_datum doesn't need a move-into-closure trick.
eddyb
committed
bd0a849
trans: Handle all function setup for all ABIs via FnType.
eddyb
committed
aec6382
trans: Remove the foreign module.
eddyb
committed
6c0674e
tests: Use arguments in codegen/stores.rs to turn aggregates into immediates.
eddyb
committed
bffb0de
trans: Simplify "try" intrinsic.
eddyb
committed
f9c06ab
mir: Monomorphize LvalueTy's of projections.
eddyb
committed
56417b3
mir: Use the right form of GEPi for indexing slices vs arrays.
eddyb
committed
b38627d
mir: Don't use ConstVal kinds that contain local NodeId's.
eddyb
committed
1de6a96
mir: Ignore noop casts (e.g. when `as` used for coercion).
eddyb
committed
ccc5e07
mir: Unsize ConstVal::ByteStr before comparing &[u8] against it.
eddyb
committed
9cc5ee3
mir: Don't use ConstVal when adjustments are involved, as they would be lost.
eddyb
committed
d3a6d67
mir: Don't load the discriminant, it's already in immediate form.
eddyb
committed
eb43d95
mir: Load FatPtr constants instead of keeping them indirect.
eddyb
committed
92e4858
mir: Support RustCall ABI functions.
eddyb
committed
b63a5ee
trans: Take a &Builder in call_memcpy, like call_memset.
eddyb
committed
38638d3
mir: Truncate bool to i1 for SwitchInt.
eddyb
committed
9c6bfe4
mir: Don't shadow the "args" variable in Call translation.
eddyb
committed
47cd05c
trans: Load and cache cross-crate Mir instances in the shared context.
eddyb
committed
6c551b3
mir: Trigger closure instantiations when the closure value is created.
eddyb
committed
41fc5f7
mir: Reintroduce the temporary block after invokes, to handle critical edges.
eddyb
committed
ee7687a
mir: Translate intrinsics, via old trans where possible.
eddyb
committed
3e98220
mir: Call set_operand_dropped in more places, specifically Unsize casts.
eddyb
committed
82fad1d
trans: Make everything used from within at_start Builder-friendly.
eddyb
committed
d9277b1
mir: Match against slices by calling PartialEq::eq.
eddyb
committed
41499f4
mir: Don't lose sub-patterns inside slice patterns.
eddyb
committed
cf4daf7
mir: Get the right non-reference type for binding patterns.
eddyb
committed
aca4f93
mir: Translate Rvalue::Slice without relying on tvec.
eddyb
committed
415d95f
hir, mir: Separate HIR expressions / MIR operands from InlineAsm.
eddyb
committed
856185d
Add -Z orbit for forcing MIR for everything, unless #[rustc_no_mir] is used.
eddyb
committed
835e2bd
mir: Use usize instead of u32 for indexing slices.
eddyb
committed
5eeda54
const_eval: Take just one set of substitutions in lookup_const_by_id.
eddyb
committed
7912f94
trans: Do not depend on having Expr's around for generic_simd_intrinsic.
eddyb
committed
5739ed1
hir_map: Provide expression and statement attributes.
eddyb
committed
cfd768e
mir: Don't forget to drop arguments.
eddyb
committed
5f990fb
compiletest: Add rustc-env for run-pass/super-fast-paren-parsing.
eddyb
committed
080bd97
Add #[rustc_no_mir] to make tests pass with -Z orbit.
eddyb
committed
473f804
mir: Store immediates used for indirect arguments in an alloca.
eddyb
committed
460e664
mir: Don't memset allocas of types that do not require drop.
eddyb
committed
02a141a
trans: Pass newtypes of immediates as their inner-most type again.
eddyb
committed
9a8b807