check-use ( vreg bb index -- )

Vocabulary

compiler.cfg.checker.private

Inputs

vreg	an object
bb	an object
index	an object

Outputs

None

Definition

USING: assocs compiler.cfg.checker compiler.cfg.dominance kernel
math namespaces sequences ;

IN: compiler.cfg.checker.private

:: check-use ( vreg bb index -- )
    vreg ssa-definitions get at
    [ vreg bb undefined-ssa-use ] unless*
    first2 :> ( def-bb def-index ) def-bb bb eq?
    [ def-index index < ] [ def-bb bb dominates? ] if
    [ vreg bb non-dominating-ssa-use ] unless ;