##sub-float
Basic block instructions

Prev:	##mul-float
Next:	##add

Vocabulary
compiler.cfg.instructions

Definition

IN: compiler.cfg.instructions

TUPLE: ##sub-float < foldable-insn dst src1 src2 insn# ;

Methods

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

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


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

M: ##sub-float >avail-insn-uses
    [ dup >avail-vreg swap or ] change-src1
    [ dup >avail-vreg swap or ] change-src2 drop ;


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

M: ##sub-float >expr
    \ ##sub-float swap [ src1>> vreg>vn ] keep
    [ src2>> vreg>vn ] keep drop 3 f <array> 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: ##sub-float >expr
    \ ##sub-float swap [ src1>> vreg>vn ] keep
    [ src2>> vreg>vn ] keep drop 3 f <array> 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: ##sub-float assign-insn-defs [ vreg>reg ] change-dst drop ;


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

M: ##sub-float assign-insn-uses
    [ vreg>reg ] change-src1 [ vreg>reg ] change-src2 drop ;


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

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


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

M: ##sub-float convert-insn-uses
    [ converted-value ] change-src1
    [ converted-value ] change-src2 drop ;


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

M: ##sub-float defs-vreg-reps drop { double-rep } ;


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

M: ##sub-float defs-vregs dst>> 1array ;


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

M: ##sub-float generate-insn
    [ dst>> ] keep [ src1>> ] keep [ src2>> ] keep drop
    %sub-float ;


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

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


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

M: ##sub-float rename-insn-uses
    [ rename-value ] change-src1 [ rename-value ] change-src2
    drop ;


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

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


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

M: ##sub-float 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: ##sub-float uses-vreg-reps drop { double-rep double-rep } ;


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

M: ##sub-float uses-vregs [ src1>> ] [ src2>> ] bi 2array ;