check-value-flow-presence ( cfg snapshot -- )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

cfg	an object
snapshot	an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.rpo hashtables.identity
kernel sequences ;

IN: compiler.cfg.register-allocation.verifier

:: check-value-flow-presence ( cfg snapshot -- )
    100 <identity-hashtable> :> present cfg
    [ instructions>> [ t swap present set-at ] each ]
    each-basic-block snapshot instructions>> keys [| insn |
        insn value-flow-copy? insn present key? or
        [ ] [ insn lost-allocation-instruction ] if
    ] each ;