##compare-imm
Basic block instructions

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

Vocabulary
compiler.cfg.instructions

Class description
Instruction used to implement trivial ifs and not ifs.

See also
emit-trivial-if, emit-trivial-not-if

Definition

IN: compiler.cfg.instructions

TUPLE: ##compare-imm < foldable-insn
    dst src1 src2 cc temp insn# ;

Methods

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

M: ##compare-imm >avail-insn-defs [ ] change-dst drop ;


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

M: ##compare-imm >avail-insn-temps [ ] change-temp drop ;


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

M: ##compare-imm >avail-insn-uses
    [ dup >avail-vreg or* ] change-src1 drop ;


USING: accessors arrays compiler.cfg.gvn.expressions
compiler.cfg.gvn.graph compiler.cfg.instructions kernel
sequences.private ;

M: ##compare-imm >expr
    \ ##compare-imm swap [ src1>> vreg>vn ] keep [ src2>> ] keep
    [ cc>> ] keep drop 4 f <array> 3 swap [ set-array-nth ] keep
    2 swap [ set-array-nth ] keep 1 swap [ set-array-nth ] keep
    0 swap [ set-array-nth ] keep ;


USING: accessors arrays compiler.cfg.instructions
compiler.cfg.value-numbering.expressions
compiler.cfg.value-numbering.graph kernel sequences.private ;

M: ##compare-imm >expr
    \ ##compare-imm swap [ src1>> vreg>vn ] keep [ src2>> ] keep
    [ cc>> ] keep drop 4 f <array> 3 swap [ set-array-nth ] keep
    2 swap [ set-array-nth ] keep 1 swap [ set-array-nth ] keep
    0 swap [ set-array-nth ] keep ;


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

M: ##compare-imm assign-insn-defs [ vreg>reg ] change-dst drop ;


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

M: ##compare-imm assign-insn-temps
    [ vreg>reg ] change-temp drop ;


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

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


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

M: ##compare-imm convert-insn-defs
    [ converted-value ] change-dst drop ;


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

M: ##compare-imm convert-insn-temps [ ] change-temp drop ;


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

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


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

M: ##compare-imm defs-vreg-reps drop { tagged-rep } ;


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

M: ##compare-imm defs-vregs dst>> 1array ;


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

M: ##compare-imm generate-insn
    [ dst>> ] keep [ src1>> ] keep [ src2>> ] keep [ cc>> ] keep
    [ temp>> ] keep drop %compare-imm ;


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

M: ##compare-imm rename-insn-defs
    [ rename-value ] change-dst drop ;


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

M: ##compare-imm rename-insn-temps
    [ drop next-vreg ] change-temp drop ;


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

M: ##compare-imm rename-insn-uses
    [ rename-value ] change-src1 drop ;


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

M: ##compare-imm rewrite
    {
        {
            [ dup rewrite-redundant-comparison? ]
            [ rewrite-redundant-comparison ]
        }
        { [ dup fold-compare-imm? ] [ fold-compare-imm ] }
        [ drop f ]
    } cond ;


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

M: ##compare-imm rewrite
    {
        {
            [ dup rewrite-redundant-comparison? ]
            [ rewrite-redundant-comparison ]
        }
        { [ dup fold-compare-imm? ] [ fold-compare-imm ] }
        [ drop f ]
    } cond ;


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

M: ##compare-imm ssa-rename-insn-defs
    [ gen-name ] change-dst drop ;


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

M: ##compare-imm ssa-rename-insn-temps [ ] change-temp drop ;


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

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


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

M: ##compare-imm temp-vreg-reps drop { int-rep } ;


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

M: ##compare-imm temp-vregs temp>> 1array ;


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

M: ##compare-imm uses-vreg-reps drop { tagged-rep } ;


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

M: ##compare-imm uses-vregs src1>> 1array ;