update-successor-predecessor ( copies old-bb succ -- )

Vocabulary

compiler.cfg.branch-splitting

Inputs

copies	an object
old-bb	an object
succ	an object

Outputs

None

Definition

USING: accessors arrays kernel sequences ;

IN: compiler.cfg.branch-splitting

:: update-successor-predecessor ( copies old-bb succ -- )
    succ predecessors>> dup >array :> ( preds preds' ) preds
    delete-all preds' [
        dup old-bb eq?
        [ drop copies preds push-all ] [ preds push ] if
    ] each ;