collect-definitions ( bb -- )

Vocabulary

compiler.cfg.checker.private

Inputs

bb

an object

Outputs

None

Definition

USING: accessors arrays assocs compiler.cfg.checker
compiler.cfg.def-use kernel namespaces sequences ;

IN: compiler.cfg.checker.private

:: collect-definitions ( bb -- )
    bb instructions>> [| insn index |
        insn defs-vregs [| vreg |
            vreg ssa-definitions get key?
            [ vreg duplicate-ssa-definition ] when
            bb index 2array vreg ssa-definitions get set-at
        ] each
    ] each-index ;