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

Vocabulary

compiler.cfg.gvn.comparisons

Inputs

insn

an object

Outputs

?

an object

Definition

USING: accessors combinators.short-circuit
compiler.cfg.comparisons compiler.cfg.gvn.avail
compiler.cfg.gvn.graph kernel sequences ;

IN: compiler.cfg.gvn.comparisons

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