vreg-dominates? ( vreg1 vreg2 -- ? )

Vocabulary

compiler.cfg.ssa.interference.private

Inputs

vreg1	an object
vreg2	an object

Outputs

?

an object

Definition

USING: accessors compiler.cfg.dominance kernel ;

IN: compiler.cfg.ssa.interference.private

:: vreg-dominates? ( vreg1 vreg2 -- ? )
    vreg1 bb>> :> bb1 vreg2 bb>> :> bb2 bb1 bb2 eq?
    [ vreg1 vreg2 locally-dominates? ] [ bb1 bb2 dominates? ] if
    ;