(compute-dfs) ( n bb -- n )

Vocabulary

compiler.cfg.dominance.private

Inputs

n	an object
bb	an object

Outputs

n

an object

Definition

USING: assocs compiler.cfg.dominance kernel math namespaces
sequences ;

IN: compiler.cfg.dominance.private

: (compute-dfs) ( n bb -- n )
    [ 1 + ] dip
    [ dupd preorder get set-at ]
    [ dom-children [ (compute-dfs) ] each ]
    [ dupd maxpreorder get set-at ] tri ;