dominates? ( bb1 bb2 -- ? )

Vocabulary

compiler.cfg.dominance

Inputs

bb1	an object
bb2	an object

Outputs

?

an object

Definition

USING: kernel math.order ;

IN: compiler.cfg.dominance

: dominates? ( bb1 bb2 -- ? )
    swap [ pre-of ] [ [ pre-of ] [ maxpre-of ] bi ] bi* between?
    ;