summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2017-12-21Revert "Auto merge of #45225 - eddyb:trans-abi, r=arielb1"Ariel Ben-Yehuda-5/+6
2017-11-19Auto merge of #45225 - eddyb:trans-abi, r=arielb1bors-6/+5
2017-11-19rustc: move size, align & primitive_align from Abi::Aggregate to layout.Eduard-Mihai Burtescu-1/+1
2017-11-19rustc: remove Ty::layout and move everything to layout_of.Eduard-Mihai Burtescu-3/+2
2017-11-18rustc_mir: always downcast enums, even if univariant.Eduard-Mihai Burtescu-3/+3
2017-11-18Remove return_ty from Mirloomaclin-10/+7
2017-11-16Auto merge of #45825 - nikomatsakis:nll-factor-region-inference, r=arielb1bors-627/+922
2017-11-16Nit: fix typoNiko Matsakis-1/+1
2017-11-16integrate NLL with MIR type-checkerNiko Matsakis-160/+154
2017-11-16region_infer: improved debug loggingNiko Matsakis-9/+35
2017-11-16renumber: debug logs, use `visit_region` rather than `visit_rvalue`Niko Matsakis-22/+29
2017-11-16renumber: handle ReturnTy betterNiko Matsakis-1/+9
2017-11-16formalize giving ownership of region vars to region inf. contextNiko Matsakis-70/+57
2017-11-16infer: extract total number of region variables from infcxNiko Matsakis-13/+6
2017-11-16replace `RegionIndex` with `RegionVid` (which now impls Idx)Niko Matsakis-52/+42
2017-11-16replace `usize` with `RegionIndex` in indices mapNiko Matsakis-17/+19
2017-11-16MIR typeck: refactor to track region constraintsNiko Matsakis-72/+242
2017-11-16MIR typeck: rustfmtNiko Matsakis-10/+4
2017-11-16fix rename to block_data in type_check.rsNiko Matsakis-2/+2
2017-11-16Auto merge of #45985 - arielb1:unsafe-dedup, r=eddybbors-1/+0
2017-11-15modify MIR type-checker to process obligations as they are incurredNiko Matsakis-44/+37
2017-11-15apply rustfmt to `type_check`Niko Matsakis-256/+364
2017-11-15thread location info through mir typeck (but do not use)Niko Matsakis-49/+72
2017-11-15Auto merge of #45913 - sinkuu:mir-inlining-closure, r=arielb1bors-28/+66
2017-11-14check_unsafety: fix unused unsafe block duplicationAriel Ben-Yehuda-1/+0
2017-11-14Add TyCtxt::is_closureShotaro Yamada-8/+6
2017-11-14Make create_temp_necessary a methodShotaro Yamada-46/+40
2017-11-14Handle closures correctly in MIR inliningShotaro Yamada-10/+56
2017-11-14rustc: split off BodyOwnerKind from MirSource.Eduard-Mihai Burtescu-111/+125
2017-11-14rustc: remove unused MirSource::GeneratorDrop.Eduard-Mihai Burtescu-2/+0
2017-11-14rustc_mir: drive passes directly with a macro.Eduard-Mihai Burtescu-216/+104
2017-11-14rustc: move the MIR pass infrastructure and list to rustc_mir.Eduard-Mihai Burtescu-23/+197
2017-11-14Auto merge of #45909 - sinkuu:issue-45885, r=arielb1bors-5/+33
2017-11-13mir-borrowck: Move `is_static_mut()` to `ty/utils.rs`Basile Desloges-21/+2
2017-11-12Auto merge of #45753 - sinkuu:mir_copyprop_arg, r=arielb1bors-4/+46
2017-11-10Separately eliminate self-assignmentssinkuu-4/+39
2017-11-10Fix MIR CopyPropagation errneously propagating assignments to function argumentssinkuu-0/+7
2017-11-10Normalize inlined function in MIR inlinerShotaro Yamada-5/+33
2017-11-10Auto merge of #45785 - arielb1:unsafe-fixes, r=eddybbors-69/+113
2017-11-09add a bunch of debug logging to transform::inlineAriel Ben-Yehuda-6/+23
2017-11-06Auto merge of #45668 - nikomatsakis:nll-free-region, r=arielb1bors-177/+462
2017-11-06collect unused unsafe codeAriel Ben-Yehuda-61/+92
2017-11-06run unsafety checking before dead block collectionAriel Ben-Yehuda-4/+12
2017-11-06fix unsafety checking for generatorsAriel Ben-Yehuda-7/+12
2017-11-02trace span info for constraints and report errorsNiko Matsakis-26/+104
2017-11-02encapsulate the `Region` struct within region inferenceNiko Matsakis-39/+47
2017-11-02add comments to `region_infer`, restructure a bitNiko Matsakis-35/+56
2017-11-02extend NLL regions to include free region indices and add outlivesNiko Matsakis-110/+289
2017-11-02rename `Lookup` to `TyContext` and pass more info when visiting tysNiko Matsakis-23/+22
2017-11-02add TerminatorKind::FalseEdges and use it in matchesMikhail Modin-4/+23