* rx-decode.opc (MOV): Do not sign-extend immediates which are

already the maximum bit size.
* rx-decode.c: Regenerate.

diff --git a/opcodes/ChangeLog b/opcodes/ChangeLog
index f8570916095114b7f5f07887f6a8077259cf1079..371d8f603470741dd8589059328d665691fe6a1d 100644 (file)
--- a/opcodes/ChangeLog
+++ b/opcodes/ChangeLog
@@ -1,3 +1,9 @@
+2012-04-30  DJ Delorie  <dj@redhat.com>
+
+       * rx-decode.opc (MOV): Do not sign-extend immediates which are
+       already the maximum bit size.
+       * rx-decode.c: Regenerate.
+
 2012-04-27  David S. Miller  <davem@davemloft.net>
 
        * sparc-dis.c (v9a_asr_reg_names): Add 'cfr'.

diff --git a/opcodes/rx-decode.c b/opcodes/rx-decode.c
index 8f047c92d1ecc2bda3334526c7da7533950efa7e..a98de745b108f296087b8e7955cb393550346828 100644 (file)
--- a/opcodes/rx-decode.c
+++ b/opcodes/rx-decode.c
@@ -271,7 +271,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("brk");
-#line 943 "rx-decode.opc"
+#line 956 "rx-decode.opc"
           ID(brk);
         
         }
@@ -286,7 +286,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("dbt");
-#line 946 "rx-decode.opc"
+#line 959 "rx-decode.opc"
           ID(dbt);
         
         }
@@ -301,7 +301,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("rts");
-#line 732 "rx-decode.opc"
+#line 745 "rx-decode.opc"
           ID(rts);
         
         /*----------------------------------------------------------------------*/
@@ -319,7 +319,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("nop");
-#line 738 "rx-decode.opc"
+#line 751 "rx-decode.opc"
           ID(nop);
         
         /*----------------------------------------------------------------------*/
@@ -337,7 +337,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("bra.a        %a0");
-#line 710 "rx-decode.opc"
+#line 723 "rx-decode.opc"
           ID(branch); DC(pc + IMMex(3));
         
         }
@@ -352,7 +352,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("bsr.a        %a0");
-#line 726 "rx-decode.opc"
+#line 739 "rx-decode.opc"
           ID(jsr); DC(pc + IMMex(3));
         
         }
@@ -369,13 +369,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_1:
                     {
                       /** 0000 0110 mx00 00ss rsrc rdst                        sub     %2%S2, %1 */
-#line 506 "rx-decode.opc"
+#line 519 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 506 "rx-decode.opc"
+#line 519 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 506 "rx-decode.opc"
+#line 519 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 506 "rx-decode.opc"
+#line 519 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -388,7 +388,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("sub      %2%S2, %1");
-#line 506 "rx-decode.opc"
+#line 519 "rx-decode.opc"
                       ID(sub); S2Pm(ss, rsrc, mx); SR(rdst); DR(rdst); F_OSZC;
                     
                     }
@@ -430,13 +430,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_2:
                     {
                       /** 0000 0110 mx00 01ss rsrc rdst                cmp     %2%S2, %1 */
-#line 494 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 494 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 494 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 494 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -449,7 +449,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("cmp      %2%S2, %1");
-#line 494 "rx-decode.opc"
+#line 507 "rx-decode.opc"
                       ID(sub); S2Pm(ss, rsrc, mx); SR(rdst); F_OSZC;
                     
                     /*----------------------------------------------------------------------*/
@@ -494,13 +494,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_3:
                     {
                       /** 0000 0110 mx00 10ss rsrc rdst        add     %1%S1, %0 */
-#line 470 "rx-decode.opc"
+#line 483 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 470 "rx-decode.opc"
+#line 483 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 470 "rx-decode.opc"
+#line 483 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 470 "rx-decode.opc"
+#line 483 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -513,7 +513,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("add      %1%S1, %0");
-#line 470 "rx-decode.opc"
+#line 483 "rx-decode.opc"
                       ID(add); SPm(ss, rsrc, mx); DR(rdst); F_OSZC;
                     
                     }
@@ -555,13 +555,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_4:
                     {
                       /** 0000 0110 mx00 11ss rsrc rdst        mul     %1%S1, %0 */
-#line 575 "rx-decode.opc"
+#line 588 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 575 "rx-decode.opc"
+#line 588 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 575 "rx-decode.opc"
+#line 588 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 575 "rx-decode.opc"
+#line 588 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -574,7 +574,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mul      %1%S1, %0");
-#line 575 "rx-decode.opc"
+#line 588 "rx-decode.opc"
                       ID(mul); SPm(ss, rsrc, mx); DR(rdst); F_____;
                     
                     }
@@ -616,13 +616,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_5:
                     {
                       /** 0000 0110 mx01 00ss rsrc rdst        and     %1%S1, %0 */
-#line 383 "rx-decode.opc"
+#line 396 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 383 "rx-decode.opc"
+#line 396 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 383 "rx-decode.opc"
+#line 396 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 383 "rx-decode.opc"
+#line 396 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -635,7 +635,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("and      %1%S1, %0");
-#line 383 "rx-decode.opc"
+#line 396 "rx-decode.opc"
                       ID(and); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
                     
                     }
@@ -677,13 +677,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_6:
                     {
                       /** 0000 0110 mx01 01ss rsrc rdst                        or      %1%S1, %0 */
-#line 401 "rx-decode.opc"
+#line 414 "rx-decode.opc"
                       int mx AU = (op[1] >> 6) & 0x03;
-#line 401 "rx-decode.opc"
+#line 414 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 401 "rx-decode.opc"
+#line 414 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 401 "rx-decode.opc"
+#line 414 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -696,7 +696,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("or       %1%S1, %0");
-#line 401 "rx-decode.opc"
+#line 414 "rx-decode.opc"
                       ID(or); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
                     
                     }
@@ -742,13 +742,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_7:
                           {
                             /** 0000 0110 mx10 00sp 0000 0000 rsrc rdst        sbb     %1%S1, %0 */
-#line 519 "rx-decode.opc"
+#line 532 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 519 "rx-decode.opc"
+#line 532 "rx-decode.opc"
                             int sp AU = op[1] & 0x03;
-#line 519 "rx-decode.opc"
+#line 532 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 519 "rx-decode.opc"
+#line 532 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -761,7 +761,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("sbb        %1%S1, %0");
-#line 519 "rx-decode.opc"
+#line 532 "rx-decode.opc"
                             ID(sbb); SPm(sp, rsrc, mx); DR(rdst); F_OSZC;
                           
                           /*----------------------------------------------------------------------*/
@@ -779,13 +779,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_8:
                           {
                             /** 0000 0110 mx10 00ss 0000 0100 rsrc rdst        max     %1%S1, %0 */
-#line 548 "rx-decode.opc"
+#line 561 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 548 "rx-decode.opc"
+#line 561 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 548 "rx-decode.opc"
+#line 561 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 548 "rx-decode.opc"
+#line 561 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -798,7 +798,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("max        %1%S1, %0");
-#line 548 "rx-decode.opc"
+#line 561 "rx-decode.opc"
                             ID(max); SPm(ss, rsrc, mx); DR(rdst);
                           
                           /*----------------------------------------------------------------------*/
@@ -816,13 +816,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_9:
                           {
                             /** 0000 0110 mx10 00ss 0000 0101 rsrc rdst        min     %1%S1, %0 */
-#line 560 "rx-decode.opc"
+#line 573 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 560 "rx-decode.opc"
+#line 573 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 560 "rx-decode.opc"
+#line 573 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 560 "rx-decode.opc"
+#line 573 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -835,7 +835,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("min        %1%S1, %0");
-#line 560 "rx-decode.opc"
+#line 573 "rx-decode.opc"
                             ID(min); SPm(ss, rsrc, mx); DR(rdst);
                           
                           /*----------------------------------------------------------------------*/
@@ -853,13 +853,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_10:
                           {
                             /** 0000 0110 mx10 00ss 0000 0110 rsrc rdst        emul    %1%S1, %0 */
-#line 590 "rx-decode.opc"
+#line 603 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 590 "rx-decode.opc"
+#line 603 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 590 "rx-decode.opc"
+#line 603 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 590 "rx-decode.opc"
+#line 603 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -872,7 +872,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("emul       %1%S1, %0");
-#line 590 "rx-decode.opc"
+#line 603 "rx-decode.opc"
                             ID(emul); SPm(ss, rsrc, mx); DR(rdst);
                           
                           /*----------------------------------------------------------------------*/
@@ -890,13 +890,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_11:
                           {
                             /** 0000 0110 mx10 00ss 0000 0111 rsrc rdst        emulu   %1%S1, %0 */
-#line 602 "rx-decode.opc"
+#line 615 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 602 "rx-decode.opc"
+#line 615 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 602 "rx-decode.opc"
+#line 615 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 602 "rx-decode.opc"
+#line 615 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -909,7 +909,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("emulu      %1%S1, %0");
-#line 602 "rx-decode.opc"
+#line 615 "rx-decode.opc"
                             ID(emulu); SPm(ss, rsrc, mx); DR(rdst);
                           
                           /*----------------------------------------------------------------------*/
@@ -927,13 +927,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_12:
                           {
                             /** 0000 0110 mx10 00ss 0000 1000 rsrc rdst        div     %1%S1, %0 */
-#line 614 "rx-decode.opc"
+#line 627 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 614 "rx-decode.opc"
+#line 627 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 614 "rx-decode.opc"
+#line 627 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 614 "rx-decode.opc"
+#line 627 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -946,7 +946,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("div        %1%S1, %0");
-#line 614 "rx-decode.opc"
+#line 627 "rx-decode.opc"
                             ID(div); SPm(ss, rsrc, mx); DR(rdst); F_O___;
                           
                           /*----------------------------------------------------------------------*/
@@ -964,13 +964,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_13:
                           {
                             /** 0000 0110 mx10 00ss 0000 1001 rsrc rdst        divu    %1%S1, %0 */
-#line 626 "rx-decode.opc"
+#line 639 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 626 "rx-decode.opc"
+#line 639 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 626 "rx-decode.opc"
+#line 639 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 626 "rx-decode.opc"
+#line 639 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -983,7 +983,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("divu       %1%S1, %0");
-#line 626 "rx-decode.opc"
+#line 639 "rx-decode.opc"
                             ID(divu); SPm(ss, rsrc, mx); DR(rdst); F_O___;
                           
                           /*----------------------------------------------------------------------*/
@@ -1001,13 +1001,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_14:
                           {
                             /** 0000 0110 mx10 00ss 0000 1100 rsrc rdst        tst     %1%S1, %2 */
-#line 437 "rx-decode.opc"
+#line 450 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 437 "rx-decode.opc"
+#line 450 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 437 "rx-decode.opc"
+#line 450 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 437 "rx-decode.opc"
+#line 450 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -1020,7 +1020,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("tst        %1%S1, %2");
-#line 437 "rx-decode.opc"
+#line 450 "rx-decode.opc"
                             ID(and); SPm(ss, rsrc, mx); S2R(rdst); F__SZ_;
                           
                           /*----------------------------------------------------------------------*/
@@ -1038,13 +1038,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_15:
                           {
                             /** 0000 0110 mx10 00ss 0000 1101 rsrc rdst        xor     %1%S1, %0 */
-#line 416 "rx-decode.opc"
+#line 429 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 416 "rx-decode.opc"
+#line 429 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 416 "rx-decode.opc"
+#line 429 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 416 "rx-decode.opc"
+#line 429 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -1057,7 +1057,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("xor        %1%S1, %0");
-#line 416 "rx-decode.opc"
+#line 429 "rx-decode.opc"
                             ID(xor); SPm(ss, rsrc, mx); DR(rdst); F__SZ_;
                           
                           /*----------------------------------------------------------------------*/
@@ -1075,13 +1075,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_16:
                           {
                             /** 0000 0110 mx10 00ss 0001 0000 rsrc rdst        xchg    %1%S1, %0 */
-#line 350 "rx-decode.opc"
+#line 363 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 350 "rx-decode.opc"
+#line 363 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 350 "rx-decode.opc"
+#line 363 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 350 "rx-decode.opc"
+#line 363 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -1094,7 +1094,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("xchg       %1%S1, %0");
-#line 350 "rx-decode.opc"
+#line 363 "rx-decode.opc"
                             ID(xchg); DR(rdst); SPm(ss, rsrc, mx);
                           
                           /*----------------------------------------------------------------------*/
@@ -1112,13 +1112,13 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_17:
                           {
                             /** 0000 0110 mx10 00sd 0001 0001 rsrc rdst        itof    %1%S1, %0 */
-#line 855 "rx-decode.opc"
+#line 868 "rx-decode.opc"
                             int mx AU = (op[1] >> 6) & 0x03;
-#line 855 "rx-decode.opc"
+#line 868 "rx-decode.opc"
                             int sd AU = op[1] & 0x03;
-#line 855 "rx-decode.opc"
+#line 868 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 855 "rx-decode.opc"
+#line 868 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -1131,7 +1131,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("itof       %1%S1, %0");
-#line 855 "rx-decode.opc"
+#line 868 "rx-decode.opc"
                             ID(itof); DR (rdst); SPm(sd, rsrc, mx); F__SZ_;
                           
                           /*----------------------------------------------------------------------*/
@@ -2339,11 +2339,11 @@ rx_decode_opcode (unsigned long pc AU,
                         op_semantics_18:
                           {
                             /** 0000 0110 1010 00ss 0000 0010 rsrc rdst        adc     %1%S1, %0 */
-#line 458 "rx-decode.opc"
+#line 471 "rx-decode.opc"
                             int ss AU = op[1] & 0x03;
-#line 458 "rx-decode.opc"
+#line 471 "rx-decode.opc"
                             int rsrc AU = (op[3] >> 4) & 0x0f;
-#line 458 "rx-decode.opc"
+#line 471 "rx-decode.opc"
                             int rdst AU = op[3] & 0x0f;
                             if (trace)
                               {
@@ -2355,7 +2355,7 @@ rx_decode_opcode (unsigned long pc AU,
                                 printf ("  rdst = 0x%x\n", rdst);
                               }
                             SYNTAX("adc        %1%S1, %0");
-#line 458 "rx-decode.opc"
+#line 471 "rx-decode.opc"
                             ID(adc); SPm(ss, rsrc, 2); DR(rdst); F_OSZC;
                           
                           /*----------------------------------------------------------------------*/
@@ -3456,7 +3456,7 @@ rx_decode_opcode (unsigned long pc AU,
     case 0x0f:
         {
           /** 0000 1dsp                        bra.s   %a0 */
-#line 701 "rx-decode.opc"
+#line 714 "rx-decode.opc"
           int dsp AU = op[0] & 0x07;
           if (trace)
             {
@@ -3466,7 +3466,7 @@ rx_decode_opcode (unsigned long pc AU,
               printf ("  dsp = 0x%x\n", dsp);
             }
           SYNTAX("bra.s        %a0");
-#line 701 "rx-decode.opc"
+#line 714 "rx-decode.opc"
           ID(branch); DC(pc + dsp3map[dsp]);
         
         }
@@ -3489,9 +3489,9 @@ rx_decode_opcode (unsigned long pc AU,
     case 0x1f:
         {
           /** 0001 n dsp                       b%1.s   %a0 */
-#line 691 "rx-decode.opc"
+#line 704 "rx-decode.opc"
           int n AU = (op[0] >> 3) & 0x01;
-#line 691 "rx-decode.opc"
+#line 704 "rx-decode.opc"
           int dsp AU = op[0] & 0x07;
           if (trace)
             {
@@ -3502,7 +3502,7 @@ rx_decode_opcode (unsigned long pc AU,
               printf ("  dsp = 0x%x\n", dsp);
             }
           SYNTAX("b%1.s        %a0");
-#line 691 "rx-decode.opc"
+#line 704 "rx-decode.opc"
           ID(branch); Scc(n); DC(pc + dsp3map[dsp]);
         
         }
@@ -3524,7 +3524,7 @@ rx_decode_opcode (unsigned long pc AU,
     case 0x2f:
         {
           /** 0010 cond                        b%1.b   %a0 */
-#line 694 "rx-decode.opc"
+#line 707 "rx-decode.opc"
           int cond AU = op[0] & 0x0f;
           if (trace)
             {
@@ -3534,7 +3534,7 @@ rx_decode_opcode (unsigned long pc AU,
               printf ("  cond = 0x%x\n", cond);
             }
           SYNTAX("b%1.b        %a0");
-#line 694 "rx-decode.opc"
+#line 707 "rx-decode.opc"
           ID(branch); Scc(cond); DC(pc + IMMex (1));
         
         }
@@ -3549,7 +3549,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("bra.b        %a0");
-#line 704 "rx-decode.opc"
+#line 717 "rx-decode.opc"
           ID(branch); DC(pc + IMMex(1));
         
         }
@@ -3564,7 +3564,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("bra.w        %a0");
-#line 707 "rx-decode.opc"
+#line 720 "rx-decode.opc"
           ID(branch); DC(pc + IMMex(2));
         
         }
@@ -3579,7 +3579,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("bsr.w        %a0");
-#line 723 "rx-decode.opc"
+#line 736 "rx-decode.opc"
           ID(jsr); DC(pc + IMMex(2));
         
         }
@@ -3588,7 +3588,7 @@ rx_decode_opcode (unsigned long pc AU,
     case 0x3b:
         {
           /** 0011 101c                        b%1.w   %a0 */
-#line 697 "rx-decode.opc"
+#line 710 "rx-decode.opc"
           int c AU = op[0] & 0x01;
           if (trace)
             {
@@ -3598,7 +3598,7 @@ rx_decode_opcode (unsigned long pc AU,
               printf ("  c = 0x%x\n", c);
             }
           SYNTAX("b%1.w        %a0");
-#line 697 "rx-decode.opc"
+#line 710 "rx-decode.opc"
           ID(branch); Scc(c); DC(pc + IMMex (2));
         
         
@@ -3612,13 +3612,13 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_19:
               {
                 /** 0011 11sz d dst sppp               mov%s   #%1, %0 */
-#line 271 "rx-decode.opc"
+#line 284 "rx-decode.opc"
                 int sz AU = op[0] & 0x03;
-#line 271 "rx-decode.opc"
+#line 284 "rx-decode.opc"
                 int d AU = (op[1] >> 7) & 0x01;
-#line 271 "rx-decode.opc"
+#line 284 "rx-decode.opc"
                 int dst AU = (op[1] >> 4) & 0x07;
-#line 271 "rx-decode.opc"
+#line 284 "rx-decode.opc"
                 int sppp AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -3631,7 +3631,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  sppp = 0x%x\n", sppp);
                   }
                 SYNTAX("mov%s  #%1, %0");
-#line 271 "rx-decode.opc"
+#line 284 "rx-decode.opc"
                 ID(mov); sBWL (sz); DIs(dst, d*16+sppp, sz); SC(IMM(1)); F_____;
               
               }
@@ -3663,9 +3663,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0011 1111 rega regb                rtsd    #%1, %2-%0 */
-#line 368 "rx-decode.opc"
+#line 381 "rx-decode.opc"
                 int rega AU = (op[1] >> 4) & 0x0f;
-#line 368 "rx-decode.opc"
+#line 381 "rx-decode.opc"
                 int regb AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -3676,7 +3676,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  regb = 0x%x\n", regb);
                   }
                 SYNTAX("rtsd   #%1, %2-%0");
-#line 368 "rx-decode.opc"
+#line 381 "rx-decode.opc"
                 ID(rtsd); SC(IMM(1) * 4); S2R(rega); DR(regb);
               
               /*----------------------------------------------------------------------*/
@@ -3694,11 +3694,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_20:
               {
                 /** 0100 00ss rsrc rdst                        sub     %2%S2, %1 */
-#line 503 "rx-decode.opc"
+#line 516 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 503 "rx-decode.opc"
+#line 516 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 503 "rx-decode.opc"
+#line 516 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -3710,7 +3710,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("sub    %2%S2, %1");
-#line 503 "rx-decode.opc"
+#line 516 "rx-decode.opc"
                 ID(sub); S2P(ss, rsrc); SR(rdst); DR(rdst); F_OSZC;
               
               }
@@ -3752,11 +3752,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_21:
               {
                 /** 0100 01ss rsrc rdst                cmp     %2%S2, %1 */
-#line 491 "rx-decode.opc"
+#line 504 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 491 "rx-decode.opc"
+#line 504 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 491 "rx-decode.opc"
+#line 504 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -3768,7 +3768,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("cmp    %2%S2, %1");
-#line 491 "rx-decode.opc"
+#line 504 "rx-decode.opc"
                 ID(sub); S2P(ss, rsrc); SR(rdst); F_OSZC;
               
               }
@@ -3810,11 +3810,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_22:
               {
                 /** 0100 10ss rsrc rdst                        add     %1%S1, %0 */
-#line 467 "rx-decode.opc"
+#line 480 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 467 "rx-decode.opc"
+#line 480 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 467 "rx-decode.opc"
+#line 480 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -3826,7 +3826,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("add    %1%S1, %0");
-#line 467 "rx-decode.opc"
+#line 480 "rx-decode.opc"
                 ID(add); SP(ss, rsrc); DR(rdst); F_OSZC;
               
               }
@@ -3868,11 +3868,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_23:
               {
                 /** 0100 11ss rsrc rdst                        mul     %1%S1, %0 */
-#line 572 "rx-decode.opc"
+#line 585 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 572 "rx-decode.opc"
+#line 585 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 572 "rx-decode.opc"
+#line 585 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -3884,7 +3884,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mul    %1%S1, %0");
-#line 572 "rx-decode.opc"
+#line 585 "rx-decode.opc"
                 ID(mul); SP(ss, rsrc); DR(rdst); F_____;
               
               }
@@ -3926,11 +3926,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_24:
               {
                 /** 0101 00ss rsrc rdst                        and     %1%S1, %0 */
-#line 380 "rx-decode.opc"
+#line 393 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 380 "rx-decode.opc"
+#line 393 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 380 "rx-decode.opc"
+#line 393 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -3942,7 +3942,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("and    %1%S1, %0");
-#line 380 "rx-decode.opc"
+#line 393 "rx-decode.opc"
                 ID(and); SP(ss, rsrc); DR(rdst); F__SZ_;
               
               }
@@ -3984,11 +3984,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_25:
               {
                 /** 0101 01ss rsrc rdst                        or      %1%S1, %0 */
-#line 398 "rx-decode.opc"
+#line 411 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 398 "rx-decode.opc"
+#line 411 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 398 "rx-decode.opc"
+#line 411 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4000,7 +4000,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("or     %1%S1, %0");
-#line 398 "rx-decode.opc"
+#line 411 "rx-decode.opc"
                 ID(or); SP(ss, rsrc); DR(rdst); F__SZ_;
               
               }
@@ -4042,13 +4042,13 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_26:
               {
                 /** 0101 1 s ss rsrc rdst      movu%s  %1, %0 */
-#line 319 "rx-decode.opc"
+#line 332 "rx-decode.opc"
                 int s AU = (op[0] >> 2) & 0x01;
-#line 319 "rx-decode.opc"
+#line 332 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 319 "rx-decode.opc"
+#line 332 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 319 "rx-decode.opc"
+#line 332 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4061,7 +4061,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("movu%s %1, %0");
-#line 319 "rx-decode.opc"
+#line 332 "rx-decode.opc"
                 ID(mov); uBWL(s); SD(ss, rsrc, s); DR(rdst); F_____;
               
               }
@@ -4138,9 +4138,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 0000 immm rdst                        sub     #%2, %0 */
-#line 500 "rx-decode.opc"
+#line 513 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 500 "rx-decode.opc"
+#line 513 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4151,7 +4151,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("sub    #%2, %0");
-#line 500 "rx-decode.opc"
+#line 513 "rx-decode.opc"
                 ID(sub); S2C(immm); SR(rdst); DR(rdst); F_OSZC;
               
               }
@@ -4165,9 +4165,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 0001 immm rdst                        cmp     #%2, %1 */
-#line 482 "rx-decode.opc"
+#line 495 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 482 "rx-decode.opc"
+#line 495 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4178,7 +4178,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("cmp    #%2, %1");
-#line 482 "rx-decode.opc"
+#line 495 "rx-decode.opc"
                 ID(sub); S2C(immm); SR(rdst); F_OSZC;
               
               }
@@ -4192,9 +4192,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 0010 immm rdst                        add     #%1, %0 */
-#line 464 "rx-decode.opc"
+#line 477 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 464 "rx-decode.opc"
+#line 477 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4205,7 +4205,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("add    #%1, %0");
-#line 464 "rx-decode.opc"
+#line 477 "rx-decode.opc"
                 ID(add); SC(immm); DR(rdst); F_OSZC;
               
               }
@@ -4219,9 +4219,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 0011 immm rdst                        mul     #%1, %0 */
-#line 566 "rx-decode.opc"
+#line 579 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 566 "rx-decode.opc"
+#line 579 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4232,7 +4232,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mul    #%1, %0");
-#line 566 "rx-decode.opc"
+#line 579 "rx-decode.opc"
                 ID(mul); DR(rdst); SC(immm); F_____;
               
               }
@@ -4246,9 +4246,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 0100 immm rdst                        and     #%1, %0 */
-#line 374 "rx-decode.opc"
+#line 387 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 374 "rx-decode.opc"
+#line 387 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4259,7 +4259,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("and    #%1, %0");
-#line 374 "rx-decode.opc"
+#line 387 "rx-decode.opc"
                 ID(and); SC(immm); DR(rdst); F__SZ_;
               
               }
@@ -4273,9 +4273,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 0101 immm rdst                        or      #%1, %0 */
-#line 392 "rx-decode.opc"
+#line 405 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 392 "rx-decode.opc"
+#line 405 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4286,7 +4286,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("or     #%1, %0");
-#line 392 "rx-decode.opc"
+#line 405 "rx-decode.opc"
                 ID(or); SC(immm); DR(rdst); F__SZ_;
               
               }
@@ -4300,9 +4300,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 0110 immm rdst                mov%s   #%1, %0 */
-#line 268 "rx-decode.opc"
+#line 281 "rx-decode.opc"
                 int immm AU = (op[1] >> 4) & 0x0f;
-#line 268 "rx-decode.opc"
+#line 281 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4313,7 +4313,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mov%s  #%1, %0");
-#line 268 "rx-decode.opc"
+#line 281 "rx-decode.opc"
                 ID(mov); DR(rdst); SC(immm); F_____;
               
               }
@@ -4330,7 +4330,7 @@ rx_decode_opcode (unsigned long pc AU,
                      op[0]);
             }
           SYNTAX("rtsd #%1");
-#line 365 "rx-decode.opc"
+#line 378 "rx-decode.opc"
           ID(rtsd); SC(IMM(1) * 4);
         
         }
@@ -4343,11 +4343,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_27:
               {
                 /** 0110 100i mmmm rdst                        shlr    #%2, %0 */
-#line 652 "rx-decode.opc"
+#line 665 "rx-decode.opc"
                 int i AU = op[0] & 0x01;
-#line 652 "rx-decode.opc"
+#line 665 "rx-decode.opc"
                 int mmmm AU = (op[1] >> 4) & 0x0f;
-#line 652 "rx-decode.opc"
+#line 665 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4359,7 +4359,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("shlr   #%2, %0");
-#line 652 "rx-decode.opc"
+#line 665 "rx-decode.opc"
                 ID(shlr); S2C(i*16+mmmm); SR(rdst); DR(rdst); F__SZC;
               
               }
@@ -4383,11 +4383,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_28:
               {
                 /** 0110 101i mmmm rdst                        shar    #%2, %0 */
-#line 642 "rx-decode.opc"
+#line 655 "rx-decode.opc"
                 int i AU = op[0] & 0x01;
-#line 642 "rx-decode.opc"
+#line 655 "rx-decode.opc"
                 int mmmm AU = (op[1] >> 4) & 0x0f;
-#line 642 "rx-decode.opc"
+#line 655 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4399,7 +4399,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("shar   #%2, %0");
-#line 642 "rx-decode.opc"
+#line 655 "rx-decode.opc"
                 ID(shar); S2C(i*16+mmmm); SR(rdst); DR(rdst); F_0SZC;
               
               }
@@ -4423,11 +4423,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_29:
               {
                 /** 0110 110i mmmm rdst                        shll    #%2, %0 */
-#line 632 "rx-decode.opc"
+#line 645 "rx-decode.opc"
                 int i AU = op[0] & 0x01;
-#line 632 "rx-decode.opc"
+#line 645 "rx-decode.opc"
                 int mmmm AU = (op[1] >> 4) & 0x0f;
-#line 632 "rx-decode.opc"
+#line 645 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4439,7 +4439,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("shll   #%2, %0");
-#line 632 "rx-decode.opc"
+#line 645 "rx-decode.opc"
                 ID(shll); S2C(i*16+mmmm); SR(rdst); DR(rdst); F_OSZC;
               
               }
@@ -4462,9 +4462,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 1110 dsta dstb                pushm   %1-%2 */
-#line 332 "rx-decode.opc"
+#line 345 "rx-decode.opc"
                 int dsta AU = (op[1] >> 4) & 0x0f;
-#line 332 "rx-decode.opc"
+#line 345 "rx-decode.opc"
                 int dstb AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4475,7 +4475,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  dstb = 0x%x\n", dstb);
                   }
                 SYNTAX("pushm  %1-%2");
-#line 332 "rx-decode.opc"
+#line 345 "rx-decode.opc"
                 ID(pushm); SR(dsta); S2R(dstb); F_____;
                 
               }
@@ -4489,9 +4489,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0110 1111 dsta dstb                popm    %1-%2 */
-#line 329 "rx-decode.opc"
+#line 342 "rx-decode.opc"
                 int dsta AU = (op[1] >> 4) & 0x0f;
-#line 329 "rx-decode.opc"
+#line 342 "rx-decode.opc"
                 int dstb AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4502,7 +4502,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  dstb = 0x%x\n", dstb);
                   }
                 SYNTAX("popm   %1-%2");
-#line 329 "rx-decode.opc"
+#line 342 "rx-decode.opc"
                 ID(popm); SR(dsta); S2R(dstb); F_____;
               
               }
@@ -4517,11 +4517,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_30:
               {
                 /** 0111 00im rsrc rdst                        add     #%1, %2, %0 */
-#line 473 "rx-decode.opc"
+#line 486 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 473 "rx-decode.opc"
+#line 486 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 473 "rx-decode.opc"
+#line 486 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4533,7 +4533,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("add    #%1, %2, %0");
-#line 473 "rx-decode.opc"
+#line 486 "rx-decode.opc"
                 ID(add); SC(IMMex(im)); S2R(rsrc); DR(rdst); F_OSZC;
               
               }
@@ -4575,9 +4575,9 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_31:
               {
                 /** 0111 01im 0000 rsrc                cmp     #%2, %1%S1 */
-#line 485 "rx-decode.opc"
+#line 498 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 485 "rx-decode.opc"
+#line 498 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4588,7 +4588,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("cmp    #%2, %1%S1");
-#line 485 "rx-decode.opc"
+#line 498 "rx-decode.opc"
                 ID(sub); SR(rsrc); S2C(IMMex(im)); F_OSZC;
               
               }
@@ -4597,9 +4597,9 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_32:
               {
                 /** 0111 01im 0001rdst                 mul     #%1, %0 */
-#line 569 "rx-decode.opc"
+#line 582 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 569 "rx-decode.opc"
+#line 582 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4610,7 +4610,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mul    #%1, %0");
-#line 569 "rx-decode.opc"
+#line 582 "rx-decode.opc"
                 ID(mul); DR(rdst); SC(IMMex(im)); F_____;
               
               }
@@ -4619,9 +4619,9 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_33:
               {
                 /** 0111 01im 0010 rdst                        and     #%1, %0 */
-#line 377 "rx-decode.opc"
+#line 390 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 377 "rx-decode.opc"
+#line 390 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4632,7 +4632,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("and    #%1, %0");
-#line 377 "rx-decode.opc"
+#line 390 "rx-decode.opc"
                 ID(and); SC(IMMex(im)); DR(rdst); F__SZ_;
               
               }
@@ -4641,9 +4641,9 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_34:
               {
                 /** 0111 01im 0011 rdst                        or      #%1, %0 */
-#line 395 "rx-decode.opc"
+#line 408 "rx-decode.opc"
                 int im AU = op[0] & 0x03;
-#line 395 "rx-decode.opc"
+#line 408 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4654,7 +4654,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("or     #%1, %0");
-#line 395 "rx-decode.opc"
+#line 408 "rx-decode.opc"
                 ID(or); SC(IMMex(im)); DR(rdst); F__SZ_;
               
               }
@@ -4789,7 +4789,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x5f:
               {
                 /** 0111 0101 0101 rsrc                        cmp     #%2, %1 */
-#line 488 "rx-decode.opc"
+#line 501 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4799,7 +4799,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("cmp    #%2, %1");
-#line 488 "rx-decode.opc"
+#line 501 "rx-decode.opc"
                 ID(sub); SR(rsrc); S2C(IMM(1)); F_OSZC;
               
               }
@@ -4814,7 +4814,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("int #%1");
-#line 949 "rx-decode.opc"
+#line 962 "rx-decode.opc"
                 ID(int); SC(IMM(1));
               
               }
@@ -4826,7 +4826,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 0111 0101 0111 0000 0000 immm        mvtipl  #%1 */
-#line 916 "rx-decode.opc"
+#line 929 "rx-decode.opc"
                       int immm AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -4836,7 +4836,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  immm = 0x%x\n", immm);
                         }
                       SYNTAX("mvtipl   #%1");
-#line 916 "rx-decode.opc"
+#line 929 "rx-decode.opc"
                       ID(mvtipl); SC(immm);
                     
                     }
@@ -4893,11 +4893,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_35:
               {
                 /** 0111 100b ittt rdst                        bset    #%1, %0 */
-#line 867 "rx-decode.opc"
+#line 880 "rx-decode.opc"
                 int b AU = op[0] & 0x01;
-#line 867 "rx-decode.opc"
+#line 880 "rx-decode.opc"
                 int ittt AU = (op[1] >> 4) & 0x0f;
-#line 867 "rx-decode.opc"
+#line 880 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4909,7 +4909,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("bset   #%1, %0");
-#line 867 "rx-decode.opc"
+#line 880 "rx-decode.opc"
                 ID(bset); BWL(LSIZE); SC(b*16+ittt); DR(rdst); F_____;
               
               
@@ -4934,11 +4934,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_36:
               {
                 /** 0111 101b ittt rdst                        bclr    #%1, %0 */
-#line 877 "rx-decode.opc"
+#line 890 "rx-decode.opc"
                 int b AU = op[0] & 0x01;
-#line 877 "rx-decode.opc"
+#line 890 "rx-decode.opc"
                 int ittt AU = (op[1] >> 4) & 0x0f;
-#line 877 "rx-decode.opc"
+#line 890 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4950,7 +4950,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("bclr   #%1, %0");
-#line 877 "rx-decode.opc"
+#line 890 "rx-decode.opc"
                 ID(bclr); BWL(LSIZE); SC(b*16+ittt); DR(rdst); F_____;
               
               
@@ -4975,11 +4975,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_37:
               {
                 /** 0111 110b ittt rdst                        btst    #%2, %1 */
-#line 887 "rx-decode.opc"
+#line 900 "rx-decode.opc"
                 int b AU = op[0] & 0x01;
-#line 887 "rx-decode.opc"
+#line 900 "rx-decode.opc"
                 int ittt AU = (op[1] >> 4) & 0x0f;
-#line 887 "rx-decode.opc"
+#line 900 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -4991,7 +4991,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("btst   #%2, %1");
-#line 887 "rx-decode.opc"
+#line 900 "rx-decode.opc"
                 ID(btst); BWL(LSIZE); S2C(b*16+ittt); SR(rdst); F___ZC;
               
               
@@ -5015,7 +5015,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x00:
               {
                 /** 0111 1110 0000 rdst                        not     %0 */
-#line 422 "rx-decode.opc"
+#line 435 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5025,7 +5025,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("not    %0");
-#line 422 "rx-decode.opc"
+#line 435 "rx-decode.opc"
                 ID(xor); DR(rdst); SR(rdst); S2C(~0); F__SZ_;
               
               }
@@ -5033,7 +5033,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x10:
               {
                 /** 0111 1110 0001 rdst                        neg     %0 */
-#line 443 "rx-decode.opc"
+#line 456 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5043,7 +5043,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("neg    %0");
-#line 443 "rx-decode.opc"
+#line 456 "rx-decode.opc"
                 ID(sub); DR(rdst); SC(0); S2R(rdst); F_OSZC;
               
               }
@@ -5051,7 +5051,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x20:
               {
                 /** 0111 1110 0010 rdst                        abs     %0 */
-#line 525 "rx-decode.opc"
+#line 538 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5061,7 +5061,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("abs    %0");
-#line 525 "rx-decode.opc"
+#line 538 "rx-decode.opc"
                 ID(abs); DR(rdst); SR(rdst); F_OSZ_;
               
               }
@@ -5069,7 +5069,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x30:
               {
                 /** 0111 1110 0011 rdst                sat     %0 */
-#line 807 "rx-decode.opc"
+#line 820 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5079,7 +5079,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("sat    %0");
-#line 807 "rx-decode.opc"
+#line 820 "rx-decode.opc"
                 ID(sat); DR (rdst);
               
               }
@@ -5087,7 +5087,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x40:
               {
                 /** 0111 1110 0100 rdst                        rorc    %0 */
-#line 667 "rx-decode.opc"
+#line 680 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5097,7 +5097,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("rorc   %0");
-#line 667 "rx-decode.opc"
+#line 680 "rx-decode.opc"
                 ID(rorc); DR(rdst); F__SZC;
               
               }
@@ -5105,7 +5105,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x50:
               {
                 /** 0111 1110 0101 rdst                        rolc    %0 */
-#line 664 "rx-decode.opc"
+#line 677 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5115,7 +5115,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("rolc   %0");
-#line 664 "rx-decode.opc"
+#line 677 "rx-decode.opc"
                 ID(rolc); DR(rdst); F__SZC;
               
               }
@@ -5125,9 +5125,9 @@ rx_decode_opcode (unsigned long pc AU,
           case 0xa0:
               {
                 /** 0111 1110 10sz rsrc                push%s  %1 */
-#line 338 "rx-decode.opc"
+#line 351 "rx-decode.opc"
                 int sz AU = (op[1] >> 4) & 0x03;
-#line 338 "rx-decode.opc"
+#line 351 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5138,7 +5138,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("push%s %1");
-#line 338 "rx-decode.opc"
+#line 351 "rx-decode.opc"
                 ID(mov); BWL(sz); OP(0, RX_Operand_Predec, 0, 0); SR(rsrc); F_____;
               
               }
@@ -5146,7 +5146,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0xb0:
               {
                 /** 0111 1110 1011 rdst                pop     %0 */
-#line 335 "rx-decode.opc"
+#line 348 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5156,7 +5156,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("pop    %0");
-#line 335 "rx-decode.opc"
+#line 348 "rx-decode.opc"
                 ID(mov); OP(1, RX_Operand_Postinc, 0, 0); DR(rdst); F_____;
                 
               }
@@ -5165,7 +5165,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0xd0:
               {
                 /** 0111 1110 110 crsrc                        pushc   %1 */
-#line 922 "rx-decode.opc"
+#line 935 "rx-decode.opc"
                 int crsrc AU = op[1] & 0x1f;
                 if (trace)
                   {
@@ -5175,7 +5175,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  crsrc = 0x%x\n", crsrc);
                   }
                 SYNTAX("pushc  %1");
-#line 922 "rx-decode.opc"
+#line 935 "rx-decode.opc"
                 ID(mov); OP(0, RX_Operand_Predec, 0, 0); SR(crsrc + 16);
               
               }
@@ -5184,7 +5184,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0xf0:
               {
                 /** 0111 1110 111 crdst                        popc    %0 */
-#line 919 "rx-decode.opc"
+#line 932 "rx-decode.opc"
                 int crdst AU = op[1] & 0x1f;
                 if (trace)
                   {
@@ -5194,7 +5194,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  crdst = 0x%x\n", crdst);
                   }
                 SYNTAX("popc   %0");
-#line 919 "rx-decode.opc"
+#line 932 "rx-decode.opc"
                 ID(mov); OP(1, RX_Operand_Postinc, 0, 0); DR(crdst + 16);
               
               }
@@ -5224,7 +5224,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x0f:
               {
                 /** 0111 1111 0000 rsrc                jmp     %0 */
-#line 717 "rx-decode.opc"
+#line 730 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5234,7 +5234,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("jmp    %0");
-#line 717 "rx-decode.opc"
+#line 730 "rx-decode.opc"
                 ID(branch); DR(rsrc);
               
               }
@@ -5257,7 +5257,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x1f:
               {
                 /** 0111 1111 0001 rsrc                jsr     %0 */
-#line 720 "rx-decode.opc"
+#line 733 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5267,7 +5267,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("jsr    %0");
-#line 720 "rx-decode.opc"
+#line 733 "rx-decode.opc"
                 ID(jsr); DR(rsrc);
               
               }
@@ -5290,7 +5290,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x4f:
               {
                 /** 0111 1111 0100 rsrc                bra.l   %0 */
-#line 713 "rx-decode.opc"
+#line 726 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5300,7 +5300,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("bra.l  %0");
-#line 713 "rx-decode.opc"
+#line 726 "rx-decode.opc"
                 ID(branchrel); DR(rsrc);
               
               
@@ -5324,7 +5324,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x5f:
               {
                 /** 0111 1111 0101 rsrc                bsr.l   %0 */
-#line 729 "rx-decode.opc"
+#line 742 "rx-decode.opc"
                 int rsrc AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5334,7 +5334,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rsrc = 0x%x\n", rsrc);
                   }
                 SYNTAX("bsr.l  %0");
-#line 729 "rx-decode.opc"
+#line 742 "rx-decode.opc"
                 ID(jsrrel); DR(rsrc);
               
               }
@@ -5344,7 +5344,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x82:
               {
                 /** 0111 1111 1000 00sz                suntil%s */
-#line 753 "rx-decode.opc"
+#line 766 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
@@ -5354,7 +5354,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("suntil%s");
-#line 753 "rx-decode.opc"
+#line 766 "rx-decode.opc"
                 ID(suntil); BWL(sz); F___ZC;
               
               }
@@ -5369,7 +5369,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("scmpu");
-#line 744 "rx-decode.opc"
+#line 757 "rx-decode.opc"
                 ID(scmpu); F___ZC;
               
               }
@@ -5379,7 +5379,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x86:
               {
                 /** 0111 1111 1000 01sz                swhile%s */
-#line 756 "rx-decode.opc"
+#line 769 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
@@ -5389,7 +5389,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("swhile%s");
-#line 756 "rx-decode.opc"
+#line 769 "rx-decode.opc"
                 ID(swhile); BWL(sz); F___ZC;
               
               }
@@ -5404,7 +5404,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("smovu");
-#line 747 "rx-decode.opc"
+#line 760 "rx-decode.opc"
                 ID(smovu);
               
               }
@@ -5414,7 +5414,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x8a:
               {
                 /** 0111 1111 1000 10sz                sstr%s */
-#line 762 "rx-decode.opc"
+#line 775 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
@@ -5424,7 +5424,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("sstr%s");
-#line 762 "rx-decode.opc"
+#line 775 "rx-decode.opc"
                 ID(sstr); BWL(sz);
               
               /*----------------------------------------------------------------------*/
@@ -5442,7 +5442,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("smovb");
-#line 750 "rx-decode.opc"
+#line 763 "rx-decode.opc"
                 ID(smovb);
               
               }
@@ -5452,7 +5452,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0x8e:
               {
                 /** 0111 1111 1000 11sz                rmpa%s */
-#line 768 "rx-decode.opc"
+#line 781 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
@@ -5462,7 +5462,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("rmpa%s");
-#line 768 "rx-decode.opc"
+#line 781 "rx-decode.opc"
                 ID(rmpa); BWL(sz); F_OS__;
               
               /*----------------------------------------------------------------------*/
@@ -5480,7 +5480,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("smovf");
-#line 759 "rx-decode.opc"
+#line 772 "rx-decode.opc"
                 ID(smovf);
               
               }
@@ -5495,7 +5495,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("satr");
-#line 810 "rx-decode.opc"
+#line 823 "rx-decode.opc"
                 ID(satr);
               
               /*----------------------------------------------------------------------*/
@@ -5513,7 +5513,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("rtfi");
-#line 937 "rx-decode.opc"
+#line 950 "rx-decode.opc"
                 ID(rtfi);
               
               }
@@ -5528,7 +5528,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("rte");
-#line 940 "rx-decode.opc"
+#line 953 "rx-decode.opc"
                 ID(rte);
               
               }
@@ -5543,7 +5543,7 @@ rx_decode_opcode (unsigned long pc AU,
                            op[0], op[1]);
                   }
                 SYNTAX("wait");
-#line 952 "rx-decode.opc"
+#line 965 "rx-decode.opc"
                 ID(wait);
               
               /*----------------------------------------------------------------------*/
@@ -5569,7 +5569,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0xaf:
               {
                 /** 0111 1111 1010 rdst                        setpsw  %0 */
-#line 913 "rx-decode.opc"
+#line 926 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5579,7 +5579,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("setpsw %0");
-#line 913 "rx-decode.opc"
+#line 926 "rx-decode.opc"
                 ID(setpsw); DF(rdst);
               
               }
@@ -5602,7 +5602,7 @@ rx_decode_opcode (unsigned long pc AU,
           case 0xbf:
               {
                 /** 0111 1111 1011 rdst                        clrpsw  %0 */
-#line 910 "rx-decode.opc"
+#line 923 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -5612,7 +5612,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("clrpsw %0");
-#line 910 "rx-decode.opc"
+#line 923 "rx-decode.opc"
                 ID(clrpsw); DF(rdst);
               
               }
@@ -5628,17 +5628,17 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_38:
               {
                 /** 10sz 0dsp a dst b src      mov%s   %1, %0 */
-#line 296 "rx-decode.opc"
+#line 309 "rx-decode.opc"
                 int sz AU = (op[0] >> 4) & 0x03;
-#line 296 "rx-decode.opc"
+#line 309 "rx-decode.opc"
                 int dsp AU = op[0] & 0x07;
-#line 296 "rx-decode.opc"
+#line 309 "rx-decode.opc"
                 int a AU = (op[1] >> 7) & 0x01;
-#line 296 "rx-decode.opc"
+#line 309 "rx-decode.opc"
                 int dst AU = (op[1] >> 4) & 0x07;
-#line 296 "rx-decode.opc"
+#line 309 "rx-decode.opc"
                 int b AU = (op[1] >> 3) & 0x01;
-#line 296 "rx-decode.opc"
+#line 309 "rx-decode.opc"
                 int src AU = op[1] & 0x07;
                 if (trace)
                   {
@@ -5653,7 +5653,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  src = 0x%x\n", src);
                   }
                 SYNTAX("mov%s  %1, %0");
-#line 296 "rx-decode.opc"
+#line 309 "rx-decode.opc"
                 ID(mov); sBWL(sz); DIs(dst, dsp*4+a*2+b, sz); SR(src); F_____;
               
               }
@@ -5731,17 +5731,17 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_39:
               {
                 /** 10sz 1dsp a src b dst      mov%s   %1, %0 */
-#line 293 "rx-decode.opc"
+#line 306 "rx-decode.opc"
                 int sz AU = (op[0] >> 4) & 0x03;
-#line 293 "rx-decode.opc"
+#line 306 "rx-decode.opc"
                 int dsp AU = op[0] & 0x07;
-#line 293 "rx-decode.opc"
+#line 306 "rx-decode.opc"
                 int a AU = (op[1] >> 7) & 0x01;
-#line 293 "rx-decode.opc"
+#line 306 "rx-decode.opc"
                 int src AU = (op[1] >> 4) & 0x07;
-#line 293 "rx-decode.opc"
+#line 306 "rx-decode.opc"
                 int b AU = (op[1] >> 3) & 0x01;
-#line 293 "rx-decode.opc"
+#line 306 "rx-decode.opc"
                 int dst AU = op[1] & 0x07;
                 if (trace)
                   {
@@ -5756,7 +5756,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  dst = 0x%x\n", dst);
                   }
                 SYNTAX("mov%s  %1, %0");
-#line 293 "rx-decode.opc"
+#line 306 "rx-decode.opc"
                 ID(mov); sBWL(sz); DR(dst); SIs(src, dsp*4+a*2+b, sz); F_____;
               
               }
@@ -6122,17 +6122,17 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_40:
               {
                 /** 1011 w dsp a src b dst     movu%s  %1, %0 */
-#line 316 "rx-decode.opc"
+#line 329 "rx-decode.opc"
                 int w AU = (op[0] >> 3) & 0x01;
-#line 316 "rx-decode.opc"
+#line 329 "rx-decode.opc"
                 int dsp AU = op[0] & 0x07;
-#line 316 "rx-decode.opc"
+#line 329 "rx-decode.opc"
                 int a AU = (op[1] >> 7) & 0x01;
-#line 316 "rx-decode.opc"
+#line 329 "rx-decode.opc"
                 int src AU = (op[1] >> 4) & 0x07;
-#line 316 "rx-decode.opc"
+#line 329 "rx-decode.opc"
                 int b AU = (op[1] >> 3) & 0x01;
-#line 316 "rx-decode.opc"
+#line 329 "rx-decode.opc"
                 int dst AU = op[1] & 0x07;
                 if (trace)
                   {
@@ -6147,7 +6147,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  dst = 0x%x\n", dst);
                   }
                 SYNTAX("movu%s %1, %0");
-#line 316 "rx-decode.opc"
+#line 329 "rx-decode.opc"
                 ID(mov); uBWL(w); DR(dst); SIs(src, dsp*4+a*2+b, w); F_____;
               
               }
@@ -6297,15 +6297,15 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_41:
               {
                 /** 11sz sd ss rsrc rdst       mov%s   %1, %0 */
-#line 274 "rx-decode.opc"
+#line 287 "rx-decode.opc"
                 int sz AU = (op[0] >> 4) & 0x03;
-#line 274 "rx-decode.opc"
+#line 287 "rx-decode.opc"
                 int sd AU = (op[0] >> 2) & 0x03;
-#line 274 "rx-decode.opc"
+#line 287 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 274 "rx-decode.opc"
+#line 287 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 274 "rx-decode.opc"
+#line 287 "rx-decode.opc"
                 int rdst AU = op[1] & 0x0f;
                 if (trace)
                   {
@@ -6319,7 +6319,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  rdst = 0x%x\n", rdst);
                   }
                 SYNTAX("mov%s  %1, %0");
-#line 274 "rx-decode.opc"
+#line 287 "rx-decode.opc"
                 if (ss == 3 && sz == 2 && rsrc == 0 && rdst == 0)
                   {
                     ID(nop2);
@@ -6773,11 +6773,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_42:
               {
                 /** 1111 00sd rdst 0bit                        bset    #%1, %0%S0 */
-#line 861 "rx-decode.opc"
+#line 874 "rx-decode.opc"
                 int sd AU = op[0] & 0x03;
-#line 861 "rx-decode.opc"
+#line 874 "rx-decode.opc"
                 int rdst AU = (op[1] >> 4) & 0x0f;
-#line 861 "rx-decode.opc"
+#line 874 "rx-decode.opc"
                 int bit AU = op[1] & 0x07;
                 if (trace)
                   {
@@ -6789,7 +6789,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  bit = 0x%x\n", bit);
                   }
                 SYNTAX("bset   #%1, %0%S0");
-#line 861 "rx-decode.opc"
+#line 874 "rx-decode.opc"
                 ID(bset); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE); F_____;
               
               }
@@ -6798,11 +6798,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_43:
               {
                 /** 1111 00sd rdst 1bit                        bclr    #%1, %0%S0 */
-#line 871 "rx-decode.opc"
+#line 884 "rx-decode.opc"
                 int sd AU = op[0] & 0x03;
-#line 871 "rx-decode.opc"
+#line 884 "rx-decode.opc"
                 int rdst AU = (op[1] >> 4) & 0x0f;
-#line 871 "rx-decode.opc"
+#line 884 "rx-decode.opc"
                 int bit AU = op[1] & 0x07;
                 if (trace)
                   {
@@ -6814,7 +6814,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  bit = 0x%x\n", bit);
                   }
                 SYNTAX("bclr   #%1, %0%S0");
-#line 871 "rx-decode.opc"
+#line 884 "rx-decode.opc"
                 ID(bclr); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE); F_____;
               
               }
@@ -6866,11 +6866,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_44:
               {
                 /** 1111 01sd rdst 0bit                        btst    #%2, %1%S1 */
-#line 881 "rx-decode.opc"
+#line 894 "rx-decode.opc"
                 int sd AU = op[0] & 0x03;
-#line 881 "rx-decode.opc"
+#line 894 "rx-decode.opc"
                 int rdst AU = (op[1] >> 4) & 0x0f;
-#line 881 "rx-decode.opc"
+#line 894 "rx-decode.opc"
                 int bit AU = op[1] & 0x07;
                 if (trace)
                   {
@@ -6882,7 +6882,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  bit = 0x%x\n", bit);
                   }
                 SYNTAX("btst   #%2, %1%S1");
-#line 881 "rx-decode.opc"
+#line 894 "rx-decode.opc"
                 ID(btst); BWL(BSIZE); S2C(bit); SD(sd, rdst, BSIZE); F___ZC;
               
               }
@@ -6891,11 +6891,11 @@ rx_decode_opcode (unsigned long pc AU,
             op_semantics_45:
               {
                 /** 1111 01ss rsrc 10sz                push%s  %1 */
-#line 341 "rx-decode.opc"
+#line 354 "rx-decode.opc"
                 int ss AU = op[0] & 0x03;
-#line 341 "rx-decode.opc"
+#line 354 "rx-decode.opc"
                 int rsrc AU = (op[1] >> 4) & 0x0f;
-#line 341 "rx-decode.opc"
+#line 354 "rx-decode.opc"
                 int sz AU = op[1] & 0x03;
                 if (trace)
                   {
@@ -6907,7 +6907,7 @@ rx_decode_opcode (unsigned long pc AU,
                     printf ("  sz = 0x%x\n", sz);
                   }
                 SYNTAX("push%s %1");
-#line 341 "rx-decode.opc"
+#line 354 "rx-decode.opc"
                 ID(mov); BWL(sz); OP(0, RX_Operand_Predec, 0, 0); SD(ss, rsrc, sz); F_____;
               
               /*----------------------------------------------------------------------*/
@@ -6988,7 +6988,20 @@ rx_decode_opcode (unsigned long pc AU,
                   }
                 SYNTAX("mov%s  #%1, %0");
 #line 265 "rx-decode.opc"
-                ID(mov); sBWL (sz); DD(sd, rdst, sz); SC(IMMex(im)); F_____;
+                ID(mov); DD(sd, rdst, sz);
+                if ((im == 1 && sz == 0)
+                    || (im == 2 && sz == 1)
+                    || (im == 0 && sz == 2))
+                  {
+                    BWL (sz);
+                    SC(IMM(im));
+                  }
+                else
+                  {
+                    sBWL (sz);
+                    SC(IMMex(im));
+                  }
+                 F_____;
               
               }
             break;
@@ -7032,9 +7045,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1100 0000 0011 rsrc rdst        sbb     %1, %0 */
-#line 515 "rx-decode.opc"
+#line 528 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 515 "rx-decode.opc"
+#line 528 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7045,7 +7058,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("sbb      %1, %0");
-#line 515 "rx-decode.opc"
+#line 528 "rx-decode.opc"
                       ID(sbb); SR (rsrc); DR(rdst); F_OSZC;
                     
                       /* FIXME: only supports .L */
@@ -7060,9 +7073,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1100 0000 0111 rsrc rdst        neg     %2, %0 */
-#line 446 "rx-decode.opc"
+#line 459 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 446 "rx-decode.opc"
+#line 459 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7073,7 +7086,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("neg      %2, %0");
-#line 446 "rx-decode.opc"
+#line 459 "rx-decode.opc"
                       ID(sub); DR(rdst); SC(0); S2R(rsrc); F_OSZC;
                     
                     /*----------------------------------------------------------------------*/
@@ -7090,9 +7103,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1100 0000 1011 rsrc rdst        adc     %1, %0 */
-#line 455 "rx-decode.opc"
+#line 468 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 455 "rx-decode.opc"
+#line 468 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7103,7 +7116,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("adc      %1, %0");
-#line 455 "rx-decode.opc"
+#line 468 "rx-decode.opc"
                       ID(adc); SR(rsrc); DR(rdst); F_OSZC;
                     
                     }
@@ -7117,9 +7130,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1100 0000 1111 rsrc rdst        abs     %1, %0 */
-#line 528 "rx-decode.opc"
+#line 541 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 528 "rx-decode.opc"
+#line 541 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7130,7 +7143,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("abs      %1, %0");
-#line 528 "rx-decode.opc"
+#line 541 "rx-decode.opc"
                       ID(abs); DR(rdst); SR(rsrc); F_OSZ_;
                     
                     /*----------------------------------------------------------------------*/
@@ -7148,11 +7161,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_47:
                     {
                       /** 1111 1100 0001 00ss rsrc rdst        max     %1%S1, %0 */
-#line 537 "rx-decode.opc"
+#line 550 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 537 "rx-decode.opc"
+#line 550 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 537 "rx-decode.opc"
+#line 550 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7164,7 +7177,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("max      %1%S1, %0");
-#line 537 "rx-decode.opc"
+#line 550 "rx-decode.opc"
                       if (ss == 3 && rsrc == 0 && rdst == 0)
                         {
                           ID(nop3);
@@ -7214,11 +7227,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_48:
                     {
                       /** 1111 1100 0001 01ss rsrc rdst        min     %1%S1, %0 */
-#line 557 "rx-decode.opc"
+#line 570 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 557 "rx-decode.opc"
+#line 570 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 557 "rx-decode.opc"
+#line 570 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7230,7 +7243,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("min      %1%S1, %0");
-#line 557 "rx-decode.opc"
+#line 570 "rx-decode.opc"
                       ID(min); SP(ss, rsrc); DR(rdst);
                     
                     }
@@ -7272,11 +7285,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_49:
                     {
                       /** 1111 1100 0001 10ss rsrc rdst        emul    %1%S1, %0 */
-#line 587 "rx-decode.opc"
+#line 600 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 587 "rx-decode.opc"
+#line 600 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 587 "rx-decode.opc"
+#line 600 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7288,7 +7301,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("emul     %1%S1, %0");
-#line 587 "rx-decode.opc"
+#line 600 "rx-decode.opc"
                       ID(emul); SP(ss, rsrc); DR(rdst);
                     
                     }
@@ -7330,11 +7343,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_50:
                     {
                       /** 1111 1100 0001 11ss rsrc rdst        emulu   %1%S1, %0 */
-#line 599 "rx-decode.opc"
+#line 612 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 599 "rx-decode.opc"
+#line 612 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 599 "rx-decode.opc"
+#line 612 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7346,7 +7359,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("emulu    %1%S1, %0");
-#line 599 "rx-decode.opc"
+#line 612 "rx-decode.opc"
                       ID(emulu); SP(ss, rsrc); DR(rdst);
                     
                     }
@@ -7388,11 +7401,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_51:
                     {
                       /** 1111 1100 0010 00ss rsrc rdst        div     %1%S1, %0 */
-#line 611 "rx-decode.opc"
+#line 624 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 611 "rx-decode.opc"
+#line 624 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 611 "rx-decode.opc"
+#line 624 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7404,7 +7417,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("div      %1%S1, %0");
-#line 611 "rx-decode.opc"
+#line 624 "rx-decode.opc"
                       ID(div); SP(ss, rsrc); DR(rdst); F_O___;
                     
                     }
@@ -7446,11 +7459,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_52:
                     {
                       /** 1111 1100 0010 01ss rsrc rdst        divu    %1%S1, %0 */
-#line 623 "rx-decode.opc"
+#line 636 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 623 "rx-decode.opc"
+#line 636 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 623 "rx-decode.opc"
+#line 636 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7462,7 +7475,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("divu     %1%S1, %0");
-#line 623 "rx-decode.opc"
+#line 636 "rx-decode.opc"
                       ID(divu); SP(ss, rsrc); DR(rdst); F_O___;
                     
                     }
@@ -7504,11 +7517,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_53:
                     {
                       /** 1111 1100 0011 00ss rsrc rdst        tst     %1%S1, %2 */
-#line 434 "rx-decode.opc"
+#line 447 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 434 "rx-decode.opc"
+#line 447 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 434 "rx-decode.opc"
+#line 447 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7520,7 +7533,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("tst      %1%S1, %2");
-#line 434 "rx-decode.opc"
+#line 447 "rx-decode.opc"
                       ID(and); SP(ss, rsrc); S2R(rdst); F__SZ_;
                     
                     }
@@ -7562,11 +7575,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_54:
                     {
                       /** 1111 1100 0011 01ss rsrc rdst        xor     %1%S1, %0 */
-#line 413 "rx-decode.opc"
+#line 426 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 413 "rx-decode.opc"
+#line 426 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 413 "rx-decode.opc"
+#line 426 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7578,7 +7591,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("xor      %1%S1, %0");
-#line 413 "rx-decode.opc"
+#line 426 "rx-decode.opc"
                       ID(xor); SP(ss, rsrc); DR(rdst); F__SZ_;
                     
                     }
@@ -7619,9 +7632,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1100 0011 1011 rsrc rdst        not     %1, %0 */
-#line 425 "rx-decode.opc"
+#line 438 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 425 "rx-decode.opc"
+#line 438 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7632,7 +7645,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("not      %1, %0");
-#line 425 "rx-decode.opc"
+#line 438 "rx-decode.opc"
                       ID(xor); DR(rdst); SR(rsrc); S2C(~0); F__SZ_;
                     
                     /*----------------------------------------------------------------------*/
@@ -7650,11 +7663,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_55:
                     {
                       /** 1111 1100 0100 00ss rsrc rdst        xchg    %1%S1, %0 */
-#line 347 "rx-decode.opc"
+#line 360 "rx-decode.opc"
                       int ss AU = op[1] & 0x03;
-#line 347 "rx-decode.opc"
+#line 360 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 347 "rx-decode.opc"
+#line 360 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7666,7 +7679,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("xchg     %1%S1, %0");
-#line 347 "rx-decode.opc"
+#line 360 "rx-decode.opc"
                       ID(xchg); DR(rdst); SP(ss, rsrc);
                     
                     }
@@ -7708,11 +7721,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_56:
                     {
                       /** 1111 1100 0100 01sd rsrc rdst        itof    %1%S1, %0 */
-#line 852 "rx-decode.opc"
+#line 865 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 852 "rx-decode.opc"
+#line 865 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 852 "rx-decode.opc"
+#line 865 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7724,7 +7737,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("itof     %1%S1, %0");
-#line 852 "rx-decode.opc"
+#line 865 "rx-decode.opc"
                       ID(itof); DR (rdst); SP(sd, rsrc); F__SZ_;
                     
                     }
@@ -7766,11 +7779,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_57:
                     {
                       /** 1111 1100 0110 00sd rdst rsrc        bset    %1, %0%S0 */
-#line 864 "rx-decode.opc"
+#line 877 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 864 "rx-decode.opc"
+#line 877 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 864 "rx-decode.opc"
+#line 877 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7782,7 +7795,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("bset     %1, %0%S0");
-#line 864 "rx-decode.opc"
+#line 877 "rx-decode.opc"
                       ID(bset); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE); F_____;
                     
                     }
@@ -7824,11 +7837,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_58:
                     {
                       /** 1111 1100 0110 01sd rdst rsrc        bclr    %1, %0%S0 */
-#line 874 "rx-decode.opc"
+#line 887 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 874 "rx-decode.opc"
+#line 887 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 874 "rx-decode.opc"
+#line 887 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7840,7 +7853,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("bclr     %1, %0%S0");
-#line 874 "rx-decode.opc"
+#line 887 "rx-decode.opc"
                       ID(bclr); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE); F_____;
                     
                     }
@@ -7882,11 +7895,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_59:
                     {
                       /** 1111 1100 0110 10sd rdst rsrc        btst    %2, %1%S1 */
-#line 884 "rx-decode.opc"
+#line 897 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 884 "rx-decode.opc"
+#line 897 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 884 "rx-decode.opc"
+#line 897 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7898,7 +7911,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("btst     %2, %1%S1");
-#line 884 "rx-decode.opc"
+#line 897 "rx-decode.opc"
                       ID(btst); BWL(BSIZE); S2R(rsrc); SD(sd, rdst, BSIZE); F___ZC;
                     
                     }
@@ -7940,11 +7953,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_60:
                     {
                       /** 1111 1100 0110 11sd rdst rsrc        bnot    %1, %0%S0 */
-#line 894 "rx-decode.opc"
+#line 907 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 894 "rx-decode.opc"
+#line 907 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 894 "rx-decode.opc"
+#line 907 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -7956,7 +7969,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("bnot     %1, %0%S0");
-#line 894 "rx-decode.opc"
+#line 907 "rx-decode.opc"
                       ID(bnot); BWL(BSIZE); SR(rsrc); DD(sd, rdst, BSIZE);
                     
                     }
@@ -7998,11 +8011,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_61:
                     {
                       /** 1111 1100 1000 00sd rsrc rdst        fsub    %1%S1, %0 */
-#line 831 "rx-decode.opc"
+#line 844 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 831 "rx-decode.opc"
+#line 844 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 831 "rx-decode.opc"
+#line 844 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8014,7 +8027,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fsub     %1%S1, %0");
-#line 831 "rx-decode.opc"
+#line 844 "rx-decode.opc"
                       ID(fsub); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
                     
                     }
@@ -8056,11 +8069,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_62:
                     {
                       /** 1111 1100 1000 01sd rsrc rdst        fcmp    %1%S1, %0 */
-#line 825 "rx-decode.opc"
+#line 838 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 825 "rx-decode.opc"
+#line 838 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 825 "rx-decode.opc"
+#line 838 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8072,7 +8085,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fcmp     %1%S1, %0");
-#line 825 "rx-decode.opc"
+#line 838 "rx-decode.opc"
                       ID(fcmp); DR(rdst); SD(sd, rsrc, LSIZE); F_OSZ_;
                     
                     }
@@ -8114,11 +8127,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_63:
                     {
                       /** 1111 1100 1000 10sd rsrc rdst        fadd    %1%S1, %0 */
-#line 819 "rx-decode.opc"
+#line 832 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 819 "rx-decode.opc"
+#line 832 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 819 "rx-decode.opc"
+#line 832 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8130,7 +8143,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fadd     %1%S1, %0");
-#line 819 "rx-decode.opc"
+#line 832 "rx-decode.opc"
                       ID(fadd); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
                     
                     }
@@ -8172,11 +8185,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_64:
                     {
                       /** 1111 1100 1000 11sd rsrc rdst        fmul    %1%S1, %0 */
-#line 840 "rx-decode.opc"
+#line 853 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 840 "rx-decode.opc"
+#line 853 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 840 "rx-decode.opc"
+#line 853 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8188,7 +8201,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fmul     %1%S1, %0");
-#line 840 "rx-decode.opc"
+#line 853 "rx-decode.opc"
                       ID(fmul); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
                     
                     }
@@ -8230,11 +8243,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_65:
                     {
                       /** 1111 1100 1001 00sd rsrc rdst        fdiv    %1%S1, %0 */
-#line 846 "rx-decode.opc"
+#line 859 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 846 "rx-decode.opc"
+#line 859 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 846 "rx-decode.opc"
+#line 859 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8246,7 +8259,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fdiv     %1%S1, %0");
-#line 846 "rx-decode.opc"
+#line 859 "rx-decode.opc"
                       ID(fdiv); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
                     
                     }
@@ -8288,11 +8301,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_66:
                     {
                       /** 1111 1100 1001 01sd rsrc rdst        ftoi    %1%S1, %0 */
-#line 834 "rx-decode.opc"
+#line 847 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 834 "rx-decode.opc"
+#line 847 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 834 "rx-decode.opc"
+#line 847 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8304,7 +8317,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("ftoi     %1%S1, %0");
-#line 834 "rx-decode.opc"
+#line 847 "rx-decode.opc"
                       ID(ftoi); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
                     
                     }
@@ -8346,11 +8359,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_67:
                     {
                       /** 1111 1100 1001 10sd rsrc rdst        round   %1%S1, %0 */
-#line 849 "rx-decode.opc"
+#line 862 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 849 "rx-decode.opc"
+#line 862 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 849 "rx-decode.opc"
+#line 862 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8362,7 +8375,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("round    %1%S1, %0");
-#line 849 "rx-decode.opc"
+#line 862 "rx-decode.opc"
                       ID(round); DR(rdst); SD(sd, rsrc, LSIZE); F__SZ_;
                     
                     }
@@ -8404,13 +8417,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_68:
                     {
                       /** 1111 1100 1101 sz sd rdst cond       sc%1%s  %0 */
-#line 958 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                       int sz AU = (op[1] >> 2) & 0x03;
-#line 958 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 958 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 958 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                       int cond AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8423,7 +8436,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  cond = 0x%x\n", cond);
                         }
                       SYNTAX("sc%1%s   %0");
-#line 958 "rx-decode.opc"
+#line 971 "rx-decode.opc"
                       ID(sccnd); BWL(sz); DD (sd, rdst, sz); Scc(cond);
                     
                     }
@@ -8551,13 +8564,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_69:
                     {
                       /** 1111 1100 111bit sd rdst cond        bm%2    #%1, %0%S0 */
-#line 901 "rx-decode.opc"
+#line 914 "rx-decode.opc"
                       int bit AU = (op[1] >> 2) & 0x07;
-#line 901 "rx-decode.opc"
+#line 914 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 901 "rx-decode.opc"
+#line 914 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 901 "rx-decode.opc"
+#line 914 "rx-decode.opc"
                       int cond AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -8570,7 +8583,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  cond = 0x%x\n", cond);
                         }
                       SYNTAX("bm%2     #%1, %0%S0");
-#line 901 "rx-decode.opc"
+#line 914 "rx-decode.opc"
                       ID(bmcc); BWL(BSIZE); S2cc(cond); SC(bit); DD(sd, rdst, BSIZE);
                     
                     }
@@ -8579,11 +8592,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_70:
                     {
                       /** 1111 1100 111bit sd rdst 1111        bnot    #%1, %0%S0 */
-#line 891 "rx-decode.opc"
+#line 904 "rx-decode.opc"
                       int bit AU = (op[1] >> 2) & 0x07;
-#line 891 "rx-decode.opc"
+#line 904 "rx-decode.opc"
                       int sd AU = op[1] & 0x03;
-#line 891 "rx-decode.opc"
+#line 904 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
                       if (trace)
                         {
@@ -8595,7 +8608,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("bnot     #%1, %0%S0");
-#line 891 "rx-decode.opc"
+#line 904 "rx-decode.opc"
                       ID(bnot); BWL(BSIZE); SC(bit); DD(sd, rdst, BSIZE);
                     
                     }
@@ -9422,9 +9435,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0000 0000 srca srcb        mulhi   %1, %2 */
-#line 774 "rx-decode.opc"
+#line 787 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 774 "rx-decode.opc"
+#line 787 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9435,7 +9448,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("mulhi    %1, %2");
-#line 774 "rx-decode.opc"
+#line 787 "rx-decode.opc"
                       ID(mulhi); SR(srca); S2R(srcb); F_____;
                     
                     }
@@ -9449,9 +9462,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0000 0001 srca srcb        mullo   %1, %2 */
-#line 777 "rx-decode.opc"
+#line 790 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 777 "rx-decode.opc"
+#line 790 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9462,7 +9475,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("mullo    %1, %2");
-#line 777 "rx-decode.opc"
+#line 790 "rx-decode.opc"
                       ID(mullo); SR(srca); S2R(srcb); F_____;
                     
                     }
@@ -9476,9 +9489,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0000 0100 srca srcb        machi   %1, %2 */
-#line 780 "rx-decode.opc"
+#line 793 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 780 "rx-decode.opc"
+#line 793 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9489,7 +9502,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("machi    %1, %2");
-#line 780 "rx-decode.opc"
+#line 793 "rx-decode.opc"
                       ID(machi); SR(srca); S2R(srcb); F_____;
                     
                     }
@@ -9503,9 +9516,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0000 0101 srca srcb        maclo   %1, %2 */
-#line 783 "rx-decode.opc"
+#line 796 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 783 "rx-decode.opc"
+#line 796 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9516,7 +9529,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("maclo    %1, %2");
-#line 783 "rx-decode.opc"
+#line 796 "rx-decode.opc"
                       ID(maclo); SR(srca); S2R(srcb); F_____;
                     
                     }
@@ -9530,7 +9543,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0001 0111 0000 rsrc        mvtachi %1 */
-#line 786 "rx-decode.opc"
+#line 799 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9540,7 +9553,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("mvtachi  %1");
-#line 786 "rx-decode.opc"
+#line 799 "rx-decode.opc"
                       ID(mvtachi); SR(rsrc); F_____;
                     
                     }
@@ -9548,7 +9561,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x10:
                     {
                       /** 1111 1101 0001 0111 0001 rsrc        mvtaclo %1 */
-#line 789 "rx-decode.opc"
+#line 802 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9558,7 +9571,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("mvtaclo  %1");
-#line 789 "rx-decode.opc"
+#line 802 "rx-decode.opc"
                       ID(mvtaclo); SR(rsrc); F_____;
                     
                     }
@@ -9573,7 +9586,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0001 1000 000i 0000        racw    #%1 */
-#line 801 "rx-decode.opc"
+#line 814 "rx-decode.opc"
                       int i AU = (op[2] >> 4) & 0x01;
                       if (trace)
                         {
@@ -9583,7 +9596,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  i = 0x%x\n", i);
                         }
                       SYNTAX("racw     #%1");
-#line 801 "rx-decode.opc"
+#line 814 "rx-decode.opc"
                       ID(racw); SC(i+1); F_____;
                     
                     /*----------------------------------------------------------------------*/
@@ -9601,7 +9614,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0001 1111 0000 rdst        mvfachi %0 */
-#line 792 "rx-decode.opc"
+#line 805 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9611,7 +9624,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfachi  %0");
-#line 792 "rx-decode.opc"
+#line 805 "rx-decode.opc"
                       ID(mvfachi); DR(rdst); F_____;
                     
                     }
@@ -9619,7 +9632,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x10:
                     {
                       /** 1111 1101 0001 1111 0001 rdst        mvfaclo %0 */
-#line 798 "rx-decode.opc"
+#line 811 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9629,7 +9642,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfaclo  %0");
-#line 798 "rx-decode.opc"
+#line 811 "rx-decode.opc"
                       ID(mvfaclo); DR(rdst); F_____;
                     
                     }
@@ -9637,7 +9650,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x20:
                     {
                       /** 1111 1101 0001 1111 0010 rdst        mvfacmi %0 */
-#line 795 "rx-decode.opc"
+#line 808 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9647,7 +9660,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfacmi  %0");
-#line 795 "rx-decode.opc"
+#line 808 "rx-decode.opc"
                       ID(mvfacmi); DR(rdst); F_____;
                     
                     }
@@ -9663,13 +9676,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_71:
                     {
                       /** 1111 1101 0010 0p sz rdst rsrc       mov%s   %1, %0 */
-#line 308 "rx-decode.opc"
+#line 321 "rx-decode.opc"
                       int p AU = (op[1] >> 2) & 0x01;
-#line 308 "rx-decode.opc"
+#line 321 "rx-decode.opc"
                       int sz AU = op[1] & 0x03;
-#line 308 "rx-decode.opc"
+#line 321 "rx-decode.opc"
                       int rdst AU = (op[2] >> 4) & 0x0f;
-#line 308 "rx-decode.opc"
+#line 321 "rx-decode.opc"
                       int rsrc AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9682,7 +9695,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rsrc = 0x%x\n", rsrc);
                         }
                       SYNTAX("mov%s    %1, %0");
-#line 308 "rx-decode.opc"
+#line 321 "rx-decode.opc"
                       ID(mov); sBWL (sz); SR(rsrc); F_____;
                       OP(0, p ? RX_Operand_Predec : RX_Operand_Postinc, rdst, 0);
                     
@@ -9743,13 +9756,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_72:
                     {
                       /** 1111 1101 0010 1p sz rsrc rdst       mov%s   %1, %0 */
-#line 312 "rx-decode.opc"
+#line 325 "rx-decode.opc"
                       int p AU = (op[1] >> 2) & 0x01;
-#line 312 "rx-decode.opc"
+#line 325 "rx-decode.opc"
                       int sz AU = op[1] & 0x03;
-#line 312 "rx-decode.opc"
+#line 325 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 312 "rx-decode.opc"
+#line 325 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9762,7 +9775,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mov%s    %1, %0");
-#line 312 "rx-decode.opc"
+#line 325 "rx-decode.opc"
                       ID(mov); sBWL (sz); DR(rdst); F_____;
                       OP(1, p ? RX_Operand_Predec : RX_Operand_Postinc, rsrc, 0);
                     
@@ -9823,13 +9836,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_73:
                     {
                       /** 1111 1101 0011 1p sz rsrc rdst       movu%s  %1, %0 */
-#line 322 "rx-decode.opc"
+#line 335 "rx-decode.opc"
                       int p AU = (op[1] >> 2) & 0x01;
-#line 322 "rx-decode.opc"
+#line 335 "rx-decode.opc"
                       int sz AU = op[1] & 0x03;
-#line 322 "rx-decode.opc"
+#line 335 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 322 "rx-decode.opc"
+#line 335 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9842,7 +9855,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("movu%s   %1, %0");
-#line 322 "rx-decode.opc"
+#line 335 "rx-decode.opc"
                       ID(mov); uBWL (sz); DR(rdst); F_____;
                        OP(1, p ? RX_Operand_Predec : RX_Operand_Postinc, rsrc, 0);
                     
@@ -9905,9 +9918,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0110 0000 rsrc rdst        shlr    %2, %0 */
-#line 655 "rx-decode.opc"
+#line 668 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 655 "rx-decode.opc"
+#line 668 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9918,7 +9931,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shlr     %2, %0");
-#line 655 "rx-decode.opc"
+#line 668 "rx-decode.opc"
                       ID(shlr); S2R(rsrc); SR(rdst); DR(rdst); F__SZC;
                     
                     }
@@ -9932,9 +9945,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0110 0001 rsrc rdst        shar    %2, %0 */
-#line 645 "rx-decode.opc"
+#line 658 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 645 "rx-decode.opc"
+#line 658 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9945,7 +9958,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shar     %2, %0");
-#line 645 "rx-decode.opc"
+#line 658 "rx-decode.opc"
                       ID(shar); S2R(rsrc); SR(rdst); DR(rdst); F_0SZC;
                     
                     }
@@ -9959,9 +9972,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0110 0010 rsrc rdst        shll    %2, %0 */
-#line 635 "rx-decode.opc"
+#line 648 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 635 "rx-decode.opc"
+#line 648 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9972,7 +9985,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shll     %2, %0");
-#line 635 "rx-decode.opc"
+#line 648 "rx-decode.opc"
                       ID(shll); S2R(rsrc); SR(rdst); DR(rdst); F_OSZC;
                     
                     }
@@ -9986,9 +9999,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0110 0100 rsrc rdst        rotr    %1, %0 */
-#line 679 "rx-decode.opc"
+#line 692 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 679 "rx-decode.opc"
+#line 692 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -9999,7 +10012,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("rotr     %1, %0");
-#line 679 "rx-decode.opc"
+#line 692 "rx-decode.opc"
                       ID(rotr); SR(rsrc); DR(rdst); F__SZC;
                     
                     }
@@ -10013,9 +10026,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0110 0101 rsrc rdst        revw    %1, %0 */
-#line 682 "rx-decode.opc"
+#line 695 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 682 "rx-decode.opc"
+#line 695 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10026,7 +10039,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("revw     %1, %0");
-#line 682 "rx-decode.opc"
+#line 695 "rx-decode.opc"
                       ID(revw); SR(rsrc); DR(rdst);
                     
                     }
@@ -10040,9 +10053,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0110 0110 rsrc rdst        rotl    %1, %0 */
-#line 673 "rx-decode.opc"
+#line 686 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 673 "rx-decode.opc"
+#line 686 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10053,7 +10066,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("rotl     %1, %0");
-#line 673 "rx-decode.opc"
+#line 686 "rx-decode.opc"
                       ID(rotl); SR(rsrc); DR(rdst); F__SZC;
                     
                     }
@@ -10067,9 +10080,9 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0110 0111 rsrc rdst        revl    %1, %0 */
-#line 685 "rx-decode.opc"
+#line 698 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 685 "rx-decode.opc"
+#line 698 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10080,7 +10093,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("revl     %1, %0");
-#line 685 "rx-decode.opc"
+#line 698 "rx-decode.opc"
                       ID(revl); SR(rsrc); DR(rdst);
                     
                     /*----------------------------------------------------------------------*/
@@ -10098,11 +10111,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_74:
                     {
                       /** 1111 1101 0110 100c rsrc rdst        mvtc    %1, %0 */
-#line 928 "rx-decode.opc"
+#line 941 "rx-decode.opc"
                       int c AU = op[1] & 0x01;
-#line 928 "rx-decode.opc"
+#line 941 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 928 "rx-decode.opc"
+#line 941 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10114,7 +10127,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvtc     %1, %0");
-#line 928 "rx-decode.opc"
+#line 941 "rx-decode.opc"
                       ID(mov); SR(rsrc); DR(c*16+rdst + 16);
                     
                     }
@@ -10138,11 +10151,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_75:
                     {
                       /** 1111 1101 0110 101s rsrc rdst        mvfc    %1, %0 */
-#line 931 "rx-decode.opc"
+#line 944 "rx-decode.opc"
                       int s AU = op[1] & 0x01;
-#line 931 "rx-decode.opc"
+#line 944 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 931 "rx-decode.opc"
+#line 944 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10154,7 +10167,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mvfc     %1, %0");
-#line 931 "rx-decode.opc"
+#line 944 "rx-decode.opc"
                       ID(mov); SR((s*16+rsrc) + 16); DR(rdst);
                     
                     /*----------------------------------------------------------------------*/
@@ -10181,11 +10194,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_76:
                     {
                       /** 1111 1101 0110 110i mmmm rdst        rotr    #%1, %0 */
-#line 676 "rx-decode.opc"
+#line 689 "rx-decode.opc"
                       int i AU = op[1] & 0x01;
-#line 676 "rx-decode.opc"
+#line 689 "rx-decode.opc"
                       int mmmm AU = (op[2] >> 4) & 0x0f;
-#line 676 "rx-decode.opc"
+#line 689 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10197,7 +10210,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("rotr     #%1, %0");
-#line 676 "rx-decode.opc"
+#line 689 "rx-decode.opc"
                       ID(rotr); SC(i*16+mmmm); DR(rdst); F__SZC;
                     
                     }
@@ -10221,11 +10234,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_77:
                     {
                       /** 1111 1101 0110 111i mmmm rdst        rotl    #%1, %0 */
-#line 670 "rx-decode.opc"
+#line 683 "rx-decode.opc"
                       int i AU = op[1] & 0x01;
-#line 670 "rx-decode.opc"
+#line 683 "rx-decode.opc"
                       int mmmm AU = (op[2] >> 4) & 0x0f;
-#line 670 "rx-decode.opc"
+#line 683 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10237,7 +10250,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("rotl     #%1, %0");
-#line 670 "rx-decode.opc"
+#line 683 "rx-decode.opc"
                       ID(rotl); SC(i*16+mmmm); DR(rdst); F__SZC;
                     
                     }
@@ -10261,9 +10274,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_78:
                     {
                       /** 1111 1101 0111 im00 0010rdst adc     #%1, %0 */
-#line 452 "rx-decode.opc"
+#line 465 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 452 "rx-decode.opc"
+#line 465 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10274,7 +10287,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("adc      #%1, %0");
-#line 452 "rx-decode.opc"
+#line 465 "rx-decode.opc"
                       ID(adc); SC(IMMex(im)); DR(rdst); F_OSZC;
                     
                     }
@@ -10283,9 +10296,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_79:
                     {
                       /** 1111 1101 0111 im00 0100rdst max     #%1, %0 */
-#line 534 "rx-decode.opc"
+#line 547 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 534 "rx-decode.opc"
+#line 547 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10296,7 +10309,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("max      #%1, %0");
-#line 534 "rx-decode.opc"
+#line 547 "rx-decode.opc"
                       ID(max); DR(rdst); SC(IMMex(im));
                     
                     }
@@ -10305,9 +10318,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_80:
                     {
                       /** 1111 1101 0111 im00 0101rdst min     #%1, %0 */
-#line 554 "rx-decode.opc"
+#line 567 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 554 "rx-decode.opc"
+#line 567 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10318,7 +10331,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("min      #%1, %0");
-#line 554 "rx-decode.opc"
+#line 567 "rx-decode.opc"
                       ID(min); DR(rdst); SC(IMMex(im));
                     
                     }
@@ -10327,9 +10340,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_81:
                     {
                       /** 1111 1101 0111 im00 0110rdst emul    #%1, %0 */
-#line 584 "rx-decode.opc"
+#line 597 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 584 "rx-decode.opc"
+#line 597 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10340,7 +10353,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("emul     #%1, %0");
-#line 584 "rx-decode.opc"
+#line 597 "rx-decode.opc"
                       ID(emul); DR(rdst); SC(IMMex(im));
                     
                     }
@@ -10349,9 +10362,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_82:
                     {
                       /** 1111 1101 0111 im00 0111rdst emulu   #%1, %0 */
-#line 596 "rx-decode.opc"
+#line 609 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 596 "rx-decode.opc"
+#line 609 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10362,7 +10375,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("emulu    #%1, %0");
-#line 596 "rx-decode.opc"
+#line 609 "rx-decode.opc"
                       ID(emulu); DR(rdst); SC(IMMex(im));
                     
                     }
@@ -10371,9 +10384,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_83:
                     {
                       /** 1111 1101 0111 im00 1000rdst div     #%1, %0 */
-#line 608 "rx-decode.opc"
+#line 621 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 608 "rx-decode.opc"
+#line 621 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10384,7 +10397,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("div      #%1, %0");
-#line 608 "rx-decode.opc"
+#line 621 "rx-decode.opc"
                       ID(div); DR(rdst); SC(IMMex(im)); F_O___;
                     
                     }
@@ -10393,9 +10406,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_84:
                     {
                       /** 1111 1101 0111 im00 1001rdst divu    #%1, %0 */
-#line 620 "rx-decode.opc"
+#line 633 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 620 "rx-decode.opc"
+#line 633 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10406,7 +10419,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("divu     #%1, %0");
-#line 620 "rx-decode.opc"
+#line 633 "rx-decode.opc"
                       ID(divu); DR(rdst); SC(IMMex(im)); F_O___;
                     
                     }
@@ -10415,9 +10428,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_85:
                     {
                       /** 1111 1101 0111 im00 1100rdst tst     #%1, %2 */
-#line 431 "rx-decode.opc"
+#line 444 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 431 "rx-decode.opc"
+#line 444 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10428,7 +10441,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("tst      #%1, %2");
-#line 431 "rx-decode.opc"
+#line 444 "rx-decode.opc"
                       ID(and); SC(IMMex(im)); S2R(rdst); F__SZ_;
                     
                     }
@@ -10437,9 +10450,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_86:
                     {
                       /** 1111 1101 0111 im00 1101rdst xor     #%1, %0 */
-#line 410 "rx-decode.opc"
+#line 423 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 410 "rx-decode.opc"
+#line 423 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10450,7 +10463,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("xor      #%1, %0");
-#line 410 "rx-decode.opc"
+#line 423 "rx-decode.opc"
                       ID(xor); SC(IMMex(im)); DR(rdst); F__SZ_;
                     
                     }
@@ -10459,9 +10472,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_87:
                     {
                       /** 1111 1101 0111 im00 1110rdst stz     #%1, %0 */
-#line 356 "rx-decode.opc"
+#line 369 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 356 "rx-decode.opc"
+#line 369 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10472,7 +10485,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("stz      #%1, %0");
-#line 356 "rx-decode.opc"
+#line 369 "rx-decode.opc"
                       ID(stcc); SC(IMMex(im)); DR(rdst); S2cc(RXC_z);
                     
                     }
@@ -10481,9 +10494,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_88:
                     {
                       /** 1111 1101 0111 im00 1111rdst stnz    #%1, %0 */
-#line 359 "rx-decode.opc"
+#line 372 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 359 "rx-decode.opc"
+#line 372 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10494,7 +10507,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("stnz     #%1, %0");
-#line 359 "rx-decode.opc"
+#line 372 "rx-decode.opc"
                       ID(stcc); SC(IMMex(im)); DR(rdst); S2cc(RXC_nz);
                     
                     /*----------------------------------------------------------------------*/
@@ -10512,7 +10525,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x00:
                     {
                       /** 1111 1101 0111 0010 0000 rdst        fsub    #%1, %0 */
-#line 828 "rx-decode.opc"
+#line 841 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10522,7 +10535,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fsub     #%1, %0");
-#line 828 "rx-decode.opc"
+#line 841 "rx-decode.opc"
                       ID(fsub); DR(rdst); SC(IMM(0)); F__SZ_;
                     
                     }
@@ -10530,7 +10543,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x10:
                     {
                       /** 1111 1101 0111 0010 0001 rdst        fcmp    #%1, %0 */
-#line 822 "rx-decode.opc"
+#line 835 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10540,7 +10553,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fcmp     #%1, %0");
-#line 822 "rx-decode.opc"
+#line 835 "rx-decode.opc"
                       ID(fcmp); DR(rdst); SC(IMM(0)); F_OSZ_;
                     
                     }
@@ -10548,7 +10561,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x20:
                     {
                       /** 1111 1101 0111 0010 0010 rdst        fadd    #%1, %0 */
-#line 816 "rx-decode.opc"
+#line 829 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10558,7 +10571,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fadd     #%1, %0");
-#line 816 "rx-decode.opc"
+#line 829 "rx-decode.opc"
                       ID(fadd); DR(rdst); SC(IMM(0)); F__SZ_;
                     
                     }
@@ -10566,7 +10579,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x30:
                     {
                       /** 1111 1101 0111 0010 0011 rdst        fmul    #%1, %0 */
-#line 837 "rx-decode.opc"
+#line 850 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10576,7 +10589,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fmul     #%1, %0");
-#line 837 "rx-decode.opc"
+#line 850 "rx-decode.opc"
                       ID(fmul); DR(rdst); SC(IMM(0)); F__SZ_;
                     
                     }
@@ -10584,7 +10597,7 @@ rx_decode_opcode (unsigned long pc AU,
                 case 0x40:
                     {
                       /** 1111 1101 0111 0010 0100 rdst        fdiv    #%1, %0 */
-#line 843 "rx-decode.opc"
+#line 856 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10594,7 +10607,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("fdiv     #%1, %0");
-#line 843 "rx-decode.opc"
+#line 856 "rx-decode.opc"
                       ID(fdiv); DR(rdst); SC(IMM(0)); F__SZ_;
                     
                     }
@@ -10610,9 +10623,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_89:
                     {
                       /** 1111 1101 0111 im11 000crdst mvtc    #%1, %0 */
-#line 925 "rx-decode.opc"
+#line 938 "rx-decode.opc"
                       int im AU = (op[1] >> 2) & 0x03;
-#line 925 "rx-decode.opc"
+#line 938 "rx-decode.opc"
                       int crdst AU = op[2] & 0x1f;
                       if (trace)
                         {
@@ -10623,7 +10636,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  crdst = 0x%x\n", crdst);
                         }
                       SYNTAX("mvtc     #%1, %0");
-#line 925 "rx-decode.opc"
+#line 938 "rx-decode.opc"
                       ID(mov); SC(IMMex(im)); DR(crdst + 16);
                     
                     }
@@ -10789,11 +10802,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_90:
                     {
                       /** 1111 1101 100immmm rsrc rdst shlr    #%2, %1, %0 */
-#line 658 "rx-decode.opc"
+#line 671 "rx-decode.opc"
                       int immmm AU = op[1] & 0x1f;
-#line 658 "rx-decode.opc"
+#line 671 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 658 "rx-decode.opc"
+#line 671 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -10805,7 +10818,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shlr     #%2, %1, %0");
-#line 658 "rx-decode.opc"
+#line 671 "rx-decode.opc"
                       ID(shlr); S2C(immmm); SR(rsrc); DR(rdst); F__SZC;
                     
                     /*----------------------------------------------------------------------*/
@@ -11102,11 +11115,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_91:
                     {
                       /** 1111 1101 101immmm rsrc rdst shar    #%2, %1, %0 */
-#line 648 "rx-decode.opc"
+#line 661 "rx-decode.opc"
                       int immmm AU = op[1] & 0x1f;
-#line 648 "rx-decode.opc"
+#line 661 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 648 "rx-decode.opc"
+#line 661 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -11118,7 +11131,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shar     #%2, %1, %0");
-#line 648 "rx-decode.opc"
+#line 661 "rx-decode.opc"
                       ID(shar); S2C(immmm); SR(rsrc); DR(rdst); F_0SZC;
                     
                     
@@ -11413,11 +11426,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_92:
                     {
                       /** 1111 1101 110immmm rsrc rdst shll    #%2, %1, %0 */
-#line 638 "rx-decode.opc"
+#line 651 "rx-decode.opc"
                       int immmm AU = op[1] & 0x1f;
-#line 638 "rx-decode.opc"
+#line 651 "rx-decode.opc"
                       int rsrc AU = (op[2] >> 4) & 0x0f;
-#line 638 "rx-decode.opc"
+#line 651 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -11429,7 +11442,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("shll     #%2, %1, %0");
-#line 638 "rx-decode.opc"
+#line 651 "rx-decode.opc"
                       ID(shll); S2C(immmm); SR(rsrc); DR(rdst); F_OSZC;
                     
                     
@@ -11738,11 +11751,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_93:
                     {
                       /** 1111 1101 111 bittt cond rdst        bm%2    #%1, %0%S0 */
-#line 904 "rx-decode.opc"
+#line 917 "rx-decode.opc"
                       int bittt AU = op[1] & 0x1f;
-#line 904 "rx-decode.opc"
+#line 917 "rx-decode.opc"
                       int cond AU = (op[2] >> 4) & 0x0f;
-#line 904 "rx-decode.opc"
+#line 917 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -11754,7 +11767,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("bm%2     #%1, %0%S0");
-#line 904 "rx-decode.opc"
+#line 917 "rx-decode.opc"
                       ID(bmcc); BWL(LSIZE); S2cc(cond); SC(bittt); DR(rdst);
                     
                     /*----------------------------------------------------------------------*/
@@ -11766,9 +11779,9 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_94:
                     {
                       /** 1111 1101 111bittt 1111 rdst bnot    #%1, %0 */
-#line 897 "rx-decode.opc"
+#line 910 "rx-decode.opc"
                       int bittt AU = op[1] & 0x1f;
-#line 897 "rx-decode.opc"
+#line 910 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -11779,7 +11792,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("bnot     #%1, %0");
-#line 897 "rx-decode.opc"
+#line 910 "rx-decode.opc"
                       ID(bnot); BWL(LSIZE); SC(bittt); DR(rdst);
                     
                     
@@ -12608,13 +12621,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_95:
                     {
                       /** 1111 1110 00sz isrc bsrc rdst        mov%s   %0, [%1, %2] */
-#line 302 "rx-decode.opc"
+#line 315 "rx-decode.opc"
                       int sz AU = (op[1] >> 4) & 0x03;
-#line 302 "rx-decode.opc"
+#line 315 "rx-decode.opc"
                       int isrc AU = op[1] & 0x0f;
-#line 302 "rx-decode.opc"
+#line 315 "rx-decode.opc"
                       int bsrc AU = (op[2] >> 4) & 0x0f;
-#line 302 "rx-decode.opc"
+#line 315 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -12627,7 +12640,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mov%s    %0, [%1, %2]");
-#line 302 "rx-decode.opc"
+#line 315 "rx-decode.opc"
                       ID(movbir); sBWL(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
                     
                     }
@@ -13065,13 +13078,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_96:
                     {
                       /** 1111 1110 01sz isrc bsrc rdst        mov%s   [%1, %2], %0 */
-#line 299 "rx-decode.opc"
+#line 312 "rx-decode.opc"
                       int sz AU = (op[1] >> 4) & 0x03;
-#line 299 "rx-decode.opc"
+#line 312 "rx-decode.opc"
                       int isrc AU = op[1] & 0x0f;
-#line 299 "rx-decode.opc"
+#line 312 "rx-decode.opc"
                       int bsrc AU = (op[2] >> 4) & 0x0f;
-#line 299 "rx-decode.opc"
+#line 312 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -13084,7 +13097,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("mov%s    [%1, %2], %0");
-#line 299 "rx-decode.opc"
+#line 312 "rx-decode.opc"
                       ID(movbi); sBWL(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
                     
                     }
@@ -13522,13 +13535,13 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_97:
                     {
                       /** 1111 1110 11sz isrc bsrc rdst        movu%s  [%1, %2], %0 */
-#line 305 "rx-decode.opc"
+#line 318 "rx-decode.opc"
                       int sz AU = (op[1] >> 4) & 0x03;
-#line 305 "rx-decode.opc"
+#line 318 "rx-decode.opc"
                       int isrc AU = op[1] & 0x0f;
-#line 305 "rx-decode.opc"
+#line 318 "rx-decode.opc"
                       int bsrc AU = (op[2] >> 4) & 0x0f;
-#line 305 "rx-decode.opc"
+#line 318 "rx-decode.opc"
                       int rdst AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -13541,7 +13554,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  rdst = 0x%x\n", rdst);
                         }
                       SYNTAX("movu%s   [%1, %2], %0");
-#line 305 "rx-decode.opc"
+#line 318 "rx-decode.opc"
                       ID(movbi); uBWL(sz); DR(rdst); SRR(isrc); S2R(bsrc); F_____;
                     
                     }
@@ -13986,11 +13999,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_98:
                     {
                       /** 1111 1111 0000 rdst srca srcb        sub     %2, %1, %0 */
-#line 509 "rx-decode.opc"
+#line 522 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 509 "rx-decode.opc"
+#line 522 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 509 "rx-decode.opc"
+#line 522 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -14002,7 +14015,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("sub      %2, %1, %0");
-#line 509 "rx-decode.opc"
+#line 522 "rx-decode.opc"
                       ID(sub); DR(rdst); SR(srcb); S2R(srca); F_OSZC;
                     
                     /*----------------------------------------------------------------------*/
@@ -14155,11 +14168,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_99:
                     {
                       /** 1111 1111 0010 rdst srca srcb        add     %2, %1, %0 */
-#line 476 "rx-decode.opc"
+#line 489 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 476 "rx-decode.opc"
+#line 489 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 476 "rx-decode.opc"
+#line 489 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -14171,7 +14184,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("add      %2, %1, %0");
-#line 476 "rx-decode.opc"
+#line 489 "rx-decode.opc"
                       ID(add); DR(rdst); SR(srcb); S2R(srca); F_OSZC;
                     
                     /*----------------------------------------------------------------------*/
@@ -14324,11 +14337,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_100:
                     {
                       /** 1111 1111 0011 rdst srca srcb        mul     %2, %1, %0 */
-#line 578 "rx-decode.opc"
+#line 591 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 578 "rx-decode.opc"
+#line 591 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 578 "rx-decode.opc"
+#line 591 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -14340,7 +14353,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("mul      %2, %1, %0");
-#line 578 "rx-decode.opc"
+#line 591 "rx-decode.opc"
                       ID(mul); DR(rdst); SR(srcb); S2R(srca); F_____;
                     
                     /*----------------------------------------------------------------------*/
@@ -14493,11 +14506,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_101:
                     {
                       /** 1111 1111 0100 rdst srca srcb        and     %2, %1, %0 */
-#line 386 "rx-decode.opc"
+#line 399 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 386 "rx-decode.opc"
+#line 399 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 386 "rx-decode.opc"
+#line 399 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -14509,7 +14522,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("and      %2, %1, %0");
-#line 386 "rx-decode.opc"
+#line 399 "rx-decode.opc"
                       ID(and); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
                     
                     /*----------------------------------------------------------------------*/
@@ -14662,11 +14675,11 @@ rx_decode_opcode (unsigned long pc AU,
                   op_semantics_102:
                     {
                       /** 1111 1111 0101 rdst srca srcb        or      %2, %1, %0 */
-#line 404 "rx-decode.opc"
+#line 417 "rx-decode.opc"
                       int rdst AU = op[1] & 0x0f;
-#line 404 "rx-decode.opc"
+#line 417 "rx-decode.opc"
                       int srca AU = (op[2] >> 4) & 0x0f;
-#line 404 "rx-decode.opc"
+#line 417 "rx-decode.opc"
                       int srcb AU = op[2] & 0x0f;
                       if (trace)
                         {
@@ -14678,7 +14691,7 @@ rx_decode_opcode (unsigned long pc AU,
                           printf ("  srcb = 0x%x\n", srcb);
                         }
                       SYNTAX("or       %2, %1, %0");
-#line 404 "rx-decode.opc"
+#line 417 "rx-decode.opc"
                       ID(or); DR(rdst); SR(srcb); S2R(srca); F__SZ_;
                     
                     /*----------------------------------------------------------------------*/
@@ -14828,7 +14841,7 @@ rx_decode_opcode (unsigned long pc AU,
       break;
     default: UNSUPPORTED(); break;
   }
-#line 961 "rx-decode.opc"
+#line 974 "rx-decode.opc"
 
   return rx->n_bytes;
 }

diff --git a/opcodes/rx-decode.opc b/opcodes/rx-decode.opc
index a426b86416a0d1c415abbd222591a2a7320272e5..b28ea8cf2d055ca9a31be6deeb47820cc89db4ba 100644 (file)
--- a/opcodes/rx-decode.opc
+++ b/opcodes/rx-decode.opc
@@ -262,7 +262,20 @@ rx_decode_opcode (unsigned long pc AU,
   ID(mov); DR(rdst); SC(IMM (1)); F_____;
 
 /** 1111 10sd rdst im sz       mov%s   #%1, %0 */
-  ID(mov); sBWL (sz); DD(sd, rdst, sz); SC(IMMex(im)); F_____;
+  ID(mov); DD(sd, rdst, sz);
+  if ((im == 1 && sz == 0)
+      || (im == 2 && sz == 1)
+      || (im == 0 && sz == 2))
+    {
+      BWL (sz);
+      SC(IMM(im));
+    }
+  else
+    {
+      sBWL (sz);
+      SC(IMMex(im));
+    }
+   F_____;
 
 /** 0110 0110 immm rdst                mov%s   #%1, %0 */
   ID(mov); DR(rdst); SC(immm); F_____;