Add pass names to some common dataflow analyses
This commit is contained in:
parent
8e3ce43de9
commit
0475c365fe
@ -205,6 +205,7 @@ fn do_mir_borrowck<'a, 'tcx>(
|
|||||||
|
|
||||||
let mut flow_inits = MaybeInitializedPlaces::new(tcx, &body, &mdpe)
|
let mut flow_inits = MaybeInitializedPlaces::new(tcx, &body, &mdpe)
|
||||||
.into_engine(tcx, &body, def.did.to_def_id())
|
.into_engine(tcx, &body, def.did.to_def_id())
|
||||||
|
.pass_name("borrowck")
|
||||||
.iterate_to_fixpoint()
|
.iterate_to_fixpoint()
|
||||||
.into_results_cursor(&body);
|
.into_results_cursor(&body);
|
||||||
|
|
||||||
@ -264,12 +265,15 @@ fn do_mir_borrowck<'a, 'tcx>(
|
|||||||
|
|
||||||
let flow_borrows = Borrows::new(tcx, &body, regioncx.clone(), &borrow_set)
|
let flow_borrows = Borrows::new(tcx, &body, regioncx.clone(), &borrow_set)
|
||||||
.into_engine(tcx, &body, def.did.to_def_id())
|
.into_engine(tcx, &body, def.did.to_def_id())
|
||||||
|
.pass_name("borrowck")
|
||||||
.iterate_to_fixpoint();
|
.iterate_to_fixpoint();
|
||||||
let flow_uninits = MaybeUninitializedPlaces::new(tcx, &body, &mdpe)
|
let flow_uninits = MaybeUninitializedPlaces::new(tcx, &body, &mdpe)
|
||||||
.into_engine(tcx, &body, def.did.to_def_id())
|
.into_engine(tcx, &body, def.did.to_def_id())
|
||||||
|
.pass_name("borrowck")
|
||||||
.iterate_to_fixpoint();
|
.iterate_to_fixpoint();
|
||||||
let flow_ever_inits = EverInitializedPlaces::new(tcx, &body, &mdpe)
|
let flow_ever_inits = EverInitializedPlaces::new(tcx, &body, &mdpe)
|
||||||
.into_engine(tcx, &body, def.did.to_def_id())
|
.into_engine(tcx, &body, def.did.to_def_id())
|
||||||
|
.pass_name("borrowck")
|
||||||
.iterate_to_fixpoint();
|
.iterate_to_fixpoint();
|
||||||
|
|
||||||
let movable_generator = match tcx.hir().get(id) {
|
let movable_generator = match tcx.hir().get(id) {
|
||||||
|
@ -57,6 +57,7 @@ impl Qualifs<'mir, 'tcx> {
|
|||||||
MaybeMutBorrowedLocals::mut_borrows_only(tcx, &body, param_env)
|
MaybeMutBorrowedLocals::mut_borrows_only(tcx, &body, param_env)
|
||||||
.unsound_ignore_borrow_on_drop()
|
.unsound_ignore_borrow_on_drop()
|
||||||
.into_engine(tcx, &body, def_id.to_def_id())
|
.into_engine(tcx, &body, def_id.to_def_id())
|
||||||
|
.pass_name("const_qualification")
|
||||||
.iterate_to_fixpoint()
|
.iterate_to_fixpoint()
|
||||||
.into_results_cursor(&body)
|
.into_results_cursor(&body)
|
||||||
});
|
});
|
||||||
|
@ -44,6 +44,7 @@ impl<'tcx> MirPass<'tcx> for ElaborateDrops {
|
|||||||
let inits = MaybeInitializedPlaces::new(tcx, body, &env)
|
let inits = MaybeInitializedPlaces::new(tcx, body, &env)
|
||||||
.into_engine(tcx, body, def_id)
|
.into_engine(tcx, body, def_id)
|
||||||
.dead_unwinds(&dead_unwinds)
|
.dead_unwinds(&dead_unwinds)
|
||||||
|
.pass_name("elaborate_drops")
|
||||||
.iterate_to_fixpoint()
|
.iterate_to_fixpoint()
|
||||||
.into_results_cursor(body);
|
.into_results_cursor(body);
|
||||||
|
|
||||||
@ -51,6 +52,7 @@ impl<'tcx> MirPass<'tcx> for ElaborateDrops {
|
|||||||
.mark_inactive_variants_as_uninit()
|
.mark_inactive_variants_as_uninit()
|
||||||
.into_engine(tcx, body, def_id)
|
.into_engine(tcx, body, def_id)
|
||||||
.dead_unwinds(&dead_unwinds)
|
.dead_unwinds(&dead_unwinds)
|
||||||
|
.pass_name("elaborate_drops")
|
||||||
.iterate_to_fixpoint()
|
.iterate_to_fixpoint()
|
||||||
.into_results_cursor(body);
|
.into_results_cursor(body);
|
||||||
|
|
||||||
@ -83,6 +85,7 @@ fn find_dead_unwinds<'tcx>(
|
|||||||
let mut dead_unwinds = BitSet::new_empty(body.basic_blocks().len());
|
let mut dead_unwinds = BitSet::new_empty(body.basic_blocks().len());
|
||||||
let mut flow_inits = MaybeInitializedPlaces::new(tcx, body, &env)
|
let mut flow_inits = MaybeInitializedPlaces::new(tcx, body, &env)
|
||||||
.into_engine(tcx, body, def_id)
|
.into_engine(tcx, body, def_id)
|
||||||
|
.pass_name("find_dead_unwinds")
|
||||||
.iterate_to_fixpoint()
|
.iterate_to_fixpoint()
|
||||||
.into_results_cursor(body);
|
.into_results_cursor(body);
|
||||||
for (bb, bb_data) in body.basic_blocks().iter_enumerated() {
|
for (bb, bb_data) in body.basic_blocks().iter_enumerated() {
|
||||||
|
@ -467,8 +467,10 @@ fn locals_live_across_suspend_points(
|
|||||||
|
|
||||||
// Calculate the MIR locals which have been previously
|
// Calculate the MIR locals which have been previously
|
||||||
// borrowed (even if they are still active).
|
// borrowed (even if they are still active).
|
||||||
let borrowed_locals_results =
|
let borrowed_locals_results = MaybeBorrowedLocals::all_borrows()
|
||||||
MaybeBorrowedLocals::all_borrows().into_engine(tcx, body_ref, def_id).iterate_to_fixpoint();
|
.into_engine(tcx, body_ref, def_id)
|
||||||
|
.pass_name("generator")
|
||||||
|
.iterate_to_fixpoint();
|
||||||
|
|
||||||
let mut borrowed_locals_cursor =
|
let mut borrowed_locals_cursor =
|
||||||
dataflow::ResultsCursor::new(body_ref, &borrowed_locals_results);
|
dataflow::ResultsCursor::new(body_ref, &borrowed_locals_results);
|
||||||
@ -484,6 +486,7 @@ fn locals_live_across_suspend_points(
|
|||||||
// Calculate the liveness of MIR locals ignoring borrows.
|
// Calculate the liveness of MIR locals ignoring borrows.
|
||||||
let mut liveness = MaybeLiveLocals
|
let mut liveness = MaybeLiveLocals
|
||||||
.into_engine(tcx, body_ref, def_id)
|
.into_engine(tcx, body_ref, def_id)
|
||||||
|
.pass_name("generator")
|
||||||
.iterate_to_fixpoint()
|
.iterate_to_fixpoint()
|
||||||
.into_results_cursor(body_ref);
|
.into_results_cursor(body_ref);
|
||||||
|
|
||||||
|
@ -87,6 +87,7 @@ impl<'tcx> LateLintPass<'tcx> for RedundantClone {
|
|||||||
|
|
||||||
let maybe_storage_live_result = MaybeStorageLive
|
let maybe_storage_live_result = MaybeStorageLive
|
||||||
.into_engine(cx.tcx, mir, def_id.to_def_id())
|
.into_engine(cx.tcx, mir, def_id.to_def_id())
|
||||||
|
.pass_name("redundant_clone")
|
||||||
.iterate_to_fixpoint()
|
.iterate_to_fixpoint()
|
||||||
.into_results_cursor(mir);
|
.into_results_cursor(mir);
|
||||||
let mut possible_borrower = {
|
let mut possible_borrower = {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user