original-value-flow-predecessor ( predecessor snapshot -- original )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

predecessor	an object
snapshot	an object

Outputs

original

an object

Definition

USING: accessors assocs kernel sequences ;

IN: compiler.cfg.register-allocation.verifier

:: original-value-flow-predecessor
    ( predecessor snapshot -- original )
    predecessor snapshot blocks>> key?
    [ predecessor ] [
        predecessor predecessors>> dup length 1 =
        [ first snapshot original-value-flow-predecessor ]
        [ drop predecessor f invalid-allocation-edge ] if
    ] if ;