bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Process RequiresStorage results in pre-order

Browse source 
Reverse post-order requires an allocation.
This commit is contained in:
Dylan MacKenzie 2020-02-28 20:57:36 -08:00
parent 75d256fc61
commit 21cd1fe0bd
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/librustc_mir/transform/generator.rs
View file

@ -619,8 +619,9 @@ fn compute_storage_conflicts(
local_conflicts: BitMatrix::from_row_n(&ineligible_locals, body.local_decls.len()), local_conflicts: BitMatrix::from_row_n(&ineligible_locals, body.local_decls.len()),
}; };
// FIXME: Do we need to do this in RPO? // Visit only reachable basic blocks. The exact order is not important.
requires_storage.visit_in_rpo_with(body, &mut visitor); let reachable_blocks = traversal::preorder(body).map(|(bb, _)| bb);
requires_storage.visit_with(body, reachable_blocks, &mut visitor);
let local_conflicts = visitor.local_conflicts; let local_conflicts = visitor.local_conflicts;