incoming-value-flow-state ( bb cfg states snapshot -- state/f )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

bb	an object
cfg	an object
states	an object
snapshot	an object

Outputs

state/f

an object

Definition

USING: accessors assocs kernel sequences ;

IN: compiler.cfg.register-allocation.verifier

:: incoming-value-flow-state
    ( bb cfg states snapshot -- state/f )
    bb cfg entry>> eq?
    [ H{ } clone ] [
        bb predecessors>> [| predecessor |
            predecessor states at [
                predecessor bb rot snapshot
                rename-value-flow-phis
            ] [ f ] if*
        ] map sift dup empty?
        [ drop f ] [ unclip [ meet-value-flow-states ] reduce ]
        if
    ] if ;