about summary refs log tree commit diff
path: root/src/librustc/mir
AgeCommit message (Expand)AuthorLines
2017-12-18Move middle::trans.rs to mir::mono.rsMaik Klein-0/+189
2017-12-17miri: pass pointer alignments directly instead of contextually.Eduard-Mihai Burtescu-4/+3
2017-12-17miri: use separate Pointer and Align instead of PtrAndAlign.Eduard-Mihai Burtescu-20/+2
2017-12-17miri: track the Align instead of packedness in PtrAndAlign.Eduard-Mihai Burtescu-11/+3
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-0/+9
2017-12-15permit `ClosureOutlivesRequirement` to constrain regions or typesNiko Matsakis-8/+25
2017-12-15Auto merge of #46537 - pnkfelix:two-phase-borrows, r=arielb1bors-2/+2
2017-12-13Allow `mir::Place` to be used as a key in hashtables.Felix S. Klock II-2/+2
2017-12-12Move large chunks of miri from rustc::mir::interpret to rustc_mir::interpretOliver Schneider-6742/+272
2017-12-11Merge remote-tracking branch 'origin/master' into miriOliver Schneider-0/+69
2017-12-08incr.comp.: Fix merge fallout.Michael Woerister-2/+2
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-0/+69
2017-12-06Merge remote-tracking branch 'origin/master' into miriOliver Schneider-0/+6
2017-12-06miri: don't use an associated constant for a Machine's own data.Eduard-Mihai Burtescu-13/+9
2017-12-06miri: move param_env from Machine to EvalContext.Eduard-Mihai Burtescu-22/+13
2017-12-06miri: import ty::Ty directly.Eduard-Mihai Burtescu-15/+16
2017-12-06miri: monomorphize types iff they came from MIR.Eduard-Mihai Burtescu-239/+130
2017-12-06Update miri to rustc changesOliver Schneider-2841/+2094
2017-12-05Auto merge of #46492 - eddyb:move-ops, r=arielb1bors-0/+6
2017-12-05rustc_mir: don't move temporaries that are still used later.Eduard-Mihai Burtescu-0/+6
2017-12-04rustc_back: remove slice module in favor of std::slice::from_ref.Irina-Gabriela Popa-7/+7
2017-12-03add a pass to remove no-op landing padsAriel Ben-Yehuda-0/+25
2017-12-01MIR: s/lv(al(ue)?)?/place in function/variable/module names.Eduard-Mihai Burtescu-123/+126
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-125/+125
2017-12-01Auto merge of #46236 - davidtwco:issue-46023, r=arielb1bors-1/+3
2017-11-30Immutable unique closure upvars cannot be mutated.David Wood-1/+3
2017-11-28incr.comp.: Make a bunch of query results encodable.Michael Woerister-4/+5
2017-11-28incr.comp.: Make MIR encoding fit for incr.comp. caching.Michael Woerister-17/+8
2017-11-28MIR: split Operand::Consume into Copy and Move.Eduard-Mihai Burtescu-11/+31
2017-11-26make accessing packed fields a future-compat warningAriel Ben-Yehuda-1/+8
2017-11-24Auto merge of #46093 - scottmcm:lower-128-mir, r=nagisabors-0/+9
2017-11-22handle the active field index in unionsNiko Matsakis-3/+7
2017-11-18Add a MIR pass to lower 128-bit operators to lang item callsScott McMurray-0/+9
2017-11-18Remove return_ty from Mirloomaclin-10/+6
2017-11-17MIR: hide .rodata constants vs by-ref ABI clash in trans.Eduard-Mihai Burtescu-3/+4
2017-11-16renumber: handle ReturnTy betterNiko Matsakis-5/+6
2017-11-16formalize giving ownership of region vars to region inf. contextNiko Matsakis-1/+1
2017-11-15thread location info through mir typeck (but do not use)Niko Matsakis-1/+35
2017-11-14rustc: split off BodyOwnerKind from MirSource.Eduard-Mihai Burtescu-75/+0
2017-11-14rustc: remove unused MirSource::GeneratorDrop.Eduard-Mihai Burtescu-4/+0
2017-11-14rustc: move the MIR pass infrastructure and list to rustc_mir.Eduard-Mihai Burtescu-113/+1
2017-11-12MIR-borrowck: fix diagnostics for closuresShotaro Yamada-2/+2
2017-11-10Auto merge of #45785 - arielb1:unsafe-fixes, r=eddybbors-0/+10
2017-11-06Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1bors-17/+34
2017-11-06collect unused unsafe codeAriel Ben-Yehuda-0/+10
2017-11-04Auto merge of #45605 - Nashenas88:derive-newtype, r=nikomatsakisbors-0/+1
2017-11-02rename `Lookup` to `TyContext` and pass more info when visiting tysNiko Matsakis-17/+34
2017-11-02add TerminatorKind::FalseEdges and use it in matchesMikhail Modin-4/+35
2017-11-01newtype_index: Support simpler serializable override, custom derive, and fix ...Paul Daniel Faria-19/+5
2017-11-01Add derive and doc comment capabilities to newtype_index macroPaul Daniel Faria-5/+20