(construct-ssa-bases) ( cfg -- )

Vocabulary

compiler.cfg.register-allocation.ssa.bases

Inputs

cfg

an object

Outputs

None

Definition

USING: accessors assocs compiler.cfg.def-use
compiler.cfg.instructions compiler.cfg.linearization
compiler.cfg.liveness compiler.cfg.registers compiler.cfg.rpo
cpu.architecture kernel namespaces sequences ;

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

:: (construct-ssa-bases) ( cfg -- )
    cfg compute-insns cfg derived-definitions :> derived
    H{ } clone phi-bases set cfg cfg>insns [ ##phi? ] filter [|
    phi |
        phi dst>> derived at [
            tagged-rep next-vreg-rep phi dst>> phi-bases get
            set-at
        ] when
    ] each phi-bases get clone base-pointers set cfg [| bb |
        bb instructions>> [ ##phi? ] filter [| phi |
            phi dst>> phi-bases get key?
            [ phi bb construct-phi-base ] when
        ] each
    ] each-basic-block ;