detect-loops ( cfg -- cfg' )

Vocabulary

compiler.cfg.loop-detection.private

Inputs

cfg

an object

Outputs

cfg'

an object

Definition

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

IN: compiler.cfg.loop-detection.private

: detect-loops ( cfg -- cfg' )
    H{ } clone loops set HS{ } clone visited set
    HS{ } clone active set H{ } clone loop-nesting set
    [ needs-predecessors ] [
        entry>> find-loop-headers
        process-loop-headers compute-loop-nesting
    ] [ ] tri ;