Handbook
Glossary
dom-children ( bb -- seq )
A Simple, Fast Dominance Algorithm
Prev:
needs-dominance ( cfg -- )
Next:
dom-parent ( bb -- bb' )
Vocabulary
compiler
.
cfg
.
dominance
Inputs
bb
a
basic-block
Outputs
seq
a
sequence
Word description
Maps bb -> {bb' | idom(bb') = bb} or in other words, all basic blocks dominated by the given basic block.
Definition
USING:
assocs
compiler.cfg.dominance.private
namespaces
;
IN:
compiler.cfg.dominance
:
dom-children
( bb -- seq )
dom-childrens
get
at
;