process-block ( bb -- bbs )


Vocabulary
compiler.cfg.linearization.private

Inputs
bban object


Outputs
bbsan object


Definition
USING: compiler.cfg.utilities kernel make namespaces sequences
sets ;

IN: compiler.cfg.linearization.private

: process-block ( bb -- bbs )
dup visited get ?adjoin
[ dup , sorted-successors ] [ drop { } ] if
[ predecessors-ready? ] filter
[ dup loop-entry? [ find-alternate-loop-head ] when ] map
[ visited? ] reject ;