entry-memory-valid? ( value plan -- ? )

Vocabulary

compiler.cfg.register-allocation.chordal.spilling

Inputs

value	an object
plan	an object

Outputs

?

an object

Definition

USING: accessors assocs kernel namespaces sequences ;

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

:: entry-memory-valid? ( value plan -- ? )
    value plan phi-sources>> key?
    [ f ] [
        plan bb>> predecessors>>
        [ spill-plans get at saved-exit>> ] map
        :> saved saved empty?
        [ f ] [
            saved [ ] all?
            [ saved [ value swap key? ] all? ]
            [ saved sift [ value swap key? ] any? ] if
        ] if
    ] if ;