construct-phi-base ( phi bb -- )

Vocabulary

compiler.cfg.register-allocation.ssa.bases

Inputs

phi	an object
bb	an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.instructions
compiler.cfg.liveness kernel namespaces sequences ;

IN: compiler.cfg.register-allocation.ssa.bases

:: construct-phi-base ( phi bb -- )
    phi dst>> phi-bases get at :> base phi inputs>> [|
    predecessor source |
        predecessor source lookup-base-pointer
        [ predecessor false-base ] unless*
    ] assoc-map :> inputs ##phi new base >>dst inputs >>inputs
    :> base-phi bb [ base-phi prefix ] change-instructions drop
    ;