diff options
| author | Ariel Ben-Yehuda <arielb1@mail.tau.ac.il> | 2016-06-16 17:30:09 +0300 |
|---|---|---|
| committer | Ariel Ben-Yehuda <arielb1@mail.tau.ac.il> | 2016-06-16 17:30:09 +0300 |
| commit | a6d694ea0095be73aff9c29ccc2d5da260b3bfae (patch) | |
| tree | 116a34c30176b489b26ec28745777f1cbd6f6630 | |
| parent | 5da8bf8402a422720a659673e465c7d70d494995 (diff) | |
| download | rust-a6d694ea0095be73aff9c29ccc2d5da260b3bfae.tar.gz rust-a6d694ea0095be73aff9c29ccc2d5da260b3bfae.zip | |
fix MirSource::Promoted handling
| -rw-r--r-- | src/librustc/mir/transform.rs | 21 | ||||
| -rw-r--r-- | src/librustc_mir/pretty.rs | 6 | ||||
| -rw-r--r-- | src/librustc_mir/transform/add_call_guards.rs | 5 |
3 files changed, 15 insertions, 17 deletions
diff --git a/src/librustc/mir/transform.rs b/src/librustc/mir/transform.rs index f17984d3804..4ca3907d4e6 100644 --- a/src/librustc/mir/transform.rs +++ b/src/librustc/mir/transform.rs @@ -13,7 +13,7 @@ use hir; use hir::map::DefPathData; use hir::def_id::DefId; use mir::mir_map::MirMap; -use mir::repr::Mir; +use mir::repr::{Mir, Promoted}; use ty::TyCtxt; use syntax::ast::NodeId; @@ -32,7 +32,7 @@ pub enum MirSource { Static(NodeId, hir::Mutability), /// Promoted rvalues within a function. - Promoted(NodeId, usize) + Promoted(NodeId, Promoted) } impl<'a, 'tcx> MirSource { @@ -77,7 +77,12 @@ pub trait Pass { DepNode::MirPass(def_id) } fn name(&self) -> &str { - unsafe { ::std::intrinsics::type_name::<Self>() } + let name = unsafe { ::std::intrinsics::type_name::<Self>() }; + if let Some(tail) = name.rfind(":") { + &name[tail+1..] + } else { + name + } } fn disambiguator<'a>(&'a self) -> Option<Box<fmt::Display+'a>> { None } } @@ -104,11 +109,6 @@ pub trait MirPassHook<'tcx>: Pass { /// A pass which inspects Mir of functions in isolation. pub trait MirPass<'tcx>: Pass { - fn run_pass_on_promoted<'a>(&mut self, tcx: TyCtxt<'a, 'tcx, 'tcx>, - item_id: NodeId, index: usize, - mir: &mut Mir<'tcx>) { - self.run_pass(tcx, MirSource::Promoted(item_id, index), mir); - } fn run_pass<'a>(&mut self, tcx: TyCtxt<'a, 'tcx, 'tcx>, src: MirSource, mir: &mut Mir<'tcx>); } @@ -133,11 +133,12 @@ impl<'tcx, T: MirPass<'tcx>> MirMapPass<'tcx> for T { hook.on_mir_pass(tcx, src, mir, self, true); } - for (i, mir) in mir.promoted.iter_mut().enumerate() { + for (i, mir) in mir.promoted.iter_enumerated_mut() { + let src = MirSource::Promoted(id, i); for hook in &mut *hooks { hook.on_mir_pass(tcx, src, mir, self, false); } - self.run_pass_on_promoted(tcx, id, i, mir); + MirPass::run_pass(self, tcx, src, mir); for hook in &mut *hooks { hook.on_mir_pass(tcx, src, mir, self, true); } diff --git a/src/librustc_mir/pretty.rs b/src/librustc_mir/pretty.rs index 95769a7a50b..515620d4253 100644 --- a/src/librustc_mir/pretty.rs +++ b/src/librustc_mir/pretty.rs @@ -62,7 +62,7 @@ pub fn dump_mir<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>, } let promotion_id = match src { - MirSource::Promoted(_, id) => format!("-promoted{}", id), + MirSource::Promoted(_, id) => format!("-{:?}", id), _ => String::new() }; @@ -98,7 +98,7 @@ pub fn write_mir_pretty<'a, 'b, 'tcx, I>(tcx: TyCtxt<'b, 'tcx, 'tcx>, let src = MirSource::from_node(tcx, id); write_mir_fn(tcx, src, mir, w, None)?; - for (i, mir) in mir.promoted.iter().enumerate() { + for (i, mir) in mir.promoted.iter_enumerated() { writeln!(w, "")?; write_mir_fn(tcx, MirSource::Promoted(id, i), mir, w, None)?; } @@ -292,7 +292,7 @@ fn write_mir_sig(tcx: TyCtxt, src: MirSource, mir: &Mir, w: &mut Write) MirSource::Const(_) => write!(w, "const")?, MirSource::Static(_, hir::MutImmutable) => write!(w, "static")?, MirSource::Static(_, hir::MutMutable) => write!(w, "static mut")?, - MirSource::Promoted(_, i) => write!(w, "promoted{} in", i)? + MirSource::Promoted(_, i) => write!(w, "{:?} in", i)? } write!(w, " {}", tcx.node_path_str(src.item_id()))?; diff --git a/src/librustc_mir/transform/add_call_guards.rs b/src/librustc_mir/transform/add_call_guards.rs index 63e975128c7..c028504d6f9 100644 --- a/src/librustc_mir/transform/add_call_guards.rs +++ b/src/librustc_mir/transform/add_call_guards.rs @@ -13,8 +13,6 @@ use rustc::mir::repr::*; use rustc::mir::transform::{MirPass, MirSource, Pass}; use rustc_data_structures::indexed_vec::{Idx, IndexVec}; -use pretty; - pub struct AddCallGuards; /** @@ -38,7 +36,7 @@ pub struct AddCallGuards; */ impl<'tcx> MirPass<'tcx> for AddCallGuards { - fn run_pass<'a>(&mut self, tcx: TyCtxt<'a, 'tcx, 'tcx>, src: MirSource, mir: &mut Mir<'tcx>) { + fn run_pass<'a>(&mut self, _tcx: TyCtxt<'a, 'tcx, 'tcx>, _src: MirSource, mir: &mut Mir<'tcx>) { let pred_count: IndexVec<_, _> = mir.predecessors().iter().map(|ps| ps.len()).collect(); @@ -75,7 +73,6 @@ impl<'tcx> MirPass<'tcx> for AddCallGuards { } } - pretty::dump_mir(tcx, "break_cleanup_edges", &0, src, mir, None); debug!("Broke {} N edges", new_blocks.len()); mir.basic_blocks_mut().extend(new_blocks); |
