known-predecessor-residents ( value plan -- flags )

Vocabulary

compiler.cfg.register-allocation.chordal.spilling

Inputs

value	an object
plan	an object

Outputs

flags

an object

Definition

USING: accessors assocs namespaces sequences ;

IN: compiler.cfg.register-allocation.chordal.spilling

:: known-predecessor-residents ( value plan -- flags )
    plan bb>> predecessors>> [ spill-plans get at ] map
    [ exit-versions>> ] filter [| previous |
        value plan previous bb>> predecessor-value
        previous exit-versions>> key?
    ] map ;