opcodes/rx-decode.opc

   1 /* -*- c -*- */
   2 /* Copyright (C) 2012-2023 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 }