rewrite-redundant-comparison? ( insn -- ? )

Vocabulary

compiler.cfg.value-numbering.comparisons

Inputs

insn

an object

Outputs

?

an object

Definition

USING: accessors combinators.short-circuit
compiler.cfg.comparisons compiler.cfg.value-numbering.graph
kernel sequences ;

IN: compiler.cfg.value-numbering.comparisons

: rewrite-redundant-comparison? ( insn -- ? )
    {
        [ src1>> vreg>insn scalar-compare-insn? ]
        [ src2>> not ]
        [ cc>> { cc= cc/= } member? ]
    } 1&& ; inline