process-loop-block ( bb loop -- bbs )

Vocabulary

compiler.cfg.loop-detection.private

Inputs

bb	an object
loop	an object

Outputs

bbs

an object

Definition

USING: accessors combinators.short-circuit kernel sets ;

IN: compiler.cfg.loop-detection.private

: process-loop-block ( bb loop -- bbs )
    dupd { [ blocks>> ?adjoin ] [ header>> eq? not ] } 2&&
    swap predecessors>> { } ? ;