determine-value-numbers ( cfg -- )

Vocabulary

compiler.cfg.value-numbering.global.private

Inputs

cfg

an object

Outputs

None

Definition

USING: assocs compiler.cfg.def-use compiler.cfg.rpo
compiler.cfg.value-numbering.graph kernel namespaces sequences ;

IN: compiler.cfg.value-numbering.global.private

: determine-value-numbers ( cfg -- )
    init-value-graph dup
    [ [ defs-vregs [ f swap vregs>vns get set-at ] each ] each ]
    simple-analysis '[
        numbering-changed? off _ numbering-iteration
        numbering-changed? get
    ] loop ;