rewrite-boolean-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 ;

IN: compiler.cfg.gvn.comparisons

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