check-block-uses ( bb -- )

Vocabulary

compiler.cfg.checker.private

Inputs

bb

an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.def-use
compiler.cfg.instructions kernel sequences ;

IN: compiler.cfg.checker.private

:: check-block-uses ( bb -- )
    bb instructions>> [| insn index |
        insn ##phi? [
            insn inputs>> [| pred vreg |
                vreg pred pred instructions>> length check-use
            ] assoc-each
        ] [ insn uses-vregs [ bb index check-use ] each ] if
    ] each-index ;