##compare-integer-branch
Basic block instructions

Prev:	##compare-integer
Next:	##compare-integer-imm-branch

Vocabulary
compiler.cfg.instructions

Definition

IN: compiler.cfg.instructions

TUPLE: ##compare-integer-branch < vreg-insn src1 src2 cc insn# ;

Methods

USING: accessors compiler.cfg.gvn.avail
compiler.cfg.instructions kernel ;

M: ##compare-integer-branch >avail-insn-uses
    [ dup >avail-vreg swap or ] change-src1
    [ dup >avail-vreg swap or ] change-src2 drop ;


USING: accessors compiler.cfg.instructions
compiler.cfg.linear-scan.assignment kernel ;

M: ##compare-integer-branch assign-insn-uses
    [ vreg>reg ] change-src1 [ vreg>reg ] change-src2 drop ;


USING: accessors compiler.cfg.instructions
compiler.cfg.representations.rewrite kernel ;

M: ##compare-integer-branch convert-insn-uses
    [ converted-value ] change-src1
    [ converted-value ] change-src2 drop ;


USING: accessors compiler.cfg.instructions compiler.codegen
cpu.architecture kernel ;

M: ##compare-integer-branch generate-conditional-insn
    [ src1>> ] keep [ src2>> ] keep [ cc>> ] keep drop
    %compare-branch ;


USING: combinators combinators.short-circuit
compiler.cfg.instructions compiler.cfg.representations.peephole
generic kernel ;

M: ##compare-integer-branch optimize-insn
    {
        {
            [ dup { [ src1-tagged? ] [ src2-tagged? ] } 1&& ]
            [ unchanged ]
        }
        [
            M\ ##compare-integer-branch optimize-insn
            (call-next-method)
        ]
    } cond ;


USING: accessors compiler.cfg.instructions compiler.cfg.renaming
kernel ;

M: ##compare-integer-branch rename-insn-uses
    [ rename-value ] change-src1 [ rename-value ] change-src2
    drop ;


USING: accessors combinators compiler.cfg.gvn.comparisons
compiler.cfg.gvn.math compiler.cfg.gvn.rewrite
compiler.cfg.instructions kernel ;

M: ##compare-integer-branch rewrite
    {
        {
            [ dup src1>> vreg-immediate-arithmetic? ]
            [ t >compare-integer-imm-branch ]
        }
        {
            [ dup src2>> vreg-immediate-arithmetic? ]
            [ f >compare-integer-imm-branch ]
        }
        { [ dup diagonal? ] [ rewrite-self-compare-branch ] }
        [ drop f ]
    } cond ;


USING: accessors combinators compiler.cfg.instructions
compiler.cfg.value-numbering.comparisons
compiler.cfg.value-numbering.math
compiler.cfg.value-numbering.rewrite kernel ;

M: ##compare-integer-branch rewrite
    {
        {
            [ dup src1>> vreg-immediate-arithmetic? ]
            [ t >compare-integer-imm-branch ]
        }
        {
            [ dup src2>> vreg-immediate-arithmetic? ]
            [ f >compare-integer-imm-branch ]
        }
        { [ dup diagonal? ] [ rewrite-self-compare-branch ] }
        [ drop f ]
    } cond ;


USING: accessors compiler.cfg.instructions
compiler.cfg.ssa.construction.private kernel ;

M: ##compare-integer-branch ssa-rename-insn-uses
    [ top-name ] change-src1 [ top-name ] change-src2 drop ;


USING: compiler.cfg.instructions
compiler.cfg.representations.preferred cpu.architecture kernel ;

M: ##compare-integer-branch uses-vreg-reps
    drop { int-rep int-rep } ;


USING: accessors arrays compiler.cfg.def-use
compiler.cfg.instructions kernel ;

M: ##compare-integer-branch uses-vregs
    [ src1>> ] [ src2>> ] bi 2array ;