shithub: mc

ref: 0de1c881850c5fec2183b2e59cd10b8931cd93a4
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(Irol,
    "\trol%2t %u,%r\n",
    "\tROL%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))