Home | History | Annotate | Line # | Download | only in opcodes
      1 /* -*- c -*- */
      2 /* Copyright (C) 2012-2025 Free Software Foundation, Inc.
      3    Contributed by Red Hat.
      4    Written by DJ Delorie.
      5 
      6    This file is part of the GNU opcodes library.
      7 
      8    This library is free software; you can redistribute it and/or modify
      9    it under the terms of the GNU General Public License as published by
     10    the Free Software Foundation; either version 3, or (at your option)
     11    any later version.
     12 
     13    It is distributed in the hope that it will be useful, but WITHOUT
     14    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
     15    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
     16    License for more details.
     17 
     18    You should have received a copy of the GNU General Public License
     19    along with this program; if not, write to the Free Software
     20    Foundation, Inc., 51 Franklin Street - Fifth Floor, Boston,
     21    MA 02110-1301, USA.  */
     22 
     23 #include "sysdep.h"
     24 #include <stdio.h>
     25 #include <stdlib.h>
     26 #include <string.h>
     27 #include "ansidecl.h"
     28 #include "opcode/rx.h"
     29 #include "libiberty.h"
     30 
     31 #define RX_OPCODE_BIG_ENDIAN 0
     32 
     33 typedef struct
     34 {
     35   RX_Opcode_Decoded * rx;
     36   int (* getbyte)(void *);
     37   void * ptr;
     38   unsigned char * op;
     39 } LocalData;
     40 
     41 static int trace = 0;
     42 
     43 #define BSIZE 0
     44 #define WSIZE 1
     45 #define LSIZE 2
     46 #define DSIZE 3
     47 
     48 /* These are for when the upper bits are "don't care" or "undefined".  */
     49 static int bwl[4] =
     50 {
     51   RX_Byte,
     52   RX_Word,
     53   RX_Long,
     54   RX_Bad_Size /* Bogus instructions can have a size field set to 3.  */
     55 };
     56 
     57 static int sbwl[4] =
     58 {
     59   RX_SByte,
     60   RX_SWord,
     61   RX_Long,
     62   RX_Bad_Size /* Bogus instructions can have a size field set to 3.  */
     63 };
     64 
     65 static int ubw[4] =
     66 {
     67   RX_UByte,
     68   RX_UWord,
     69   RX_Bad_Size,/* Bogus instructions can have a size field set to 2.  */
     70   RX_Bad_Size /* Bogus instructions can have a size field set to 3.  */
     71 };
     72 
     73 static int memex[4] =
     74 {
     75   RX_SByte,
     76   RX_SWord,
     77   RX_Long,
     78   RX_UWord
     79 };
     80 
     81 static int _ld[2] =
     82 {
     83   RX_Long,
     84   RX_Double
     85 };
     86 
     87 #define ID(x) rx->id = RXO_##x
     88 #define OP(n,t,r,a) (rx->op[n].type = t, \
     89 		     rx->op[n].reg = r,	     \
     90 		     rx->op[n].addend = a )
     91 #define OPs(n,t,r,a,s) (OP (n,t,r,a), \
     92 			rx->op[n].size = s )
     93 
     94 /* This is for the BWL and BW bitfields.  */
     95 static int SCALE[] = { 1, 2, 4, 0 };
     96 /* This is for the prefix size enum.  */
     97 static int PSCALE[] = { 4, 1, 1, 1, 2, 2, 2, 3, 4, 8 };
     98 
     99 #define GET_SCALE(_indx)  ((unsigned)(_indx) < ARRAY_SIZE (SCALE) ? SCALE[(_indx)] : 0)
    100 #define GET_PSCALE(_indx) ((unsigned)(_indx) < ARRAY_SIZE (PSCALE) ? PSCALE[(_indx)] : 0)
    101 
    102 static int flagmap[] = {0, 1, 2, 3, 0, 0, 0, 0,
    103 		       16, 17, 0, 0, 0, 0, 0, 0 };
    104 
    105 static int dsp3map[] = { 8, 9, 10, 3, 4, 5, 6, 7 };
    106 
    107 /*
    108  *C	a constant (immediate) c
    109  *R	A register
    110  *I	Register indirect, no offset
    111  *Is	Register indirect, with offset
    112  *D	standard displacement: type (r,[r],dsp8,dsp16 code), register, BWL code
    113  *P	standard displacement: type (r,[r]), reg, assumes UByte
    114  *Pm	memex displacement: type (r,[r]), reg, memex code
    115  *cc	condition code.  */
    116 
    117 #define DC(c)       OP (0, RX_Operand_Immediate, 0, c)
    118 #define DR(r)       OP (0, RX_Operand_Register,  r, 0)
    119 #define DI(r,a)     OP (0, RX_Operand_Indirect,  r, a)
    120 #define DIs(r,a,s)  OP (0, RX_Operand_Indirect,  r, (a) * GET_SCALE (s))
    121 #define DD(t,r,s)   rx_disp (0, t, r, bwl[s], ld);
    122 #define DF(r)       OP (0, RX_Operand_Flag,  flagmap[r], 0)
    123 #define DCR(r)      OP (0, RX_Operand_DoubleCReg, r, 0)
    124 #define DDR(r)      OP (0, RX_Operand_DoubleReg,  r, 0)
    125 #define DDRH(r)     OP (0, RX_Operand_DoubleRegH,  r, 0)
    126 #define DDRL(r)     OP (0, RX_Operand_DoubleRegL,  r, 0)
    127 #define DCND(r)     OP (0, RX_Operand_DoubleCond, r, 0)
    128 
    129 #define SC(i)       OP (1, RX_Operand_Immediate, 0, i)
    130 #define SR(r)       OP (1, RX_Operand_Register,  r, 0)
    131 #define SRR(r)      OP (1, RX_Operand_TwoReg,  r, 0)
    132 #define SI(r,a)     OP (1, RX_Operand_Indirect,  r, a)
    133 #define SIs(r,a,s)  OP (1, RX_Operand_Indirect,  r, (a) * GET_SCALE (s))
    134 #define SD(t,r,s)   rx_disp (1, t, r, bwl[s], ld);
    135 #define SP(t,r)     rx_disp (1, t, r, (t!=3) ? RX_UByte : RX_Long, ld); P(t, 1);
    136 #define SPm(t,r,m)  rx_disp (1, t, r, memex[m], ld); rx->op[1].size = memex[m];
    137 #define Scc(cc)     OP (1, RX_Operand_Condition,  cc, 0)
    138 #define SCR(r)      OP (1, RX_Operand_DoubleCReg, r, 0)
    139 #define SDR(r)      OP (1, RX_Operand_DoubleReg,  r, 0)
    140 #define SDRH(r)      OP (1, RX_Operand_DoubleRegH,  r, 0)
    141 #define SDRL(r)      OP (1, RX_Operand_DoubleRegL,  r, 0)
    142 
    143 #define S2C(i)      OP (2, RX_Operand_Immediate, 0, i)
    144 #define S2R(r)      OP (2, RX_Operand_Register,  r, 0)
    145 #define S2I(r,a)    OP (2, RX_Operand_Indirect,  r, a)
    146 #define S2Is(r,a,s) OP (2, RX_Operand_Indirect,  r, (a) * GET_SCALE (s))
    147 #define S2D(t,r,s)  rx_disp (2, t, r, bwl[s], ld);
    148 #define S2P(t,r)    rx_disp (2, t, r, (t!=3) ? RX_UByte : RX_Long, ld); P(t, 2);
    149 #define S2Pm(t,r,m) rx_disp (2, t, r, memex[m], ld); rx->op[2].size = memex[m];
    150 #define S2cc(cc)    OP (2, RX_Operand_Condition,  cc, 0)
    151 #define S2DR(r)     OP (2, RX_Operand_DoubleReg,  r, 0)
    152 #define S2CR(r)     OP (2, RX_Operand_DoubleCReg, r, 0)
    153 
    154 #define SDD(t,r,s)  rx_disp (1, t, r, bwl, ld);
    155 
    156 #define BWL(sz)     rx->op[0].size = rx->op[1].size = rx->op[2].size = rx->size = bwl[sz]
    157 #define sBWL(sz)    rx->op[0].size = rx->op[1].size = rx->op[2].size = rx->size = sbwl[sz]
    158 #define uBW(sz)     rx->op[0].size = rx->op[1].size = rx->op[2].size = rx->size = ubw[sz]
    159 #define P(t, n)	    rx->op[n].size = (t!=3) ? RX_UByte : RX_Long;
    160 #define DL(sz)      rx->op[0].size = rx->op[1].size = rx->op[2].size = rx->size = _ld[sz]
    161 
    162 #define F(f) store_flags(rx, f)
    163 
    164 #define AU ATTRIBUTE_UNUSED
    165 #define GETBYTE() (ld->op [ld->rx->n_bytes++] = ld->getbyte (ld->ptr))
    166 
    167 #define SYNTAX(x) rx->syntax = x
    168 
    169 #define UNSUPPORTED() \
    170   rx->syntax = "*unknown*"
    171 
    172 #define IMM(sf)   immediate (sf, 0, ld)
    173 #define IMMex(sf) immediate (sf, 1, ld)
    174 
    175 static int
    176 immediate (int sfield, int ex, LocalData * ld)
    177 {
    178   unsigned long i = 0, j;
    179 
    180   switch (sfield)
    181     {
    182 #define B ((unsigned long) GETBYTE())
    183     case 0:
    184 #if RX_OPCODE_BIG_ENDIAN
    185       i  = B;
    186       if (ex && (i & 0x80))
    187 	i -= 0x100;
    188       i <<= 24;
    189       i |= B << 16;
    190       i |= B << 8;
    191       i |= B;
    192 #else
    193       i = B;
    194       i |= B << 8;
    195       i |= B << 16;
    196       j = B;
    197       if (ex && (j & 0x80))
    198 	j -= 0x100;
    199       i |= j << 24;
    200 #endif
    201       break;
    202     case 3:
    203 #if RX_OPCODE_BIG_ENDIAN
    204       i  = B << 16;
    205       i |= B << 8;
    206       i |= B;
    207 #else
    208       i  = B;
    209       i |= B << 8;
    210       i |= B << 16;
    211 #endif
    212       if (ex && (i & 0x800000))
    213 	i -= 0x1000000;
    214       break;
    215     case 2:
    216 #if RX_OPCODE_BIG_ENDIAN
    217       i |= B << 8;
    218       i |= B;
    219 #else
    220       i |= B;
    221       i |= B << 8;
    222 #endif
    223       if (ex && (i & 0x8000))
    224 	i -= 0x10000;
    225       break;
    226     case 1:
    227       i |= B;
    228       if (ex && (i & 0x80))
    229 	i -= 0x100;
    230       break;
    231     default:
    232       abort();
    233     }
    234   return i;
    235 }
    236 
    237 static void
    238 rx_disp (int n, int type, int reg, unsigned int size, LocalData * ld)
    239 {
    240   int disp;
    241 
    242   ld->rx->op[n].reg = reg;
    243   switch (type)
    244     {
    245     case 3:
    246       ld->rx->op[n].type = RX_Operand_Register;
    247       break;
    248     case 0:
    249       ld->rx->op[n].type = RX_Operand_Zero_Indirect;
    250       ld->rx->op[n].addend = 0;
    251       break;
    252     case 1:
    253       ld->rx->op[n].type = RX_Operand_Indirect;
    254       disp = GETBYTE ();
    255       ld->rx->op[n].addend = disp * GET_PSCALE (size);
    256       break;
    257     case 2:
    258       ld->rx->op[n].type = RX_Operand_Indirect;
    259       disp = GETBYTE ();
    260 #if RX_OPCODE_BIG_ENDIAN
    261       disp = disp * 256 + GETBYTE ();
    262 #else
    263       disp = disp + GETBYTE () * 256;
    264 #endif
    265       ld->rx->op[n].addend = disp * GET_PSCALE (size);
    266       break;
    267     default:
    268       abort ();
    269     }
    270 }
    271 
    272 #define xO 8
    273 #define xS 4
    274 #define xZ 2
    275 #define xC 1
    276 
    277 #define F_____
    278 #define F___ZC rx->flags_0 = rx->flags_s = xZ|xC;
    279 #define F__SZ_ rx->flags_0 = rx->flags_s = xS|xZ;
    280 #define F__SZC rx->flags_0 = rx->flags_s = xS|xZ|xC;
    281 #define F_0SZC rx->flags_0 = xO|xS|xZ|xC; rx->flags_s = xS|xZ|xC;
    282 #define F_O___ rx->flags_0 = rx->flags_s = xO;
    283 #define F_OS__ rx->flags_0 = rx->flags_s = xO|xS;
    284 #define F_OSZ_ rx->flags_0 = rx->flags_s = xO|xS|xZ;
    285 #define F_OSZC rx->flags_0 = rx->flags_s = xO|xS|xZ|xC;
    286 
    287 int
    288 rx_decode_opcode (unsigned long pc AU,
    289 		  RX_Opcode_Decoded * rx,
    290 		  int (* getbyte)(void *),
    291 		  void * ptr)
    292 {
    293   LocalData lds, * ld = &lds;
    294   unsigned char op[20] = {0};
    295 
    296   lds.rx = rx;
    297   lds.getbyte = getbyte;
    298   lds.ptr = ptr;
    299   lds.op = op;
    300 
    301   memset (rx, 0, sizeof (*rx));
    302   BWL(LSIZE);
    303 
    304 /** VARY sz 00 01 10 */
    305 
    306 /*----------------------------------------------------------------------*/
    307 /* MOV									*/
    308 
    309 /** 0111 0101 0100 rdst		mov%s	#%1, %0 */
    310   ID(mov); DR(rdst); SC(IMM (1)); F_____;
    311 
    312 /** 1111 10sd rdst im sz	mov%s	#%1, %0 */
    313   ID(mov); DD(sd, rdst, sz);
    314   if ((im == 1 && sz == 0)
    315       || (im == 2 && sz == 1)
    316       || (im == 0 && sz == 2))
    317     {
    318       BWL (sz);
    319       SC(IMM(im));
    320     }
    321   else
    322     {
    323       sBWL (sz);
    324       SC(IMMex(im));
    325     }
    326    F_____;
    327 
    328 /** 0110 0110 immm rdst		mov%s	#%1, %0 */
    329   ID(mov); DR(rdst); SC(immm); F_____;
    330 
    331 /** 0011 11sz d dst sppp		mov%s	#%1, %0 */
    332   ID(mov); sBWL (sz); DIs(dst, d*16+sppp, sz); SC(IMM(1)); F_____;
    333 
    334 /** 11sz sd ss rsrc rdst	mov%s	%1, %0 */
    335   if (sd == 3 && ss == 3 && sz == 2 && rsrc == 0 && rdst == 0)
    336     {
    337       ID(nop2);
    338       SYNTAX ("nop\t; mov.l\tr0, r0");
    339     }
    340   else
    341     {
    342       ID(mov); sBWL(sz); F_____;
    343       if ((ss == 3) && (sd != 3))
    344 	{
    345 	  SD(ss, rdst, sz); DD(sd, rsrc, sz);
    346 	}
    347       else
    348 	{
    349 	  SD(ss, rsrc, sz); DD(sd, rdst, sz);
    350 	}
    351     }
    352 
    353 /** 10sz 1dsp a src b dst	mov%s	%1, %0 */
    354   ID(mov); sBWL(sz); DR(dst); SIs(src, dsp*4+a*2+b, sz); F_____;
    355 
    356 /** 10sz 0dsp a dst b src	mov%s	%1, %0 */
    357   ID(mov); sBWL(sz); DIs(dst, dsp*4+a*2+b, sz); SR(src); F_____;
    358 
    359 /** 1111 1110 01sz isrc bsrc rdst	mov%s	[%1, %2], %0 */
    360   ID(movbi); sBWL(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
    361 
    362 /** 1111 1110 00sz isrc bsrc rdst	mov%s	%0, [%1, %2] */
    363   ID(movbir); sBWL(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
    364 
    365 /** 1111 1110 11sz isrc bsrc rdst	movu%s	[%1, %2], %0 */
    366   ID(movbi); uBW(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
    367 
    368 /** 1111 1101 0010 0p sz rdst rsrc	mov%s	%1, %0 */
    369   ID(mov); sBWL (sz); SR(rsrc); F_____;
    370   OP(0, p ? RX_Operand_Predec : RX_Operand_Postinc, rdst, 0);
    371 
    372 /** 1111 1101 0010 1p sz rsrc rdst	mov%s	%1, %0 */
    373   ID(mov); sBWL (sz); DR(rdst); F_____;
    374   OP(1, p ? RX_Operand_Predec : RX_Operand_Postinc, rsrc, 0);
    375 
    376 /** 1011 w dsp a src b dst	movu%s	%1, %0 */
    377   ID(mov); uBW(w); DR(dst); SIs(src, dsp*4+a*2+b, w); F_____;
    378 
    379 /** 0101 1 s ss rsrc rdst	movu%s	%1, %0 */
    380   ID(mov); uBW(s); SD(ss, rsrc, s); DR(rdst); F_____;
    381 
    382 /** 1111 1101 0011 1p sz rsrc rdst	movu%s	%1, %0 */
    383   ID(mov); uBW (sz); DR(rdst); F_____;
    384    OP(1, p ? RX_Operand_Predec : RX_Operand_Postinc, rsrc, 0);
    385 
    386 /*----------------------------------------------------------------------*/
    387 /* PUSH/POP								*/
    388 
    389 /** 0110 1111 dsta dstb		popm	%1-%2 */
    390   ID(popm); SR(dsta); S2R(dstb); F_____;
    391 
    392 /** 0110 1110 dsta dstb		pushm	%1-%2 */
    393   ID(pushm); SR(dsta); S2R(dstb); F_____;
    394 
    395 /** 0111 1110 1011 rdst		pop	%0 */
    396   ID(mov); OP(1, RX_Operand_Postinc, 0, 0); DR(rdst); F_____;
    397 
    398 /** 0111 1110 10sz rsrc		push%s	%1 */
    399   ID(mov); BWL(sz); OP(0, RX_Operand_Predec, 0, 0); SR(rsrc); F_____;
    400 
    401 /** 1111 01ss rsrc 10sz		push%s	%1 */
    402   ID(mov); BWL(sz); OP(0, RX_Operand_Predec, 0, 0); SD(ss, rsrc, sz); F_____;
    403 
    404 /*----------------------------------------------------------------------*/
    405 /* XCHG									*/
    406 
    407 /** 1111 1100 0100 00ss rsrc rdst	xchg	%1%S1, %0 */
    408   ID(xchg); DR(rdst); SP(ss, rsrc);
    409 
    410 /** 0000 0110 mx10 00ss 0001 0000 rsrc rdst	xchg	%1%S1, %0 */
    411   ID(xchg); DR(rdst); SPm(ss, rsrc, mx);
    412 
    413 /*----------------------------------------------------------------------*/
    414 /* STZ/STNZ								*/
    415 
    416 /** 1111 1101 0111 im00 1110rdst	stz	#%1, %0 */
    417   ID(stcc); SC(IMMex(im)); DR(rdst); S2cc(RXC_z);
    418 
    419 /** 1111 1101 0111 im00 1111rdst	stnz	#%1, %0 */
    420   ID(stcc); SC(IMMex(im)); DR(rdst); S2cc(RXC_nz);
    421 
    422 /*----------------------------------------------------------------------*/
    423 /* RTSD									*/
    424 
    425 /** 0110 0111			rtsd	#%1 */
    426   ID(rtsd); SC(IMM(1) * 4);
    427 
    428 /** 0011 1111 rega regb		rtsd	#%1, %2-%0 */
    429   ID(rtsd); SC(IMM(1) * 4); S2R(rega); DR(regb);
    430 
    431 /*----------------------------------------------------------------------*/
    432 /* AND									*/
    433 
    434 /** 0110 0100 immm rdst			and	#%1, %0 */
    435   ID(and); SC(immm); DR(rdst); F__SZ_;
    436 
    437 /** 0111 01im 0010 rdst			and	#%1, %0 */
    438   ID(and); SC(IMMex(im)); DR(rdst); F__SZ_;
    439 
    440 /** 0101 00ss rsrc rdst			and	%1%S1, %0 */
    441   ID(and); SP(ss, rsrc); DR(rdst); F__SZ_;
    442 
    443 /** 0000 0110 mx01 00ss rsrc rdst	and	%1%S1, %0 */
    444   ID(and); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
    445 
    446 /** 1111 1111 0100 rdst srca srcb	and	%2, %1, %0 */
    447   ID(and); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
    448 
    449 /*----------------------------------------------------------------------*/
    450 /* OR									*/
    451 
    452 /** 0110 0101 immm rdst			or	#%1, %0 */
    453   ID(or); SC(immm); DR(rdst); F__SZ_;
    454 
    455 /** 0111 01im 0011 rdst			or	#%1, %0 */
    456   ID(or); SC(IMMex(im)); DR(rdst); F__SZ_;
    457 
    458 /** 0101 01ss rsrc rdst			or	%1%S1, %0 */
    459   ID(or); SP(ss, rsrc); DR(rdst); F__SZ_;
    460 
    461 /** 0000 0110 mx01 01ss rsrc rdst			or	%1%S1, %0 */
    462   ID(or); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
    463 
    464 /** 1111 1111 0101 rdst srca srcb	or	%2, %1, %0 */
    465   ID(or); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
    466 
    467 /*----------------------------------------------------------------------*/
    468 /* XOR									*/
    469 
    470 /** 1111 1101 0111 im00 1101rdst	xor	#%1, %0 */
    471   ID(xor); SC(IMMex(im)); DR(rdst); F__SZ_;
    472 
    473 /** 1111 1100 0011 01ss rsrc rdst	xor	%1%S1, %0 */
    474   ID(xor); SP(ss, rsrc); DR(rdst); F__SZ_;
    475 
    476 /** 0000 0110 mx10 00ss 0000 1101 rsrc rdst	xor	%1%S1, %0 */
    477   ID(xor); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
    478 
    479 /*----------------------------------------------------------------------*/
    480 /* NOT									*/
    481 
    482 /** 0111 1110 0000 rdst			not	%0 */
    483   ID(xor); DR(rdst); SR(rdst); S2C(~0); F__SZ_;
    484 
    485 /** 1111 1100 0011 1011 rsrc rdst	not	%1, %0 */
    486   ID(xor); DR(rdst); SR(rsrc); S2C(~0); F__SZ_;
    487 
    488 /*----------------------------------------------------------------------*/
    489 /* TST									*/
    490 
    491 /** 1111 1101 0111 im00 1100rdst	tst	#%1, %2 */
    492   ID(and); SC(IMMex(im)); S2R(rdst); F__SZ_;
    493 
    494 /** 1111 1100 0011 00ss rsrc rdst	tst	%1%S1, %2 */
    495   ID(and); SP(ss, rsrc); S2R(rdst); F__SZ_;
    496 
    497 /** 0000 0110 mx10 00ss 0000 1100 rsrc rdst	tst	%1%S1, %2 */
    498   ID(and); SPm(ss, rsrc, mx); S2R(rdst); F__SZ_;
    499 
    500 /*----------------------------------------------------------------------*/
    501 /* NEG									*/
    502 
    503 /** 0111 1110 0001 rdst			neg	%0 */
    504   ID(sub); DR(rdst); SC(0); S2R(rdst); F_OSZC;
    505 
    506 /** 1111 1100 0000 0111 rsrc rdst	neg	%2, %0 */
    507   ID(sub); DR(rdst); SC(0); S2R(rsrc); F_OSZC;
    508 
    509 /*----------------------------------------------------------------------*/
    510 /* ADC									*/
    511 
    512 /** 1111 1101 0111 im00 0010rdst	adc	#%1, %0 */
    513   ID(adc); SC(IMMex(im)); DR(rdst); F_OSZC;
    514 
    515 /** 1111 1100 0000 1011 rsrc rdst	adc	%1, %0 */
    516   ID(adc); SR(rsrc); DR(rdst); F_OSZC;
    517 
    518 /** 0000 0110 1010 00ss 0000 0010 rsrc rdst	adc	%1%S1, %0 */
    519   ID(adc); SPm(ss, rsrc, 2); DR(rdst); F_OSZC;
    520 
    521 /*----------------------------------------------------------------------*/
    522 /* ADD									*/
    523 
    524 /** 0110 0010 immm rdst			add	#%1, %0 */
    525   ID(add); SC(immm); DR(rdst); F_OSZC;
    526 
    527 /** 0100 10ss rsrc rdst			add	%1%S1, %0 */
    528   ID(add); SP(ss, rsrc); DR(rdst); F_OSZC;
    529 
    530 /** 0000 0110 mx00 10ss rsrc rdst	add	%1%S1, %0 */
    531   ID(add); SPm(ss, rsrc, mx); DR(rdst); F_OSZC;
    532 
    533 /** 0111 00im rsrc rdst			add	#%1, %2, %0 */
    534   ID(add); SC(IMMex(im)); S2R(rsrc); DR(rdst); F_OSZC;
    535 
    536 /** 1111 1111 0010 rdst srca srcb	add	%2, %1, %0 */
    537   ID(add); DR(rdst); SR(srcb); S2R(srca); F_OSZC;
    538 
    539 /*----------------------------------------------------------------------*/
    540 /* CMP									*/
    541 
    542 /** 0110 0001 immm rdst			cmp	#%2, %1 */
    543   ID(sub); S2C(immm); SR(rdst); F_OSZC;
    544 
    545 /** 0111 01im 0000 rsrc		cmp	#%2, %1%S1 */
    546   ID(sub); SR(rsrc); S2C(IMMex(im)); F_OSZC;
    547 
    548 /** 0111 0101 0101 rsrc			cmp	#%2, %1 */
    549   ID(sub); SR(rsrc); S2C(IMM(1)); F_OSZC;
    550 
    551 /** 0100 01ss rsrc rdst		cmp	%2%S2, %1 */
    552   ID(sub); S2P(ss, rsrc); SR(rdst); F_OSZC;
    553 
    554 /** 0000 0110 mx00 01ss rsrc rdst		cmp	%2%S2, %1 */
    555   ID(sub); S2Pm(ss, rsrc, mx); SR(rdst); F_OSZC;
    556 
    557 /*----------------------------------------------------------------------*/
    558 /* SUB									*/
    559 
    560 /** 0110 0000 immm rdst			sub	#%2, %0 */
    561   ID(sub); S2C(immm); SR(rdst); DR(rdst); F_OSZC;
    562 
    563 /** 0100 00ss rsrc rdst			sub	%2%S2, %1 */
    564   ID(sub); S2P(ss, rsrc); SR(rdst); DR(rdst); F_OSZC;
    565 
    566 /** 0000 0110 mx00 00ss rsrc rdst			sub	%2%S2, %1 */
    567   ID(sub); S2Pm(ss, rsrc, mx); SR(rdst); DR(rdst); F_OSZC;
    568 
    569 /** 1111 1111 0000 rdst srca srcb	sub	%2, %1, %0 */
    570   ID(sub); DR(rdst); SR(srcb); S2R(srca); F_OSZC;
    571 
    572 /*----------------------------------------------------------------------*/
    573 /* SBB									*/
    574 
    575 /** 1111 1100 0000 0011 rsrc rdst	sbb	%1, %0 */
    576   ID(sbb); SR (rsrc); DR(rdst); F_OSZC;
    577 
    578   /* FIXME: only supports .L */
    579 /** 0000 0110 mx10 00sp 0000 0000 rsrc rdst	sbb	%1%S1, %0 */
    580   ID(sbb); SPm(sp, rsrc, mx); DR(rdst); F_OSZC;
    581 
    582 /*----------------------------------------------------------------------*/
    583 /* ABS									*/
    584 
    585 /** 0111 1110 0010 rdst			abs	%0 */
    586   ID(abs); DR(rdst); SR(rdst); F_OSZ_;
    587 
    588 /** 1111 1100 0000 1111 rsrc rdst	abs	%1, %0 */
    589   ID(abs); DR(rdst); SR(rsrc); F_OSZ_;
    590 
    591 /*----------------------------------------------------------------------*/
    592 /* MAX									*/
    593 
    594 /** 1111 1101 0111 im00 0100rdst	max	#%1, %0 */
    595   int val = IMMex (im);
    596   if (im == 0 && (unsigned) val == 0x80000000 && rdst == 0)
    597     {
    598       ID (nop7);
    599       SYNTAX("nop\t; max\t#0x80000000, r0");
    600     }
    601   else
    602     {
    603       ID(max);
    604     }
    605   DR(rdst); SC(val);
    606 
    607 /** 1111 1100 0001 00ss rsrc rdst	max	%1%S1, %0 */
    608   if (ss == 3 && rsrc == 0 && rdst == 0)
    609     {
    610       ID(nop3);
    611       SYNTAX("nop\t; max\tr0, r0");
    612     }
    613   else
    614     {
    615       ID(max); SP(ss, rsrc); DR(rdst);
    616     }
    617 
    618 /** 0000 0110 mx10 00ss 0000 0100 rsrc rdst	max	%1%S1, %0 */
    619   ID(max); SPm(ss, rsrc, mx); DR(rdst);
    620 
    621 /*----------------------------------------------------------------------*/
    622 /* MIN									*/
    623 
    624 /** 1111 1101 0111 im00 0101rdst	min	#%1, %0 */
    625   ID(min); DR(rdst); SC(IMMex(im));
    626 
    627 /** 1111 1100 0001 01ss rsrc rdst	min	%1%S1, %0 */
    628   ID(min); SP(ss, rsrc); DR(rdst);
    629 
    630 /** 0000 0110 mx10 00ss 0000 0101 rsrc rdst	min	%1%S1, %0 */
    631   ID(min); SPm(ss, rsrc, mx); DR(rdst);
    632 
    633 /*----------------------------------------------------------------------*/
    634 /* MUL									*/
    635 
    636 /** 0110 0011 immm rdst			mul	#%1, %0 */
    637   if (immm == 1 && rdst == 0)
    638     {
    639       ID(nop2);
    640       SYNTAX ("nop\t; mul\t#1, r0");
    641     }
    642   else
    643     {
    644       ID(mul);
    645     }
    646   DR(rdst); SC(immm); F_____;
    647 
    648 /** 0111 01im 0001rdst			mul	#%1, %0 */
    649   int val = IMMex(im);
    650   if (val == 1 && rdst == 0)
    651     {
    652       SYNTAX("nop\t; mul\t#1, r0");
    653       switch (im)
    654 	{
    655 	case 2: ID(nop4); break;
    656 	case 3: ID(nop5); break;
    657 	case 0: ID(nop6); break;
    658 	default:
    659 	  ID(mul);
    660 	  SYNTAX("mul	#%1, %0");
    661 	  break;
    662 	}
    663     }
    664   else
    665     {
    666       ID(mul);
    667     }
    668   DR(rdst); SC(val); F_____;
    669 
    670 /** 0100 11ss rsrc rdst			mul	%1%S1, %0 */
    671   ID(mul); SP(ss, rsrc); DR(rdst); F_____;
    672 
    673 /** 0000 0110 mx00 11ss rsrc rdst	mul	%1%S1, %0 */
    674   ID(mul); SPm(ss, rsrc, mx); DR(rdst); F_____;
    675 
    676 /** 1111 1111 0011 rdst srca srcb	mul 	%2, %1, %0 */
    677   ID(mul); DR(rdst); SR(srcb); S2R(srca); F_____;
    678 
    679 /*----------------------------------------------------------------------*/
    680 /* EMUL									*/
    681 
    682 /** 1111 1101 0111 im00 0110rdst	emul	#%1, %0 */
    683   ID(emul); DR(rdst); SC(IMMex(im));
    684 
    685 /** 1111 1100 0001 10ss rsrc rdst	emul	%1%S1, %0 */
    686   ID(emul); SP(ss, rsrc); DR(rdst);
    687 
    688 /** 0000 0110 mx10 00ss 0000 0110 rsrc rdst	emul	%1%S1, %0 */
    689   ID(emul); SPm(ss, rsrc, mx); DR(rdst);
    690 
    691 /*----------------------------------------------------------------------*/
    692 /* EMULU									*/
    693 
    694 /** 1111 1101 0111 im00 0111rdst	emulu	#%1, %0 */
    695   ID(emulu); DR(rdst); SC(IMMex(im));
    696 
    697 /** 1111 1100 0001 11ss rsrc rdst	emulu	%1%S1, %0 */
    698   ID(emulu); SP(ss, rsrc); DR(rdst);
    699 
    700 /** 0000 0110 mx10 00ss 0000 0111 rsrc rdst	emulu	%1%S1, %0 */
    701   ID(emulu); SPm(ss, rsrc, mx); DR(rdst);
    702 
    703 /*----------------------------------------------------------------------*/
    704 /* DIV									*/
    705 
    706 /** 1111 1101 0111 im00 1000rdst	div	#%1, %0 */
    707   ID(div); DR(rdst); SC(IMMex(im)); F_O___;
    708 
    709 /** 1111 1100 0010 00ss rsrc rdst	div	%1%S1, %0 */
    710   ID(div); SP(ss, rsrc); DR(rdst); F_O___;
    711 
    712 /** 0000 0110 mx10 00ss 0000 1000 rsrc rdst	div	%1%S1, %0 */
    713   ID(div); SPm(ss, rsrc, mx); DR(rdst); F_O___;
    714 
    715 /*----------------------------------------------------------------------*/
    716 /* DIVU									*/
    717 
    718 /** 1111 1101 0111 im00 1001rdst	divu	#%1, %0 */
    719   ID(divu); DR(rdst); SC(IMMex(im)); F_O___;
    720 
    721 /** 1111 1100 0010 01ss rsrc rdst	divu	%1%S1, %0 */
    722   ID(divu); SP(ss, rsrc); DR(rdst); F_O___;
    723 
    724 /** 0000 0110 mx10 00ss 0000 1001 rsrc rdst	divu	%1%S1, %0 */
    725   ID(divu); SPm(ss, rsrc, mx); DR(rdst); F_O___;
    726 
    727 /*----------------------------------------------------------------------*/
    728 /* SHIFT								*/
    729 
    730 /** 0110 110i mmmm rdst			shll	#%2, %0 */
    731   ID(shll); S2C(i*16+mmmm); SR(rdst); DR(rdst); F_OSZC;
    732 
    733 /** 1111 1101 0110 0010 rsrc rdst	shll	%2, %0 */
    734   ID(shll); S2R(rsrc); SR(rdst); DR(rdst); F_OSZC;
    735 
    736 /** 1111 1101 110immmm rsrc rdst	shll	#%2, %1, %0 */
    737   ID(shll); S2C(immmm); SR(rsrc); DR(rdst); F_OSZC;
    738 
    739 
    740 /** 0110 101i mmmm rdst			shar	#%2, %0 */
    741   ID(shar); S2C(i*16+mmmm); SR(rdst); DR(rdst); F_0SZC;
    742 
    743 /** 1111 1101 0110 0001 rsrc rdst	shar	%2, %0 */
    744   ID(shar); S2R(rsrc); SR(rdst); DR(rdst); F_0SZC;
    745 
    746 /** 1111 1101 101immmm rsrc rdst	shar	#%2, %1, %0 */
    747   ID(shar); S2C(immmm); SR(rsrc); DR(rdst); F_0SZC;
    748 
    749 
    750 /** 0110 100i mmmm rdst			shlr	#%2, %0 */
    751   ID(shlr); S2C(i*16+mmmm); SR(rdst); DR(rdst); F__SZC;
    752 
    753 /** 1111 1101 0110 0000 rsrc rdst	shlr	%2, %0 */
    754   ID(shlr); S2R(rsrc); SR(rdst); DR(rdst); F__SZC;
    755 
    756 /** 1111 1101 100immmm rsrc rdst	shlr	#%2, %1, %0 */
    757   ID(shlr); S2C(immmm); SR(rsrc); DR(rdst); F__SZC;
    758 
    759 /*----------------------------------------------------------------------*/
    760 /* ROTATE								*/
    761 
    762 /** 0111 1110 0101 rdst			rolc	%0 */
    763   ID(rolc); DR(rdst); F__SZC;
    764 
    765 /** 0111 1110 0100 rdst			rorc	%0 */
    766   ID(rorc); DR(rdst); F__SZC;
    767 
    768 /** 1111 1101 0110 111i mmmm rdst	rotl	#%1, %0 */
    769   ID(rotl); SC(i*16+mmmm); DR(rdst); F__SZC;
    770 
    771 /** 1111 1101 0110 0110 rsrc rdst	rotl	%1, %0 */
    772   ID(rotl); SR(rsrc); DR(rdst); F__SZC;
    773 
    774 /** 1111 1101 0110 110i mmmm rdst	rotr	#%1, %0 */
    775   ID(rotr); SC(i*16+mmmm); DR(rdst); F__SZC;
    776 
    777 /** 1111 1101 0110 0100 rsrc rdst	rotr	%1, %0 */
    778   ID(rotr); SR(rsrc); DR(rdst); F__SZC;
    779 
    780 /** 1111 1101 0110 0101 rsrc rdst	revw	%1, %0 */
    781   ID(revw); SR(rsrc); DR(rdst);
    782 
    783 /** 1111 1101 0110 0111 rsrc rdst	revl	%1, %0 */
    784   ID(revl); SR(rsrc); DR(rdst);
    785 
    786 /*----------------------------------------------------------------------*/
    787 /* BRANCH								*/
    788 
    789 /** 0001 n dsp			b%1.s	%a0 */
    790   ID(branch); Scc(n); DC(pc + dsp3map[dsp]);
    791 
    792 /** 0010 cond			b%1.b	%a0 */
    793   ID(branch); Scc(cond); DC(pc + IMMex (1));
    794 
    795 /** 0011 101c			b%1.w	%a0 */
    796   ID(branch); Scc(c); DC(pc + IMMex (2));
    797 
    798 
    799 /** 0000 1dsp			bra.s	%a0 */
    800   ID(branch); DC(pc + dsp3map[dsp]);
    801 
    802 /** 0010 1110			bra.b	%a0 */
    803   ID(branch); DC(pc + IMMex(1));
    804 
    805 /** 0011 1000			bra.w	%a0 */
    806   ID(branch); DC(pc + IMMex(2));
    807 
    808 /** 0000 0100			bra.a	%a0 */
    809   ID(branch); DC(pc + IMMex(3));
    810 
    811 /** 0111 1111 0100 rsrc		bra.l	%0 */
    812   ID(branchrel); DR(rsrc);
    813 
    814 
    815 /** 0111 1111 0000 rsrc		jmp	%0 */
    816   ID(branch); DR(rsrc);
    817 
    818 /** 0111 1111 0001 rsrc		jsr	%0 */
    819   ID(jsr); DR(rsrc);
    820 
    821 /** 0011 1001			bsr.w	%a0 */
    822   ID(jsr); DC(pc + IMMex(2));
    823 
    824 /** 0000 0101			bsr.a	%a0 */
    825   ID(jsr); DC(pc + IMMex(3));
    826 
    827 /** 0111 1111 0101 rsrc		bsr.l	%0 */
    828   ID(jsrrel); DR(rsrc);
    829 
    830 /** 0000 0010			rts */
    831   ID(rts);
    832 
    833 /*----------------------------------------------------------------------*/
    834 /* NOP								*/
    835 
    836 /** 0000 0011			nop */
    837   ID(nop);
    838 
    839 /*----------------------------------------------------------------------*/
    840 /* STRING FUNCTIONS							*/
    841 
    842 /** 0111 1111 1000 0011		scmpu */
    843   ID(scmpu); F___ZC;
    844 
    845 /** 0111 1111 1000 0111		smovu */
    846   ID(smovu);
    847 
    848 /** 0111 1111 1000 1011		smovb */
    849   ID(smovb);
    850 
    851 /** 0111 1111 1000 00sz		suntil%s */
    852   ID(suntil); BWL(sz); F___ZC;
    853 
    854 /** 0111 1111 1000 01sz		swhile%s */
    855   ID(swhile); BWL(sz); F___ZC;
    856 
    857 /** 0111 1111 1000 1111		smovf */
    858   ID(smovf);
    859 
    860 /** 0111 1111 1000 10sz		sstr%s */
    861   ID(sstr); BWL(sz);
    862 
    863 /*----------------------------------------------------------------------*/
    864 /* RMPA									*/
    865 
    866 /** 0111 1111 1000 11sz		rmpa%s */
    867   ID(rmpa); BWL(sz); F_OS__;
    868 
    869 /*----------------------------------------------------------------------*/
    870 /* HI/LO stuff								*/
    871 
    872 /** 1111 1101 0000 a000 srca srcb	mulhi	%1, %2, %0 */
    873   ID(mulhi); DR(a+32); SR(srca); S2R(srcb); F_____;
    874 
    875 /** 1111 1101 0000 a001 srca srcb	mullo	%1, %2, %0 */
    876   ID(mullo); DR(a+32); SR(srca); S2R(srcb); F_____;
    877 
    878 /** 1111 1101 0000 a100 srca srcb	machi	%1, %2, %0 */
    879   ID(machi); DR(a+32); SR(srca); S2R(srcb); F_____;
    880 
    881 /** 1111 1101 0000 a101 srca srcb	maclo	%1, %2, %0 */
    882   ID(maclo); DR(a+32); SR(srca); S2R(srcb); F_____;
    883 
    884 /** 1111 1101 0001 0111 a000 rsrc	mvtachi	%1, %0 */
    885   ID(mvtachi); DR(a+32); SR(rsrc); F_____;
    886 
    887 /** 1111 1101 0001 0111 a001 rsrc	mvtaclo	%1, %0 */
    888   ID(mvtaclo); DR(a+32); SR(rsrc); F_____;
    889 
    890 /** 1111 1101 0001 111i a m00 rdst	mvfachi	#%2, %1, %0 */
    891   ID(mvfachi); S2C(((i^1)<<1)|m); SR(a+32); DR(rdst); F_____;
    892 
    893 /** 1111 1101 0001 111i a m10 rdst	mvfacmi	#%2, %1, %0 */
    894   ID(mvfacmi); S2C(((i^1)<<1)|m); SR(a+32); DR(rdst); F_____;
    895 
    896 /** 1111 1101 0001 111i a m01 rdst	mvfaclo	#%2, %1, %0 */
    897   ID(mvfaclo); S2C(((i^1)<<1)|m); SR(a+32); DR(rdst); F_____;
    898 
    899 /** 1111 1101 0001 1000 a00i 0000	racw	#%1, %0 */
    900   ID(racw); SC(i+1); DR(a+32); F_____;
    901 
    902 /*----------------------------------------------------------------------*/
    903 /* SAT									*/
    904 
    905 /** 0111 1110 0011 rdst		sat	%0 */
    906   ID(sat); DR (rdst);
    907 
    908 /** 0111 1111 1001 0011		satr */
    909   ID(satr);
    910 
    911 /*----------------------------------------------------------------------*/
    912 /* FLOAT								*/
    913 
    914 /** 1111 1101 0111 0010 0010 rdst	fadd	#%1, %0 */
    915   ID(fadd); DR(rdst); SC(IMM(0)); F__SZ_;
    916 
    917 /** 1111 1100 1000 10sd rsrc rdst	fadd	%1%S1, %0 */
    918   ID(fadd); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
    919 
    920 /** 1111 1101 0111 0010 0001 rdst	fcmp	#%1, %0 */
    921   ID(fcmp); DR(rdst); SC(IMM(0)); F_OSZ_;
    922 
    923 /** 1111 1100 1000 01sd rsrc rdst	fcmp	%1%S1, %0 */
    924   ID(fcmp); DR(rdst); SD(sd, rsrc, LSIZE); F_OSZ_;
    925 
    926 /** 1111 1101 0111 0010 0000 rdst	fsub	#%1, %0 */
    927   ID(fsub); DR(rdst); SC(IMM(0)); F__SZ_;
    928 
    929 /** 1111 1100 1000 00sd rsrc rdst	fsub	%1%S1, %0 */
    930   ID(fsub); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
    931 
    932 /** 1111 1100 1001 01sd rsrc rdst	ftoi	%1%S1, %0 */
    933   ID(ftoi); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
    934 
    935 /** 1111 1101 0111 0010 0011 rdst	fmul	#%1, %0 */
    936   ID(fmul); DR(rdst); SC(IMM(0)); F__SZ_;
    937 
    938 /** 1111 1100 1000 11sd rsrc rdst	fmul	%1%S1, %0 */
    939   ID(fmul); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
    940 
    941 /** 1111 1101 0111 0010 0100 rdst	fdiv	#%1, %0 */
    942   ID(fdiv); DR(rdst); SC(IMM(0)); F__SZ_;
    943 
    944 /** 1111 1100 1001 00sd rsrc rdst	fdiv	%1%S1, %0 */
    945   ID(fdiv); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
    946 
    947 /** 1111 1100 1001 10sd rsrc rdst	round	%1%S1, %0 */
    948   ID(round); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
    949 
    950 /** 1111 1100 0100 01sd rsrc rdst	itof	%1%S1, %0 */
    951   ID(itof); DR (rdst); SP(sd, rsrc); F__SZ_;
    952 
    953 /** 0000 0110 mx10 00sd 0001 0001 rsrc rdst	itof	%1%S1, %0 */
    954   ID(itof); DR (rdst); SPm(sd, rsrc, mx); F__SZ_;
    955 
    956 /*----------------------------------------------------------------------*/
    957 /* BIT OPS								*/
    958 
    959 /** 1111 00sd rdst 0bit			bset	#%1, %0%S0 */
    960   ID(bset); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE); F_____;
    961 
    962 /** 1111 1100 0110 00sd rdst rsrc	bset	%1, %0%S0 */
    963   ID(bset); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE); F_____;
    964   if (sd == 3) /* bset reg,reg */
    965     BWL(LSIZE);
    966 
    967 /** 0111 100b ittt rdst			bset	#%1, %0 */
    968   ID(bset); BWL(LSIZE); SC(b*16+ittt); DR(rdst); F_____;
    969 
    970 
    971 /** 1111 00sd rdst 1bit			bclr	#%1, %0%S0 */
    972   ID(bclr); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE); F_____;
    973 
    974 /** 1111 1100 0110 01sd rdst rsrc	bclr	%1, %0%S0 */
    975   ID(bclr); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE); F_____;
    976   if (sd == 3) /* bset reg,reg */
    977     BWL(LSIZE);
    978 
    979 /** 0111 101b ittt rdst			bclr	#%1, %0 */
    980   ID(bclr); BWL(LSIZE); SC(b*16+ittt); DR(rdst); F_____;
    981 
    982 
    983 /** 1111 01sd rdst 0bit			btst	#%2, %1%S1 */
    984   ID(btst); BWL(BSIZE); S2C(bit); SD(sd, rdst, BSIZE); F___ZC;
    985 
    986 /** 1111 1100 0110 10sd rdst rsrc	btst	%2, %1%S1 */
    987   ID(btst); BWL(BSIZE); S2R(rsrc); SD(sd, rdst, BSIZE); F___ZC;
    988   if (sd == 3) /* bset reg,reg */
    989     BWL(LSIZE);
    990 
    991 /** 0111 110b ittt rdst			btst	#%2, %1 */
    992   ID(btst); BWL(LSIZE); S2C(b*16+ittt); SR(rdst); F___ZC;
    993 
    994 
    995 /** 1111 1100 111bit sd rdst 1111	bnot	#%1, %0%S0 */
    996   ID(bnot); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE);
    997 
    998 /** 1111 1100 0110 11sd rdst rsrc	bnot	%1, %0%S0 */
    999   ID(bnot); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE);
   1000   if (sd == 3) /* bset reg,reg */
   1001     BWL(LSIZE);
   1002 
   1003 /** 1111 1101 111bittt 1111 rdst	bnot	#%1, %0 */
   1004   ID(bnot); BWL(LSIZE); SC(bittt); DR(rdst);
   1005 
   1006 
   1007 /** 1111 1100 111bit sd rdst cond	bm%2	#%1, %0%S0 */
   1008   ID(bmcc); BWL(BSIZE); S2cc(cond); SC(bit); DD(sd, rdst, BSIZE);
   1009 
   1010 /** 1111 1101 111 bittt cond rdst	bm%2	#%1, %0%S0 */
   1011   ID(bmcc); BWL(LSIZE); S2cc(cond); SC(bittt); DR(rdst);
   1012 
   1013 /*----------------------------------------------------------------------*/
   1014 /* CONTROL REGISTERS							*/
   1015 
   1016 /** 0111 1111 1011 rdst			clrpsw	%0 */
   1017   ID(clrpsw); DF(rdst);
   1018 
   1019 /** 0111 1111 1010 rdst			setpsw	%0 */
   1020   ID(setpsw); DF(rdst);
   1021 
   1022 /** 0111 0101 0111 0000 0000 immm	mvtipl	#%1 */
   1023   ID(mvtipl); SC(immm);
   1024 
   1025 /** 0111 1110 111 crdst			popc	%0 */
   1026   ID(mov); OP(1, RX_Operand_Postinc, 0, 0); DR(crdst + 16);
   1027 
   1028 /** 0111 1110 110 crsrc			pushc	%1 */
   1029   ID(mov); OP(0, RX_Operand_Predec, 0, 0); SR(crsrc + 16);
   1030 
   1031 /** 1111 1101 0111 im11 000crdst	mvtc	#%1, %0 */
   1032   ID(mov); SC(IMMex(im)); DR(crdst + 16);
   1033 
   1034 /** 1111 1101 0110 100c rsrc rdst	mvtc	%1, %0 */
   1035   ID(mov); SR(rsrc); DR(c*16+rdst + 16);
   1036 
   1037 /** 1111 1101 0110 101s rsrc rdst	mvfc	%1, %0 */
   1038   ID(mov); SR((s*16+rsrc) + 16); DR(rdst);
   1039 
   1040 /*----------------------------------------------------------------------*/
   1041 /* INTERRUPTS								*/
   1042 
   1043 /** 0111 1111 1001 0100		rtfi */
   1044   ID(rtfi);
   1045 
   1046 /** 0111 1111 1001 0101		rte */
   1047   ID(rte);
   1048 
   1049 /** 0000 0000			brk */
   1050   ID(brk);
   1051 
   1052 /** 0000 0001			dbt */
   1053   ID(dbt);
   1054 
   1055 /** 0111 0101 0110 0000		int #%1 */
   1056   ID(int); SC(IMM(1));
   1057 
   1058 /** 0111 1111 1001 0110		wait */
   1059   ID(wait);
   1060 
   1061 /*----------------------------------------------------------------------*/
   1062 /* SCcnd								*/
   1063 
   1064 /** 1111 1100 1101 sz sd rdst cond	sc%1%s	%0 */
   1065   ID(sccnd); BWL(sz); DD (sd, rdst, sz); Scc(cond);
   1066 
   1067 /*----------------------------------------------------------------------*/
   1068 /* RXv2 enhanced							*/
   1069 
   1070 /** 1111 1101 0010 0111 rdst rsrc	movco	%1, [%0] */
   1071    ID(movco); SR(rsrc); DR(rdst); F_____;
   1072 
   1073 /** 1111 1101 0010 1111 rsrc rdst	movli	[%1], %0 */
   1074    ID(movli); SR(rsrc); DR(rdst); F_____;
   1075 
   1076 /** 1111 1100 0100 1011 rsrc rdst	stz	%1, %0 */
   1077   ID(stcc); SR(rsrc); DR(rdst); S2cc(RXC_z);
   1078 
   1079 /** 1111 1100 0100 1111 rsrc rdst	stnz	%1, %0 */
   1080   ID(stcc); SR(rsrc); DR(rdst); S2cc(RXC_nz);
   1081 
   1082 /** 1111 1101 0000 a111 srca srcb 	emaca	%1, %2, %0 */
   1083   ID(emaca); DR(a+32); SR(srca); S2R(srcb); F_____;
   1084 
   1085 /** 1111 1101 0100 a111 srca srcb 	emsba	%1, %2, %0 */
   1086   ID(emsba); DR(a+32); SR(srca); S2R(srcb); F_____;
   1087 
   1088 /** 1111 1101 0000 a011 srca srcb 	emula	%1, %2, %0 */
   1089   ID(emula); DR(a+32); SR(srca); S2R(srcb); F_____;
   1090 
   1091 /** 1111 1101 0000 a110 srca srcb	maclh	%1, %2, %0 */
   1092   ID(maclh); DR(a+32); SR(srca); S2R(srcb); F_____;
   1093 
   1094 /** 1111 1101 0100 a100 srca srcb	msbhi	%1, %2, %0 */
   1095   ID(msbhi); DR(a+32); SR(srca); S2R(srcb); F_____;
   1096 
   1097 /** 1111 1101 0100 a110 srca srcb	msblh	%1, %2, %0 */
   1098   ID(msblh); DR(a+32); SR(srca); S2R(srcb); F_____;
   1099 
   1100 /** 1111 1101 0100 a101 srca srcb	msblo	%1, %2, %0 */
   1101   ID(msblo); DR(a+32); SR(srca); S2R(srcb); F_____;
   1102 
   1103 /** 1111 1101 0000 a010 srca srcb	mullh	%1, %2, %0 */
   1104   ID(mullh); DR(a+32); SR(srca); S2R(srcb); F_____;
   1105 
   1106 /** 1111 1101 0001 111i a m11 rdst	mvfacgu	#%2, %1, %0 */
   1107   ID(mvfacgu); S2C(((i^1)<<1)|m); SR(a+32); DR(rdst); F_____;
   1108 
   1109 /** 1111 1101 0001 0111 a011 rsrc	mvtacgu	%1, %0 */
   1110   ID(mvtacgu); SR(rsrc); DR(a+32); F_____;
   1111 
   1112 /** 1111 1101 0001 1001 a00i 0000	racl	#%1, %0 */
   1113   ID(racl); SC(i+1); DR(a+32); F_____;
   1114 
   1115 /** 1111 1101 0001 1001 a10i 0000	rdacl	#%1, %0 */
   1116   ID(rdacl); SC(i+1); DR(a+32); F_____;
   1117 
   1118 /** 1111 1101 0001 1000 a10i 0000	rdacw	#%1, %0 */
   1119   ID(rdacw); SC(i+1); DR(a+32); F_____;
   1120 
   1121 /** 1111 1111 1010 rdst srca srcb	fadd	%2, %1, %0 */
   1122   ID(fadd); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
   1123 
   1124 /** 1111 1111 1000 rdst srca srcb	fsub	%2, %1, %0 */
   1125   ID(fsub); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
   1126 
   1127 /** 1111 1111 1011 rdst srca srcb	fmul	%2, %1, %0 */
   1128   ID(fmul); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
   1129 
   1130 /** 1111 1100 1010 00sd rsrc rdst	fsqrt	%1%S1, %0 */
   1131   ID(fsqrt); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
   1132 
   1133 /** 1111 1100 1010 01sd rsrc rdst	ftou	%1%S1, %0 */
   1134   ID(ftou); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
   1135 
   1136 /** 1111 1100 0101 01sd rsrc rdst	utof	%1%S1, %0 */
   1137   ID(utof); DR (rdst); SP(sd, rsrc); F__SZ_;
   1138 
   1139 /** 0000 0110 mx10 00sd 0001 0101 rsrc rdst	utof	%1%S1, %0 */
   1140   ID(utof); DR (rdst); SPm(sd, rsrc, mx); F__SZ_;
   1141 
   1142 /*----------------------------------------------------------------------*/
   1143 /* RXv3 enhanced							*/
   1144 
   1145 /** 1111 1111 0110 rdst srca srcb	xor	%2, %1, %0 */
   1146   ID(xor); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
   1147 
   1148 /** 1111 1100 0101 1110 rsrc rdst	bfmov	%bf */
   1149   ID(bfmov); DR(rdst); SR(rsrc); S2C(IMM(2)); F_____;
   1150 
   1151 /** 1111 1100 0101 1010 rsrc rdst	bfmovz	%bf */
   1152   ID(bfmovz); DR(rdst); SR(rsrc); S2C(IMM(2)); F_____;
   1153 
   1154 /** 1111 1101 0111 0110 1101 rsrc 0000 0000 	rstr	%1 */
   1155   ID(rstr); SR(rsrc); F_____;
   1156 
   1157 /** 1111 1101 0111 0110 1111 0000 	rstr	#%1 */
   1158   ID(rstr); SC(IMM(1)); F_____;
   1159 
   1160 /** 1111 1101 0111 0110 1100 rsrc 0000 0000 	save	%1 */
   1161   ID(save); SR(rsrc); F_____;
   1162 
   1163 /** 1111 1101 0111 0110 1110 0000	save	#%1 */
   1164   ID(save); SC(IMM(1)); F_____;
   1165 
   1166 /** 1111 1101 0111 0111 1000 rsrc rdst 001s	dmov%s	%1, %0 */
   1167   ID(dmov); DDRH(rdst); SR(rsrc); DL(s); F_____;
   1168 
   1169 /** 1111 1101 0111 0111 1000 rsrc rdst 0000	dmov.l	%1, %0 */
   1170   ID(dmov); DDRL(rdst); SR(rsrc); F_____;
   1171 
   1172 /** 1111 1101 0111 0101 1000 rdst rsrc 0010	dmov.l	%1, %0 */
   1173   ID(dmov); DR(rdst); SDRH(rsrc); F_____;
   1174 
   1175 /** 1111 1101 0111 0101 1000 rdst rsrc 0000	dmov.l	%1, %0 */
   1176   ID(dmov); DR(rdst); SDRL(rsrc); F_____;
   1177 
   1178 /** 0111 0110 1001 0000 rsrc 1100 rdst 0000	dmov.d	%1, %0 */
   1179   ID(dmov); DDR(rdst); SDR(rsrc); F_____;
   1180 
   1181 /** 1111 1100 0111 1000 rdst 1000 rsrc 0000	dmov.d	%1, %0 */
   1182   ID(dmov); DD(0, rdst, 0); SDR(rsrc); F_____;
   1183 
   1184 /** 1111 1100 0111 10sz rdst 1000	dmov.d	%1, %0 */
   1185   int rsrc;
   1186   rx_disp(0, sz, rdst, RX_Double, ld);
   1187   rsrc = GETBYTE();
   1188   if (rsrc & 0x0f)
   1189     UNSUPPORTED();
   1190   else {
   1191     ID(dmov); SDR(rsrc >> 4); F_____;
   1192   }
   1193 
   1194 /** 1111 1100 1100 1000 rsrc 1000 rdst 0000	dmov.d	%1, %0 */
   1195   ID(dmov); SD(sd, rsrc, 0) ; DDR(rdst); F_____;
   1196 
   1197 /** 1111 1100 1100 10sz rsrc 1000	dmov.d	%1, %0 */
   1198   int rdst;
   1199   rx_disp(1, sz, rsrc, RX_Double, ld);
   1200   rdst = GETBYTE();
   1201   if (rdst & 0x0f)
   1202     UNSUPPORTED();
   1203   else {
   1204     ID(dmov); DDR(rdst >> 4); F_____;
   1205   }
   1206 
   1207 /** 1111 1001 0000 0011 rdst 001s	dmov%s	#%1, %0 */
   1208   ID(dmov); DDRH(rdst); DL(s); SC(IMMex(0)); F_____;
   1209 
   1210 /** 1111 1001 0000 0011 rdst 0000	dmov.l	#%1, %0 */
   1211   ID(dmov); DDRL(rdst); SC(IMMex(0)); F_____;
   1212 
   1213 /** 0111 0101 1011 1000 rdst rnum	dpopm.d	%1-%2 */
   1214   ID(dpopm); SDR(rdst); S2DR(rdst + rnum); F_____;
   1215 
   1216 /** 0111 0101 1010 1000 rdst rnum	dpopm.l	%1-%2 */
   1217   ID(dpopm); SCR(rdst); S2CR(rdst + rnum); F_____;
   1218 
   1219 /** 0111 0101 1011 0000 rdst rnum	dpushm.d	%1-%2 */
   1220   ID(dpushm); SDR(rdst); S2DR(rdst + rnum); F_____;
   1221 
   1222 /** 0111 0101 1010 0000 rdst rnum	dpushm.l	%1-%2 */
   1223   ID(dpushm); SCR(rdst); S2CR(rdst + rnum); F_____;
   1224 
   1225 /** 1111 1101 0111 0101 1000 rdst rsrc 0100	mvfdc	%1, %0 */
   1226   ID(mvfdc); DR(rdst); SCR(rsrc); F_____;
   1227 
   1228 /** 0111 0101 1001 0000 0001 1011	mvfdr */
   1229   ID(mvfdr); F_____;
   1230 
   1231 /** 1111 1101 0111 0111 1000 rdst rsrc 0100	mvtdc	%1, %0 */
   1232   ID(mvtdc); DCR(rdst); SR(rsrc); F_____;
   1233 
   1234 /** 0111 0110 1001 0000 rsrc 1100 rdst 0001	dabs	%1, %0 */
   1235   ID(dabs); DDR(rdst); SDR(rsrc); F_____;
   1236 
   1237 /** 0111 0110 1001 0000 srcb 0000 rdst srca	dadd	%1, %2, %0 */
   1238   ID(dadd); DDR(rdst); SDR(srca); S2DR(srcb); F_____;
   1239 
   1240 /** 0111 0110 1001 0000 srcb 1000 cond srca	dcmp%0	%1, %2 */
   1241   ID(dcmp); DCND(cond); SDR(srca); S2DR(srcb); F_____;
   1242 
   1243 /** 0111 0110 1001 0000 srcb 0101 rdst srca	ddiv	%1, %2, %0 */
   1244   ID(ddiv); DDR(rdst); SDR(srca); S2DR(srcb); F_____;
   1245 
   1246 /** 0111 0110 1001 0000 srcb 0010 rdst srca	dmul	%1, %2, %0 */
   1247   ID(dmul); DDR(rdst); SDR(srca); S2DR(srcb); F_____;
   1248 
   1249 /** 0111 0110 1001 0000 rsrc 1100 rdst 0010	dneg	%1, %0 */
   1250   ID(dneg); DDR(rdst); SDR(rsrc); F_____;
   1251 
   1252 /** 0111 0110 1001 0000 rsrc 1101 rdst 1101	dround	%1, %0 */
   1253   ID(dround); DDR(rdst); SDR(rsrc); F_____;
   1254 
   1255 /** 0111 0110 1001 0000 rsrc 1101 rdst 0000	dsqrt	%1, %0 */
   1256   ID(dsqrt); DDR(rdst); SDR(rsrc); F_____;
   1257 
   1258 /** 0111 0110 1001 0000 srcb 0001 rdst srca	dsub	%1, %2, %0 */
   1259   ID(dsub); DDR(rdst); SDR(srca); S2DR(srcb); F_____;
   1260 
   1261 /** 0111 0110 1001 0000 rsrc 1101 rdst 1100	dtof	%1, %0 */
   1262   ID(dtof); DDR(rdst); SDR(rsrc); F_____;
   1263 
   1264 /** 0111 0110 1001 0000 rsrc 1101 rdst 1000	dtoi	%1, %0 */
   1265   ID(dtoi); DDR(rdst); SDR(rsrc); F_____;
   1266 
   1267 /** 0111 0110 1001 0000 rsrc 1101 rdst 1001	dtou	%1, %0 */
   1268   ID(dtou); DDR(rdst); SDR(rsrc); F_____;
   1269 
   1270 /** 1111 1101 0111 0111 1000 rsrc rdst 1010	ftod	%1, %0 */
   1271   ID(ftod); DDR(rdst); SR(rsrc); F_____;
   1272 
   1273 /** 1111 1101 0111 0111 1000 rsrc rdst 1001	itod	%1, %0 */
   1274   ID(itod); DDR(rdst); SR(rsrc); F_____;
   1275 
   1276 /** 1111 1101 0111 0111 1000 rsrc rdst 1101	utod	%1, %0 */
   1277   ID(dsqrt); DDR(rdst); SR(rsrc); F_____;
   1278 
   1279 /** */
   1280 
   1281   return rx->n_bytes;
   1282 }
   1283