##neg
Basic block instructions

Prev:	##mul-imm
Next:	##not

Vocabulary
compiler.cfg.instructions

Definition

IN: compiler.cfg.instructions

TUPLE: ##neg < foldable-insn dst src insn# ;

Methods

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

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


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

M: ##neg >avail-insn-uses
    [ dup >avail-vreg or* ] change-src drop ;


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

M: ##neg >expr
    \ ##neg swap [ src>> vreg>vn ] keep drop 2 f <array> 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: ##neg >expr
    \ ##neg swap [ src>> vreg>vn ] keep drop 2 f <array> 1 swap
    [ set-array-nth ] keep 0 swap [ set-array-nth ] keep ;


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

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


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

M: ##neg assign-insn-uses [ vreg>reg ] change-src drop ;


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

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


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

M: ##neg convert-insn-uses [ converted-value ] change-src drop ;


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

M: ##neg defs-vreg-reps drop { int-rep } ;


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

M: ##neg defs-vregs dst>> 1array ;


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

M: ##neg generate-insn [ dst>> ] keep [ src>> ] keep drop %neg ;


USING: accessors combinators compiler.cfg.instructions
compiler.cfg.registers compiler.cfg.representations.peephole
compiler.cfg.representations.rewrite cpu.architecture generic
kernel ;

M: ##neg optimize-insn
    {
        { [ dup inert-tag/untag-unary? ] [ unchanged ] }
        {
            [ dup dst>> rep-of tagged-rep? ]
            [
                [ emit-use-conversion ] [ combine-neg-tag ]
                [ no-def-conversion ] tri
            ]
        }
        [ M\ ##neg optimize-insn (call-next-method) ]
    } cond ;


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

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


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

M: ##neg rename-insn-uses [ rename-value ] change-src drop ;


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

M: ##neg rewrite
    {
        { [ dup [ ##neg? ] self-inverse? ] [ self-inverse ] }
        { [ dup unary-constant-fold? ] [ unary-constant-fold ] }
        [ drop f ]
    } cond ;


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

M: ##neg rewrite
    {
        { [ dup src>> vreg>insn ##neg? ] [ self-inverse ] }
        { [ dup unary-constant-fold? ] [ unary-constant-fold ] }
        [ drop f ]
    } cond ;


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

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


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

M: ##neg ssa-rename-insn-uses [ top-name ] change-src drop ;


USING: compiler.cfg.gvn.folding compiler.cfg.instructions kernel
math ;

M: ##neg unary-constant-fold* drop neg ;


USING: compiler.cfg.instructions
compiler.cfg.value-numbering.folding kernel math ;

M: ##neg unary-constant-fold* drop neg ;


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

M: ##neg uses-vreg-reps drop { int-rep } ;


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

M: ##neg uses-vregs src>> 1array ;