Commit a35a84a

committed

Perform jump-threading inside coroutines.

1 parent 5ad0a9c commit a35a84aCopy full SHA for a35a84a

File tree

-7

lines changed

-7

lines changed

Lines changed: 1 addition & 7 deletions

Original file line number	Diff line number	Diff line change
`@@ -49,7 +49,7 @@ use rustc_middle::ty::{self, ScalarInt, TyCtxt};`
`49`	`49`	`use rustc_mir_dataflow::lattice::HasBottom;`
`50`	`50`	`use rustc_mir_dataflow::value_analysis::{Map, PlaceIndex, State, TrackElem};`
`51`	`51`	`use rustc_span::DUMMY_SP;`
`52`		`-use tracing::{debug, instrument, trace};`
	`52`	`+use tracing::{debug, instrument};`
`53`	`53`
`54`	`54`	`use crate::cost_checker::CostChecker;`
`55`	`55`
`@@ -69,12 +69,6 @@ impl<'tcx> crate::MirPass<'tcx> for JumpThreading {`
`69`	`69`	`let def_id = body.source.def_id();`
`70`	`70`	`debug!(?def_id);`
`71`	`71`
`72`		`- // Optimizing coroutines creates query cycles.`
`73`		`- if tcx.is_coroutine(def_id) {`
`74`		`- trace!("Skipped for coroutine {:?}", def_id);`
`75`		`- return;`
`76`		`- }`
`77`		`-`
`78`	`72`	`let typing_env = body.typing_env(tcx);`
`79`	`73`	`let arena = &DroplessArena::default();`
`80`	`74`	`let mut finder = TOFinder {`

Comments

(0)