resolve-data-flow ( cfg -- )

Vocabulary

compiler.cfg.linear-scan.resolve

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg.predecessors compiler.cfg.rpo kernel ;

IN: compiler.cfg.linear-scan.resolve

: resolve-data-flow ( cfg -- )
    init-resolve
    [ needs-predecessors ]
    [ [ resolve-block-data-flow ] each-basic-block ] bi ;