eliminate-redundancy ( insn -- insn' )

Vocabulary

compiler.cfg.gvn

Inputs

insn

an object

Outputs

insn'

an object

Definition

USING: assocs compiler.cfg.gvn.avail
compiler.cfg.gvn.expressions compiler.cfg.gvn.graph kernel
namespaces ;

IN: compiler.cfg.gvn

: eliminate-redundancy ( insn -- insn' )
    dup >expr exprs>vns get at >avail-vreg
    [ ?eliminate ] [ defs-available ] if* ;