eliminate-congruent ( insn -- insn' )

Vocabulary

compiler.cfg.value-numbering.global.private

Inputs

insn

an object

Outputs

insn'

an object

Definition

USING: accessors compiler.cfg.utilities kernel namespaces ;

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

: eliminate-congruent ( insn -- insn' )
    dup dst>> available-representative
    [ [ dst>> ] dip <copy> eliminated? on ] when* ;