mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Avoid inserting into buckets if not necessary

Browse Source
This commit is contained in:
Mark Rousskov 2021-05-09 14:06:05 -04:00
parent 7379d24ebc
commit 92186cb5c9
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
compiler/rustc_data_structures/src/graph/dominators/mod.rs
View File

@ -91,7 +91,13 @@ fn dominators_given_rpo<G: ControlFlowGraph>(graph: G, rpo: &[G::Node]) -> Domin
}
// semi[w] is now semidominator(w).
bucket[semi[w]].push(w);
// Optimization: Do not insert into buckets if parent[w] = semi[w], as
// we then immediately know the idom.
if parent[w].unwrap() != semi[w] {
bucket[semi[w]].push(w);
} else {
idom[w] = parent[w].unwrap();
}
// Optimization: We share the parent array between processed and not
// processed elements; lastlinked represents the divider.