needs-loops ( cfg -- )

Vocabulary

compiler.cfg.loop-detection

Inputs

cfg

a cfg

Outputs

None

Word description

Runs loop detection for the cfg if it isn't valid.

Definition

USING: accessors compiler.cfg.loop-detection.private
compiler.cfg.predecessors kernel ;

IN: compiler.cfg.loop-detection

: needs-loops ( cfg -- )
    dup needs-predecessors dup loops-valid?>>
    [ detect-loops t >>loops-valid? ] unless drop ;