ref: 8317e87e7b6f9a15ff41f9f7293ef46dc208d0d7
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(Ifile,
"\t.file %v \"%v\"\n",
"\t//file: %V \"%V\"\n",
Use(None),
Def(None))
Insn(Iloc,
"\t.loc %v\n",
"",
Use(None),
Def(None))
Insn(Icomment,
"\t#%v\n",
"\t//%V:\n",
Use(None),
Def(None))