Replace dominators algorithm with simple Lengauer-Tarjan - #85013

Merged

bors merged 11 commits into

rust-lang:masterfrom

Mark-Simulacrum:dominators-bitset

Dec 7, 2021

Commits on Dec 6, 2021

Implement the simple Lengauer-Tarjan algorithm
Mark-Simulacrum
committed
e8d7248
Optimization: Merge parent and ancestor arrays
Mark-Simulacrum
committed
c82fe0e
Optimization: process buckets only once
Mark-Simulacrum
committed
7379d24
Avoid inserting into buckets if not necessary
Mark-Simulacrum
committed
92186cb
Use preorder indices for data structures
Mark-Simulacrum
committed
7d12767
Remove separate RPO traversal
Mark-Simulacrum
committed
8991002
Optimize: reuse the real-to-preorder mapping as the visited set
Mark-Simulacrum
committed
345ada0
Use variables rather than lengths directly
Mark-Simulacrum
committed
cc63ec3
Create newtype around the pre order index
Mark-Simulacrum
committed
2b63059
Avoid using Option where values are always Some
Mark-Simulacrum
committed
3187480

Commits on Dec 7, 2021

Annotate comments onto the LT algorithm
Mark-Simulacrum
committed
15483cc