supported-loop? ( loop -- ? )

Vocabulary

compiler.cfg.loop-optimization

Inputs

loop

an object

Outputs

?

an object

Definition

USING: accessors compiler.cfg.dominance kernel sequences sets ;

IN: compiler.cfg.loop-optimization

:: supported-loop? ( loop -- ? )
    loop blocks>> members [| bb |
        bb kill-block?>> not loop header>> bb dominates? and
        bb instructions>> [ loop-motion-barrier? ] any? not and
    ] all? ;