check-redundancy ( insn -- insn' )

Vocabulary

compiler.cfg.value-numbering

Inputs

insn

an object

Outputs

insn'

an object

Definition

USING: assocs compiler.cfg.value-numbering.expressions
compiler.cfg.value-numbering.graph kernel namespaces ;

IN: compiler.cfg.value-numbering

: check-redundancy ( insn -- insn' )
    dup >expr
    [ exprs>vns get at ] [ redundant-instruction ]
    [ useful-instruction ] ?if ;