meet-value-flow-states ( first-state second-state -- state )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

first-state	an object
second-state	an object

Outputs

state

an object

Definition

USING: assocs kernel sets ;

IN: compiler.cfg.register-allocation.verifier

:: meet-value-flow-states
    ( first-state second-state -- state )
    first-state [| location values |
        location values location second-state at { } or
        intersect
    ] assoc-map ;