op[0]);
             }
           SYNTAX("brk");
-#line 1025 "rx-decode.opc"
+#line 1029 "rx-decode.opc"
           ID(brk);
 
         }
                      op[0]);
             }
           SYNTAX("dbt");
-#line 1028 "rx-decode.opc"
+#line 1032 "rx-decode.opc"
           ID(dbt);
 
         }
                      op[0]);
             }
           SYNTAX("rts");
-#line 806 "rx-decode.opc"
+#line 810 "rx-decode.opc"
           ID(rts);
 
         /*----------------------------------------------------------------------*/
                      op[0]);
             }
           SYNTAX("nop");
-#line 812 "rx-decode.opc"
+#line 816 "rx-decode.opc"
           ID(nop);
 
         /*----------------------------------------------------------------------*/
                      op[0]);
             }
           SYNTAX("bra.a        %a0");
-#line 784 "rx-decode.opc"
+#line 788 "rx-decode.opc"
           ID(branch); DC(pc + IMMex(3));
 
         }
                      op[0]);
             }
           SYNTAX("bsr.a        %a0");
-#line 800 "rx-decode.opc"
+#line 804 "rx-decode.opc"
           ID(jsr); DC(pc + IMMex(3));
 
         }
                   op_semantics_1:
                     {
                       /** 0000 0110 mx00 00ss rsrc rdst                        sub     %2%S2, %1 */
-#line 542 "rx-decode.opc"
+#line 546 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 542 "rx-decode.opc"
+#line 546 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 542 "rx-decode.opc"
+#line 546 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 542 "rx-decode.opc"
+#line 546 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("sub      %2%S2, %1");
-#line 542 "rx-decode.opc"
+#line 546 "rx-decode.opc"
                       ID(sub); S2Pm(ss, rsrc, mx); SR(rdst); DR(rdst); F_OSZC;
 
                     }
                   op_semantics_2:
                     {
                       /** 0000 0110 mx00 01ss rsrc rdst                cmp     %2%S2, %1 */
-#line 530 "rx-decode.opc"
+#line 534 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 530 "rx-decode.opc"
+#line 534 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 530 "rx-decode.opc"
+#line 534 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 530 "rx-decode.opc"
+#line 534 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("cmp      %2%S2, %1");
-#line 530 "rx-decode.opc"
+#line 534 "rx-decode.opc"
                       ID(sub); S2Pm(ss, rsrc, mx); SR(rdst); F_OSZC;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_3:
                     {
                       /** 0000 0110 mx00 10ss rsrc rdst        add     %1%S1, %0 */
-#line 506 "rx-decode.opc"
+#line 510 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 506 "rx-decode.opc"
+#line 510 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 506 "rx-decode.opc"
+#line 510 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 506 "rx-decode.opc"
+#line 510 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("add      %1%S1, %0");
-#line 506 "rx-decode.opc"
+#line 510 "rx-decode.opc"
                       ID(add); SPm(ss, rsrc, mx); DR(rdst); F_OSZC;
 
                     }
                   op_semantics_4:
                     {
                       /** 0000 0110 mx00 11ss rsrc rdst        mul     %1%S1, %0 */
-#line 649 "rx-decode.opc"
+#line 653 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 649 "rx-decode.opc"
+#line 653 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 649 "rx-decode.opc"
+#line 653 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 649 "rx-decode.opc"
+#line 653 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mul      %1%S1, %0");
-#line 649 "rx-decode.opc"
+#line 653 "rx-decode.opc"
                       ID(mul); SPm(ss, rsrc, mx); DR(rdst); F_____;
 
                     }
                   op_semantics_5:
                     {
                       /** 0000 0110 mx01 00ss rsrc rdst        and     %1%S1, %0 */
-#line 419 "rx-decode.opc"
+#line 423 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 419 "rx-decode.opc"
+#line 423 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 419 "rx-decode.opc"
+#line 423 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 419 "rx-decode.opc"
+#line 423 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("and      %1%S1, %0");
-#line 419 "rx-decode.opc"
+#line 423 "rx-decode.opc"
                       ID(and); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
 
                     }
                   op_semantics_6:
                     {
                       /** 0000 0110 mx01 01ss rsrc rdst                        or      %1%S1, %0 */
-#line 437 "rx-decode.opc"
+#line 441 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 437 "rx-decode.opc"
+#line 441 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 437 "rx-decode.opc"
+#line 441 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 437 "rx-decode.opc"
+#line 441 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("or       %1%S1, %0");
-#line 437 "rx-decode.opc"
+#line 441 "rx-decode.opc"
                       ID(or); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
 
                     }
                         op_semantics_7:
                           {
                             /** 0000 0110 mx10 00sp 0000 0000 rsrc rdst        sbb     %1%S1, %0 */
-#line 555 "rx-decode.opc"
+#line 559 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 555 "rx-decode.opc"
+#line 559 "rx-decode.opc"
                             int sp AU = op[1] & 0x03;
-#line 555 "rx-decode.opc"
+#line 559 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 555 "rx-decode.opc"
+#line 559 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("sbb        %1%S1, %0");
-#line 555 "rx-decode.opc"
+#line 559 "rx-decode.opc"
                             ID(sbb); SPm(sp, rsrc, mx); DR(rdst); F_OSZC;
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_8:
                           {
                             /** 0000 0110 mx10 00ss 0000 0100 rsrc rdst        max     %1%S1, %0 */
-#line 594 "rx-decode.opc"
+#line 598 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 594 "rx-decode.opc"
+#line 598 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 594 "rx-decode.opc"
+#line 598 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 594 "rx-decode.opc"
+#line 598 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("max        %1%S1, %0");
-#line 594 "rx-decode.opc"
+#line 598 "rx-decode.opc"
                             ID(max); SPm(ss, rsrc, mx); DR(rdst);
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_9:
                           {
                             /** 0000 0110 mx10 00ss 0000 0101 rsrc rdst        min     %1%S1, %0 */
-#line 606 "rx-decode.opc"
+#line 610 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 606 "rx-decode.opc"
+#line 610 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 606 "rx-decode.opc"
+#line 610 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 606 "rx-decode.opc"
+#line 610 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("min        %1%S1, %0");
-#line 606 "rx-decode.opc"
+#line 610 "rx-decode.opc"
                             ID(min); SPm(ss, rsrc, mx); DR(rdst);
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_10:
                           {
                             /** 0000 0110 mx10 00ss 0000 0110 rsrc rdst        emul    %1%S1, %0 */
-#line 664 "rx-decode.opc"
+#line 668 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 664 "rx-decode.opc"
+#line 668 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 664 "rx-decode.opc"
+#line 668 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 664 "rx-decode.opc"
+#line 668 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("emul       %1%S1, %0");
-#line 664 "rx-decode.opc"
+#line 668 "rx-decode.opc"
                             ID(emul); SPm(ss, rsrc, mx); DR(rdst);
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_11:
                           {
                             /** 0000 0110 mx10 00ss 0000 0111 rsrc rdst        emulu   %1%S1, %0 */
-#line 676 "rx-decode.opc"
+#line 680 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 676 "rx-decode.opc"
+#line 680 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 676 "rx-decode.opc"
+#line 680 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 676 "rx-decode.opc"
+#line 680 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("emulu      %1%S1, %0");
-#line 676 "rx-decode.opc"
+#line 680 "rx-decode.opc"
                             ID(emulu); SPm(ss, rsrc, mx); DR(rdst);
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_12:
                           {
                             /** 0000 0110 mx10 00ss 0000 1000 rsrc rdst        div     %1%S1, %0 */
-#line 688 "rx-decode.opc"
+#line 692 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 688 "rx-decode.opc"
+#line 692 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 688 "rx-decode.opc"
+#line 692 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 688 "rx-decode.opc"
+#line 692 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("div        %1%S1, %0");
-#line 688 "rx-decode.opc"
+#line 692 "rx-decode.opc"
                             ID(div); SPm(ss, rsrc, mx); DR(rdst); F_O___;
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_13:
                           {
                             /** 0000 0110 mx10 00ss 0000 1001 rsrc rdst        divu    %1%S1, %0 */
-#line 700 "rx-decode.opc"
+#line 704 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 700 "rx-decode.opc"
+#line 704 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 700 "rx-decode.opc"
+#line 704 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 700 "rx-decode.opc"
+#line 704 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("divu       %1%S1, %0");
-#line 700 "rx-decode.opc"
+#line 704 "rx-decode.opc"
                             ID(divu); SPm(ss, rsrc, mx); DR(rdst); F_O___;
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_14:
                           {
                             /** 0000 0110 mx10 00ss 0000 1100 rsrc rdst        tst     %1%S1, %2 */
-#line 473 "rx-decode.opc"
+#line 477 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 473 "rx-decode.opc"
+#line 477 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 473 "rx-decode.opc"
+#line 477 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 473 "rx-decode.opc"
+#line 477 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("tst        %1%S1, %2");
-#line 473 "rx-decode.opc"
+#line 477 "rx-decode.opc"
                             ID(and); SPm(ss, rsrc, mx); S2R(rdst); F__SZ_;
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_15:
                           {
                             /** 0000 0110 mx10 00ss 0000 1101 rsrc rdst        xor     %1%S1, %0 */
-#line 452 "rx-decode.opc"
+#line 456 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 452 "rx-decode.opc"
+#line 456 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 452 "rx-decode.opc"
+#line 456 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 452 "rx-decode.opc"
+#line 456 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("xor        %1%S1, %0");
-#line 452 "rx-decode.opc"
+#line 456 "rx-decode.opc"
                             ID(xor); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_16:
                           {
                             /** 0000 0110 mx10 00ss 0001 0000 rsrc rdst        xchg    %1%S1, %0 */
-#line 386 "rx-decode.opc"
+#line 390 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 386 "rx-decode.opc"
+#line 390 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 386 "rx-decode.opc"
+#line 390 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 386 "rx-decode.opc"
+#line 390 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("xchg       %1%S1, %0");
-#line 386 "rx-decode.opc"
+#line 390 "rx-decode.opc"
                             ID(xchg); DR(rdst); SPm(ss, rsrc, mx);
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_17:
                           {
                             /** 0000 0110 mx10 00sd 0001 0001 rsrc rdst        itof    %1%S1, %0 */
-#line 929 "rx-decode.opc"
+#line 933 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 929 "rx-decode.opc"
+#line 933 "rx-decode.opc"
                             int sd AU = op[1] & 0x03;
-#line 929 "rx-decode.opc"
+#line 933 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 929 "rx-decode.opc"
+#line 933 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("itof       %1%S1, %0");
-#line 929 "rx-decode.opc"
+#line 933 "rx-decode.opc"
                             ID(itof); DR (rdst); SPm(sd, rsrc, mx); F__SZ_;
 
                           /*----------------------------------------------------------------------*/
                         op_semantics_18:
                           {
                             /** 0000 0110 mx10 00sd 0001 0101 rsrc rdst        utof    %1%S1, %0 */
-#line 1115 "rx-decode.opc"
+#line 1119 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 1115 "rx-decode.opc"
+#line 1119 "rx-decode.opc"
                             int sd AU = op[1] & 0x03;
-#line 1115 "rx-decode.opc"
+#line 1119 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 1115 "rx-decode.opc"
+#line 1119 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("utof       %1%S1, %0");
-#line 1115 "rx-decode.opc"
+#line 1119 "rx-decode.opc"
                             ID(utof); DR (rdst); SPm(sd, rsrc, mx); F__SZ_;
 
                           }
                         op_semantics_19:
                           {
                             /** 0000 0110 1010 00ss 0000 0010 rsrc rdst        adc     %1%S1, %0 */
-#line 494 "rx-decode.opc"
+#line 498 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 494 "rx-decode.opc"
+#line 498 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 494 "rx-decode.opc"
+#line 498 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("adc        %1%S1, %0");
-#line 494 "rx-decode.opc"
+#line 498 "rx-decode.opc"
                             ID(adc); SPm(ss, rsrc, 2); DR(rdst); F_OSZC;
 
                           /*----------------------------------------------------------------------*/
     case 0x0f:
         {
           /** 0000 1dsp                        bra.s   %a0 */
-#line 775 "rx-decode.opc"
+#line 779 "rx-decode.opc"
           int dsp AU = op[0] & 0x07;
           if (trace)
             {
               printf ("  dsp = 0x%x\n", dsp);
             }
           SYNTAX("bra.s        %a0");
-#line 775 "rx-decode.opc"
+#line 779 "rx-decode.opc"
           ID(branch); DC(pc + dsp3map[dsp]);
 
         }
     case 0x1f:
         {
           /** 0001 n dsp                       b%1.s   %a0 */
-#line 765 "rx-decode.opc"
+#line 769 "rx-decode.opc"
           int n AU = (op[0] >> 3) & 0x01;
-#line 765 "rx-decode.opc"
+#line 769 "rx-decode.opc"
           int dsp AU = op[0] & 0x07;
           if (trace)
             {
               printf ("  dsp = 0x%x\n", dsp);
             }
           SYNTAX("b%1.s        %a0");
-#line 765 "rx-decode.opc"
+#line 769 "rx-decode.opc"
           ID(branch); Scc(n); DC(pc + dsp3map[dsp]);
 
         }
     case 0x2f:
         {
           /** 0010 cond                        b%1.b   %a0 */
-#line 768 "rx-decode.opc"
+#line 772 "rx-decode.opc"
           int cond AU = op[0] & 0x0f;
           if (trace)
             {
               printf ("  cond = 0x%x\n", cond);
             }
           SYNTAX("b%1.b        %a0");
-#line 768 "rx-decode.opc"
+#line 772 "rx-decode.opc"
           ID(branch); Scc(cond); DC(pc + IMMex (1));
 
         }
                      op[0]);
             }
           SYNTAX("bra.b        %a0");
-#line 778 "rx-decode.opc"
+#line 782 "rx-decode.opc"
           ID(branch); DC(pc + IMMex(1));
 
         }
                      op[0]);
             }
           SYNTAX("bra.w        %a0");
-#line 781 "rx-decode.opc"
+#line 785 "rx-decode.opc"
           ID(branch); DC(pc + IMMex(2));
 
         }
                      op[0]);
             }
           SYNTAX("bsr.w        %a0");
-#line 797 "rx-decode.opc"
+#line 801 "rx-decode.opc"
           ID(jsr); DC(pc + IMMex(2));
 
         }
     case 0x3b:
         {
           /** 0011 101c                        b%1.w   %a0 */
-#line 771 "rx-decode.opc"
+#line 775 "rx-decode.opc"
           int c AU = op[0] & 0x01;
           if (trace)
             {
               printf ("  c = 0x%x\n", c);
             }
           SYNTAX("b%1.w        %a0");
-#line 771 "rx-decode.opc"
+#line 775 "rx-decode.opc"
           ID(branch); Scc(c); DC(pc + IMMex (2));
 
 
             op_semantics_20:
               {
                 /** 0011 11sz d dst sppp               mov%s   #%1, %0 */
-#line 307 "rx-decode.opc"
+#line 311 "rx-decode.opc"
                 int sz AU = op[0] & 0x03;
-#line 307 "rx-decode.opc"
+#line 311 "rx-decode.opc"
                 int d AU = (op[1] >> 7) & 0x01;
-#line 307 "rx-decode.opc"
+#line 311 "rx-decode.opc"
                 int dst AU = (op[1] >> 4) & 0x07;
-#line 307 "rx-decode.opc"
+#line 311 "rx-decode.opc"
                 int sppp AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  sppp = 0x%x\n", sppp);
                   }
                 SYNTAX("mov%s  #%1, %0");
-#line 307 "rx-decode.opc"
+#line 311 "rx-decode.opc"
                 ID(mov); sBWL (sz); DIs(dst, d*16+sppp, sz); SC(IMM(1)); F_____;
 
               }
           case 0x00:
               {
                 /** 0011 1111 rega regb                rtsd    #%1, %2-%0 */
-#line 404 "rx-decode.opc"
+#line 408 "rx-decode.opc"
                 int rega AU = (op[1] >> 4) & 0x0f;
-#line 404 "rx-decode.opc"
+#line 408 "rx-decode.opc"
                 int regb AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  regb = 0x%x\n", regb);
                   }
                 SYNTAX("rtsd   #%1, %2-%0");
-#line 404 "rx-decode.opc"
+#line 408 "rx-decode.opc"
                 ID(rtsd); SC(IMM(1) * 4); S2R(rega); DR(regb);
 
               /*----------------------------------------------------------------------*/
             op_semantics_21:
               {
                 /** 0100 00ss rsrc rdst                        sub     %2%S2, %1 */
-#line 539 "rx-decode.opc"
+#line 543 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 539 "rx-decode.opc"
+#line 543 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 539 "rx-decode.opc"
+#line 543 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("sub    %2%S2, %1");
-#line 539 "rx-decode.opc"
+#line 543 "rx-decode.opc"
                 ID(sub); S2P(ss, rsrc); SR(rdst); DR(rdst); F_OSZC;
 
               }
             op_semantics_22:
               {
                 /** 0100 01ss rsrc rdst                cmp     %2%S2, %1 */
-#line 527 "rx-decode.opc"
+#line 531 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 527 "rx-decode.opc"
+#line 531 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 527 "rx-decode.opc"
+#line 531 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("cmp    %2%S2, %1");
-#line 527 "rx-decode.opc"
+#line 531 "rx-decode.opc"
                 ID(sub); S2P(ss, rsrc); SR(rdst); F_OSZC;
 
               }
             op_semantics_23:
               {
                 /** 0100 10ss rsrc rdst                        add     %1%S1, %0 */
-#line 503 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 503 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 503 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("add    %1%S1, %0");
-#line 503 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                 ID(add); SP(ss, rsrc); DR(rdst); F_OSZC;
 
               }
             op_semantics_24:
               {
                 /** 0100 11ss rsrc rdst                        mul     %1%S1, %0 */
-#line 646 "rx-decode.opc"
+#line 650 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 646 "rx-decode.opc"
+#line 650 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 646 "rx-decode.opc"
+#line 650 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mul    %1%S1, %0");
-#line 646 "rx-decode.opc"
+#line 650 "rx-decode.opc"
                 ID(mul); SP(ss, rsrc); DR(rdst); F_____;
 
               }
             op_semantics_25:
               {
                 /** 0101 00ss rsrc rdst                        and     %1%S1, %0 */
-#line 416 "rx-decode.opc"
+#line 420 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 416 "rx-decode.opc"
+#line 420 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 416 "rx-decode.opc"
+#line 420 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("and    %1%S1, %0");
-#line 416 "rx-decode.opc"
+#line 420 "rx-decode.opc"
                 ID(and); SP(ss, rsrc); DR(rdst); F__SZ_;
 
               }
             op_semantics_26:
               {
                 /** 0101 01ss rsrc rdst                        or      %1%S1, %0 */
-#line 434 "rx-decode.opc"
+#line 438 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 434 "rx-decode.opc"
+#line 438 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 434 "rx-decode.opc"
+#line 438 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("or     %1%S1, %0");
-#line 434 "rx-decode.opc"
+#line 438 "rx-decode.opc"
                 ID(or); SP(ss, rsrc); DR(rdst); F__SZ_;
 
               }
             op_semantics_27:
               {
                 /** 0101 1 s ss rsrc rdst      movu%s  %1, %0 */
-#line 355 "rx-decode.opc"
+#line 359 "rx-decode.opc"
                 int s AU = (op[0] >> 2) & 0x01;
-#line 355 "rx-decode.opc"
+#line 359 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 355 "rx-decode.opc"
+#line 359 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 355 "rx-decode.opc"
+#line 359 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("movu%s %1, %0");
-#line 355 "rx-decode.opc"
+#line 359 "rx-decode.opc"
                 ID(mov); uBW(s); SD(ss, rsrc, s); DR(rdst); F_____;
 
               }
           case 0x00:
               {
                 /** 0110 0000 immm rdst                        sub     #%2, %0 */
-#line 536 "rx-decode.opc"
+#line 540 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 536 "rx-decode.opc"
+#line 540 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("sub    #%2, %0");
-#line 536 "rx-decode.opc"
+#line 540 "rx-decode.opc"
                 ID(sub); S2C(immm); SR(rdst); DR(rdst); F_OSZC;
 
               }
           case 0x00:
               {
                 /** 0110 0001 immm rdst                        cmp     #%2, %1 */
-#line 518 "rx-decode.opc"
+#line 522 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 518 "rx-decode.opc"
+#line 522 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("cmp    #%2, %1");
-#line 518 "rx-decode.opc"
+#line 522 "rx-decode.opc"
                 ID(sub); S2C(immm); SR(rdst); F_OSZC;
 
               }
           case 0x00:
               {
                 /** 0110 0010 immm rdst                        add     #%1, %0 */
-#line 500 "rx-decode.opc"
+#line 504 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 500 "rx-decode.opc"
+#line 504 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("add    #%1, %0");
-#line 500 "rx-decode.opc"
+#line 504 "rx-decode.opc"
                 ID(add); SC(immm); DR(rdst); F_OSZC;
 
               }
           case 0x00:
               {
                 /** 0110 0011 immm rdst                        mul     #%1, %0 */
-#line 612 "rx-decode.opc"
+#line 616 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 612 "rx-decode.opc"
+#line 616 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mul    #%1, %0");
-#line 612 "rx-decode.opc"
+#line 616 "rx-decode.opc"
                 if (immm == 1 && rdst == 0)
                   {
                     ID(nop2);
           case 0x00:
               {
                 /** 0110 0100 immm rdst                        and     #%1, %0 */
-#line 410 "rx-decode.opc"
+#line 414 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 410 "rx-decode.opc"
+#line 414 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("and    #%1, %0");
-#line 410 "rx-decode.opc"
+#line 414 "rx-decode.opc"
                 ID(and); SC(immm); DR(rdst); F__SZ_;
 
               }
           case 0x00:
               {
                 /** 0110 0101 immm rdst                        or      #%1, %0 */
-#line 428 "rx-decode.opc"
+#line 432 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 428 "rx-decode.opc"
+#line 432 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("or     #%1, %0");
-#line 428 "rx-decode.opc"
+#line 432 "rx-decode.opc"
                 ID(or); SC(immm); DR(rdst); F__SZ_;
 
               }
           case 0x00:
               {
                 /** 0110 0110 immm rdst                mov%s   #%1, %0 */
-#line 304 "rx-decode.opc"
+#line 308 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 304 "rx-decode.opc"
+#line 308 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mov%s  #%1, %0");
-#line 304 "rx-decode.opc"
+#line 308 "rx-decode.opc"
                 ID(mov); DR(rdst); SC(immm); F_____;
 
               }
                      op[0]);
             }
           SYNTAX("rtsd #%1");
-#line 401 "rx-decode.opc"
+#line 405 "rx-decode.opc"
           ID(rtsd); SC(IMM(1) * 4);
 
         }
             op_semantics_28:
               {
                 /** 0110 100i mmmm rdst                        shlr    #%2, %0 */
-#line 726 "rx-decode.opc"
+#line 730 "rx-decode.opc"
                 int i AU = op[0] & 0x01;
-#line 726 "rx-decode.opc"
+#line 730 "rx-decode.opc"
                 int mmmm AU = (op[1] >> 4) & 0x0f;
-#line 726 "rx-decode.opc"
+#line 730 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("shlr   #%2, %0");
-#line 726 "rx-decode.opc"
+#line 730 "rx-decode.opc"
                 ID(shlr); S2C(i*16+mmmm); SR(rdst); DR(rdst); F__SZC;
 
               }
             op_semantics_29:
               {
                 /** 0110 101i mmmm rdst                        shar    #%2, %0 */
-#line 716 "rx-decode.opc"
+#line 720 "rx-decode.opc"
                 int i AU = op[0] & 0x01;
-#line 716 "rx-decode.opc"
+#line 720 "rx-decode.opc"
                 int mmmm AU = (op[1] >> 4) & 0x0f;
-#line 716 "rx-decode.opc"
+#line 720 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("shar   #%2, %0");
-#line 716 "rx-decode.opc"
+#line 720 "rx-decode.opc"
                 ID(shar); S2C(i*16+mmmm); SR(rdst); DR(rdst); F_0SZC;
 
               }
             op_semantics_30:
               {
                 /** 0110 110i mmmm rdst                        shll    #%2, %0 */
-#line 706 "rx-decode.opc"
+#line 710 "rx-decode.opc"
                 int i AU = op[0] & 0x01;
-#line 706 "rx-decode.opc"
+#line 710 "rx-decode.opc"
                 int mmmm AU = (op[1] >> 4) & 0x0f;
-#line 706 "rx-decode.opc"
+#line 710 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("shll   #%2, %0");
-#line 706 "rx-decode.opc"
+#line 710 "rx-decode.opc"
                 ID(shll); S2C(i*16+mmmm); SR(rdst); DR(rdst); F_OSZC;
 
               }
           case 0x00:
               {
                 /** 0110 1110 dsta dstb                pushm   %1-%2 */
-#line 368 "rx-decode.opc"
+#line 372 "rx-decode.opc"
                 int dsta AU = (op[1] >> 4) & 0x0f;
-#line 368 "rx-decode.opc"
+#line 372 "rx-decode.opc"
                 int dstb AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  dstb = 0x%x\n", dstb);
                   }
                 SYNTAX("pushm  %1-%2");
-#line 368 "rx-decode.opc"
+#line 372 "rx-decode.opc"
                 ID(pushm); SR(dsta); S2R(dstb); F_____;
 
               }
           case 0x00:
               {
                 /** 0110 1111 dsta dstb                popm    %1-%2 */
-#line 365 "rx-decode.opc"
+#line 369 "rx-decode.opc"
                 int dsta AU = (op[1] >> 4) & 0x0f;
-#line 365 "rx-decode.opc"
+#line 369 "rx-decode.opc"
                 int dstb AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  dstb = 0x%x\n", dstb);
                   }
                 SYNTAX("popm   %1-%2");
-#line 365 "rx-decode.opc"
+#line 369 "rx-decode.opc"
                 ID(popm); SR(dsta); S2R(dstb); F_____;
 
               }
             op_semantics_31:
               {
                 /** 0111 00im rsrc rdst                        add     #%1, %2, %0 */
-#line 509 "rx-decode.opc"
+#line 513 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 509 "rx-decode.opc"
+#line 513 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 509 "rx-decode.opc"
+#line 513 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("add    #%1, %2, %0");
-#line 509 "rx-decode.opc"
+#line 513 "rx-decode.opc"
                 ID(add); SC(IMMex(im)); S2R(rsrc); DR(rdst); F_OSZC;
 
               }
             op_semantics_32:
               {
                 /** 0111 01im 0000 rsrc                cmp     #%2, %1%S1 */
-#line 521 "rx-decode.opc"
+#line 525 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 521 "rx-decode.opc"
+#line 525 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("cmp    #%2, %1%S1");
-#line 521 "rx-decode.opc"
+#line 525 "rx-decode.opc"
                 ID(sub); SR(rsrc); S2C(IMMex(im)); F_OSZC;
 
               }
             op_semantics_33:
               {
                 /** 0111 01im 0001rdst                 mul     #%1, %0 */
-#line 624 "rx-decode.opc"
+#line 628 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 624 "rx-decode.opc"
+#line 628 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mul    #%1, %0");
-#line 624 "rx-decode.opc"
+#line 628 "rx-decode.opc"
                 int val = IMMex(im);
                 if (val == 1 && rdst == 0)
                   {
             op_semantics_34:
               {
                 /** 0111 01im 0010 rdst                        and     #%1, %0 */
-#line 413 "rx-decode.opc"
+#line 417 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 413 "rx-decode.opc"
+#line 417 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("and    #%1, %0");
-#line 413 "rx-decode.opc"
+#line 417 "rx-decode.opc"
                 ID(and); SC(IMMex(im)); DR(rdst); F__SZ_;
 
               }
             op_semantics_35:
               {
                 /** 0111 01im 0011 rdst                        or      #%1, %0 */
-#line 431 "rx-decode.opc"
+#line 435 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 431 "rx-decode.opc"
+#line 435 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("or     #%1, %0");
-#line 431 "rx-decode.opc"
+#line 435 "rx-decode.opc"
                 ID(or); SC(IMMex(im)); DR(rdst); F__SZ_;
 
               }
           case 0x4f:
               {
                 /** 0111 0101 0100 rdst                mov%s   #%1, %0 */
-#line 285 "rx-decode.opc"
+#line 289 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mov%s  #%1, %0");
-#line 285 "rx-decode.opc"
+#line 289 "rx-decode.opc"
                 ID(mov); DR(rdst); SC(IMM (1)); F_____;
 
               }
           case 0x5f:
               {
                 /** 0111 0101 0101 rsrc                        cmp     #%2, %1 */
-#line 524 "rx-decode.opc"
+#line 528 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("cmp    #%2, %1");
-#line 524 "rx-decode.opc"
+#line 528 "rx-decode.opc"
                 ID(sub); SR(rsrc); S2C(IMM(1)); F_OSZC;
 
               }
                            op[0], op[1]);
                   }
                 SYNTAX("int #%1");
-#line 1031 "rx-decode.opc"
+#line 1035 "rx-decode.opc"
                 ID(int); SC(IMM(1));
 
               }
                 case 0x00:
                     {
                       /** 0111 0101 0111 0000 0000 immm        mvtipl  #%1 */
-#line 998 "rx-decode.opc"
+#line 1002 "rx-decode.opc"
                       int immm AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  immm = 0x%x\n", immm);
                         }
                       SYNTAX("mvtipl   #%1");
-#line 998 "rx-decode.opc"
+#line 1002 "rx-decode.opc"
                       ID(mvtipl); SC(immm);
 
                     }
             op_semantics_36:
               {
                 /** 0111 100b ittt rdst                        bset    #%1, %0 */
-#line 943 "rx-decode.opc"
+#line 947 "rx-decode.opc"
                 int b AU = op[0] & 0x01;
-#line 943 "rx-decode.opc"
+#line 947 "rx-decode.opc"
                 int ittt AU = (op[1] >> 4) & 0x0f;
-#line 943 "rx-decode.opc"
+#line 947 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("bset   #%1, %0");
-#line 943 "rx-decode.opc"
+#line 947 "rx-decode.opc"
                 ID(bset); BWL(LSIZE); SC(b*16+ittt); DR(rdst); F_____;
 
 
             op_semantics_37:
               {
                 /** 0111 101b ittt rdst                        bclr    #%1, %0 */
-#line 955 "rx-decode.opc"
+#line 959 "rx-decode.opc"
                 int b AU = op[0] & 0x01;
-#line 955 "rx-decode.opc"
+#line 959 "rx-decode.opc"
                 int ittt AU = (op[1] >> 4) & 0x0f;
-#line 955 "rx-decode.opc"
+#line 959 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("bclr   #%1, %0");
-#line 955 "rx-decode.opc"
+#line 959 "rx-decode.opc"
                 ID(bclr); BWL(LSIZE); SC(b*16+ittt); DR(rdst); F_____;
 
 
             op_semantics_38:
               {
                 /** 0111 110b ittt rdst                        btst    #%2, %1 */
-#line 967 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                 int b AU = op[0] & 0x01;
-#line 967 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                 int ittt AU = (op[1] >> 4) & 0x0f;
-#line 967 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("btst   #%2, %1");
-#line 967 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                 ID(btst); BWL(LSIZE); S2C(b*16+ittt); SR(rdst); F___ZC;
 
 
           case 0x00:
               {
                 /** 0111 1110 0000 rdst                        not     %0 */
-#line 458 "rx-decode.opc"
+#line 462 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("not    %0");
-#line 458 "rx-decode.opc"
+#line 462 "rx-decode.opc"
                 ID(xor); DR(rdst); SR(rdst); S2C(~0); F__SZ_;
 
               }
           case 0x10:
               {
                 /** 0111 1110 0001 rdst                        neg     %0 */
-#line 479 "rx-decode.opc"
+#line 483 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("neg    %0");
-#line 479 "rx-decode.opc"
+#line 483 "rx-decode.opc"
                 ID(sub); DR(rdst); SC(0); S2R(rdst); F_OSZC;
 
               }
           case 0x20:
               {
                 /** 0111 1110 0010 rdst                        abs     %0 */
-#line 561 "rx-decode.opc"
+#line 565 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("abs    %0");
-#line 561 "rx-decode.opc"
+#line 565 "rx-decode.opc"
                 ID(abs); DR(rdst); SR(rdst); F_OSZ_;
 
               }
           case 0x30:
               {
                 /** 0111 1110 0011 rdst                sat     %0 */
-#line 881 "rx-decode.opc"
+#line 885 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("sat    %0");
-#line 881 "rx-decode.opc"
+#line 885 "rx-decode.opc"
                 ID(sat); DR (rdst);
 
               }
           case 0x40:
               {
                 /** 0111 1110 0100 rdst                        rorc    %0 */
-#line 741 "rx-decode.opc"
+#line 745 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("rorc   %0");
-#line 741 "rx-decode.opc"
+#line 745 "rx-decode.opc"
                 ID(rorc); DR(rdst); F__SZC;
 
               }
           case 0x50:
               {
                 /** 0111 1110 0101 rdst                        rolc    %0 */
-#line 738 "rx-decode.opc"
+#line 742 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("rolc   %0");
-#line 738 "rx-decode.opc"
+#line 742 "rx-decode.opc"
                 ID(rolc); DR(rdst); F__SZC;
 
               }
           case 0xa0:
               {
                 /** 0111 1110 10sz rsrc                push%s  %1 */
-#line 374 "rx-decode.opc"
+#line 378 "rx-decode.opc"
                 int sz AU = (op[1] >> 4) & 0x03;
-#line 374 "rx-decode.opc"
+#line 378 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("push%s %1");
-#line 374 "rx-decode.opc"
+#line 378 "rx-decode.opc"
                 ID(mov); BWL(sz); OP(0, RX_Operand_Predec, 0, 0); SR(rsrc); F_____;
 
               }
           case 0xb0:
               {
                 /** 0111 1110 1011 rdst                pop     %0 */
-#line 371 "rx-decode.opc"
+#line 375 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("pop    %0");
-#line 371 "rx-decode.opc"
+#line 375 "rx-decode.opc"
                 ID(mov); OP(1, RX_Operand_Postinc, 0, 0); DR(rdst); F_____;
 
               }
           case 0xd0:
               {
                 /** 0111 1110 110 crsrc                        pushc   %1 */
-#line 1004 "rx-decode.opc"
+#line 1008 "rx-decode.opc"
                 int crsrc AU = op[1] & 0x1f;
                 if (trace)
                   {
                     printf ("  crsrc = 0x%x\n", crsrc);
                   }
                 SYNTAX("pushc  %1");
-#line 1004 "rx-decode.opc"
+#line 1008 "rx-decode.opc"
                 ID(mov); OP(0, RX_Operand_Predec, 0, 0); SR(crsrc + 16);
 
               }
           case 0xf0:
               {
                 /** 0111 1110 111 crdst                        popc    %0 */
-#line 1001 "rx-decode.opc"
+#line 1005 "rx-decode.opc"
                 int crdst AU = op[1] & 0x1f;
                 if (trace)
                   {
                     printf ("  crdst = 0x%x\n", crdst);
                   }
                 SYNTAX("popc   %0");
-#line 1001 "rx-decode.opc"
+#line 1005 "rx-decode.opc"
                 ID(mov); OP(1, RX_Operand_Postinc, 0, 0); DR(crdst + 16);
 
               }
           case 0x0f:
               {
                 /** 0111 1111 0000 rsrc                jmp     %0 */
-#line 791 "rx-decode.opc"
+#line 795 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("jmp    %0");
-#line 791 "rx-decode.opc"
+#line 795 "rx-decode.opc"
                 ID(branch); DR(rsrc);
 
               }
           case 0x1f:
               {
                 /** 0111 1111 0001 rsrc                jsr     %0 */
-#line 794 "rx-decode.opc"
+#line 798 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("jsr    %0");
-#line 794 "rx-decode.opc"
+#line 798 "rx-decode.opc"
                 ID(jsr); DR(rsrc);
 
               }
           case 0x4f:
               {
                 /** 0111 1111 0100 rsrc                bra.l   %0 */
-#line 787 "rx-decode.opc"
+#line 791 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("bra.l  %0");
-#line 787 "rx-decode.opc"
+#line 791 "rx-decode.opc"
                 ID(branchrel); DR(rsrc);
 
 
           case 0x5f:
               {
                 /** 0111 1111 0101 rsrc                bsr.l   %0 */
-#line 803 "rx-decode.opc"
+#line 807 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("bsr.l  %0");
-#line 803 "rx-decode.opc"
+#line 807 "rx-decode.opc"
                 ID(jsrrel); DR(rsrc);
 
               }
           case 0x82:
               {
                 /** 0111 1111 1000 00sz                suntil%s */
-#line 827 "rx-decode.opc"
+#line 831 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("suntil%s");
-#line 827 "rx-decode.opc"
+#line 831 "rx-decode.opc"
                 ID(suntil); BWL(sz); F___ZC;
 
               }
                            op[0], op[1]);
                   }
                 SYNTAX("scmpu");
-#line 818 "rx-decode.opc"
+#line 822 "rx-decode.opc"
                 ID(scmpu); F___ZC;
 
               }
           case 0x86:
               {
                 /** 0111 1111 1000 01sz                swhile%s */
-#line 830 "rx-decode.opc"
+#line 834 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("swhile%s");
-#line 830 "rx-decode.opc"
+#line 834 "rx-decode.opc"
                 ID(swhile); BWL(sz); F___ZC;
 
               }
                            op[0], op[1]);
                   }
                 SYNTAX("smovu");
-#line 821 "rx-decode.opc"
+#line 825 "rx-decode.opc"
                 ID(smovu);
 
               }
           case 0x8a:
               {
                 /** 0111 1111 1000 10sz                sstr%s */
-#line 836 "rx-decode.opc"
+#line 840 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("sstr%s");
-#line 836 "rx-decode.opc"
+#line 840 "rx-decode.opc"
                 ID(sstr); BWL(sz);
 
               /*----------------------------------------------------------------------*/
                            op[0], op[1]);
                   }
                 SYNTAX("smovb");
-#line 824 "rx-decode.opc"
+#line 828 "rx-decode.opc"
                 ID(smovb);
 
               }
           case 0x8e:
               {
                 /** 0111 1111 1000 11sz                rmpa%s */
-#line 842 "rx-decode.opc"
+#line 846 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("rmpa%s");
-#line 842 "rx-decode.opc"
+#line 846 "rx-decode.opc"
                 ID(rmpa); BWL(sz); F_OS__;
 
               /*----------------------------------------------------------------------*/
                            op[0], op[1]);
                   }
                 SYNTAX("smovf");
-#line 833 "rx-decode.opc"
+#line 837 "rx-decode.opc"
                 ID(smovf);
 
               }
                            op[0], op[1]);
                   }
                 SYNTAX("satr");
-#line 884 "rx-decode.opc"
+#line 888 "rx-decode.opc"
                 ID(satr);
 
               /*----------------------------------------------------------------------*/
                            op[0], op[1]);
                   }
                 SYNTAX("rtfi");
-#line 1019 "rx-decode.opc"
+#line 1023 "rx-decode.opc"
                 ID(rtfi);
 
               }
                            op[0], op[1]);
                   }
                 SYNTAX("rte");
-#line 1022 "rx-decode.opc"
+#line 1026 "rx-decode.opc"
                 ID(rte);
 
               }
                            op[0], op[1]);
                   }
                 SYNTAX("wait");
-#line 1034 "rx-decode.opc"
+#line 1038 "rx-decode.opc"
                 ID(wait);
 
               /*----------------------------------------------------------------------*/
           case 0xaf:
               {
                 /** 0111 1111 1010 rdst                        setpsw  %0 */
-#line 995 "rx-decode.opc"
+#line 999 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("setpsw %0");
-#line 995 "rx-decode.opc"
+#line 999 "rx-decode.opc"
                 ID(setpsw); DF(rdst);
 
               }
           case 0xbf:
               {
                 /** 0111 1111 1011 rdst                        clrpsw  %0 */
-#line 992 "rx-decode.opc"
+#line 996 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("clrpsw %0");
-#line 992 "rx-decode.opc"
+#line 996 "rx-decode.opc"
                 ID(clrpsw); DF(rdst);
 
               }
             op_semantics_39:
               {
                 /** 10sz 0dsp a dst b src      mov%s   %1, %0 */
-#line 332 "rx-decode.opc"
+#line 336 "rx-decode.opc"
                 int sz AU = (op[0] >> 4) & 0x03;
-#line 332 "rx-decode.opc"
+#line 336 "rx-decode.opc"
                 int dsp AU = op[0] & 0x07;
-#line 332 "rx-decode.opc"
+#line 336 "rx-decode.opc"
                 int a AU = (op[1] >> 7) & 0x01;
-#line 332 "rx-decode.opc"
+#line 336 "rx-decode.opc"
                 int dst AU = (op[1] >> 4) & 0x07;
-#line 332 "rx-decode.opc"
+#line 336 "rx-decode.opc"
                 int b AU = (op[1] >> 3) & 0x01;
-#line 332 "rx-decode.opc"
+#line 336 "rx-decode.opc"
                 int src AU = op[1] & 0x07;
                 if (trace)
                   {
                     printf ("  src = 0x%x\n", src);
                   }
                 SYNTAX("mov%s  %1, %0");
-#line 332 "rx-decode.opc"
+#line 336 "rx-decode.opc"
                 ID(mov); sBWL(sz); DIs(dst, dsp*4+a*2+b, sz); SR(src); F_____;
 
               }
             op_semantics_40:
               {
                 /** 10sz 1dsp a src b dst      mov%s   %1, %0 */
-#line 329 "rx-decode.opc"
+#line 333 "rx-decode.opc"
                 int sz AU = (op[0] >> 4) & 0x03;
-#line 329 "rx-decode.opc"
+#line 333 "rx-decode.opc"
                 int dsp AU = op[0] & 0x07;
-#line 329 "rx-decode.opc"
+#line 333 "rx-decode.opc"
                 int a AU = (op[1] >> 7) & 0x01;
-#line 329 "rx-decode.opc"
+#line 333 "rx-decode.opc"
                 int src AU = (op[1] >> 4) & 0x07;
-#line 329 "rx-decode.opc"
+#line 333 "rx-decode.opc"
                 int b AU = (op[1] >> 3) & 0x01;
-#line 329 "rx-decode.opc"
+#line 333 "rx-decode.opc"
                 int dst AU = op[1] & 0x07;
                 if (trace)
                   {
                     printf ("  dst = 0x%x\n", dst);
                   }
                 SYNTAX("mov%s  %1, %0");
-#line 329 "rx-decode.opc"
+#line 333 "rx-decode.opc"
                 ID(mov); sBWL(sz); DR(dst); SIs(src, dsp*4+a*2+b, sz); F_____;
 
               }
             op_semantics_41:
               {
                 /** 1011 w dsp a src b dst     movu%s  %1, %0 */
-#line 352 "rx-decode.opc"
+#line 356 "rx-decode.opc"
                 int w AU = (op[0] >> 3) & 0x01;
-#line 352 "rx-decode.opc"
+#line 356 "rx-decode.opc"
                 int dsp AU = op[0] & 0x07;
-#line 352 "rx-decode.opc"
+#line 356 "rx-decode.opc"
                 int a AU = (op[1] >> 7) & 0x01;
-#line 352 "rx-decode.opc"
+#line 356 "rx-decode.opc"
                 int src AU = (op[1] >> 4) & 0x07;
-#line 352 "rx-decode.opc"
+#line 356 "rx-decode.opc"
                 int b AU = (op[1] >> 3) & 0x01;
-#line 352 "rx-decode.opc"
+#line 356 "rx-decode.opc"
                 int dst AU = op[1] & 0x07;
                 if (trace)
                   {
                     printf ("  dst = 0x%x\n", dst);
                   }
                 SYNTAX("movu%s %1, %0");
-#line 352 "rx-decode.opc"
+#line 356 "rx-decode.opc"
                 ID(mov); uBW(w); DR(dst); SIs(src, dsp*4+a*2+b, w); F_____;
 
               }
             op_semantics_42:
               {
                 /** 11sz sd ss rsrc rdst       mov%s   %1, %0 */
-#line 310 "rx-decode.opc"
+#line 314 "rx-decode.opc"
                 int sz AU = (op[0] >> 4) & 0x03;
-#line 310 "rx-decode.opc"
+#line 314 "rx-decode.opc"
                 int sd AU = (op[0] >> 2) & 0x03;
-#line 310 "rx-decode.opc"
+#line 314 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 310 "rx-decode.opc"
+#line 314 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 310 "rx-decode.opc"
+#line 314 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mov%s  %1, %0");
-#line 310 "rx-decode.opc"
+#line 314 "rx-decode.opc"
                 if (sd == 3 && ss == 3 && sz == 2 && rsrc == 0 && rdst == 0)
                   {
                     ID(nop2);
             op_semantics_43:
               {
                 /** 1111 00sd rdst 0bit                        bset    #%1, %0%S0 */
-#line 935 "rx-decode.opc"
+#line 939 "rx-decode.opc"
                 int sd AU = op[0] & 0x03;
-#line 935 "rx-decode.opc"
+#line 939 "rx-decode.opc"
                 int rdst AU = (op[1] >> 4) & 0x0f;
-#line 935 "rx-decode.opc"
+#line 939 "rx-decode.opc"
                 int bit AU = op[1] & 0x07;
                 if (trace)
                   {
                     printf ("  bit = 0x%x\n", bit);
                   }
                 SYNTAX("bset   #%1, %0%S0");
-#line 935 "rx-decode.opc"
+#line 939 "rx-decode.opc"
                 ID(bset); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE); F_____;
 
               }
             op_semantics_44:
               {
                 /** 1111 00sd rdst 1bit                        bclr    #%1, %0%S0 */
-#line 947 "rx-decode.opc"
+#line 951 "rx-decode.opc"
                 int sd AU = op[0] & 0x03;
-#line 947 "rx-decode.opc"
+#line 951 "rx-decode.opc"
                 int rdst AU = (op[1] >> 4) & 0x0f;
-#line 947 "rx-decode.opc"
+#line 951 "rx-decode.opc"
                 int bit AU = op[1] & 0x07;
                 if (trace)
                   {
                     printf ("  bit = 0x%x\n", bit);
                   }
                 SYNTAX("bclr   #%1, %0%S0");
-#line 947 "rx-decode.opc"
+#line 951 "rx-decode.opc"
                 ID(bclr); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE); F_____;
 
               }
             op_semantics_45:
               {
                 /** 1111 01sd rdst 0bit                        btst    #%2, %1%S1 */
-#line 959 "rx-decode.opc"
+#line 963 "rx-decode.opc"
                 int sd AU = op[0] & 0x03;
-#line 959 "rx-decode.opc"
+#line 963 "rx-decode.opc"
                 int rdst AU = (op[1] >> 4) & 0x0f;
-#line 959 "rx-decode.opc"
+#line 963 "rx-decode.opc"
                 int bit AU = op[1] & 0x07;
                 if (trace)
                   {
                     printf ("  bit = 0x%x\n", bit);
                   }
                 SYNTAX("btst   #%2, %1%S1");
-#line 959 "rx-decode.opc"
+#line 963 "rx-decode.opc"
                 ID(btst); BWL(BSIZE); S2C(bit); SD(sd, rdst, BSIZE); F___ZC;
 
               }
             op_semantics_46:
               {
                 /** 1111 01ss rsrc 10sz                push%s  %1 */
-#line 377 "rx-decode.opc"
+#line 381 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 377 "rx-decode.opc"
+#line 381 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 377 "rx-decode.opc"
+#line 381 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("push%s %1");
-#line 377 "rx-decode.opc"
+#line 381 "rx-decode.opc"
                 ID(mov); BWL(sz); OP(0, RX_Operand_Predec, 0, 0); SD(ss, rsrc, sz); F_____;
 
               /*----------------------------------------------------------------------*/
             op_semantics_47:
               {
                 /** 1111 10sd rdst im sz       mov%s   #%1, %0 */
-#line 288 "rx-decode.opc"
+#line 292 "rx-decode.opc"
                 int sd AU = op[0] & 0x03;
-#line 288 "rx-decode.opc"
+#line 292 "rx-decode.opc"
                 int rdst AU = (op[1] >> 4) & 0x0f;
-#line 288 "rx-decode.opc"
+#line 292 "rx-decode.opc"
                 int im AU = (op[1] >> 2) & 0x03;
-#line 288 "rx-decode.opc"
+#line 292 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("mov%s  #%1, %0");
-#line 288 "rx-decode.opc"
+#line 292 "rx-decode.opc"
                 ID(mov); DD(sd, rdst, sz);
                 if ((im == 1 && sz == 0)
                     || (im == 2 && sz == 1)
                 case 0x00:
                     {
                       /** 1111 1100 0000 0011 rsrc rdst        sbb     %1, %0 */
-#line 551 "rx-decode.opc"
+#line 555 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 551 "rx-decode.opc"
+#line 555 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("sbb      %1, %0");
-#line 551 "rx-decode.opc"
+#line 555 "rx-decode.opc"
                       ID(sbb); SR (rsrc); DR(rdst); F_OSZC;
 
                       /* FIXME: only supports .L */
                 case 0x00:
                     {
                       /** 1111 1100 0000 0111 rsrc rdst        neg     %2, %0 */
-#line 482 "rx-decode.opc"
+#line 486 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 482 "rx-decode.opc"
+#line 486 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("neg      %2, %0");
-#line 482 "rx-decode.opc"
+#line 486 "rx-decode.opc"
                       ID(sub); DR(rdst); SC(0); S2R(rsrc); F_OSZC;
 
                     /*----------------------------------------------------------------------*/
                 case 0x00:
                     {
                       /** 1111 1100 0000 1011 rsrc rdst        adc     %1, %0 */
-#line 491 "rx-decode.opc"
+#line 495 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 491 "rx-decode.opc"
+#line 495 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("adc      %1, %0");
-#line 491 "rx-decode.opc"
+#line 495 "rx-decode.opc"
                       ID(adc); SR(rsrc); DR(rdst); F_OSZC;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1100 0000 1111 rsrc rdst        abs     %1, %0 */
-#line 564 "rx-decode.opc"
+#line 568 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 564 "rx-decode.opc"
+#line 568 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("abs      %1, %0");
-#line 564 "rx-decode.opc"
+#line 568 "rx-decode.opc"
                       ID(abs); DR(rdst); SR(rsrc); F_OSZ_;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_48:
                     {
                       /** 1111 1100 0001 00ss rsrc rdst        max     %1%S1, %0 */
-#line 583 "rx-decode.opc"
+#line 587 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 583 "rx-decode.opc"
+#line 587 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 583 "rx-decode.opc"
+#line 587 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("max      %1%S1, %0");
-#line 583 "rx-decode.opc"
+#line 587 "rx-decode.opc"
                       if (ss == 3 && rsrc == 0 && rdst == 0)
                         {
                           ID(nop3);
                   op_semantics_49:
                     {
                       /** 1111 1100 0001 01ss rsrc rdst        min     %1%S1, %0 */
-#line 603 "rx-decode.opc"
+#line 607 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 603 "rx-decode.opc"
+#line 607 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 603 "rx-decode.opc"
+#line 607 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("min      %1%S1, %0");
-#line 603 "rx-decode.opc"
+#line 607 "rx-decode.opc"
                       ID(min); SP(ss, rsrc); DR(rdst);
 
                     }
                   op_semantics_50:
                     {
                       /** 1111 1100 0001 10ss rsrc rdst        emul    %1%S1, %0 */
-#line 661 "rx-decode.opc"
+#line 665 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 661 "rx-decode.opc"
+#line 665 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 661 "rx-decode.opc"
+#line 665 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("emul     %1%S1, %0");
-#line 661 "rx-decode.opc"
+#line 665 "rx-decode.opc"
                       ID(emul); SP(ss, rsrc); DR(rdst);
 
                     }
                   op_semantics_51:
                     {
                       /** 1111 1100 0001 11ss rsrc rdst        emulu   %1%S1, %0 */
-#line 673 "rx-decode.opc"
+#line 677 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 673 "rx-decode.opc"
+#line 677 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 673 "rx-decode.opc"
+#line 677 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("emulu    %1%S1, %0");
-#line 673 "rx-decode.opc"
+#line 677 "rx-decode.opc"
                       ID(emulu); SP(ss, rsrc); DR(rdst);
 
                     }
                   op_semantics_52:
                     {
                       /** 1111 1100 0010 00ss rsrc rdst        div     %1%S1, %0 */
-#line 685 "rx-decode.opc"
+#line 689 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 685 "rx-decode.opc"
+#line 689 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 685 "rx-decode.opc"
+#line 689 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("div      %1%S1, %0");
-#line 685 "rx-decode.opc"
+#line 689 "rx-decode.opc"
                       ID(div); SP(ss, rsrc); DR(rdst); F_O___;
 
                     }
                   op_semantics_53:
                     {
                       /** 1111 1100 0010 01ss rsrc rdst        divu    %1%S1, %0 */
-#line 697 "rx-decode.opc"
+#line 701 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 697 "rx-decode.opc"
+#line 701 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 697 "rx-decode.opc"
+#line 701 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("divu     %1%S1, %0");
-#line 697 "rx-decode.opc"
+#line 701 "rx-decode.opc"
                       ID(divu); SP(ss, rsrc); DR(rdst); F_O___;
 
                     }
                   op_semantics_54:
                     {
                       /** 1111 1100 0011 00ss rsrc rdst        tst     %1%S1, %2 */
-#line 470 "rx-decode.opc"
+#line 474 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 470 "rx-decode.opc"
+#line 474 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 470 "rx-decode.opc"
+#line 474 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("tst      %1%S1, %2");
-#line 470 "rx-decode.opc"
+#line 474 "rx-decode.opc"
                       ID(and); SP(ss, rsrc); S2R(rdst); F__SZ_;
 
                     }
                   op_semantics_55:
                     {
                       /** 1111 1100 0011 01ss rsrc rdst        xor     %1%S1, %0 */
-#line 449 "rx-decode.opc"
+#line 453 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 449 "rx-decode.opc"
+#line 453 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 449 "rx-decode.opc"
+#line 453 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("xor      %1%S1, %0");
-#line 449 "rx-decode.opc"
+#line 453 "rx-decode.opc"
                       ID(xor); SP(ss, rsrc); DR(rdst); F__SZ_;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1100 0011 1011 rsrc rdst        not     %1, %0 */
-#line 461 "rx-decode.opc"
+#line 465 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 461 "rx-decode.opc"
+#line 465 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("not      %1, %0");
-#line 461 "rx-decode.opc"
+#line 465 "rx-decode.opc"
                       ID(xor); DR(rdst); SR(rsrc); S2C(~0); F__SZ_;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_56:
                     {
                       /** 1111 1100 0100 00ss rsrc rdst        xchg    %1%S1, %0 */
-#line 383 "rx-decode.opc"
+#line 387 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 383 "rx-decode.opc"
+#line 387 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 383 "rx-decode.opc"
+#line 387 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("xchg     %1%S1, %0");
-#line 383 "rx-decode.opc"
+#line 387 "rx-decode.opc"
                       ID(xchg); DR(rdst); SP(ss, rsrc);
 
                     }
                   op_semantics_57:
                     {
                       /** 1111 1100 0100 01sd rsrc rdst        itof    %1%S1, %0 */
-#line 926 "rx-decode.opc"
+#line 930 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 926 "rx-decode.opc"
+#line 930 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 926 "rx-decode.opc"
+#line 930 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("itof     %1%S1, %0");
-#line 926 "rx-decode.opc"
+#line 930 "rx-decode.opc"
                       ID(itof); DR (rdst); SP(sd, rsrc); F__SZ_;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1100 0100 1011 rsrc rdst        stz     %1, %0 */
-#line 1052 "rx-decode.opc"
+#line 1056 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 1052 "rx-decode.opc"
+#line 1056 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("stz      %1, %0");
-#line 1052 "rx-decode.opc"
+#line 1056 "rx-decode.opc"
                       ID(stcc); SR(rsrc); DR(rdst); S2cc(RXC_z);
 
                     }
                 case 0x00:
                     {
                       /** 1111 1100 0100 1111 rsrc rdst        stnz    %1, %0 */
-#line 1055 "rx-decode.opc"
+#line 1059 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 1055 "rx-decode.opc"
+#line 1059 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("stnz     %1, %0");
-#line 1055 "rx-decode.opc"
+#line 1059 "rx-decode.opc"
                       ID(stcc); SR(rsrc); DR(rdst); S2cc(RXC_nz);
 
                     }
                   op_semantics_58:
                     {
                       /** 1111 1100 0101 01sd rsrc rdst        utof    %1%S1, %0 */
-#line 1112 "rx-decode.opc"
+#line 1116 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 1112 "rx-decode.opc"
+#line 1116 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 1112 "rx-decode.opc"
+#line 1116 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("utof     %1%S1, %0");
-#line 1112 "rx-decode.opc"
+#line 1116 "rx-decode.opc"
                       ID(utof); DR (rdst); SP(sd, rsrc); F__SZ_;
 
                     }
                   op_semantics_59:
                     {
                       /** 1111 1100 0110 00sd rdst rsrc        bset    %1, %0%S0 */
-#line 938 "rx-decode.opc"
+#line 942 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 938 "rx-decode.opc"
+#line 942 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 938 "rx-decode.opc"
+#line 942 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("bset     %1, %0%S0");
-#line 938 "rx-decode.opc"
+#line 942 "rx-decode.opc"
                       ID(bset); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE); F_____;
                       if (sd == 3) /* bset reg,reg */
                         BWL(LSIZE);
                   op_semantics_60:
                     {
                       /** 1111 1100 0110 01sd rdst rsrc        bclr    %1, %0%S0 */
-#line 950 "rx-decode.opc"
+#line 954 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 950 "rx-decode.opc"
+#line 954 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 950 "rx-decode.opc"
+#line 954 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("bclr     %1, %0%S0");
-#line 950 "rx-decode.opc"
+#line 954 "rx-decode.opc"
                       ID(bclr); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE); F_____;
                       if (sd == 3) /* bset reg,reg */
                         BWL(LSIZE);
                   op_semantics_61:
                     {
                       /** 1111 1100 0110 10sd rdst rsrc        btst    %2, %1%S1 */
-#line 962 "rx-decode.opc"
+#line 966 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 962 "rx-decode.opc"
+#line 966 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 962 "rx-decode.opc"
+#line 966 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("btst     %2, %1%S1");
-#line 962 "rx-decode.opc"
+#line 966 "rx-decode.opc"
                       ID(btst); BWL(BSIZE); S2R(rsrc); SD(sd, rdst, BSIZE); F___ZC;
                       if (sd == 3) /* bset reg,reg */
                         BWL(LSIZE);
                   op_semantics_62:
                     {
                       /** 1111 1100 0110 11sd rdst rsrc        bnot    %1, %0%S0 */
-#line 974 "rx-decode.opc"
+#line 978 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 974 "rx-decode.opc"
+#line 978 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 974 "rx-decode.opc"
+#line 978 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("bnot     %1, %0%S0");
-#line 974 "rx-decode.opc"
+#line 978 "rx-decode.opc"
                       ID(bnot); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE);
                       if (sd == 3) /* bset reg,reg */
                         BWL(LSIZE);
                   op_semantics_63:
                     {
                       /** 1111 1100 1000 00sd rsrc rdst        fsub    %1%S1, %0 */
-#line 905 "rx-decode.opc"
+#line 909 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 905 "rx-decode.opc"
+#line 909 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 905 "rx-decode.opc"
+#line 909 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fsub     %1%S1, %0");
-#line 905 "rx-decode.opc"
+#line 909 "rx-decode.opc"
                       ID(fsub); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
 
                     }
                   op_semantics_64:
                     {
                       /** 1111 1100 1000 01sd rsrc rdst        fcmp    %1%S1, %0 */
-#line 899 "rx-decode.opc"
+#line 903 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 899 "rx-decode.opc"
+#line 903 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 899 "rx-decode.opc"
+#line 903 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fcmp     %1%S1, %0");
-#line 899 "rx-decode.opc"
+#line 903 "rx-decode.opc"
                       ID(fcmp); DR(rdst); SD(sd, rsrc, LSIZE); F_OSZ_;
 
                     }
                   op_semantics_65:
                     {
                       /** 1111 1100 1000 10sd rsrc rdst        fadd    %1%S1, %0 */
-#line 893 "rx-decode.opc"
+#line 897 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 893 "rx-decode.opc"
+#line 897 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 893 "rx-decode.opc"
+#line 897 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fadd     %1%S1, %0");
-#line 893 "rx-decode.opc"
+#line 897 "rx-decode.opc"
                       ID(fadd); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
 
                     }
                   op_semantics_66:
                     {
                       /** 1111 1100 1000 11sd rsrc rdst        fmul    %1%S1, %0 */
-#line 914 "rx-decode.opc"
+#line 918 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 914 "rx-decode.opc"
+#line 918 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 914 "rx-decode.opc"
+#line 918 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fmul     %1%S1, %0");
-#line 914 "rx-decode.opc"
+#line 918 "rx-decode.opc"
                       ID(fmul); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
 
                     }
                   op_semantics_67:
                     {
                       /** 1111 1100 1001 00sd rsrc rdst        fdiv    %1%S1, %0 */
-#line 920 "rx-decode.opc"
+#line 924 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 920 "rx-decode.opc"
+#line 924 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 920 "rx-decode.opc"
+#line 924 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fdiv     %1%S1, %0");
-#line 920 "rx-decode.opc"
+#line 924 "rx-decode.opc"
                       ID(fdiv); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
 
                     }
                   op_semantics_68:
                     {
                       /** 1111 1100 1001 01sd rsrc rdst        ftoi    %1%S1, %0 */
-#line 908 "rx-decode.opc"
+#line 912 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 908 "rx-decode.opc"
+#line 912 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 908 "rx-decode.opc"
+#line 912 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("ftoi     %1%S1, %0");
-#line 908 "rx-decode.opc"
+#line 912 "rx-decode.opc"
                       ID(ftoi); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
 
                     }
                   op_semantics_69:
                     {
                       /** 1111 1100 1001 10sd rsrc rdst        round   %1%S1, %0 */
-#line 923 "rx-decode.opc"
+#line 927 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 923 "rx-decode.opc"
+#line 927 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 923 "rx-decode.opc"
+#line 927 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("round    %1%S1, %0");
-#line 923 "rx-decode.opc"
+#line 927 "rx-decode.opc"
                       ID(round); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
 
                     }
                   op_semantics_70:
                     {
                       /** 1111 1100 1010 00sd rsrc rdst        fsqrt   %1%S1, %0 */
-#line 1106 "rx-decode.opc"
+#line 1110 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 1106 "rx-decode.opc"
+#line 1110 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 1106 "rx-decode.opc"
+#line 1110 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fsqrt    %1%S1, %0");
-#line 1106 "rx-decode.opc"
+#line 1110 "rx-decode.opc"
                       ID(fsqrt); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
 
                     }
                   op_semantics_71:
                     {
                       /** 1111 1100 1010 01sd rsrc rdst        ftou    %1%S1, %0 */
-#line 1109 "rx-decode.opc"
+#line 1113 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 1109 "rx-decode.opc"
+#line 1113 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 1109 "rx-decode.opc"
+#line 1113 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("ftou     %1%S1, %0");
-#line 1109 "rx-decode.opc"
+#line 1113 "rx-decode.opc"
                       ID(ftou); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
 
                     }
                   op_semantics_72:
                     {
                       /** 1111 1100 1101 sz sd rdst cond       sc%1%s  %0 */
-#line 1040 "rx-decode.opc"
+#line 1044 "rx-decode.opc"
                       int sz AU = (op[1] >> 2) & 0x03;
-#line 1040 "rx-decode.opc"
+#line 1044 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 1040 "rx-decode.opc"
+#line 1044 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 1040 "rx-decode.opc"
+#line 1044 "rx-decode.opc"
                       int cond AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  cond = 0x%x\n", cond);
                         }
                       SYNTAX("sc%1%s   %0");
-#line 1040 "rx-decode.opc"
+#line 1044 "rx-decode.opc"
                       ID(sccnd); BWL(sz); DD (sd, rdst, sz); Scc(cond);
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_73:
                     {
                       /** 1111 1100 111bit sd rdst cond        bm%2    #%1, %0%S0 */
-#line 983 "rx-decode.opc"
+#line 987 "rx-decode.opc"
                       int bit AU = (op[1] >> 2) & 0x07;
-#line 983 "rx-decode.opc"
+#line 987 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 983 "rx-decode.opc"
+#line 987 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 983 "rx-decode.opc"
+#line 987 "rx-decode.opc"
                       int cond AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  cond = 0x%x\n", cond);
                         }
                       SYNTAX("bm%2     #%1, %0%S0");
-#line 983 "rx-decode.opc"
+#line 987 "rx-decode.opc"
                       ID(bmcc); BWL(BSIZE); S2cc(cond); SC(bit); DD(sd, rdst, BSIZE);
 
                     }
                   op_semantics_74:
                     {
                       /** 1111 1100 111bit sd rdst 1111        bnot    #%1, %0%S0 */
-#line 971 "rx-decode.opc"
+#line 975 "rx-decode.opc"
                       int bit AU = (op[1] >> 2) & 0x07;
-#line 971 "rx-decode.opc"
+#line 975 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 971 "rx-decode.opc"
+#line 975 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("bnot     #%1, %0%S0");
-#line 971 "rx-decode.opc"
+#line 975 "rx-decode.opc"
                       ID(bnot); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE);
 
                     }
                   op_semantics_75:
                     {
                       /** 1111 1101 0000 a000 srca srcb        mulhi   %1, %2, %0 */
-#line 848 "rx-decode.opc"
+#line 852 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 848 "rx-decode.opc"
+#line 852 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 848 "rx-decode.opc"
+#line 852 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("mulhi    %1, %2, %0");
-#line 848 "rx-decode.opc"
+#line 852 "rx-decode.opc"
                       ID(mulhi); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_76:
                     {
                       /** 1111 1101 0000 a001 srca srcb        mullo   %1, %2, %0 */
-#line 851 "rx-decode.opc"
+#line 855 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 851 "rx-decode.opc"
+#line 855 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 851 "rx-decode.opc"
+#line 855 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("mullo    %1, %2, %0");
-#line 851 "rx-decode.opc"
+#line 855 "rx-decode.opc"
                       ID(mullo); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_77:
                     {
                       /** 1111 1101 0000 a010 srca srcb        mullh   %1, %2, %0 */
-#line 1079 "rx-decode.opc"
+#line 1083 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 1079 "rx-decode.opc"
+#line 1083 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1079 "rx-decode.opc"
+#line 1083 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("mullh    %1, %2, %0");
-#line 1079 "rx-decode.opc"
+#line 1083 "rx-decode.opc"
                       ID(mullh); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_78:
                     {
                       /** 1111 1101 0000 a011 srca srcb        emula   %1, %2, %0 */
-#line 1064 "rx-decode.opc"
+#line 1068 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 1064 "rx-decode.opc"
+#line 1068 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1064 "rx-decode.opc"
+#line 1068 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("emula    %1, %2, %0");
-#line 1064 "rx-decode.opc"
+#line 1068 "rx-decode.opc"
                       ID(emula); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_79:
                     {
                       /** 1111 1101 0000 a100 srca srcb        machi   %1, %2, %0 */
-#line 854 "rx-decode.opc"
+#line 858 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 854 "rx-decode.opc"
+#line 858 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 854 "rx-decode.opc"
+#line 858 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("machi    %1, %2, %0");
-#line 854 "rx-decode.opc"
+#line 858 "rx-decode.opc"
                       ID(machi); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_80:
                     {
                       /** 1111 1101 0000 a101 srca srcb        maclo   %1, %2, %0 */
-#line 857 "rx-decode.opc"
+#line 861 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 857 "rx-decode.opc"
+#line 861 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 857 "rx-decode.opc"
+#line 861 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("maclo    %1, %2, %0");
-#line 857 "rx-decode.opc"
+#line 861 "rx-decode.opc"
                       ID(maclo); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_81:
                     {
                       /** 1111 1101 0000 a110 srca srcb        maclh   %1, %2, %0 */
-#line 1067 "rx-decode.opc"
+#line 1071 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 1067 "rx-decode.opc"
+#line 1071 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1067 "rx-decode.opc"
+#line 1071 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("maclh    %1, %2, %0");
-#line 1067 "rx-decode.opc"
+#line 1071 "rx-decode.opc"
                       ID(maclh); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_82:
                     {
                       /** 1111 1101 0000 a111 srca srcb        emaca   %1, %2, %0 */
-#line 1058 "rx-decode.opc"
+#line 1062 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 1058 "rx-decode.opc"
+#line 1062 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1058 "rx-decode.opc"
+#line 1062 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("emaca    %1, %2, %0");
-#line 1058 "rx-decode.opc"
+#line 1062 "rx-decode.opc"
                       ID(emaca); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0001 0111 a000 rsrc        mvtachi %1, %0 */
-#line 860 "rx-decode.opc"
+#line 864 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 860 "rx-decode.opc"
+#line 864 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("mvtachi  %1, %0");
-#line 860 "rx-decode.opc"
+#line 864 "rx-decode.opc"
                       ID(mvtachi); DR(a+32); SR(rsrc); F_____;
 
                     }
                 case 0x10:
                     {
                       /** 1111 1101 0001 0111 a001 rsrc        mvtaclo %1, %0 */
-#line 863 "rx-decode.opc"
+#line 867 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 863 "rx-decode.opc"
+#line 867 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("mvtaclo  %1, %0");
-#line 863 "rx-decode.opc"
+#line 867 "rx-decode.opc"
                       ID(mvtaclo); DR(a+32); SR(rsrc); F_____;
 
                     }
                 case 0x30:
                     {
                       /** 1111 1101 0001 0111 a011 rdst        mvtacgu %0, %1 */
-#line 1085 "rx-decode.opc"
+#line 1089 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 1085 "rx-decode.opc"
+#line 1089 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvtacgu  %0, %1");
-#line 1085 "rx-decode.opc"
+#line 1089 "rx-decode.opc"
                       ID(mvtacgu); DR(a+32); SR(rdst); F_____;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0001 1000 a00i 0000        racw    #%1, %0 */
-#line 875 "rx-decode.opc"
+#line 879 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 875 "rx-decode.opc"
+#line 879 "rx-decode.opc"
                       int i AU = (op[2] >> 4) & 0x01;
                       if (trace)
                         {
                           printf ("  i = 0x%x\n", i);
                         }
                       SYNTAX("racw     #%1, %0");
-#line 875 "rx-decode.opc"
+#line 879 "rx-decode.opc"
                       ID(racw); SC(i+1); DR(a+32); F_____;
 
                     /*----------------------------------------------------------------------*/
                 case 0x40:
                     {
                       /** 1111 1101 0001 1000 a10i 0000        rdacw   #%1, %0 */
-#line 1094 "rx-decode.opc"
+#line 1098 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 1094 "rx-decode.opc"
+#line 1098 "rx-decode.opc"
                       int i AU = (op[2] >> 4) & 0x01;
                       if (trace)
                         {
                           printf ("  i = 0x%x\n", i);
                         }
                       SYNTAX("rdacw    #%1, %0");
-#line 1094 "rx-decode.opc"
+#line 1098 "rx-decode.opc"
                       ID(rdacw); SC(i+1); DR(a+32); F_____;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0001 1001 a00i 0000        racl    #%1, %0 */
-#line 1088 "rx-decode.opc"
+#line 1092 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 1088 "rx-decode.opc"
+#line 1092 "rx-decode.opc"
                       int i AU = (op[2] >> 4) & 0x01;
                       if (trace)
                         {
                           printf ("  i = 0x%x\n", i);
                         }
                       SYNTAX("racl     #%1, %0");
-#line 1088 "rx-decode.opc"
+#line 1092 "rx-decode.opc"
                       ID(racl); SC(i+1); DR(a+32); F_____;
 
                     }
                 case 0x40:
                     {
                       /** 1111 1101 0001 1001 a10i 0000        rdacl   #%1, %0 */
-#line 1091 "rx-decode.opc"
+#line 1095 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 1091 "rx-decode.opc"
+#line 1095 "rx-decode.opc"
                       int i AU = (op[2] >> 4) & 0x01;
                       if (trace)
                         {
                           printf ("  i = 0x%x\n", i);
                         }
                       SYNTAX("rdacl    #%1, %0");
-#line 1091 "rx-decode.opc"
+#line 1095 "rx-decode.opc"
                       ID(rdacl); SC(i+1); DR(a+32); F_____;
 
                     }
                   op_semantics_83:
                     {
                       /** 1111 1101 0001 111i a m00 rdst       mvfachi #%2, %1, %0 */
-#line 866 "rx-decode.opc"
+#line 870 "rx-decode.opc"
                       int i AU = op[1] & 0x01;
-#line 866 "rx-decode.opc"
+#line 870 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 866 "rx-decode.opc"
+#line 870 "rx-decode.opc"
                       int m AU = (op[2] >> 6) & 0x01;
-#line 866 "rx-decode.opc"
+#line 870 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfachi  #%2, %1, %0");
-#line 866 "rx-decode.opc"
+#line 870 "rx-decode.opc"
                       ID(mvfachi); S2C(((i^1)<<1)|m); SR(a+32); DR(rdst); F_____;
 
                     }
                   op_semantics_84:
                     {
                       /** 1111 1101 0001 111i a m01 rdst       mvfaclo #%2, %1, %0 */
-#line 872 "rx-decode.opc"
+#line 876 "rx-decode.opc"
                       int i AU = op[1] & 0x01;
-#line 872 "rx-decode.opc"
+#line 876 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 872 "rx-decode.opc"
+#line 876 "rx-decode.opc"
                       int m AU = (op[2] >> 6) & 0x01;
-#line 872 "rx-decode.opc"
+#line 876 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfaclo  #%2, %1, %0");
-#line 872 "rx-decode.opc"
+#line 876 "rx-decode.opc"
                       ID(mvfaclo); S2C(((i^1)<<1)|m); SR(a+32); DR(rdst); F_____;
 
                     }
                   op_semantics_85:
                     {
                       /** 1111 1101 0001 111i a m10 rdst       mvfacmi #%2, %1, %0 */
-#line 869 "rx-decode.opc"
+#line 873 "rx-decode.opc"
                       int i AU = op[1] & 0x01;
-#line 869 "rx-decode.opc"
+#line 873 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 869 "rx-decode.opc"
+#line 873 "rx-decode.opc"
                       int m AU = (op[2] >> 6) & 0x01;
-#line 869 "rx-decode.opc"
+#line 873 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfacmi  #%2, %1, %0");
-#line 869 "rx-decode.opc"
+#line 873 "rx-decode.opc"
                       ID(mvfacmi); S2C(((i^1)<<1)|m); SR(a+32); DR(rdst); F_____;
 
                     }
                   op_semantics_86:
                     {
                       /** 1111 1101 0001 111i a m11 rdst       mvfacgu #%2, %1, %0 */
-#line 1082 "rx-decode.opc"
+#line 1086 "rx-decode.opc"
                       int i AU = op[1] & 0x01;
-#line 1082 "rx-decode.opc"
+#line 1086 "rx-decode.opc"
                       int a AU = (op[2] >> 7) & 0x01;
-#line 1082 "rx-decode.opc"
+#line 1086 "rx-decode.opc"
                       int m AU = (op[2] >> 6) & 0x01;
-#line 1082 "rx-decode.opc"
+#line 1086 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfacgu  #%2, %1, %0");
-#line 1082 "rx-decode.opc"
+#line 1086 "rx-decode.opc"
                       ID(mvfacgu); S2C(((i^1)<<1)|m); SR(a+32); DR(rdst); F_____;
 
                     }
                   op_semantics_87:
                     {
                       /** 1111 1101 0010 0p sz rdst rsrc       mov%s   %1, %0 */
-#line 344 "rx-decode.opc"
+#line 348 "rx-decode.opc"
                       int p AU = (op[1] >> 2) & 0x01;
-#line 344 "rx-decode.opc"
+#line 348 "rx-decode.opc"
                       int sz AU = op[1] & 0x03;
-#line 344 "rx-decode.opc"
+#line 348 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 344 "rx-decode.opc"
+#line 348 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("mov%s    %1, %0");
-#line 344 "rx-decode.opc"
+#line 348 "rx-decode.opc"
                       ID(mov); sBWL (sz); SR(rsrc); F_____;
                       OP(0, p ? RX_Operand_Predec : RX_Operand_Postinc, rdst, 0);
 
                 case 0x00:
                     {
                       /** 1111 1101 0010 0111 rdst rsrc        movco   %1, [%0] */
-#line 1046 "rx-decode.opc"
+#line 1050 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 1046 "rx-decode.opc"
+#line 1050 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("movco    %1, [%0]");
-#line 1046 "rx-decode.opc"
+#line 1050 "rx-decode.opc"
                        ID(movco); SR(rsrc); DR(rdst); F_____;
 
                     }
                   op_semantics_88:
                     {
                       /** 1111 1101 0010 1p sz rsrc rdst       mov%s   %1, %0 */
-#line 348 "rx-decode.opc"
+#line 352 "rx-decode.opc"
                       int p AU = (op[1] >> 2) & 0x01;
-#line 348 "rx-decode.opc"
+#line 352 "rx-decode.opc"
                       int sz AU = op[1] & 0x03;
-#line 348 "rx-decode.opc"
+#line 352 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 348 "rx-decode.opc"
+#line 352 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mov%s    %1, %0");
-#line 348 "rx-decode.opc"
+#line 352 "rx-decode.opc"
                       ID(mov); sBWL (sz); DR(rdst); F_____;
                       OP(1, p ? RX_Operand_Predec : RX_Operand_Postinc, rsrc, 0);
 
                 case 0x00:
                     {
                       /** 1111 1101 0010 1111 rsrc rdst        movli   [%1], %0 */
-#line 1049 "rx-decode.opc"
+#line 1053 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 1049 "rx-decode.opc"
+#line 1053 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("movli    [%1], %0");
-#line 1049 "rx-decode.opc"
+#line 1053 "rx-decode.opc"
                        ID(movli); SR(rsrc); DR(rdst); F_____;
 
                     }
                   op_semantics_89:
                     {
                       /** 1111 1101 0011 1p sz rsrc rdst       movu%s  %1, %0 */
-#line 358 "rx-decode.opc"
+#line 362 "rx-decode.opc"
                       int p AU = (op[1] >> 2) & 0x01;
-#line 358 "rx-decode.opc"
+#line 362 "rx-decode.opc"
                       int sz AU = op[1] & 0x03;
-#line 358 "rx-decode.opc"
+#line 362 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 358 "rx-decode.opc"
+#line 362 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("movu%s   %1, %0");
-#line 358 "rx-decode.opc"
+#line 362 "rx-decode.opc"
                       ID(mov); uBW (sz); DR(rdst); F_____;
                        OP(1, p ? RX_Operand_Predec : RX_Operand_Postinc, rsrc, 0);
 
                   op_semantics_90:
                     {
                       /** 1111 1101 0100 a100 srca srcb        msbhi   %1, %2, %0 */
-#line 1070 "rx-decode.opc"
+#line 1074 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 1070 "rx-decode.opc"
+#line 1074 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1070 "rx-decode.opc"
+#line 1074 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("msbhi    %1, %2, %0");
-#line 1070 "rx-decode.opc"
+#line 1074 "rx-decode.opc"
                       ID(msbhi); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_91:
                     {
                       /** 1111 1101 0100 a101 srca srcb        msblo   %1, %2, %0 */
-#line 1076 "rx-decode.opc"
+#line 1080 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 1076 "rx-decode.opc"
+#line 1080 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1076 "rx-decode.opc"
+#line 1080 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("msblo    %1, %2, %0");
-#line 1076 "rx-decode.opc"
+#line 1080 "rx-decode.opc"
                       ID(msblo); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_92:
                     {
                       /** 1111 1101 0100 a110 srca srcb        msblh   %1, %2, %0 */
-#line 1073 "rx-decode.opc"
+#line 1077 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 1073 "rx-decode.opc"
+#line 1077 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1073 "rx-decode.opc"
+#line 1077 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("msblh    %1, %2, %0");
-#line 1073 "rx-decode.opc"
+#line 1077 "rx-decode.opc"
                       ID(msblh); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                   op_semantics_93:
                     {
                       /** 1111 1101 0100 a111 srca srcb        emsba   %1, %2, %0 */
-#line 1061 "rx-decode.opc"
+#line 1065 "rx-decode.opc"
                       int a AU = (op[1] >> 3) & 0x01;
-#line 1061 "rx-decode.opc"
+#line 1065 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1061 "rx-decode.opc"
+#line 1065 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("emsba    %1, %2, %0");
-#line 1061 "rx-decode.opc"
+#line 1065 "rx-decode.opc"
                       ID(emsba); DR(a+32); SR(srca); S2R(srcb); F_____;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0110 0000 rsrc rdst        shlr    %2, %0 */
-#line 729 "rx-decode.opc"
+#line 733 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 729 "rx-decode.opc"
+#line 733 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shlr     %2, %0");
-#line 729 "rx-decode.opc"
+#line 733 "rx-decode.opc"
                       ID(shlr); S2R(rsrc); SR(rdst); DR(rdst); F__SZC;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0110 0001 rsrc rdst        shar    %2, %0 */
-#line 719 "rx-decode.opc"
+#line 723 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 719 "rx-decode.opc"
+#line 723 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shar     %2, %0");
-#line 719 "rx-decode.opc"
+#line 723 "rx-decode.opc"
                       ID(shar); S2R(rsrc); SR(rdst); DR(rdst); F_0SZC;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0110 0010 rsrc rdst        shll    %2, %0 */
-#line 709 "rx-decode.opc"
+#line 713 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 709 "rx-decode.opc"
+#line 713 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shll     %2, %0");
-#line 709 "rx-decode.opc"
+#line 713 "rx-decode.opc"
                       ID(shll); S2R(rsrc); SR(rdst); DR(rdst); F_OSZC;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0110 0100 rsrc rdst        rotr    %1, %0 */
-#line 753 "rx-decode.opc"
+#line 757 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 753 "rx-decode.opc"
+#line 757 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("rotr     %1, %0");
-#line 753 "rx-decode.opc"
+#line 757 "rx-decode.opc"
                       ID(rotr); SR(rsrc); DR(rdst); F__SZC;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0110 0101 rsrc rdst        revw    %1, %0 */
-#line 756 "rx-decode.opc"
+#line 760 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 756 "rx-decode.opc"
+#line 760 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("revw     %1, %0");
-#line 756 "rx-decode.opc"
+#line 760 "rx-decode.opc"
                       ID(revw); SR(rsrc); DR(rdst);
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0110 0110 rsrc rdst        rotl    %1, %0 */
-#line 747 "rx-decode.opc"
+#line 751 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 747 "rx-decode.opc"
+#line 751 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("rotl     %1, %0");
-#line 747 "rx-decode.opc"
+#line 751 "rx-decode.opc"
                       ID(rotl); SR(rsrc); DR(rdst); F__SZC;
 
                     }
                 case 0x00:
                     {
                       /** 1111 1101 0110 0111 rsrc rdst        revl    %1, %0 */
-#line 759 "rx-decode.opc"
+#line 763 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 759 "rx-decode.opc"
+#line 763 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("revl     %1, %0");
-#line 759 "rx-decode.opc"
+#line 763 "rx-decode.opc"
                       ID(revl); SR(rsrc); DR(rdst);
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_94:
                     {
                       /** 1111 1101 0110 100c rsrc rdst        mvtc    %1, %0 */
-#line 1010 "rx-decode.opc"
+#line 1014 "rx-decode.opc"
                       int c AU = op[1] & 0x01;
-#line 1010 "rx-decode.opc"
+#line 1014 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 1010 "rx-decode.opc"
+#line 1014 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvtc     %1, %0");
-#line 1010 "rx-decode.opc"
+#line 1014 "rx-decode.opc"
                       ID(mov); SR(rsrc); DR(c*16+rdst + 16);
 
                     }
                   op_semantics_95:
                     {
                       /** 1111 1101 0110 101s rsrc rdst        mvfc    %1, %0 */
-#line 1013 "rx-decode.opc"
+#line 1017 "rx-decode.opc"
                       int s AU = op[1] & 0x01;
-#line 1013 "rx-decode.opc"
+#line 1017 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 1013 "rx-decode.opc"
+#line 1017 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfc     %1, %0");
-#line 1013 "rx-decode.opc"
+#line 1017 "rx-decode.opc"
                       ID(mov); SR((s*16+rsrc) + 16); DR(rdst);
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_96:
                     {
                       /** 1111 1101 0110 110i mmmm rdst        rotr    #%1, %0 */
-#line 750 "rx-decode.opc"
+#line 754 "rx-decode.opc"
                       int i AU = op[1] & 0x01;
-#line 750 "rx-decode.opc"
+#line 754 "rx-decode.opc"
                       int mmmm AU = (op[2] >> 4) & 0x0f;
-#line 750 "rx-decode.opc"
+#line 754 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("rotr     #%1, %0");
-#line 750 "rx-decode.opc"
+#line 754 "rx-decode.opc"
                       ID(rotr); SC(i*16+mmmm); DR(rdst); F__SZC;
 
                     }
                   op_semantics_97:
                     {
                       /** 1111 1101 0110 111i mmmm rdst        rotl    #%1, %0 */
-#line 744 "rx-decode.opc"
+#line 748 "rx-decode.opc"
                       int i AU = op[1] & 0x01;
-#line 744 "rx-decode.opc"
+#line 748 "rx-decode.opc"
                       int mmmm AU = (op[2] >> 4) & 0x0f;
-#line 744 "rx-decode.opc"
+#line 748 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("rotl     #%1, %0");
-#line 744 "rx-decode.opc"
+#line 748 "rx-decode.opc"
                       ID(rotl); SC(i*16+mmmm); DR(rdst); F__SZC;
 
                     }
                   op_semantics_98:
                     {
                       /** 1111 1101 0111 im00 0010rdst adc     #%1, %0 */
-#line 488 "rx-decode.opc"
+#line 492 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 488 "rx-decode.opc"
+#line 492 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("adc      #%1, %0");
-#line 488 "rx-decode.opc"
+#line 492 "rx-decode.opc"
                       ID(adc); SC(IMMex(im)); DR(rdst); F_OSZC;
 
                     }
                   op_semantics_99:
                     {
                       /** 1111 1101 0111 im00 0100rdst max     #%1, %0 */
-#line 570 "rx-decode.opc"
+#line 574 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 570 "rx-decode.opc"
+#line 574 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("max      #%1, %0");
-#line 570 "rx-decode.opc"
+#line 574 "rx-decode.opc"
                       int val = IMMex (im);
                       if (im == 0 && (unsigned) val == 0x80000000 && rdst == 0)
                         {
                   op_semantics_100:
                     {
                       /** 1111 1101 0111 im00 0101rdst min     #%1, %0 */
-#line 600 "rx-decode.opc"
+#line 604 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 600 "rx-decode.opc"
+#line 604 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("min      #%1, %0");
-#line 600 "rx-decode.opc"
+#line 604 "rx-decode.opc"
                       ID(min); DR(rdst); SC(IMMex(im));
 
                     }
                   op_semantics_101:
                     {
                       /** 1111 1101 0111 im00 0110rdst emul    #%1, %0 */
-#line 658 "rx-decode.opc"
+#line 662 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 658 "rx-decode.opc"
+#line 662 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("emul     #%1, %0");
-#line 658 "rx-decode.opc"
+#line 662 "rx-decode.opc"
                       ID(emul); DR(rdst); SC(IMMex(im));
 
                     }
                   op_semantics_102:
                     {
                       /** 1111 1101 0111 im00 0111rdst emulu   #%1, %0 */
-#line 670 "rx-decode.opc"
+#line 674 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 670 "rx-decode.opc"
+#line 674 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("emulu    #%1, %0");
-#line 670 "rx-decode.opc"
+#line 674 "rx-decode.opc"
                       ID(emulu); DR(rdst); SC(IMMex(im));
 
                     }
                   op_semantics_103:
                     {
                       /** 1111 1101 0111 im00 1000rdst div     #%1, %0 */
-#line 682 "rx-decode.opc"
+#line 686 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 682 "rx-decode.opc"
+#line 686 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("div      #%1, %0");
-#line 682 "rx-decode.opc"
+#line 686 "rx-decode.opc"
                       ID(div); DR(rdst); SC(IMMex(im)); F_O___;
 
                     }
                   op_semantics_104:
                     {
                       /** 1111 1101 0111 im00 1001rdst divu    #%1, %0 */
-#line 694 "rx-decode.opc"
+#line 698 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 694 "rx-decode.opc"
+#line 698 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("divu     #%1, %0");
-#line 694 "rx-decode.opc"
+#line 698 "rx-decode.opc"
                       ID(divu); DR(rdst); SC(IMMex(im)); F_O___;
 
                     }
                   op_semantics_105:
                     {
                       /** 1111 1101 0111 im00 1100rdst tst     #%1, %2 */
-#line 467 "rx-decode.opc"
+#line 471 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 467 "rx-decode.opc"
+#line 471 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("tst      #%1, %2");
-#line 467 "rx-decode.opc"
+#line 471 "rx-decode.opc"
                       ID(and); SC(IMMex(im)); S2R(rdst); F__SZ_;
 
                     }
                   op_semantics_106:
                     {
                       /** 1111 1101 0111 im00 1101rdst xor     #%1, %0 */
-#line 446 "rx-decode.opc"
+#line 450 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 446 "rx-decode.opc"
+#line 450 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("xor      #%1, %0");
-#line 446 "rx-decode.opc"
+#line 450 "rx-decode.opc"
                       ID(xor); SC(IMMex(im)); DR(rdst); F__SZ_;
 
                     }
                   op_semantics_107:
                     {
                       /** 1111 1101 0111 im00 1110rdst stz     #%1, %0 */
-#line 392 "rx-decode.opc"
+#line 396 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 392 "rx-decode.opc"
+#line 396 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("stz      #%1, %0");
-#line 392 "rx-decode.opc"
+#line 396 "rx-decode.opc"
                       ID(stcc); SC(IMMex(im)); DR(rdst); S2cc(RXC_z);
 
                     }
                   op_semantics_108:
                     {
                       /** 1111 1101 0111 im00 1111rdst stnz    #%1, %0 */
-#line 395 "rx-decode.opc"
+#line 399 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 395 "rx-decode.opc"
+#line 399 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("stnz     #%1, %0");
-#line 395 "rx-decode.opc"
+#line 399 "rx-decode.opc"
                       ID(stcc); SC(IMMex(im)); DR(rdst); S2cc(RXC_nz);
 
                     /*----------------------------------------------------------------------*/
                 case 0x00:
                     {
                       /** 1111 1101 0111 0010 0000 rdst        fsub    #%1, %0 */
-#line 902 "rx-decode.opc"
+#line 906 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fsub     #%1, %0");
-#line 902 "rx-decode.opc"
+#line 906 "rx-decode.opc"
                       ID(fsub); DR(rdst); SC(IMM(0)); F__SZ_;
 
                     }
                 case 0x10:
                     {
                       /** 1111 1101 0111 0010 0001 rdst        fcmp    #%1, %0 */
-#line 896 "rx-decode.opc"
+#line 900 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fcmp     #%1, %0");
-#line 896 "rx-decode.opc"
+#line 900 "rx-decode.opc"
                       ID(fcmp); DR(rdst); SC(IMM(0)); F_OSZ_;
 
                     }
                 case 0x20:
                     {
                       /** 1111 1101 0111 0010 0010 rdst        fadd    #%1, %0 */
-#line 890 "rx-decode.opc"
+#line 894 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fadd     #%1, %0");
-#line 890 "rx-decode.opc"
+#line 894 "rx-decode.opc"
                       ID(fadd); DR(rdst); SC(IMM(0)); F__SZ_;
 
                     }
                 case 0x30:
                     {
                       /** 1111 1101 0111 0010 0011 rdst        fmul    #%1, %0 */
-#line 911 "rx-decode.opc"
+#line 915 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fmul     #%1, %0");
-#line 911 "rx-decode.opc"
+#line 915 "rx-decode.opc"
                       ID(fmul); DR(rdst); SC(IMM(0)); F__SZ_;
 
                     }
                 case 0x40:
                     {
                       /** 1111 1101 0111 0010 0100 rdst        fdiv    #%1, %0 */
-#line 917 "rx-decode.opc"
+#line 921 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fdiv     #%1, %0");
-#line 917 "rx-decode.opc"
+#line 921 "rx-decode.opc"
                       ID(fdiv); DR(rdst); SC(IMM(0)); F__SZ_;
 
                     }
                   op_semantics_109:
                     {
                       /** 1111 1101 0111 im11 000crdst mvtc    #%1, %0 */
-#line 1007 "rx-decode.opc"
+#line 1011 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 1007 "rx-decode.opc"
+#line 1011 "rx-decode.opc"
                       int crdst AU = op[2] & 0x1f;
                       if (trace)
                         {
                           printf ("  crdst = 0x%x\n", crdst);
                         }
                       SYNTAX("mvtc     #%1, %0");
-#line 1007 "rx-decode.opc"
+#line 1011 "rx-decode.opc"
                       ID(mov); SC(IMMex(im)); DR(crdst + 16);
 
                     }
                   op_semantics_110:
                     {
                       /** 1111 1101 100immmm rsrc rdst shlr    #%2, %1, %0 */
-#line 732 "rx-decode.opc"
+#line 736 "rx-decode.opc"
                       int immmm AU = op[1] & 0x1f;
-#line 732 "rx-decode.opc"
+#line 736 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 732 "rx-decode.opc"
+#line 736 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shlr     #%2, %1, %0");
-#line 732 "rx-decode.opc"
+#line 736 "rx-decode.opc"
                       ID(shlr); S2C(immmm); SR(rsrc); DR(rdst); F__SZC;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_111:
                     {
                       /** 1111 1101 101immmm rsrc rdst shar    #%2, %1, %0 */
-#line 722 "rx-decode.opc"
+#line 726 "rx-decode.opc"
                       int immmm AU = op[1] & 0x1f;
-#line 722 "rx-decode.opc"
+#line 726 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 722 "rx-decode.opc"
+#line 726 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shar     #%2, %1, %0");
-#line 722 "rx-decode.opc"
+#line 726 "rx-decode.opc"
                       ID(shar); S2C(immmm); SR(rsrc); DR(rdst); F_0SZC;
 
 
                   op_semantics_112:
                     {
                       /** 1111 1101 110immmm rsrc rdst shll    #%2, %1, %0 */
-#line 712 "rx-decode.opc"
+#line 716 "rx-decode.opc"
                       int immmm AU = op[1] & 0x1f;
-#line 712 "rx-decode.opc"
+#line 716 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 712 "rx-decode.opc"
+#line 716 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shll     #%2, %1, %0");
-#line 712 "rx-decode.opc"
+#line 716 "rx-decode.opc"
                       ID(shll); S2C(immmm); SR(rsrc); DR(rdst); F_OSZC;
 
 
                   op_semantics_113:
                     {
                       /** 1111 1101 111 bittt cond rdst        bm%2    #%1, %0%S0 */
-#line 986 "rx-decode.opc"
+#line 990 "rx-decode.opc"
                       int bittt AU = op[1] & 0x1f;
-#line 986 "rx-decode.opc"
+#line 990 "rx-decode.opc"
                       int cond AU = (op[2] >> 4) & 0x0f;
-#line 986 "rx-decode.opc"
+#line 990 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("bm%2     #%1, %0%S0");
-#line 986 "rx-decode.opc"
+#line 990 "rx-decode.opc"
                       ID(bmcc); BWL(LSIZE); S2cc(cond); SC(bittt); DR(rdst);
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_114:
                     {
                       /** 1111 1101 111bittt 1111 rdst bnot    #%1, %0 */
-#line 979 "rx-decode.opc"
+#line 983 "rx-decode.opc"
                       int bittt AU = op[1] & 0x1f;
-#line 979 "rx-decode.opc"
+#line 983 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("bnot     #%1, %0");
-#line 979 "rx-decode.opc"
+#line 983 "rx-decode.opc"
                       ID(bnot); BWL(LSIZE); SC(bittt); DR(rdst);
 
 
                   op_semantics_115:
                     {
                       /** 1111 1110 00sz isrc bsrc rdst        mov%s   %0, [%1, %2] */
-#line 338 "rx-decode.opc"
+#line 342 "rx-decode.opc"
                       int sz AU = (op[1] >> 4) & 0x03;
-#line 338 "rx-decode.opc"
+#line 342 "rx-decode.opc"
                       int isrc AU = op[1] & 0x0f;
-#line 338 "rx-decode.opc"
+#line 342 "rx-decode.opc"
                       int bsrc AU = (op[2] >> 4) & 0x0f;
-#line 338 "rx-decode.opc"
+#line 342 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mov%s    %0, [%1, %2]");
-#line 338 "rx-decode.opc"
+#line 342 "rx-decode.opc"
                       ID(movbir); sBWL(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
 
                     }
                   op_semantics_116:
                     {
                       /** 1111 1110 01sz isrc bsrc rdst        mov%s   [%1, %2], %0 */
-#line 335 "rx-decode.opc"
+#line 339 "rx-decode.opc"
                       int sz AU = (op[1] >> 4) & 0x03;
-#line 335 "rx-decode.opc"
+#line 339 "rx-decode.opc"
                       int isrc AU = op[1] & 0x0f;
-#line 335 "rx-decode.opc"
+#line 339 "rx-decode.opc"
                       int bsrc AU = (op[2] >> 4) & 0x0f;
-#line 335 "rx-decode.opc"
+#line 339 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mov%s    [%1, %2], %0");
-#line 335 "rx-decode.opc"
+#line 339 "rx-decode.opc"
                       ID(movbi); sBWL(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
 
                     }
                   op_semantics_117:
                     {
                       /** 1111 1110 11sz isrc bsrc rdst        movu%s  [%1, %2], %0 */
-#line 341 "rx-decode.opc"
+#line 345 "rx-decode.opc"
                       int sz AU = (op[1] >> 4) & 0x03;
-#line 341 "rx-decode.opc"
+#line 345 "rx-decode.opc"
                       int isrc AU = op[1] & 0x0f;
-#line 341 "rx-decode.opc"
+#line 345 "rx-decode.opc"
                       int bsrc AU = (op[2] >> 4) & 0x0f;
-#line 341 "rx-decode.opc"
+#line 345 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("movu%s   [%1, %2], %0");
-#line 341 "rx-decode.opc"
+#line 345 "rx-decode.opc"
                       ID(movbi); uBW(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
 
                     }
                   op_semantics_118:
                     {
                       /** 1111 1111 0000 rdst srca srcb        sub     %2, %1, %0 */
-#line 545 "rx-decode.opc"
+#line 549 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 545 "rx-decode.opc"
+#line 549 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 545 "rx-decode.opc"
+#line 549 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("sub      %2, %1, %0");
-#line 545 "rx-decode.opc"
+#line 549 "rx-decode.opc"
                       ID(sub); DR(rdst); SR(srcb); S2R(srca); F_OSZC;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_119:
                     {
                       /** 1111 1111 0010 rdst srca srcb        add     %2, %1, %0 */
-#line 512 "rx-decode.opc"
+#line 516 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 512 "rx-decode.opc"
+#line 516 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 512 "rx-decode.opc"
+#line 516 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("add      %2, %1, %0");
-#line 512 "rx-decode.opc"
+#line 516 "rx-decode.opc"
                       ID(add); DR(rdst); SR(srcb); S2R(srca); F_OSZC;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_120:
                     {
                       /** 1111 1111 0011 rdst srca srcb        mul     %2, %1, %0 */
-#line 652 "rx-decode.opc"
+#line 656 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 652 "rx-decode.opc"
+#line 656 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 652 "rx-decode.opc"
+#line 656 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("mul      %2, %1, %0");
-#line 652 "rx-decode.opc"
+#line 656 "rx-decode.opc"
                       ID(mul); DR(rdst); SR(srcb); S2R(srca); F_____;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_121:
                     {
                       /** 1111 1111 0100 rdst srca srcb        and     %2, %1, %0 */
-#line 422 "rx-decode.opc"
+#line 426 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 422 "rx-decode.opc"
+#line 426 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 422 "rx-decode.opc"
+#line 426 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("and      %2, %1, %0");
-#line 422 "rx-decode.opc"
+#line 426 "rx-decode.opc"
                       ID(and); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_122:
                     {
                       /** 1111 1111 0101 rdst srca srcb        or      %2, %1, %0 */
-#line 440 "rx-decode.opc"
+#line 444 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 440 "rx-decode.opc"
+#line 444 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 440 "rx-decode.opc"
+#line 444 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("or       %2, %1, %0");
-#line 440 "rx-decode.opc"
+#line 444 "rx-decode.opc"
                       ID(or); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
 
                     /*----------------------------------------------------------------------*/
                   op_semantics_123:
                     {
                       /** 1111 1111 1000 rdst srca srcb        fsub    %2, %1, %0 */
-#line 1100 "rx-decode.opc"
+#line 1104 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 1100 "rx-decode.opc"
+#line 1104 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1100 "rx-decode.opc"
+#line 1104 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("fsub     %2, %1, %0");
-#line 1100 "rx-decode.opc"
+#line 1104 "rx-decode.opc"
                       ID(fsub); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
 
                     }
                   op_semantics_124:
                     {
                       /** 1111 1111 1010 rdst srca srcb        fadd    %2, %1, %0 */
-#line 1097 "rx-decode.opc"
+#line 1101 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 1097 "rx-decode.opc"
+#line 1101 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1097 "rx-decode.opc"
+#line 1101 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("fadd     %2, %1, %0");
-#line 1097 "rx-decode.opc"
+#line 1101 "rx-decode.opc"
                       ID(fadd); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
 
                     }
                   op_semantics_125:
                     {
                       /** 1111 1111 1011 rdst srca srcb        fmul    %2, %1, %0 */
-#line 1103 "rx-decode.opc"
+#line 1107 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 1103 "rx-decode.opc"
+#line 1107 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 1103 "rx-decode.opc"
+#line 1107 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("fmul     %2, %1, %0");
-#line 1103 "rx-decode.opc"
+#line 1107 "rx-decode.opc"
                       ID(fmul); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
 
                     }
       break;
     default: UNSUPPORTED(); break;
   }
-#line 1118 "rx-decode.opc"
+#line 1122 "rx-decode.opc"
 
   return rx->n_bytes;
 }