summary refs log tree commit diff
path: root/src/librustc_mir
AgeCommit message (Expand)AuthorLines
2017-04-02mark build::cfg::start_new_block as inline(never)Ariel Ben-Yehuda-0/+3
2017-03-11Rollup merge of #40372 - nagisa:never-drop, r=eddybAriel Ben-Yehuda-1/+1
2017-03-11Auto merge of #40308 - nikomatsakis:incr-comp-isolate-task, r=mwbors-2/+4
2017-03-10isolate dep-graph tasksNiko Matsakis-2/+4
2017-03-10Only run inlining if mir opts are enabledJames Miller-1/+1
2017-03-10Add dep-graph tasks where neededJames Miller-16/+10
2017-03-10Initial implementation of inlining for MIRJames Miller-4/+1112
2017-03-09Do not bother creating StorageLive for TyNeverSimonas Kazlauskas-1/+1
2017-03-04Auto merge of #40163 - arielb1:normalization-1702, r=nikomatsakisbors-11/+20
2017-03-03Auto merge of #40133 - arielb1:operand-lifetimes, r=eddybbors-120/+155
2017-03-03make operands live to the end of their containing expressionAriel Ben-Yehuda-49/+101
2017-03-03Auto merge of #39927 - nikomatsakis:incr-comp-skip-borrowck-2, r=eddybbors-21/+5
2017-03-02schedule drops on bindings only after initializing themAriel Ben-Yehuda-71/+54
2017-03-01transform broken MIR warnings to hard ICEsAriel Ben-Yehuda-8/+7
2017-03-01store the normalized types of statics in MIR LvaluesAriel Ben-Yehuda-3/+13
2017-02-28convert MIR to iterate over the bodies vectorNiko Matsakis-21/+5
2017-02-28Remove the TypedConstValSimonas Kazlauskas-7/+4
2017-02-28Make Rvalue::ty infallibleSimonas Kazlauskas-12/+8
2017-02-25rustc_const_eval: demand that the MIR qualify_consts ran on each evaluated body.Eduard-Mihai Burtescu-76/+77
2017-02-25rustc_const_eval: always demand typeck_tables for evaluating constants.Eduard-Mihai Burtescu-10/+23
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-4/+4
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-3/+1
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-13/+14
2017-02-25rustc_mir: expose MIR building through ty::maps::Provider.Eduard-Mihai Burtescu-57/+101
2017-02-25rustc: consolidate dep-tracked hashmaps in tcx.maps.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc: move the actual values of enum discriminants into a map.Eduard-Mihai Burtescu-6/+5
2017-02-25Rollup merge of #40037 - froydnj:overflow-checks, r=alexcrichtonEduard-Mihai Burtescu-7/+2
2017-02-25Rollup merge of #40025 - est31:master, r=eddybEduard-Mihai Burtescu-0/+20
2017-02-25Rollup merge of #39864 - cramertj:normalize-breaks, r=nikomatsakisEduard-Mihai Burtescu-22/+21
2017-02-23Implement non-capturing closure to fn coercionest31-0/+20
2017-02-22add `-C overflow-checks` optionNathan Froyd-7/+2
2017-02-18Properly implement labeled breaks in while conditionsTaylor Cramer-8/+15
2017-02-17Normalize labeled and unlabeled breaksTaylor Cramer-19/+11
2017-02-15[MIR] Make InlineAsm a StatementSimonas Kazlauskas-22/+23
2017-02-13Auto merge of #39456 - nagisa:mir-switchint-everywhere, r=nikomatsakisbors-139/+117
2017-02-10Inline open_drop_for_variant & clean matches::testSimonas Kazlauskas-11/+10
2017-02-10Add TerminatorKind::if_ convenience constructorSimonas Kazlauskas-52/+25
2017-02-10Prefer switching on false for boolean switchesSimonas Kazlauskas-18/+18
2017-02-10Fix the IntTypeExt::to_ty() lifetime boundsSimonas Kazlauskas-8/+2
2017-02-10Reimplement simplify_cfg for SwitchIntSimonas Kazlauskas-14/+18
2017-02-10Only SwitchInt over integers, not all constsSimonas Kazlauskas-62/+44
2017-02-10SwitchInt over SwitchSimonas Kazlauskas-29/+42
2017-02-10If is now always a SwitchInt in MIRSimonas Kazlauskas-60/+65
2017-02-10Add Rvalue::Discriminant to retrieve discriminantSimonas Kazlauskas-0/+8
2017-02-10Use global recursion limit when evaluating inhabitednessAndrew Cann-3/+3
2017-02-09Add recursion limit to inhabitedness checkAndrew Cann-1/+1
2017-02-05Rollup merge of #39009 - canndrew:default-unit-warnings, r=nikomatsakisCorey Farwell-2/+2
2017-02-04Auto merge of #39434 - nikomatsakis:incr-comp-skip-typeck-2, r=eddybbors-1/+1
2017-02-03Bump version, upgrade bootstrapAlex Crichton-4/+1
2017-02-03Add warning for () to ! switchAndrew Cann-2/+2