value-flow-read ( location rep state -- values )

Vocabulary

compiler.cfg.register-allocation.verifier

Inputs

location	an object
rep	an object
state	an object

Outputs

values

an object

Definition

USING: assocs kernel sequences sets ;

IN: compiler.cfg.register-allocation.verifier

:: value-flow-read ( location rep state -- values )
    location rep value-flow-locations [ state at { } or ] map
    dup empty? [ drop { } ] [ unclip [ intersect ] reduce ] if ;