add-to-worklist ( bb -- )

Vocabulary

compiler.cfg.branch-splitting

Inputs

bb

an object

Outputs

None

Definition

USING: deques kernel namespaces sets ;

IN: compiler.cfg.branch-splitting

: add-to-worklist ( bb -- )
    dup visited get ?adjoin
    [ worklist get push-front ] [ drop ] if ;