Dominator Tree ·
Who Must Run First
un
seel
.com · Control-flow graph → immediate dominators · Lengauer-Tarjan O(m·α)
idom found
0
/7
Tree edges
0
State
—
Block
Query target
Dominator
idom fixed
▶ Play
←
→
🔇 Unmute
Reset
Un
seel
.com · Dominator Tree
Un
seel
.com · Dominator Tree: Finding Which Blocks Must Execute Before Each Node