shithub: mc

ref: f2e6c0069b510391b2a309868ed3b049bf95167a
dir: /6/insns.def/

View raw version
/* 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))