find-loop-headers ( bb -- )

Vocabulary

compiler.cfg.loop-detection.private

Inputs

bb

an object

Outputs

None

Definition

USING: accessors kernel namespaces sequences sets ;

IN: compiler.cfg.loop-detection.private

: find-loop-headers ( bb -- )
    dup visited get ?adjoin [
        active get
        [ adjoin ] [
            [ dup successors>> ] dip [ visit-edge ] curry with
            each
        ] [ delete ] 2tri
    ] [ drop ] if ;