summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2017-12-24Auto merge of #46896 - arielb1:shadow-scope, r=eddybbors-3/+3
2017-12-21fix debuginfo scoping of let-statementsAriel Ben-Yehuda-3/+3
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+4
2017-12-20Rollup merge of #46852 - scottmcm:asm-placecontext, r=arielb1kennytm-0/+2
2017-12-20Auto merge of #46733 - nikomatsakis:nll-master-to-rust-master-5, r=arielb1bors-1518/+1
2017-12-19Split PlaceContext::Store into Store & AsmOutputScott McMurray-0/+2
2017-12-18Tweak "unecessary unsafe block" error spansEsteban Küber-5/+6
2017-12-15move `type_check` out of `transform` and into the `nll` moduleNiko Matsakis-1518/+1
2017-12-15Auto merge of #46537 - pnkfelix:two-phase-borrows, r=arielb1bors-17/+17
2017-12-13add FIXME related to constant well-formednessNiko Matsakis-0/+8
2017-12-13normalize fn sig as part of reificationNiko Matsakis-58/+86
2017-12-13Mir typeck Cast for Unsize valueSantiago Pastorino-1/+10
2017-12-13Mir typeck Cast for ClosureFnPtr valueSantiago Pastorino-3/+15
2017-12-13Mir typeck Cast for UnsafeFnPtr valueSantiago Pastorino-2/+8
2017-12-13Mir typeck Cast for ReifyFnPtr valueSantiago Pastorino-1/+18
2017-12-13Restructure a bit check_aggregate_rvalue codeSantiago Pastorino-35/+35
2017-12-13Add more debug logsSantiago Pastorino-0/+12
2017-12-13Check functions predicatesSantiago Pastorino-2/+42
2017-12-13Check Aggregate predicatesSantiago Pastorino-0/+27
2017-12-13Check NullaryOp RvalueSantiago Pastorino-2/+10
2017-12-13Check Repeat RvalueSantiago Pastorino-3/+50
2017-12-13Revised graphviz rendering API to avoid requiring borrowed state.Felix S. Klock II-17/+17
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-2/+34
2017-12-07renumber types in `ty::Const` and relate them to `mir::Constant`Niko Matsakis-0/+47
2017-12-07rustc_mir: promote references of statics from other statics.Eduard-Mihai Burtescu-7/+16
2017-12-04Auto merge of #46319 - nikomatsakis:nll-master-to-rust-master-2, r=pnkfelixbors-1342/+78
2017-12-04type_check.rs: rustfmtNiko Matsakis-29/+23
2017-12-04remove unused span from `eq_types` (and rustfmt slightly)Niko Matsakis-12/+3
2017-12-04break type-checking of aggregate-kind out into helper functionNiko Matsakis-45/+52
2017-12-04make `no_late_bound_regions` a method on `Binder<T>`Niko Matsakis-1/+1
2017-12-04inform constraint generation using maybe-initPaul Daniel Faria-1325/+0
2017-12-04replace constant regions with a post-inference checkNiko Matsakis-76/+132
2017-12-04separate out the liveness constraints from the final valueNiko Matsakis-34/+47
2017-12-03Add an i128_lowering flag in TargetOptionsScott McMurray-1/+3
2017-12-03Rollup merge of #46462 - sinkuu:copyprop_reg2, r=arielb1Corey Farwell-4/+7
2017-12-03Auto merge of #46334 - mikhail-m1:slice_pattern_array_drop, r=arielb1bors-0/+14
2017-12-03Fix MIR CopyPropagation regressionShotaro Yamada-4/+7
2017-12-03funnel all unwind paths through a single Resume blockAriel Ben-Yehuda-34/+1
2017-12-03add a pass to remove no-op landing padsAriel Ben-Yehuda-17/+144
2017-12-02create a drop ladder for an array if any value is moved outMikhail Modin-0/+14
2017-12-01MIR: s/lv(al(ue)?)?/place in function/variable/module names.Eduard-Mihai Burtescu-203/+201
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-163/+163
2017-11-30Auto merge of #46299 - michaelwoerister:incr-comp-krimskrams, r=nikomatsakisbors-8/+11
2017-11-30Auto merge of #46226 - arielb1:special-region-obligation, r=nikomatsakisbors-3/+10
2017-11-28incr.comp.: Make a bunch of query results encodable.Michael Woerister-6/+9
2017-11-28incr.comp.: Make MIR encoding fit for incr.comp. caching.Michael Woerister-2/+2
2017-11-28rustc_mir: require that Copy(L) satisfies typeof L: Copy.Eduard-Mihai Burtescu-6/+23
2017-11-28MIR: split Operand::Consume into Copy and Move.Eduard-Mihai Burtescu-24/+40
2017-11-28rustc_mir: enforce that arguments are replaced with Local's only.Eduard-Mihai Burtescu-41/+14
2017-11-26improve error messagesAriel Ben-Yehuda-23/+30