walk ( tmp to lnode -- lnode )

Vocabulary

compiler.cfg.ssa.construction.tdmsc.private

Inputs

tmp	an object
to	an object
lnode	an object

Outputs

lnode

an object

Definition

USING: compiler.cfg.dominance kernel math ;

IN: compiler.cfg.ssa.construction.tdmsc.private

:: walk ( tmp to lnode -- lnode )
    tmp level to level >=
    [ tmp to update-merge-set tmp dom-parent to tmp walk ]
    [ lnode ] if ;