summary refs log tree commit diff
path: root/src/librustc_mir/transform
AgeCommit message (Expand)AuthorLines
2016-06-23Move errors from libsyntax to its own crateJonathan Turner-3/+3
2016-06-16fix MirSource::Promoted handlingAriel Ben-Yehuda-4/+1
2016-06-16stop having `'static` in dump-mir namesAriel Ben-Yehuda-0/+6
2016-06-09use the type name as the pass nameAriel Ben-Yehuda-19/+5
2016-06-09refactor simplify_cfg and split off simplify_branchesAriel Ben-Yehuda-133/+193
2016-06-09add hook infrastructure for automatically dumping MIR on every passAriel Ben-Yehuda-18/+91
2016-06-09introduce an `unreachable` terminatorAriel Ben-Yehuda-1/+5
2016-06-09add a cache for MIR predecessorsAriel Ben-Yehuda-20/+4
2016-06-09make the basic_blocks field privateAriel Ben-Yehuda-55/+52
2016-06-09introduce the type-safe IdxVec and use it instead of loose indexesAriel Ben-Yehuda-71/+73
2016-06-09merge the RemoveDeadBlocks pass into the SimplifyCfg passAriel Ben-Yehuda-98/+62
2016-06-09implement RFC495 semantics for slice patternsAriel Ben-Yehuda-1/+21
2016-06-08remove the librustc_trans -> librustc_mir dependencyAriel Ben-Yehuda-7/+4
2016-06-07mir: group span + visibility scope under a new SourceInfo type.Eduard Burtescu-33/+37
2016-06-07mir: distinguish between variable visibility scopes and SEME scopes.Eduard Burtescu-3/+3
2016-06-05Add a new Assert terminator to MIR for bounds & arithmetic checks.Eduard Burtescu-65/+30
2016-06-05Check arithmetic in the MIRJames Miller-0/+1
2016-06-05break critical edges only when neededAriel Ben-Yehuda-43/+56
2016-06-03check for is_cleanup violations in MIR typeckAriel Ben-Yehuda-3/+65
2016-06-03introduce DropAndReplace for translating assignmentsAriel Ben-Yehuda-5/+21
2016-05-31normalize types in MIR typeck after erasing regionsAriel Ben-Yehuda-25/+24
2016-05-15Auto merge of #33620 - eddyb:oops-static-is-not-fn, r=dotdashbors-3/+3
2016-05-14Rollup merge of #33552 - dotdash:scfg, r=luqmanaManish Goregaokar-59/+124
2016-05-14Rollup merge of #33544 - dotdash:baby_dont_break_me_no_more, r=AatchManish Goregaokar-118/+112
2016-05-13mir: always allow &mut [...] in static mut regardless of the array length.Eduard Burtescu-3/+3
2016-05-13Auto merge of #33541 - eddyb:promote-only-temps, r=arielb1bors-6/+18
2016-05-13[MIR] Enhance the SimplifyCfg pass to merge consecutive blocksBjörn Steinbrink-59/+124
2016-05-11Only break critical edges where actually neededBjörn Steinbrink-118/+112
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-11/+10
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-3/+3
2016-05-11rustc: Wrap users of InferCtxt in an anonymous scope.Eduard Burtescu-23/+23
2016-05-11rustc: Remove the TyCtxt field from ParameterEnvironment.Eduard Burtescu-13/+15
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-28/+34
2016-05-11rustc: Replace &'a TyCtxt<'tcx> with a TyCtxt<'a, 'tcx> wrapper.Eduard Burtescu-22/+22
2016-05-11rustc: Avoid free functions taking &TyCtxt and &InferCtxt.Eduard Burtescu-16/+14
2016-05-11infer: Use methods for creating an InferCtxt.Eduard Burtescu-9/+5
2016-05-10mir: don't attempt to promote Unpromotable constant temps.Eduard Burtescu-6/+18
2016-05-07Implement RFC 1440 "Allow Drop types in statics/const functions".Eduard Burtescu-5/+32
2016-05-07mir: qualify and promote constants.Eduard Burtescu-0/+1424
2016-05-07mir: prepare for rvalue promotion support.Eduard Burtescu-24/+21
2016-04-16MIR: Do not require END_BLOCK to always existSimonas Kazlauskas-2/+1
2016-04-06break dep-graph into modules, parameterize DepNodeNiko Matsakis-1/+2
2016-04-05Rollup merge of #32596 - soltanmm:lazy, r=nikomatsakisManish Goregaokar-1/+5
2016-04-04Address nitsMasood Malekghassemi-2/+2
2016-04-03Auto merge of #32210 - Aatch:mir-traversal, r=nikomatsakisbors-0/+118
2016-04-03Use a BitVector instead of Vec<bool> for recording cleanup blocksJames Miller-1/+8
2016-03-31Turn break critical edges into a MIR passJames Miller-9/+23
2016-03-30move `const_eval` and `check_match` out of `librustc`Oliver Schneider-1/+1
2016-03-29Plumb obligations through librustc/inferMasood Malekghassemi-1/+5
2016-03-30Don't build a map of predecessors, just count them insteadJames Miller-88/+4