resolve-ssa-data-flow ( cfg -- )

Vocabulary

compiler.cfg.register-allocation.ssa

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg.linear-scan.resolve
compiler.cfg.predecessors compiler.cfg.rpo kernel namespaces ;

IN: compiler.cfg.register-allocation.ssa

: resolve-ssa-data-flow ( cfg -- )
    init-resolve H{ } clone scratch-spills set
    [ needs-predecessors ]
    [ [ resolve-ssa-block ] each-basic-block ] bi ;