invariant-loop-use? ( vreg loop selected -- ? )

Vocabulary

compiler.cfg.loop-optimization

Inputs

vreg	an object
loop	an object
selected	an object

Outputs

?

an object

Definition

USING: accessors compiler.cfg.def-use compiler.cfg.dominance
kernel sets ;

IN: compiler.cfg.loop-optimization

:: invariant-loop-use? ( vreg loop selected -- ? )
    vreg selected in?
    [ t ] [
        vreg def-of :> defining defining [
            defining loop blocks>> in?
            not defining loop header>> dominates? and
        ] [ f ] if
    ] if ;