eliminate-common-subexpressions ( cfg -- )

Vocabulary

compiler.cfg.gvn

Inputs

cfg

an object

Outputs

None

Definition

USING: compiler.cfg.gvn.avail compiler.cfg.gvn.graph
compiler.cfg.rpo kernel namespaces ;

IN: compiler.cfg.gvn

: eliminate-common-subexpressions ( cfg -- )
    final-iteration? on
    compute-congruence-classes dup compute-avail-sets
    [ gcse-step ] simple-optimization ;