value-numbering ( cfg -- )

Vocabulary

compiler.cfg.value-numbering

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg.copy-prop
compiler.cfg.value-numbering.global kernel namespaces ;

IN: compiler.cfg.value-numbering

: value-numbering ( cfg -- )
    dup local-value-numbering global-value-numbering? get [
        dup global-value-numbering
        [ [ copy-propagation ] [ local-value-numbering ] bi ]
        [ drop ] if
    ] [ drop ] if ;