value-numbering ( cfg -- )

Vocabulary

compiler.cfg.gvn

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg compiler.cfg.predecessors
compiler.cfg.utilities ;

IN: compiler.cfg.gvn

: value-numbering ( cfg -- )
    {
        needs-predecessors
        determine-value-numbers
        eliminate-common-subexpressions
        cfg-changed
        predecessors-changed
    } apply-passes ;