local-value-numbering ( cfg -- )

Vocabulary

compiler.cfg.value-numbering

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg compiler.cfg.predecessors compiler.cfg.rpo
compiler.cfg.value-numbering.graph kernel namespaces ;

IN: compiler.cfg.value-numbering

: local-value-numbering ( cfg -- )
    [
        H{ } clone constant-instructions
        [ [ value-numbering-step ] simple-optimization ]
        with-variable
    ] [ cfg-changed ]
    [ dup predecessors-changed needs-predecessors ] tri ;