breadth-first-order ( cfg -- bfo )


Vocabulary
compiler.cfg.dominance

Inputs
cfgan object


Outputs
bfoan object


Definition
USING: accessors compiler.cfg.rpo deques dlists kernel sequences
vectors ;

IN: compiler.cfg.dominance

:: breadth-first-order ( cfg -- bfo )
<dlist> :> work-list cfg post-order length <vector> :> accum
cfg entry>> work-list push-front work-list [
[ accum push ] [ dom-children work-list push-all-front ]
bi
] slurp-deque accum ;