(insert-gc-checks) ( bb bbs -- )

Vocabulary

compiler.cfg.gc-checks.private

Inputs

bb	an object
bbs	an object

Outputs

None

Definition

USING: accessors compiler.cfg.utilities kernel sequences ;

IN: compiler.cfg.gc-checks.private

:: (insert-gc-checks) ( bb bbs -- )
    bb predecessors>> bbs first predecessors<<
    bb successors>> bbs last successors<< bb predecessors>>
    [ bb bbs first update-successors ] each bb successors>> [
        [ bb ] dip bbs last
        [ update-predecessors ] [ update-predecessor-phis ] 3bi
    ] each ;