ref: c08505fb46fd8cdfee6b6f425709e5bc536f6a75
dir: /6/insns.def/
/* Table of instructions. Each instruction
is defined by the following macro:
Insn(enumval, fmt, attr)
The format string 'fmt' has the following expansions:
%r - int reg
%f - xmm reg
%m - mem
%i - imm
%v - reg/mem
%u - reg/imm
%x - reg/freg/mem/imm
%[1-9]*t - Mode of an operand. The optional number
preceeding it is the operand desired for
the mode.
Currently, there aren't any attrs, because none were needed yet.
Eventually, they'll probably include flag setting and so on. The
upper case versions of these indicate Plan9 location formatting.
For technical reasons, the indexing on use and def statments is 1-based,
instead of 0-based. (0 is the sentinel value).
*/
#define None .l={0},.r={0}
Insn(Inone,
"BAD_INSN",
"BAD_INSN",
Use(None),
Def(None))
/* Note, the mov instruction is specified in an overly general manner. */
Insn(Imov,
"\tmov%t %x,%x\n",
"\tMOV%T %X,%X\n",
Use(.l={1}),
Def(.l={2}))
Insn(Imovt,
"PSEUDO: TRUNCATE\n",
"PSEUDO: TRUNCATE\n",
Use(.l={1}),
Def(.l={2}))
Insn(Imovzx,
"\tmovz%1t%2t %x,%x\n",
"\tMOV%1T%2TZX %X,%X\n",
Use(.l={1}),
Def(.l={2}))
Insn(Imovsx,
"\tmovs%1t%2t %x,%x\n",
"\tMOV%1T%2TSX %X,%X\n",
Use(.l={1}),
Def(.l={2}))
Insn(Ilea,
"\tlea%2t %m,%r\n",
"\tLEA%2T %M,%R\n",
Use(.l={1}),
Def(.l={2}))
Insn(Iadd,
"\tadd%t %x,%r\n",
"\tADD%T %X,%R\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Isub,
"\tsub%t %x,%r\n",
"\tSUB%T %X,%R\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Iimul,
"\timul%t %x,%r\n",
"\tIMUL%T %X,%R\n",
Use(.l={1,2}),
Def(.l={2}))
/* there is no imul for 8 bit values. */
Insn(Iimul_r,
"\timul%t %r\n",
"\tIMUL%T %R\n",
Use(.l={1},.r={Ral}),
Def(.r={Rax}))
Insn(Imul,
"\tmul%t %r\n",
"\tMUL%T %R\n",
Use(.l={1},.r={Reax}),
Def(.r={Reax,Redx}))
Insn(Idiv,
"\tdiv%t %r\n",
"\tDIV%T %R\n",
Use(.l={1},.r={Reax,Redx}),
Def(.r={Reax,Redx}))
Insn(Iidiv,
"\tidiv%t %r\n",
"\tIDIV%T %R\n",
Use(.l={1},.r={Reax,Redx}),
Def(.r={Reax,Redx}))
Insn(Icwd,
"\tcwd\n",
"\tCWD\n",
Use(.r={Reax}),
Def(.r={Reax,Redx}))
Insn(Icdq,
"\tcdq\n",
"\tCDQ\n",
Use(.r={Reax}),
Def(.r={Reax,Redx}))
Insn(Icqo,
"\tcqo\n",
"\tCQO\n",
Use(.r={Reax}),
Def(.r={Reax,Redx}))
Insn(Ineg,
"\tneg%t %r\n",
"\tNEG%T %R\n",
Use(.l={1}),
Def(.l={1}))
Insn(Iand,
"\tand%t %x,%r\n",
"\tAND%T %X,%R\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Ior,
"\tor%t %x,%r\n",
"\tOR%T %X,%R\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Ixor,
"\txor%t %x,%r\n",
"\tXOR%T %X,%R\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Inot,
"\tnot%t %v\n",
"\tNOT%T %V\n",
Use(.l={1}),
Def(.l={1}))
Insn(Ishl,
"\tsal%2t %u,%r\n",
"\tSAL%2T %U,%R\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Isar,
"\tsar%2t %u,%r\n",
"\tSAR%2T %U,%R\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Ishr,
"\tshr%2t %u,%r\n",
"\tSHR%2T %U,%R\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Itest,
"\ttest%t %x,%r\n",
"\tTEST%T %X,%R\n",
Use(.l={1,2}),
Def(None))
Insn(Icmp,
"\tcmp%t %x,%r\n",
"\tCMP%T %2R,%1X\n",
Use(.l={1,2}),
Def(None))
Insn(Ipush,
"\tpush%t %r\n",
"\tPUSH%T %R\n",
Use(.l={1}),
Def(None))
Insn(Ipop,
"\tpop%t %r\n",
"\tPOP%T %R\n",
Use(.l={1}),
Def(None))
/* branch instructions */
Insn(Isetz,
"\tsetz %v\n",
"\tSETEQ %V\n",
Use(None),
Def(.l={1}))
Insn(Isetnz,
"\tsetnz %v\n",
"\tSETNE %V\n",
Use(None),
Def(.l={1}))
Insn(Isetl,
"\tsetl %v\n",
"\tSETLT %V\n",
Use(None),
Def(.l={1}))
Insn(Isetle,
"\tsetle %v\n",
"\tSETLE %V\n",
Use(None),
Def(.l={1}))
Insn(Isetg,
"\tsetg %v\n",
"\tSETGT %V\n",
Use(None),
Def(.l={1}))
Insn(Isetge,
"\tsetge %v\n",
"\tSETGE %V\n",
Use(None),
Def(.l={1}))
Insn(Isetb,
"\tsetb %v\n",
"\tSETCS %V\n",
Use(None),
Def(.l={1}))
Insn(Isetbe,
"\tsetbe %v\n",
"\tSETLS %V\n",
Use(None),
Def(.l={1}))
Insn(Iseta,
"\tseta %v\n",
"\tSETCC %V\n",
Use(None),
Def(.l={1}))
Insn(Isetae,
"\tsetae %v\n",
"\tSETHI %V\n",
Use(None),
Def(.l={1}))
/* fp specific instructions */
Insn(Imovs,
"\tmovs%1t %x,%x\n",
"\tMOVS%1T %X,%X\n",
Use(.l={1}),
Def(.l={2}))
Insn(Icvttsd2si,
"\tcvttsd2si%2t %x,%r\n",
"\tCVTTS%T2S%2T %X,%R\n",
Use(.l={1}),
Def(.l={2}))
Insn(Icvttsi2sd,
"\tcvtsi2s%2t %x,%f\n",
"\tCVTS%T2S%2T %X,%F\n",
Use(.l={1}),
Def(.l={2}))
Insn(Icvttsd2ss,
"\tcvtsd2ss %x,%f\n",
"\tCVTSD2SS %X,%F\n",
Use(.l={1}),
Def(.l={2}))
Insn(Icvttss2sd,
"\tcvtss2sd %x,%f\n",
"\tCVTSS2SD %X,%F\n",
Use(.l={1}),
Def(.l={2}))
Insn(Iadds,
"\tadds%t %x,%f\n",
"\tADDS%T %X,%F\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Isubs,
"\tsubs%t %x,%f\n",
"\tSUBS%T %X,%F\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Imuls,
"\tmuls%t %x,%f\n",
"\tMULS%T %X,%F\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Idivs,
"\tdivs%t %x,%f\n",
"\tDIVS%T %X,%F\n",
Use(.l={1,2}),
Def(.l={2}))
Insn(Icomis,
"\tcomis%t %x,%f\n",
"\tCOMIS%T %X,%F\n",
Use(.l={1,2}),
Def(None))
Insn(Ixorp,
"\tmuls%t %x,%f\n",
"\tMULS%T %X,%F\n",
Use(.l={1,2}),
Def(.l={2}))
/* branch instructions */
Insn(Icall,
"\tcall %v\n",
"\tCALL %V\n",
Use(.l={1}, .r={
Rrdi, Rrsi, Rrdx, Rrcx, Rr8, Rr9,
Rxmm0d, Rxmm1d, Rxmm2d, Rxmm3d,
Rxmm4d, Rxmm5d, Rxmm6d, Rxmm7d,
}),
Def(.r={Rrax, Rrbx, Rrcx, Rrdx, Rrsi,
Rrdi, Rr8,Rr9,Rr10,Rr11,
Rxmm0d, Rxmm1d, Rxmm2d, Rxmm3d,
Rxmm4d, Rxmm5d, Rxmm6d, Rxmm7d,
Rxmm8d, Rxmm9d, Rxmm10d, Rxmm11d,
Rxmm12d, Rxmm13d, Rxmm14d, Rxmm15d,
}))
Insn(Icallind,
"\tcall *%v\n",
"\tCALL *%V\n",
Use(.l={1}, .r={
/* ABI note: Rrax holds the env */
Rrax, Rrdi, Rrsi, Rrdx, Rrcx, Rr8, Rr9,
Rxmm0d, Rxmm1d, Rxmm2d, Rxmm3d,
Rxmm4d, Rxmm5d, Rxmm6d, Rxmm7d,
}),
Def(.r={Rrax, Rrbx, Rrcx, Rrdx, Rrsi,
Rrdi, Rr8,Rr9,Rr10,Rr11,
Rxmm0d, Rxmm1d, Rxmm2d, Rxmm3d,
Rxmm4d, Rxmm5d, Rxmm6d, Rxmm7d,
Rxmm8d, Rxmm9d, Rxmm10d, Rxmm11d,
Rxmm12d, Rxmm13d, Rxmm14d, Rxmm15d,
}))
Insn(Ijmp,
"\tjmp %v\n",
"\tJMP %V\n",
Use(.l={1}),
Def(None))
Insn(Ijz,
"\tjz %v\n",
"\tJEQ %V\n",
Use(.l={1}),
Def(None))
Insn(Ijnz,
"\tjnz %v\n",
"\tJNE %V\n",
Use(.l={1}),
Def(None))
Insn(Ijl,
"\tjl %v\n",
"\tJLT %V\n",
Use(.l={1}),
Def(None))
Insn(Ijle,
"\tjle %v\n",
"\tJLE %V\n",
Use(.l={1}),
Def(None))
Insn(Ijg,
"\tjg %v\n",
"\tJGT %V\n",
Use(.l={1}),
Def(None))
Insn(Ijge,
"\tjge %v\n",
"\tJGE %V\n",
Use(.l={1}),
Def(None))
Insn(Ijb,
"\tjb %v\n",
"\tJCS %V\n",
Use(.l={1}),
Def(None))
Insn(Ijbe,
"\tjbe %v\n",
"\tJLS %V\n",
Use(.l={1}),
Def(None))
Insn(Ija,
"\tja %v\n",
"\tJA %V\n",
Use(.l={1}),
Def(None))
Insn(Ijae,
"\tjae %v\n",
"\tJAE %V\n",
Use(.l={1}),
Def(None))
Insn(Iret,
"\tret\n",
"\tRET\n",
Use(.r={Rrax,Rxmm0d}),
Def(None))
/* not actually insns */
Insn(Ilbl,
"%v:\n",
"%V:\n",
Use(None),
Def(None))
Insn(Icomment,
"\t#%v\n",
"\t//%V:\n",
Use(None),
Def(None))