10987654321098765432109876543210
                          0xxx0000xxxxxxxxxxxxxxxxxxxxxxxx
                          adr.  */
-                      return 1185;
+                      return 1183;
                     }
                   else
                     {
                          10987654321098765432109876543210
                          1xxx0000xxxxxxxxxxxxxxxxxxxxxxxx
                          adrp.  */
-                      return 1186;
+                      return 1184;
                     }
                 }
               else
                                              10987654321098765432109876543210
                                              0x00100x001xxxxx0xxxxxxxxxxxxxxx
                                              casp.  */
-                                          return 1020;
+                                          return 1018;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              0x00100x001xxxxx1xxxxxxxxxxxxxxx
                                              caspl.  */
-                                          return 1022;
+                                          return 1020;
                                         }
                                       else
                                         {
                                      10987654321098765432109876543210
                                      x010100x00xxxxxxxxxxxxxxxxxxxxxx
                                      stnp.  */
-                                  return 969;
+                                  return 967;
                                 }
                               else
                                 {
                                      10987654321098765432109876543210
                                      x110100x00xxxxxxxxxxxxxxxxxxxxxx
                                      stgp.  */
-                                  return 978;
+                                  return 976;
                                 }
                             }
                         }
                                              10987654321098765432109876543210
                                              0x00100x100xxxxx0xxxxxxxxxxxxxxx
                                              stllrb.  */
-                                          return 967;
+                                          return 965;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              1x00100x100xxxxx0xxxxxxxxxxxxxxx
                                              stllr.  */
-                                          return 966;
+                                          return 964;
                                         }
                                     }
                                   else
                                                  10987654321098765432109876543210
                                                  0000100x101xxxxx0xxxxxxxxxxxxxxx
                                                  casb.  */
-                                              return 1008;
+                                              return 1006;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  0100100x101xxxxx0xxxxxxxxxxxxxxx
                                                  cash.  */
-                                              return 1009;
+                                              return 1007;
                                             }
                                         }
                                       else
                                              10987654321098765432109876543210
                                              1x00100x101xxxxx0xxxxxxxxxxxxxxx
                                              cas.  */
-                                          return 1010;
+                                          return 1008;
                                         }
                                     }
                                 }
                                                  10987654321098765432109876543210
                                                  0000100x101xxxxx1xxxxxxxxxxxxxxx
                                                  caslb.  */
-                                              return 1012;
+                                              return 1010;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  0100100x101xxxxx1xxxxxxxxxxxxxxx
                                                  caslh.  */
-                                              return 1015;
+                                              return 1013;
                                             }
                                         }
                                       else
                                              10987654321098765432109876543210
                                              1x00100x101xxxxx1xxxxxxxxxxxxxxx
                                              casl.  */
-                                          return 1018;
+                                          return 1016;
                                         }
                                     }
                                 }
                                      10987654321098765432109876543210
                                      x010100x10xxxxxxxxxxxxxxxxxxxxxx
                                      stp.  */
-                                  return 979;
+                                  return 977;
                                 }
                               else
                                 {
                                      10987654321098765432109876543210
                                      x110100x10xxxxxxxxxxxxxxxxxxxxxx
                                      stgp.  */
-                                  return 984;
+                                  return 982;
                                 }
                             }
                         }
                                              10987654321098765432109876543210
                                              0x00100x011xxxxx0xxxxxxxxxxxxxxx
                                              caspa.  */
-                                          return 1021;
+                                          return 1019;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              0x00100x011xxxxx1xxxxxxxxxxxxxxx
                                              caspal.  */
-                                          return 1023;
+                                          return 1021;
                                         }
                                       else
                                         {
                                      10987654321098765432109876543210
                                      x010100x01xxxxxxxxxxxxxxxxxxxxxx
                                      ldnp.  */
-                                  return 970;
+                                  return 968;
                                 }
                               else
                                 {
                                      10987654321098765432109876543210
                                      x110100x01xxxxxxxxxxxxxxxxxxxxxx
                                      ldpsw.  */
-                                  return 977;
+                                  return 975;
                                 }
                             }
                         }
                                                  10987654321098765432109876543210
                                                  0000100x110xxxxx0xxxxxxxxxxxxxxx
                                                  ldlarb.  */
-                                              return 964;
+                                              return 962;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  0100100x110xxxxx0xxxxxxxxxxxxxxx
                                                  ldlarh.  */
-                                              return 965;
+                                              return 963;
                                             }
                                         }
                                       else
                                              10987654321098765432109876543210
                                              1x00100x110xxxxx0xxxxxxxxxxxxxxx
                                              ldlar.  */
-                                          return 963;
+                                          return 961;
                                         }
                                     }
                                   else
                                                  10987654321098765432109876543210
                                                  0000100x111xxxxx0xxxxxxxxxxxxxxx
                                                  casab.  */
-                                              return 1011;
+                                              return 1009;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  0100100x111xxxxx0xxxxxxxxxxxxxxx
                                                  casah.  */
-                                              return 1014;
+                                              return 1012;
                                             }
                                         }
                                       else
                                              10987654321098765432109876543210
                                              1x00100x111xxxxx0xxxxxxxxxxxxxxx
                                              casa.  */
-                                          return 1017;
+                                          return 1015;
                                         }
                                     }
                                 }
                                                  10987654321098765432109876543210
                                                  0000100x111xxxxx1xxxxxxxxxxxxxxx
                                                  casalb.  */
-                                              return 1013;
+                                              return 1011;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  0100100x111xxxxx1xxxxxxxxxxxxxxx
                                                  casalh.  */
-                                              return 1016;
+                                              return 1014;
                                             }
                                         }
                                       else
                                              10987654321098765432109876543210
                                              1x00100x111xxxxx1xxxxxxxxxxxxxxx
                                              casal.  */
-                                          return 1019;
+                                          return 1017;
                                         }
                                     }
                                 }
                                      10987654321098765432109876543210
                                      x010100x11xxxxxxxxxxxxxxxxxxxxxx
                                      ldp.  */
-                                  return 980;
+                                  return 978;
                                 }
                               else
                                 {
                                      10987654321098765432109876543210
                                      x110100x11xxxxxxxxxxxxxxxxxxxxxx
                                      ldpsw.  */
-                                  return 983;
+                                  return 981;
                                 }
                             }
                         }
                                  10987654321098765432109876543210
                                  0x011000xxxxxxxxxxxxxxxxxxxxxxxx
                                  ldr.  */
-                              return 985;
+                              return 983;
                             }
                           else
                             {
                                      10987654321098765432109876543210
                                      10011000xxxxxxxxxxxxxxxxxxxxxxxx
                                      ldrsw.  */
-                                  return 987;
+                                  return 985;
                                 }
                               else
                                 {
                                      10987654321098765432109876543210
                                      11011000xxxxxxxxxxxxxxxxxxxxxxxx
                                      prfm.  */
-                                  return 988;
+                                  return 986;
                                 }
                             }
                         }
                                                                          10987654321098765432109876543210
                                                                          00111000001xxxxx000000xxxxxxxxxx
                                                                          ldaddb.  */
-                                                                      return 1036;
+                                                                      return 1034;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000001xxxxx000000xxxxxxxxxx
                                                                          ldaddh.  */
-                                                                      return 1037;
+                                                                      return 1035;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000001xxxxx000000xxxxxxxxxx
                                                                      ldadd.  */
-                                                                  return 1038;
+                                                                  return 1036;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          00111000101xxxxx000000xxxxxxxxxx
                                                                          ldaddab.  */
-                                                                      return 1039;
+                                                                      return 1037;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000101xxxxx000000xxxxxxxxxx
                                                                          ldaddah.  */
-                                                                      return 1042;
+                                                                      return 1040;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000101xxxxx000000xxxxxxxxxx
                                                                      ldadda.  */
-                                                                  return 1045;
+                                                                  return 1043;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          00111000011xxxxx000000xxxxxxxxxx
                                                                          ldaddlb.  */
-                                                                      return 1040;
+                                                                      return 1038;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000011xxxxx000000xxxxxxxxxx
                                                                          ldaddlh.  */
-                                                                      return 1043;
+                                                                      return 1041;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000011xxxxx000000xxxxxxxxxx
                                                                      ldaddl.  */
-                                                                  return 1046;
+                                                                  return 1044;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          00111000111xxxxx000000xxxxxxxxxx
                                                                          ldaddalb.  */
-                                                                      return 1041;
+                                                                      return 1039;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000111xxxxx000000xxxxxxxxxx
                                                                          ldaddalh.  */
-                                                                      return 1044;
+                                                                      return 1042;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000111xxxxx000000xxxxxxxxxx
                                                                      ldaddal.  */
-                                                                  return 1047;
+                                                                  return 1045;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          00111000001xxxxx100000xxxxxxxxxx
                                                                          swpb.  */
-                                                                      return 1024;
+                                                                      return 1022;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000001xxxxx100000xxxxxxxxxx
                                                                          swph.  */
-                                                                      return 1025;
+                                                                      return 1023;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000001xxxxx100000xxxxxxxxxx
                                                                      swp.  */
-                                                                  return 1026;
+                                                                  return 1024;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          00111000101xxxxx100000xxxxxxxxxx
                                                                          swpab.  */
-                                                                      return 1027;
+                                                                      return 1025;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000101xxxxx100000xxxxxxxxxx
                                                                          swpah.  */
-                                                                      return 1030;
+                                                                      return 1028;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000101xxxxx100000xxxxxxxxxx
                                                                      swpa.  */
-                                                                  return 1033;
+                                                                  return 1031;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          00111000011xxxxx100000xxxxxxxxxx
                                                                          swplb.  */
-                                                                      return 1028;
+                                                                      return 1026;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000011xxxxx100000xxxxxxxxxx
                                                                          swplh.  */
-                                                                      return 1031;
+                                                                      return 1029;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000011xxxxx100000xxxxxxxxxx
                                                                      swpl.  */
-                                                                  return 1034;
+                                                                  return 1032;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          00111000111xxxxx100000xxxxxxxxxx
                                                                          swpalb.  */
-                                                                      return 1029;
+                                                                      return 1027;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000111xxxxx100000xxxxxxxxxx
                                                                          swpalh.  */
-                                                                      return 1032;
+                                                                      return 1030;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000111xxxxx100000xxxxxxxxxx
                                                                      swpal.  */
-                                                                  return 1035;
+                                                                  return 1033;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          00111000001xxxxx010000xxxxxxxxxx
                                                                          ldsmaxb.  */
-                                                                      return 1084;
+                                                                      return 1082;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000001xxxxx010000xxxxxxxxxx
                                                                          ldsmaxh.  */
-                                                                      return 1085;
+                                                                      return 1083;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000001xxxxx010000xxxxxxxxxx
                                                                      ldsmax.  */
-                                                                  return 1086;
+                                                                  return 1084;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          00111000101xxxxx010000xxxxxxxxxx
                                                                          ldsmaxab.  */
-                                                                      return 1087;
+                                                                      return 1085;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000101xxxxx010000xxxxxxxxxx
                                                                          ldsmaxah.  */
-                                                                      return 1090;
+                                                                      return 1088;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000101xxxxx010000xxxxxxxxxx
                                                                      ldsmaxa.  */
-                                                                  return 1093;
+                                                                  return 1091;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          00111000011xxxxx010000xxxxxxxxxx
                                                                          ldsmaxlb.  */
-                                                                      return 1088;
+                                                                      return 1086;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000011xxxxx010000xxxxxxxxxx
                                                                          ldsmaxlh.  */
-                                                                      return 1091;
+                                                                      return 1089;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000011xxxxx010000xxxxxxxxxx
                                                                      ldsmaxl.  */
-                                                                  return 1094;
+                                                                  return 1092;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          00111000111xxxxx010000xxxxxxxxxx
                                                                          ldsmaxalb.  */
-                                                                      return 1089;
+                                                                      return 1087;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          01111000111xxxxx010000xxxxxxxxxx
                                                                          ldsmaxalh.  */
-                                                                      return 1092;
+                                                                      return 1090;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      1x111000111xxxxx010000xxxxxxxxxx
                                                                      ldsmaxal.  */
-                                                                  return 1095;
+                                                                  return 1093;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      00111000001xxxxxx01000xxxxxxxxxx
                                                                      ldeorb.  */
-                                                                  return 1060;
+                                                                  return 1058;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000001xxxxxx01000xxxxxxxxxx
                                                                      ldeorh.  */
-                                                                  return 1061;
+                                                                  return 1059;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000001xxxxxx01000xxxxxxxxxx
                                                                  ldeor.  */
-                                                              return 1062;
+                                                              return 1060;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000101xxxxxx01000xxxxxxxxxx
                                                                      ldeorab.  */
-                                                                  return 1063;
+                                                                  return 1061;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000101xxxxxx01000xxxxxxxxxx
                                                                      ldeorah.  */
-                                                                  return 1066;
+                                                                  return 1064;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000101xxxxxx01000xxxxxxxxxx
                                                                  ldeora.  */
-                                                              return 1069;
+                                                              return 1067;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000011xxxxxx01000xxxxxxxxxx
                                                                      ldeorlb.  */
-                                                                  return 1064;
+                                                                  return 1062;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000011xxxxxx01000xxxxxxxxxx
                                                                      ldeorlh.  */
-                                                                  return 1067;
+                                                                  return 1065;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000011xxxxxx01000xxxxxxxxxx
                                                                  ldeorl.  */
-                                                              return 1070;
+                                                              return 1068;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000111xxxxxx01000xxxxxxxxxx
                                                                      ldeoralb.  */
-                                                                  return 1065;
+                                                                  return 1063;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000111xxxxxx01000xxxxxxxxxx
                                                                      ldeoralh.  */
-                                                                  return 1068;
+                                                                  return 1066;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000111xxxxxx01000xxxxxxxxxx
                                                                  ldeoral.  */
-                                                              return 1071;
+                                                              return 1069;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000001xxxxxx11000xxxxxxxxxx
                                                                      ldumaxb.  */
-                                                                  return 1108;
+                                                                  return 1106;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000001xxxxxx11000xxxxxxxxxx
                                                                      ldumaxh.  */
-                                                                  return 1109;
+                                                                  return 1107;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000001xxxxxx11000xxxxxxxxxx
                                                                  ldumax.  */
-                                                              return 1110;
+                                                              return 1108;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000101xxxxxx11000xxxxxxxxxx
                                                                      ldumaxab.  */
-                                                                  return 1111;
+                                                                  return 1109;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000101xxxxxx11000xxxxxxxxxx
                                                                      ldumaxah.  */
-                                                                  return 1114;
+                                                                  return 1112;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000101xxxxxx11000xxxxxxxxxx
                                                                  ldumaxa.  */
-                                                              return 1117;
+                                                              return 1115;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000011xxxxxx11000xxxxxxxxxx
                                                                      ldumaxlb.  */
-                                                                  return 1112;
+                                                                  return 1110;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000011xxxxxx11000xxxxxxxxxx
                                                                      ldumaxlh.  */
-                                                                  return 1115;
+                                                                  return 1113;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000011xxxxxx11000xxxxxxxxxx
                                                                  ldumaxl.  */
-                                                              return 1118;
+                                                              return 1116;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000111xxxxxx11000xxxxxxxxxx
                                                                      ldumaxalb.  */
-                                                                  return 1113;
+                                                                  return 1111;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000111xxxxxx11000xxxxxxxxxx
                                                                      ldumaxalh.  */
-                                                                  return 1116;
+                                                                  return 1114;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000111xxxxxx11000xxxxxxxxxx
                                                                  ldumaxal.  */
-                                                              return 1119;
+                                                              return 1117;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000001xxxxxx00100xxxxxxxxxx
                                                                      ldclrb.  */
-                                                                  return 1048;
+                                                                  return 1046;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000001xxxxxx00100xxxxxxxxxx
                                                                      ldclrh.  */
-                                                                  return 1049;
+                                                                  return 1047;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000001xxxxxx00100xxxxxxxxxx
                                                                  ldclr.  */
-                                                              return 1050;
+                                                              return 1048;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000101xxxxxx00100xxxxxxxxxx
                                                                      ldclrab.  */
-                                                                  return 1051;
+                                                                  return 1049;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000101xxxxxx00100xxxxxxxxxx
                                                                      ldclrah.  */
-                                                                  return 1054;
+                                                                  return 1052;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000101xxxxxx00100xxxxxxxxxx
                                                                  ldclra.  */
-                                                              return 1057;
+                                                              return 1055;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000011xxxxxx00100xxxxxxxxxx
                                                                      ldclrlb.  */
-                                                                  return 1052;
+                                                                  return 1050;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000011xxxxxx00100xxxxxxxxxx
                                                                      ldclrlh.  */
-                                                                  return 1055;
+                                                                  return 1053;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000011xxxxxx00100xxxxxxxxxx
                                                                  ldclrl.  */
-                                                              return 1058;
+                                                              return 1056;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000111xxxxxx00100xxxxxxxxxx
                                                                      ldclralb.  */
-                                                                  return 1053;
+                                                                  return 1051;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000111xxxxxx00100xxxxxxxxxx
                                                                      ldclralh.  */
-                                                                  return 1056;
+                                                                  return 1054;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000111xxxxxx00100xxxxxxxxxx
                                                                  ldclral.  */
-                                                              return 1059;
+                                                              return 1057;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000001xxxxxx10100xxxxxxxxxx
                                                                      ldsminb.  */
-                                                                  return 1096;
+                                                                  return 1094;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000001xxxxxx10100xxxxxxxxxx
                                                                      ldsminh.  */
-                                                                  return 1097;
+                                                                  return 1095;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000001xxxxxx10100xxxxxxxxxx
                                                                  ldsmin.  */
-                                                              return 1098;
+                                                              return 1096;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000101xxxxxx10100xxxxxxxxxx
                                                                      ldsminab.  */
-                                                                  return 1099;
+                                                                  return 1097;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000101xxxxxx10100xxxxxxxxxx
                                                                      ldsminah.  */
-                                                                  return 1102;
+                                                                  return 1100;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000101xxxxxx10100xxxxxxxxxx
                                                                  ldsmina.  */
-                                                              return 1105;
+                                                              return 1103;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000011xxxxxx10100xxxxxxxxxx
                                                                      ldsminlb.  */
-                                                                  return 1100;
+                                                                  return 1098;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000011xxxxxx10100xxxxxxxxxx
                                                                      ldsminlh.  */
-                                                                  return 1103;
+                                                                  return 1101;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000011xxxxxx10100xxxxxxxxxx
                                                                  ldsminl.  */
-                                                              return 1106;
+                                                              return 1104;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000111xxxxxx10100xxxxxxxxxx
                                                                      ldsminalb.  */
-                                                                  return 1101;
+                                                                  return 1099;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000111xxxxxx10100xxxxxxxxxx
                                                                      ldsminalh.  */
-                                                                  return 1104;
+                                                                  return 1102;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000111xxxxxx10100xxxxxxxxxx
                                                                  ldsminal.  */
-                                                              return 1107;
+                                                              return 1105;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000001xxxxxx01100xxxxxxxxxx
                                                                      ldsetb.  */
-                                                                  return 1072;
+                                                                  return 1070;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000001xxxxxx01100xxxxxxxxxx
                                                                      ldseth.  */
-                                                                  return 1073;
+                                                                  return 1071;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000001xxxxxx01100xxxxxxxxxx
                                                                  ldset.  */
-                                                              return 1074;
+                                                              return 1072;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000101xxxxxx01100xxxxxxxxxx
                                                                      ldsetab.  */
-                                                                  return 1075;
+                                                                  return 1073;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000101xxxxxx01100xxxxxxxxxx
                                                                      ldsetah.  */
-                                                                  return 1078;
+                                                                  return 1076;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000101xxxxxx01100xxxxxxxxxx
                                                                  ldseta.  */
-                                                              return 1081;
+                                                              return 1079;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000011xxxxxx01100xxxxxxxxxx
                                                                      ldsetlb.  */
-                                                                  return 1076;
+                                                                  return 1074;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000011xxxxxx01100xxxxxxxxxx
                                                                      ldsetlh.  */
-                                                                  return 1079;
+                                                                  return 1077;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000011xxxxxx01100xxxxxxxxxx
                                                                  ldsetl.  */
-                                                              return 1082;
+                                                              return 1080;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000111xxxxxx01100xxxxxxxxxx
                                                                      ldsetalb.  */
-                                                                  return 1077;
+                                                                  return 1075;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000111xxxxxx01100xxxxxxxxxx
                                                                      ldsetalh.  */
-                                                                  return 1080;
+                                                                  return 1078;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000111xxxxxx01100xxxxxxxxxx
                                                                  ldsetal.  */
-                                                              return 1083;
+                                                              return 1081;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000001xxxxxx11100xxxxxxxxxx
                                                                      lduminb.  */
-                                                                  return 1120;
+                                                                  return 1118;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000001xxxxxx11100xxxxxxxxxx
                                                                      lduminh.  */
-                                                                  return 1121;
+                                                                  return 1119;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000001xxxxxx11100xxxxxxxxxx
                                                                  ldumin.  */
-                                                              return 1122;
+                                                              return 1120;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000101xxxxxx11100xxxxxxxxxx
                                                                      lduminab.  */
-                                                                  return 1123;
+                                                                  return 1121;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000101xxxxxx11100xxxxxxxxxx
                                                                      lduminah.  */
-                                                                  return 1126;
+                                                                  return 1124;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000101xxxxxx11100xxxxxxxxxx
                                                                  ldumina.  */
-                                                              return 1129;
+                                                              return 1127;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      00111000011xxxxxx11100xxxxxxxxxx
                                                                      lduminlb.  */
-                                                                  return 1124;
+                                                                  return 1122;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000011xxxxxx11100xxxxxxxxxx
                                                                      lduminlh.  */
-                                                                  return 1127;
+                                                                  return 1125;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000011xxxxxx11100xxxxxxxxxx
                                                                  lduminl.  */
-                                                              return 1130;
+                                                              return 1128;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      00111000111xxxxxx11100xxxxxxxxxx
                                                                      lduminalb.  */
-                                                                  return 1125;
+                                                                  return 1123;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      01111000111xxxxxx11100xxxxxxxxxx
                                                                      lduminalh.  */
-                                                                  return 1128;
+                                                                  return 1126;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  1x111000111xxxxxx11100xxxxxxxxxx
                                                                  lduminal.  */
-                                                              return 1131;
+                                                              return 1129;
                                                             }
                                                         }
                                                     }
                                                      10987654321098765432109876543210
                                                      0001100100xxxxxxxxxx00xxxxxxxxxx
                                                      stlurb.  */
-                                                  return 2081;
+                                                  return 2079;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      1001100100xxxxxxxxxx00xxxxxxxxxx
                                                      stlur.  */
-                                                  return 2089;
+                                                  return 2087;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      0101100100xxxxxxxxxx00xxxxxxxxxx
                                                      stlurh.  */
-                                                  return 2085;
+                                                  return 2083;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      1101100100xxxxxxxxxx00xxxxxxxxxx
                                                      stlur.  */
-                                                  return 2092;
+                                                  return 2090;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          00011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapurb.  */
-                                                      return 2082;
+                                                      return 2080;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          10011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapur.  */
-                                                      return 2090;
+                                                      return 2088;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          01011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapurh.  */
-                                                      return 2086;
+                                                      return 2084;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          11011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapur.  */
-                                                      return 2093;
+                                                      return 2091;
                                                     }
                                                 }
                                             }
                                 {
                                   if (((word >> 11) & 0x1) == 0)
                                     {
-                                      if (((word >> 21) & 0x1) == 0)
+                                      if (((word >> 22) & 0x1) == 0)
                                         {
-                                          if (((word >> 22) & 0x1) == 0)
-                                            {
-                                              if (((word >> 30) & 0x1) == 0)
-                                                {
-                                                  if (((word >> 31) & 0x1) == 0)
-                                                    {
-                                                      /* 33222222222211111111110000000000
-                                                         10987654321098765432109876543210
-                                                         00011001100xxxxxxxxx00xxxxxxxxxx
-                                                         ldapursb.  */
-                                                      return 2084;
-                                                    }
-                                                  else
-                                                    {
-                                                      /* 33222222222211111111110000000000
-                                                         10987654321098765432109876543210
-                                                         10011001100xxxxxxxxx00xxxxxxxxxx
-                                                         ldapursw.  */
-                                                      return 2091;
-                                                    }
-                                                }
-                                              else
-                                                {
-                                                  /* 33222222222211111111110000000000
-                                                     10987654321098765432109876543210
-                                                     x1011001100xxxxxxxxx00xxxxxxxxxx
-                                                     ldapursh.  */
-                                                  return 2088;
-                                                }
-                                            }
-                                          else
+                                          if (((word >> 30) & 0x1) == 0)
                                             {
-                                              if (((word >> 30) & 0x1) == 0)
+                                              if (((word >> 31) & 0x1) == 0)
                                                 {
                                                   /* 33222222222211111111110000000000
                                                      10987654321098765432109876543210
-                                                     x0011001110xxxxxxxxx00xxxxxxxxxx
+                                                     0001100110xxxxxxxxxx00xxxxxxxxxx
                                                      ldapursb.  */
-                                                  return 2083;
+                                                  return 2082;
                                                 }
                                               else
                                                 {
                                                   /* 33222222222211111111110000000000
                                                      10987654321098765432109876543210
-                                                     x1011001110xxxxxxxxx00xxxxxxxxxx
-                                                     ldapursh.  */
-                                                  return 2087;
+                                                     1001100110xxxxxxxxxx00xxxxxxxxxx
+                                                     ldapursw.  */
+                                                  return 2089;
                                                 }
                                             }
+                                          else
+                                            {
+                                              /* 33222222222211111111110000000000
+                                                 10987654321098765432109876543210
+                                                 x101100110xxxxxxxxxx00xxxxxxxxxx
+                                                 ldapursh.  */
+                                              return 2086;
+                                            }
                                         }
                                       else
                                         {
-                                          if (((word >> 22) & 0x1) == 0)
+                                          if (((word >> 30) & 0x1) == 0)
                                             {
                                               /* 33222222222211111111110000000000
                                                  10987654321098765432109876543210
-                                                 xx011001101xxxxxxxxx00xxxxxxxxxx
-                                                 stgv.  */
-                                              return 962;
+                                                 x001100111xxxxxxxxxx00xxxxxxxxxx
+                                                 ldapursb.  */
+                                              return 2081;
                                             }
                                           else
                                             {
                                               /* 33222222222211111111110000000000
                                                  10987654321098765432109876543210
-                                                 xx011001111xxxxxxxxx00xxxxxxxxxx
-                                                 ldgv.  */
-                                              return 961;
+                                                 x101100111xxxxxxxxxx00xxxxxxxxxx
+                                                 ldapursh.  */
+                                              return 2085;
                                             }
                                         }
                                     }
                                  10987654321098765432109876543210
                                  x00x00100xxxxxxxxxxxxxxxxxxxxxxx
                                  and.  */
-                              return 989;
+                              return 987;
                             }
                           else
                             {
                                  10987654321098765432109876543210
                                  x10x00100xxxxxxxxxxxxxxxxxxxxxxx
                                  eor.  */
-                              return 993;
+                              return 991;
                             }
                         }
                       else
                                  10987654321098765432109876543210
                                  x01x00100xxxxxxxxxxxxxxxxxxxxxxx
                                  orr.  */
-                              return 991;
+                              return 989;
                             }
                           else
                             {
                                  10987654321098765432109876543210
                                  x11x00100xxxxxxxxxxxxxxxxxxxxxxx
                                  ands.  */
-                              return 994;
+                              return 992;
                             }
                         }
                     }
                                  10987654321098765432109876543210
                                  x00x00101xxxxxxxxxxxxxxxxxxxxxxx
                                  movn.  */
-                              return 1180;
+                              return 1178;
                             }
                           else
                             {
                                  10987654321098765432109876543210
                                  x10x00101xxxxxxxxxxxxxxxxxxxxxxx
                                  movz.  */
-                              return 1182;
+                              return 1180;
                             }
                         }
                       else
                              10987654321098765432109876543210
                              xx1x00101xxxxxxxxxxxxxxxxxxxxxxx
                              movk.  */
-                          return 1184;
+                          return 1182;
                         }
                     }
                 }
                                      10987654321098765432109876543210
                                      x0001010xx0xxxxxxxxxxxxxxxxxxxxx
                                      and.  */
-                                  return 996;
+                                  return 994;
                                 }
                               else
                                 {
                                      10987654321098765432109876543210
                                      x1001010xx0xxxxxxxxxxxxxxxxxxxxx
                                      eor.  */
-                                  return 1003;
+                                  return 1001;
                                 }
                             }
                           else
                                      10987654321098765432109876543210
                                      x0101010xx0xxxxxxxxxxxxxxxxxxxxx
                                      orr.  */
-                                  return 998;
+                                  return 996;
                                 }
                               else
                                 {
                                      10987654321098765432109876543210
                                      x1101010xx0xxxxxxxxxxxxxxxxxxxxx
                                      ands.  */
-                                  return 1005;
+                                  return 1003;
                                 }
                             }
                         }
                                              10987654321098765432109876543210
                                              xxx11010x00xxxxxx0xx10xxxxxxxxxx
                                              setf8.  */
-                                          return 2079;
+                                          return 2077;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              xxx11010x00xxxxxx1xx10xxxxxxxxxx
                                              setf16.  */
-                                          return 2080;
+                                          return 2078;
                                         }
                                     }
                                   else
                                              10987654321098765432109876543210
                                              xxx11010000xxxxxxxxx01xxxxxxxxxx
                                              rmif.  */
-                                          return 2078;
+                                          return 2076;
                                         }
                                       else
                                         {
                                  10987654321098765432109876543210
                                  x00x1010xx1xxxxxxxxxxxxxxxxxxxxx
                                  bic.  */
-                              return 997;
+                              return 995;
                             }
                           else
                             {
                                  10987654321098765432109876543210
                                  x10x1010xx1xxxxxxxxxxxxxxxxxxxxx
                                  eon.  */
-                              return 1004;
+                              return 1002;
                             }
                         }
                       else
                                  10987654321098765432109876543210
                                  x01x1010xx1xxxxxxxxxxxxxxxxxxxxx
                                  orn.  */
-                              return 1001;
+                              return 999;
                             }
                           else
                             {
                                  10987654321098765432109876543210
                                  x11x1010xx1xxxxxxxxxxxxxxxxxxxxx
                                  bics.  */
-                              return 1007;
+                              return 1005;
                             }
                         }
                     }
                                                                      10987654321098765432109876543210
                                                                      000001x0xx000000000xxxxxxxxxxxxx
                                                                      add.  */
-                                                                  return 1270;
+                                                                  return 1268;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx010000000xxxxxxxxxxxxx
                                                                      mul.  */
-                                                                  return 1739;
+                                                                  return 1737;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      000001x0xx001000000xxxxxxxxxxxxx
                                                                      smax.  */
-                                                                  return 1818;
+                                                                  return 1816;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx011000000xxxxxxxxxxxxx
                                                                      orr.  */
-                                                                  return 1750;
+                                                                  return 1748;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0100000xxxxxxxxxxxxx
                                                                  sdiv.  */
-                                                              return 1809;
+                                                              return 1807;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1100000xxxxxxxxxxxxx
                                                                  sabd.  */
-                                                              return 1800;
+                                                              return 1798;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0010000xxxxxxxxxxxxx
                                                                  smulh.  */
-                                                              return 1823;
+                                                              return 1821;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx001010000xxxxxxxxxxxxx
                                                                      smin.  */
-                                                                  return 1821;
+                                                                  return 1819;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx011010000xxxxxxxxxxxxx
                                                                      and.  */
-                                                                  return 1278;
+                                                                  return 1276;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              000001x0xx0xx110000xxxxxxxxxxxxx
                                                              sdivr.  */
-                                                          return 1810;
+                                                          return 1808;
                                                         }
                                                     }
                                                 }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0001000xxxxxxxxxxxxx
                                                                  sub.  */
-                                                              return 1939;
+                                                              return 1937;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx001001000xxxxxxxxxxxxx
                                                                      umax.  */
-                                                                  return 1967;
+                                                                  return 1965;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx011001000xxxxxxxxxxxxx
                                                                      eor.  */
-                                                                  return 1365;
+                                                                  return 1363;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0101000xxxxxxxxxxxxx
                                                                  udiv.  */
-                                                              return 1961;
+                                                              return 1959;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1101000xxxxxxxxxxxxx
                                                                  uabd.  */
-                                                              return 1952;
+                                                              return 1950;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      000001x0xx000011000xxxxxxxxxxxxx
                                                                      subr.  */
-                                                                  return 1941;
+                                                                  return 1939;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx010011000xxxxxxxxxxxxx
                                                                      umulh.  */
-                                                                  return 1972;
+                                                                  return 1970;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      000001x0xx001011000xxxxxxxxxxxxx
                                                                      umin.  */
-                                                                  return 1970;
+                                                                  return 1968;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx011011000xxxxxxxxxxxxx
                                                                      bic.  */
-                                                                  return 1290;
+                                                                  return 1288;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              000001x0xx0xx111000xxxxxxxxxxxxx
                                                              udivr.  */
-                                                          return 1962;
+                                                          return 1960;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      100001x00x0xxxxx000xxxxxxxxxxxxx
                                                      ld1sb.  */
-                                                  return 1552;
+                                                  return 1550;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x01x0xxxxx000xxxxxxxxxxxxx
                                                      ld1sh.  */
-                                                  return 1563;
+                                                  return 1561;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x0xxxxx000xxxxxxxxxxxxx
                                                  ld1sb.  */
-                                              return 1556;
+                                              return 1554;
                                             }
                                           else
                                             {
                                                          10987654321098765432109876543210
                                                          010001x01x0xxxxx000xx0xxxxxxxxxx
                                                          sdot.  */
-                                                      return 1811;
+                                                      return 1809;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          010001x01x0xxxxx000xx1xxxxxxxxxx
                                                          udot.  */
-                                                      return 1963;
+                                                      return 1961;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      110001x01x0xxxxx000xxxxxxxxxxxxx
                                                      ld1sh.  */
-                                                  return 1567;
+                                                  return 1565;
                                                 }
                                             }
                                         }
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx000000xxxxxxxxxx
                                                              add.  */
-                                                          return 1268;
+                                                          return 1266;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx000100xxxxxxxxxx
                                                              sqadd.  */
-                                                          return 1825;
+                                                          return 1823;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          000001x0xx1xxxxx000x10xxxxxxxxxx
                                                          sqsub.  */
-                                                      return 1855;
+                                                      return 1853;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx000001xxxxxxxxxx
                                                              sub.  */
-                                                          return 1937;
+                                                          return 1935;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx000101xxxxxxxxxx
                                                              uqadd.  */
-                                                          return 1973;
+                                                          return 1971;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          000001x0xx1xxxxx000x11xxxxxxxxxx
                                                          uqsub.  */
-                                                      return 2003;
+                                                      return 2001;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      100001x00x1xxxxx000xxxxxxxxxxxxx
                                                      prfb.  */
-                                                  return 1758;
+                                                  return 1756;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x01x1xxxxx000xxxxxxxxxxxxx
                                                      ld1sh.  */
-                                                  return 1564;
+                                                  return 1562;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x1xxxxx000xxxxxxxxxxxxx
                                                  prfb.  */
-                                              return 1759;
+                                              return 1757;
                                             }
                                           else
                                             {
                                                              10987654321098765432109876543210
                                                              010001x0101xxxxx000xx0xxxxxxxxxx
                                                              sdot.  */
-                                                          return 1812;
+                                                          return 1810;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              010001x0111xxxxx000xx0xxxxxxxxxx
                                                              sdot.  */
-                                                          return 1813;
+                                                          return 1811;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              010001x0101xxxxx000xx1xxxxxxxxxx
                                                              udot.  */
-                                                          return 1964;
+                                                          return 1962;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              010001x0111xxxxx000xx1xxxxxxxxxx
                                                              udot.  */
-                                                          return 1965;
+                                                          return 1963;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      110001x01x1xxxxx000xxxxxxxxxxxxx
                                                      ld1sh.  */
-                                                  return 1568;
+                                                  return 1566;
                                                 }
                                             }
                                         }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0000x0100xxxxxxxxxxxxx
                                                                  asr.  */
-                                                              return 1286;
+                                                              return 1284;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0100x0100xxxxxxxxxxxxx
                                                                  asr.  */
-                                                              return 1284;
+                                                              return 1282;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x0xx0x10x0100xxxxxxxxxxxxx
                                                              asr.  */
-                                                          return 1285;
+                                                          return 1283;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              000001x0xx00x1x0100xxxxxxxxxxxxx
                                                              asrd.  */
-                                                          return 1287;
+                                                          return 1285;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0xx01x1x0100xxxxxxxxxxxxx
                                                              asrr.  */
-                                                          return 1288;
+                                                          return 1286;
                                                         }
                                                     }
                                                 }
                                                                      10987654321098765432109876543210
                                                                      000001x0xx000001100xxxxxxxxxxxxx
                                                                      lsr.  */
-                                                                  return 1730;
+                                                                  return 1728;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx010001100xxxxxxxxxxxxx
                                                                      lsr.  */
-                                                                  return 1728;
+                                                                  return 1726;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1001100xxxxxxxxxxxxx
                                                                  lsr.  */
-                                                              return 1729;
+                                                              return 1727;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x0xx0xx101100xxxxxxxxxxxxx
                                                              lsrr.  */
-                                                          return 1731;
+                                                          return 1729;
                                                         }
                                                     }
                                                   else
                                                                      10987654321098765432109876543210
                                                                      000001x0xx000011100xxxxxxxxxxxxx
                                                                      lsl.  */
-                                                                  return 1724;
+                                                                  return 1722;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0xx010011100xxxxxxxxxxxxx
                                                                      lsl.  */
-                                                                  return 1722;
+                                                                  return 1720;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1011100xxxxxxxxxxxxx
                                                                  lsl.  */
-                                                              return 1723;
+                                                              return 1721;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x0xx0xx111100xxxxxxxxxxxxx
                                                              lslr.  */
-                                                          return 1725;
+                                                          return 1723;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          000001x0xx1xxxxx1000x0xxxxxxxxxx
                                                          asr.  */
-                                                      return 1282;
+                                                      return 1280;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          000001x0xx1xxxxx1001x0xxxxxxxxxx
                                                          asr.  */
-                                                      return 1283;
+                                                      return 1281;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx100001xxxxxxxxxx
                                                              lsr.  */
-                                                          return 1726;
+                                                          return 1724;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx100101xxxxxxxxxx
                                                              lsr.  */
-                                                          return 1727;
+                                                          return 1725;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx100011xxxxxxxxxx
                                                              lsl.  */
-                                                          return 1720;
+                                                          return 1718;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx100111xxxxxxxxxx
                                                              lsl.  */
-                                                          return 1721;
+                                                          return 1719;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      100001x000xxxxxx100xxxxxxxxxxxxx
                                                      ld1sb.  */
-                                                  return 1558;
+                                                  return 1556;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x010xxxxxx100xxxxxxxxxxxxx
                                                      ld1sh.  */
-                                                  return 1571;
+                                                  return 1569;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      100001x001xxxxxx100xxxxxxxxxxxxx
                                                      ld1rb.  */
-                                                  return 1528;
+                                                  return 1526;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x011xxxxxx100xxxxxxxxxxxxx
                                                      ld1rsw.  */
-                                                  return 1549;
+                                                  return 1547;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x0xxxxx100xxxxxxxxxxxxx
                                                  ld1sb.  */
-                                              return 1557;
+                                              return 1555;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x01x0xxxxx100xxxxxxxxxxxxx
                                                  ld1sh.  */
-                                              return 1569;
+                                              return 1567;
                                             }
                                         }
                                       else
                                                      10987654321098765432109876543210
                                                      x10001x0001xxxxx100xxxxxxxxxxxxx
                                                      ld1sb.  */
-                                                  return 1562;
+                                                  return 1560;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0101xxxxx100xxxxxxxxxxxxx
                                                      ld1sh.  */
-                                                  return 1574;
+                                                  return 1572;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x10001x0011xxxxx100xxxxxxxxxxxxx
                                                      prfb.  */
-                                                  return 1760;
+                                                  return 1758;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0111xxxxx100xxxxxxxxxxxxx
                                                      ld1sh.  */
-                                                  return 1570;
+                                                  return 1568;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  000001x0xx0xxxxx010xxxxxxxxxxxxx
                                                  mla.  */
-                                              return 1733;
+                                              return 1731;
                                             }
                                           else
                                             {
                                                      10987654321098765432109876543210
                                                      100001x00x0xxxxx010xxxxxxxxxxxxx
                                                      ld1b.  */
-                                                  return 1494;
+                                                  return 1492;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x01x0xxxxx010xxxxxxxxxxxxx
                                                      ld1h.  */
-                                                  return 1514;
+                                                  return 1512;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x0xxxxx010xxxxxxxxxxxxx
                                                  ld1b.  */
-                                              return 1499;
+                                              return 1497;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x01x0xxxxx010xxxxxxxxxxxxx
                                                  ld1h.  */
-                                              return 1519;
+                                              return 1517;
                                             }
                                         }
                                     }
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx010000xxxxxxxxxx
                                                              index.  */
-                                                          return 1485;
+                                                          return 1483;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx010001xxxxxxxxxx
                                                              index.  */
-                                                          return 1486;
+                                                          return 1484;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  000001x0001xxxxx01010xxxxxxxxxxx
                                                                  addvl.  */
-                                                              return 1272;
+                                                              return 1270;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0101xxxxx01010xxxxxxxxxxx
                                                                  rdvl.  */
-                                                              return 1794;
+                                                              return 1792;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x0x11xxxxx01010xxxxxxxxxxx
                                                              addpl.  */
-                                                          return 1271;
+                                                          return 1269;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          000001x0xx1xxxxx010x10xxxxxxxxxx
                                                          index.  */
-                                                      return 1487;
+                                                      return 1485;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          000001x0xx1xxxxx010x11xxxxxxxxxx
                                                          index.  */
-                                                      return 1484;
+                                                      return 1482;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      100001x00x1xxxxx010xxxxxxxxxxxxx
                                                      prfw.  */
-                                                  return 1778;
+                                                  return 1776;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x01x1xxxxx010xxxxxxxxxxxxx
                                                      ld1h.  */
-                                                  return 1515;
+                                                  return 1513;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x1xxxxx010xxxxxxxxxxxxx
                                                  prfw.  */
-                                              return 1780;
+                                              return 1778;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x01x1xxxxx010xxxxxxxxxxxxx
                                                  ld1h.  */
-                                              return 1520;
+                                              return 1518;
                                             }
                                         }
                                     }
                                                  10987654321098765432109876543210
                                                  000001x0xx0xxxxx110xxxxxxxxxxxxx
                                                  mad.  */
-                                              return 1732;
+                                              return 1730;
                                             }
                                           else
                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0x010xxxx110x00xxxxxxxxxx
                                                                  sqincw.  */
-                                                              return 1852;
+                                                              return 1850;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x00110xxxx110x00xxxxxxxxxx
                                                                      sqinch.  */
-                                                                  return 1846;
+                                                                  return 1844;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01110xxxx110x00xxxxxxxxxx
                                                                      sqincd.  */
-                                                                  return 1843;
+                                                                  return 1841;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  000001x0x011xxxx110x00xxxxxxxxxx
                                                                  incw.  */
-                                                              return 1482;
+                                                              return 1480;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x00111xxxx110x00xxxxxxxxxx
                                                                      inch.  */
-                                                                  return 1478;
+                                                                  return 1476;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01111xxxx110x00xxxxxxxxxx
                                                                      incd.  */
-                                                                  return 1476;
+                                                                  return 1474;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              000001x0x01xxxxx110x10xxxxxxxxxx
                                                              sqdecw.  */
-                                                          return 1838;
+                                                          return 1836;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  000001x0011xxxxx110x10xxxxxxxxxx
                                                                  sqdech.  */
-                                                              return 1832;
+                                                              return 1830;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0111xxxxx110x10xxxxxxxxxx
                                                                  sqdecd.  */
-                                                              return 1829;
+                                                              return 1827;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  000001x0x010xxxx110x01xxxxxxxxxx
                                                                  uqincw.  */
-                                                              return 2000;
+                                                              return 1998;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x00110xxxx110x01xxxxxxxxxx
                                                                      uqinch.  */
-                                                                  return 1994;
+                                                                  return 1992;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01110xxxx110x01xxxxxxxxxx
                                                                      uqincd.  */
-                                                                  return 1991;
+                                                                  return 1989;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  000001x0x011xxxx110x01xxxxxxxxxx
                                                                  decw.  */
-                                                              return 1357;
+                                                              return 1355;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x00111xxxx110x01xxxxxxxxxx
                                                                      dech.  */
-                                                                  return 1353;
+                                                                  return 1351;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01111xxxx110x01xxxxxxxxxx
                                                                      decd.  */
-                                                                  return 1351;
+                                                                  return 1349;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              000001x0x01xxxxx110x11xxxxxxxxxx
                                                              uqdecw.  */
-                                                          return 1986;
+                                                          return 1984;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  000001x0011xxxxx110x11xxxxxxxxxx
                                                                  uqdech.  */
-                                                              return 1980;
+                                                              return 1978;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0111xxxxx110x11xxxxxxxxxx
                                                                  uqdecd.  */
-                                                              return 1977;
+                                                              return 1975;
                                                             }
                                                         }
                                                     }
                                                          10987654321098765432109876543210
                                                          100001x0000xxxxx110xxxxxxxxxxxxx
                                                          prfb.  */
-                                                      return 1757;
+                                                      return 1755;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          100001x0100xxxxx110xxxxxxxxxxxxx
                                                          prfh.  */
-                                                      return 1772;
+                                                      return 1770;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          100001x0001xxxxx110xxxxxxxxxxxxx
                                                          ld1b.  */
-                                                      return 1501;
+                                                      return 1499;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          100001x0101xxxxx110xxxxxxxxxxxxx
                                                          ld1h.  */
-                                                      return 1523;
+                                                      return 1521;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      100001x001xxxxxx110xxxxxxxxxxxxx
                                                      ld1rb.  */
-                                                  return 1530;
+                                                  return 1528;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x011xxxxxx110xxxxxxxxxxxxx
                                                      ld1rh.  */
-                                                  return 1534;
+                                                  return 1532;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x0xxxxx110xxxxxxxxxxxxx
                                                  ld1b.  */
-                                              return 1500;
+                                              return 1498;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x01x0xxxxx110xxxxxxxxxxxxx
                                                  ld1h.  */
-                                              return 1521;
+                                              return 1519;
                                             }
                                         }
                                       else
                                                      10987654321098765432109876543210
                                                      x10001x0001xxxxx110xxxxxxxxxxxxx
                                                      ld1b.  */
-                                                  return 1506;
+                                                  return 1504;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0101xxxxx110xxxxxxxxxxxxx
                                                      ld1h.  */
-                                                  return 1527;
+                                                  return 1525;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x10001x0011xxxxx110xxxxxxxxxxxxx
                                                      prfw.  */
-                                                  return 1781;
+                                                  return 1779;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0111xxxxx110xxxxxxxxxxxxx
                                                      ld1h.  */
-                                                  return 1522;
+                                                  return 1520;
                                                 }
                                             }
                                         }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx000x00001xxxxxxxxxxxxx
                                                                  saddv.  */
-                                                              return 1801;
+                                                              return 1799;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx000x01001xxxxxxxxxxxxx
                                                                  uaddv.  */
-                                                              return 1953;
+                                                              return 1951;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x0xx010x0x001xxxxxxxxxxxxx
                                                              movprfx.  */
-                                                          return 1736;
+                                                          return 1734;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  000001x0xx001x00001xxxxxxxxxxxxx
                                                                  smaxv.  */
-                                                              return 1819;
+                                                              return 1817;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx011x00001xxxxxxxxxxxxx
                                                                  orv.  */
-                                                              return 1753;
+                                                              return 1751;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  000001x0xx001x01001xxxxxxxxxxxxx
                                                                  umaxv.  */
-                                                              return 1968;
+                                                              return 1966;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx011x01001xxxxxxxxxxxxx
                                                                  eorv.  */
-                                                              return 1368;
+                                                              return 1366;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              000001x0xx00xx10001xxxxxxxxxxxxx
                                                              sminv.  */
-                                                          return 1822;
+                                                          return 1820;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0xx01xx10001xxxxxxxxxxxxx
                                                              andv.  */
-                                                          return 1281;
+                                                          return 1279;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          000001x0xx0xxx11001xxxxxxxxxxxxx
                                                          uminv.  */
-                                                      return 1971;
+                                                      return 1969;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      100001x00x0xxxxx001xxxxxxxxxxxxx
                                                      ldff1sb.  */
-                                                  return 1652;
+                                                  return 1650;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x01x0xxxxx001xxxxxxxxxxxxx
                                                      ldff1sh.  */
-                                                  return 1663;
+                                                  return 1661;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x0xxxxx001xxxxxxxxxxxxx
                                                  ldff1sb.  */
-                                              return 1659;
+                                              return 1657;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x01x0xxxxx001xxxxxxxxxxxxx
                                                  ldff1sh.  */
-                                              return 1669;
+                                              return 1667;
                                             }
                                         }
                                     }
                                                          10987654321098765432109876543210
                                                          000001x0001xxxxx001xxxxxxxxxxxxx
                                                          and.  */
-                                                      return 1276;
+                                                      return 1274;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          000001x0011xxxxx001xxxxxxxxxxxxx
                                                          orr.  */
-                                                      return 1748;
+                                                      return 1746;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      100001x00x1xxxxx001xxxxxxxxxxxxx
                                                      prfh.  */
-                                                  return 1771;
+                                                  return 1769;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  x10001x00x1xxxxx001xxxxxxxxxxxxx
                                                  prfh.  */
-                                              return 1773;
+                                              return 1771;
                                             }
                                         }
                                       else
                                                          10987654321098765432109876543210
                                                          000001x0101xxxxx001xxxxxxxxxxxxx
                                                          eor.  */
-                                                      return 1363;
+                                                      return 1361;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          000001x0111xxxxx001xxxxxxxxxxxxx
                                                          bic.  */
-                                                      return 1289;
+                                                      return 1287;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      100001x01x1xxxxx001xxxxxxxxxxxxx
                                                      ldff1sh.  */
-                                                  return 1664;
+                                                  return 1662;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  x10001x01x1xxxxx001xxxxxxxxxxxxx
                                                  ldff1sh.  */
-                                              return 1670;
+                                              return 1668;
                                             }
                                         }
                                     }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0000101xxxxxxxxxxxxx
                                                                  sxtb.  */
-                                                              return 1944;
+                                                              return 1942;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1000101xxxxxxxxxxxxx
                                                                  cls.  */
-                                                              return 1309;
+                                                              return 1307;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0100101xxxxxxxxxxxxx
                                                                  sxtw.  */
-                                                              return 1946;
+                                                              return 1944;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1100101xxxxxxxxxxxxx
                                                                  fabs.  */
-                                                              return 1371;
+                                                              return 1369;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0010101xxxxxxxxxxxxx
                                                                  sxth.  */
-                                                              return 1945;
+                                                              return 1943;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1010101xxxxxxxxxxxxx
                                                                  cnt.  */
-                                                              return 1338;
+                                                              return 1336;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0110101xxxxxxxxxxxxx
                                                                  abs.  */
-                                                              return 1267;
+                                                              return 1265;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1110101xxxxxxxxxxxxx
                                                                  not.  */
-                                                              return 1745;
+                                                              return 1743;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0001101xxxxxxxxxxxxx
                                                                  uxtb.  */
-                                                              return 2007;
+                                                              return 2005;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1001101xxxxxxxxxxxxx
                                                                  clz.  */
-                                                              return 1310;
+                                                              return 1308;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0101101xxxxxxxxxxxxx
                                                                  uxtw.  */
-                                                              return 2009;
+                                                              return 2007;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1101101xxxxxxxxxxxxx
                                                                  fneg.  */
-                                                              return 1448;
+                                                              return 1446;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x0011101xxxxxxxxxxxxx
                                                                  uxth.  */
-                                                              return 2008;
+                                                              return 2006;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x0xx0x1011101xxxxxxxxxxxxx
                                                                  cnot.  */
-                                                              return 1337;
+                                                              return 1335;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x0xx0xx111101xxxxxxxxxxxxx
                                                              neg.  */
-                                                          return 1742;
+                                                          return 1740;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              000001x0001xxxxx1010xxxxxxxxxxxx
                                                              adr.  */
-                                                          return 1273;
+                                                          return 1271;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0011xxxxx1010xxxxxxxxxxxx
                                                              adr.  */
-                                                          return 1274;
+                                                          return 1272;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          000001x01x1xxxxx1010xxxxxxxxxxxx
                                                          adr.  */
-                                                      return 1275;
+                                                      return 1273;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx101100xxxxxxxxxx
                                                              ftssel.  */
-                                                          return 1474;
+                                                          return 1472;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x0xx1xxxxx101110xxxxxxxxxx
                                                              fexpa.  */
-                                                          return 1418;
+                                                          return 1416;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          000001x0xx1xxxxx1011x1xxxxxxxxxx
                                                          movprfx.  */
-                                                      return 1735;
+                                                      return 1733;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      100001x000xxxxxx101xxxxxxxxxxxxx
                                                      ldff1sb.  */
-                                                  return 1661;
+                                                  return 1659;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x010xxxxxx101xxxxxxxxxxxxx
                                                      ldff1sh.  */
-                                                  return 1673;
+                                                  return 1671;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      100001x001xxxxxx101xxxxxxxxxxxxx
                                                      ld1rb.  */
-                                                  return 1529;
+                                                  return 1527;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x011xxxxxx101xxxxxxxxxxxxx
                                                      ld1rh.  */
-                                                  return 1533;
+                                                  return 1531;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x0xxxxx101xxxxxxxxxxxxx
                                                  ldff1sb.  */
-                                              return 1660;
+                                              return 1658;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x01x0xxxxx101xxxxxxxxxxxxx
                                                  ldff1sh.  */
-                                              return 1671;
+                                              return 1669;
                                             }
                                         }
                                       else
                                                      10987654321098765432109876543210
                                                      x10001x0001xxxxx101xxxxxxxxxxxxx
                                                      ldff1sb.  */
-                                                  return 1662;
+                                                  return 1660;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0101xxxxx101xxxxxxxxxxxxx
                                                      ldff1sh.  */
-                                                  return 1674;
+                                                  return 1672;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x10001x0011xxxxx101xxxxxxxxxxxxx
                                                      prfh.  */
-                                                  return 1774;
+                                                  return 1772;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0111xxxxx101xxxxxxxxxxxxx
                                                      ldff1sh.  */
-                                                  return 1672;
+                                                  return 1670;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  000001x0xx0xxxxx011xxxxxxxxxxxxx
                                                  mls.  */
-                                              return 1734;
+                                              return 1732;
                                             }
                                           else
                                             {
                                                      10987654321098765432109876543210
                                                      100001x00x0xxxxx011xxxxxxxxxxxxx
                                                      ldff1b.  */
-                                                  return 1618;
+                                                  return 1616;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x01x0xxxxx011xxxxxxxxxxxxx
                                                      ldff1h.  */
-                                                  return 1638;
+                                                  return 1636;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x10001x00x0xxxxx011xxxxxxxxxxxxx
                                                  ldff1b.  */
-                                              return 1627;
+                                              return 1625;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x01x0xxxxx011xxxxxxxxxxxxx
                                                  ldff1h.  */
-                                              return 1646;
+                                              return 1644;
                                             }
                                         }
                                     }
                                                  10987654321098765432109876543210
                                                  x00001x00x1xxxxx011xxxxxxxxxxxxx
                                                  prfd.  */
-                                              return 1764;
+                                              return 1762;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x00x1xxxxx011xxxxxxxxxxxxx
                                                  prfd.  */
-                                              return 1766;
+                                              return 1764;
                                             }
                                         }
                                       else
                                                  10987654321098765432109876543210
                                                  x00001x01x1xxxxx011xxxxxxxxxxxxx
                                                  ldff1h.  */
-                                              return 1639;
+                                              return 1637;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x01x1xxxxx011xxxxxxxxxxxxx
                                                  ldff1h.  */
-                                              return 1647;
+                                              return 1645;
                                             }
                                         }
                                     }
                                                  10987654321098765432109876543210
                                                  000001x0xx0xxxxx111xxxxxxxxxxxxx
                                                  msb.  */
-                                              return 1737;
+                                              return 1735;
                                             }
                                           else
                                             {
                                                                          10987654321098765432109876543210
                                                                          000001x00010xxxx111000xxxxxxxxxx
                                                                          cntb.  */
-                                                                      return 1339;
+                                                                      return 1337;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01010xxxx111000xxxxxxxxxx
                                                                          cntw.  */
-                                                                      return 1343;
+                                                                      return 1341;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          000001x00110xxxx111000xxxxxxxxxx
                                                                          cnth.  */
-                                                                      return 1341;
+                                                                      return 1339;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01110xxxx111000xxxxxxxxxx
                                                                          cntd.  */
-                                                                      return 1340;
+                                                                      return 1338;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          000001x00011xxxx111000xxxxxxxxxx
                                                                          incb.  */
-                                                                      return 1475;
+                                                                      return 1473;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01011xxxx111000xxxxxxxxxx
                                                                          incw.  */
-                                                                      return 1483;
+                                                                      return 1481;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          000001x00111xxxx111000xxxxxxxxxx
                                                                          inch.  */
-                                                                      return 1479;
+                                                                      return 1477;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01111xxxx111000xxxxxxxxxx
                                                                          incd.  */
-                                                                      return 1477;
+                                                                      return 1475;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          000001x00010xxxx111100xxxxxxxxxx
                                                                          sqincb.  */
-                                                                      return 1842;
+                                                                      return 1840;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01010xxxx111100xxxxxxxxxx
                                                                          sqincw.  */
-                                                                      return 1854;
+                                                                      return 1852;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          000001x00110xxxx111100xxxxxxxxxx
                                                                          sqinch.  */
-                                                                      return 1848;
+                                                                      return 1846;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01110xxxx111100xxxxxxxxxx
                                                                          sqincd.  */
-                                                                      return 1845;
+                                                                      return 1843;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          000001x00011xxxx111100xxxxxxxxxx
                                                                          sqincb.  */
-                                                                      return 1841;
+                                                                      return 1839;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01011xxxx111100xxxxxxxxxx
                                                                          sqincw.  */
-                                                                      return 1853;
+                                                                      return 1851;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          000001x00111xxxx111100xxxxxxxxxx
                                                                          sqinch.  */
-                                                                      return 1847;
+                                                                      return 1845;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01111xxxx111100xxxxxxxxxx
                                                                          sqincd.  */
-                                                                      return 1844;
+                                                                      return 1842;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      000001x00010xxxx111x10xxxxxxxxxx
                                                                      sqdecb.  */
-                                                                  return 1828;
+                                                                  return 1826;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01010xxxx111x10xxxxxxxxxx
                                                                      sqdecw.  */
-                                                                  return 1840;
+                                                                  return 1838;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      000001x00110xxxx111x10xxxxxxxxxx
                                                                      sqdech.  */
-                                                                  return 1834;
+                                                                  return 1832;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01110xxxx111x10xxxxxxxxxx
                                                                      sqdecd.  */
-                                                                  return 1831;
+                                                                  return 1829;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      000001x00011xxxx111x10xxxxxxxxxx
                                                                      sqdecb.  */
-                                                                  return 1827;
+                                                                  return 1825;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01011xxxx111x10xxxxxxxxxx
                                                                      sqdecw.  */
-                                                                  return 1839;
+                                                                  return 1837;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      000001x00111xxxx111x10xxxxxxxxxx
                                                                      sqdech.  */
-                                                                  return 1833;
+                                                                  return 1831;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01111xxxx111x10xxxxxxxxxx
                                                                      sqdecd.  */
-                                                                  return 1830;
+                                                                  return 1828;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      000001x0001xxxxx111001xxxxxxxxxx
                                                                      decb.  */
-                                                                  return 1350;
+                                                                  return 1348;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0101xxxxx111001xxxxxxxxxx
                                                                      decw.  */
-                                                                  return 1358;
+                                                                  return 1356;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      000001x0011xxxxx111001xxxxxxxxxx
                                                                      dech.  */
-                                                                  return 1354;
+                                                                  return 1352;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x0111xxxxx111001xxxxxxxxxx
                                                                      decd.  */
-                                                                  return 1352;
+                                                                  return 1350;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          000001x00010xxxx111101xxxxxxxxxx
                                                                          uqincb.  */
-                                                                      return 1989;
+                                                                      return 1987;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01010xxxx111101xxxxxxxxxx
                                                                          uqincw.  */
-                                                                      return 2001;
+                                                                      return 1999;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          000001x00110xxxx111101xxxxxxxxxx
                                                                          uqinch.  */
-                                                                      return 1995;
+                                                                      return 1993;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01110xxxx111101xxxxxxxxxx
                                                                          uqincd.  */
-                                                                      return 1992;
+                                                                      return 1990;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          000001x00011xxxx111101xxxxxxxxxx
                                                                          uqincb.  */
-                                                                      return 1990;
+                                                                      return 1988;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01011xxxx111101xxxxxxxxxx
                                                                          uqincw.  */
-                                                                      return 2002;
+                                                                      return 2000;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          000001x00111xxxx111101xxxxxxxxxx
                                                                          uqinch.  */
-                                                                      return 1996;
+                                                                      return 1994;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x01111xxxx111101xxxxxxxxxx
                                                                          uqincd.  */
-                                                                      return 1993;
+                                                                      return 1991;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      000001x00010xxxx111x11xxxxxxxxxx
                                                                      uqdecb.  */
-                                                                  return 1975;
+                                                                  return 1973;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01010xxxx111x11xxxxxxxxxx
                                                                      uqdecw.  */
-                                                                  return 1987;
+                                                                  return 1985;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      000001x00110xxxx111x11xxxxxxxxxx
                                                                      uqdech.  */
-                                                                  return 1981;
+                                                                  return 1979;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01110xxxx111x11xxxxxxxxxx
                                                                      uqdecd.  */
-                                                                  return 1978;
+                                                                  return 1976;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      000001x00011xxxx111x11xxxxxxxxxx
                                                                      uqdecb.  */
-                                                                  return 1976;
+                                                                  return 1974;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01011xxxx111x11xxxxxxxxxx
                                                                      uqdecw.  */
-                                                                  return 1988;
+                                                                  return 1986;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      000001x00111xxxx111x11xxxxxxxxxx
                                                                      uqdech.  */
-                                                                  return 1982;
+                                                                  return 1980;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x01111xxxx111x11xxxxxxxxxx
                                                                      uqdecd.  */
-                                                                  return 1979;
+                                                                  return 1977;
                                                                 }
                                                             }
                                                         }
                                                          10987654321098765432109876543210
                                                          100001x0000xxxxx111xxxxxxxxxxxxx
                                                          prfb.  */
-                                                      return 1761;
+                                                      return 1759;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          100001x0100xxxxx111xxxxxxxxxxxxx
                                                          prfh.  */
-                                                      return 1775;
+                                                      return 1773;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          100001x0001xxxxx111xxxxxxxxxxxxx
                                                          ldff1b.  */
-                                                      return 1629;
+                                                      return 1627;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          100001x0101xxxxx111xxxxxxxxxxxxx
                                                          ldff1h.  */
-                                                      return 1650;
+                                                      return 1648;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      100001x001xxxxxx111xxxxxxxxxxxxx
                                                      ld1rb.  */
-                                                  return 1531;
+                                                  return 1529;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x011xxxxxx111xxxxxxxxxxxxx
                                                      ld1rh.  */
-                                                  return 1535;
+                                                  return 1533;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x10001x0000xxxxx111xxxxxxxxxxxxx
                                                      prfb.  */
-                                                  return 1763;
+                                                  return 1761;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0100xxxxx111xxxxxxxxxxxxx
                                                      prfh.  */
-                                                  return 1777;
+                                                  return 1775;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x10001x0010xxxxx111xxxxxxxxxxxxx
                                                      ldff1b.  */
-                                                  return 1628;
+                                                  return 1626;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0110xxxxx111xxxxxxxxxxxxx
                                                      ldff1h.  */
-                                                  return 1648;
+                                                  return 1646;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x10001x0001xxxxx111xxxxxxxxxxxxx
                                                      ldff1b.  */
-                                                  return 1630;
+                                                  return 1628;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0101xxxxx111xxxxxxxxxxxxx
                                                      ldff1h.  */
-                                                  return 1651;
+                                                  return 1649;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x10001x0011xxxxx111xxxxxxxxxxxxx
                                                      prfd.  */
-                                                  return 1767;
+                                                  return 1765;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x0111xxxxx111xxxxxxxxxxxxx
                                                      ldff1h.  */
-                                                  return 1649;
+                                                  return 1647;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx000xxxxxxxx0xxxx
                                                      cmphs.  */
-                                                  return 1323;
+                                                  return 1321;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx000xxxxxxxx1xxxx
                                                      cmphi.  */
-                                                  return 1320;
+                                                  return 1318;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      101001x00x0xxxxx000xxxxxxxxxxxxx
                                                      ld1rqb.  */
-                                                  return 1537;
+                                                  return 1535;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x01x0xxxxx000xxxxxxxxxxxxx
                                                      ld1rqh.  */
-                                                  return 1541;
+                                                  return 1539;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx010xxxxxxxx0xxxx
                                                      cmpge.  */
-                                                  return 1314;
+                                                  return 1312;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx010xxxxxxxx1xxxx
                                                      cmpgt.  */
-                                                  return 1317;
+                                                  return 1315;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          101001x0000xxxxx010xxxxxxxxxxxxx
                                                          ld1b.  */
-                                                      return 1495;
+                                                      return 1493;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0100xxxxx010xxxxxxxxxxxxx
                                                          ld1sw.  */
-                                                      return 1575;
+                                                      return 1573;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x0010xxxxx010xxxxxxxxxxxxx
                                                          ld1b.  */
-                                                      return 1497;
+                                                      return 1495;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0110xxxxx010xxxxxxxxxxxxx
                                                          ld1h.  */
-                                                      return 1517;
+                                                      return 1515;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx001xxxxxxxx0xxxx
                                                      cmpeq.  */
-                                                  return 1311;
+                                                  return 1309;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx001xxxxxxxx1xxxx
                                                      cmpne.  */
-                                                  return 1334;
+                                                  return 1332;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      101001x00x0xxxxx001xxxxxxxxxxxxx
                                                      ld1rqb.  */
-                                                  return 1536;
+                                                  return 1534;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x01x0xxxxx001xxxxxxxxxxxxx
                                                      ld1rqh.  */
-                                                  return 1540;
+                                                  return 1538;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx011xxxxxxxx0xxxx
                                                      cmplt.  */
-                                                  return 1332;
+                                                  return 1330;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx011xxxxxxxx1xxxx
                                                      cmple.  */
-                                                  return 1326;
+                                                  return 1324;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          101001x0000xxxxx011xxxxxxxxxxxxx
                                                          ldff1b.  */
-                                                      return 1619;
+                                                      return 1617;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0100xxxxx011xxxxxxxxxxxxx
                                                          ldff1sw.  */
-                                                      return 1675;
+                                                      return 1673;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x0010xxxxx011xxxxxxxxxxxxx
                                                          ldff1b.  */
-                                                      return 1623;
+                                                      return 1621;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0110xxxxx011xxxxxxxxxxxxx
                                                          ldff1h.  */
-                                                      return 1642;
+                                                      return 1640;
                                                     }
                                                 }
                                             }
                                          10987654321098765432109876543210
                                          011001x0xx0xxxxx0xxxxxxxxxxxxxxx
                                          fcmla.  */
-                                      return 1380;
+                                      return 1378;
                                     }
                                   else
                                     {
                                                  10987654321098765432109876543210
                                                  111001x0x00xxxxx0x0xxxxxxxxxxxxx
                                                  st1b.  */
-                                              return 1857;
+                                              return 1855;
                                             }
                                           else
                                             {
                                                      10987654321098765432109876543210
                                                      111001x0010xxxxx0x0xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1861;
+                                                  return 1859;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      111001x0110xxxxx0x0xxxxxxxxxxxxx
                                                      st1h.  */
-                                                  return 1882;
+                                                  return 1880;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      111001x0000xxxxx0x1xxxxxxxxxxxxx
                                                      stnt1b.  */
-                                                  return 1927;
+                                                  return 1925;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      111001x0100xxxxx0x1xxxxxxxxxxxxx
                                                      stnt1h.  */
-                                                  return 1931;
+                                                  return 1929;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      111001x0010xxxxx0x1xxxxxxxxxxxxx
                                                      st3b.  */
-                                                  return 1911;
+                                                  return 1909;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      111001x0110xxxxx0x1xxxxxxxxxxxxx
                                                      st3h.  */
-                                                  return 1915;
+                                                  return 1913;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x01001x0xx0xxxxx100xxxxxxxx0xxxx
                                                  cmpge.  */
-                                              return 1315;
+                                              return 1313;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x01001x0xx0xxxxx100xxxxxxxx1xxxx
                                                  cmpgt.  */
-                                              return 1318;
+                                              return 1316;
                                             }
                                         }
                                       else
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx110xxxxxxxx0xxxx
                                                      cmphs.  */
-                                                  return 1324;
+                                                  return 1322;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx110xxxxxxxx1xxxx
                                                      cmphi.  */
-                                                  return 1321;
+                                                  return 1319;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          101001x0000xxxxx110xxxxxxxxxxxxx
                                                          ldnt1b.  */
-                                                      return 1710;
+                                                      return 1708;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0100xxxxx110xxxxxxxxxxxxx
                                                          ldnt1h.  */
-                                                      return 1714;
+                                                      return 1712;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x0010xxxxx110xxxxxxxxxxxxx
                                                          ld3b.  */
-                                                      return 1602;
+                                                      return 1600;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0110xxxxx110xxxxxxxxxxxxx
                                                          ld3h.  */
-                                                      return 1606;
+                                                      return 1604;
                                                     }
                                                 }
                                             }
                                              10987654321098765432109876543210
                                              011001x0xx0xxxxx1x0xxxxxxxxxxxxx
                                              fcadd.  */
-                                          return 1379;
+                                          return 1377;
                                         }
                                       else
                                         {
                                                      10987654321098765432109876543210
                                                      111001x0000xxxxx1x0xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1858;
+                                                  return 1856;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      111001x0100xxxxx1x0xxxxxxxxxxxxx
                                                      st1h.  */
-                                                  return 1877;
+                                                  return 1875;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      111001x0010xxxxx1x0xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1862;
+                                                  return 1860;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      111001x0110xxxxx1x0xxxxxxxxxxxxx
                                                      st1h.  */
-                                                  return 1883;
+                                                  return 1881;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx101xxxxxxxx0xxxx
                                                      cmpeq.  */
-                                                  return 1312;
+                                                  return 1310;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx101xxxxxxxx1xxxx
                                                      cmpne.  */
-                                                  return 1335;
+                                                  return 1333;
                                                 }
                                             }
                                           else
                                                              10987654321098765432109876543210
                                                              101001x00000xxxx101xxxxxxxxxxxxx
                                                              ld1b.  */
-                                                          return 1502;
+                                                          return 1500;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              101001x01000xxxx101xxxxxxxxxxxxx
                                                              ld1sw.  */
-                                                          return 1580;
+                                                          return 1578;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              101001x00100xxxx101xxxxxxxxxxxxx
                                                              ld1b.  */
-                                                          return 1504;
+                                                          return 1502;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              101001x01100xxxx101xxxxxxxxxxxxx
                                                              ld1h.  */
-                                                          return 1525;
+                                                          return 1523;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              101001x00001xxxx101xxxxxxxxxxxxx
                                                              ldnf1b.  */
-                                                          return 1694;
+                                                          return 1692;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              101001x01001xxxx101xxxxxxxxxxxxx
                                                              ldnf1sw.  */
-                                                          return 1707;
+                                                          return 1705;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              101001x00101xxxx101xxxxxxxxxxxxx
                                                              ldnf1b.  */
-                                                          return 1696;
+                                                          return 1694;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              101001x01101xxxx101xxxxxxxxxxxxx
                                                              ldnf1h.  */
-                                                          return 1700;
+                                                          return 1698;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      x11001x0000xxxxx101xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1859;
+                                                  return 1857;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0100xxxxx101xxxxxxxxxxxxx
                                                      st1h.  */
-                                                  return 1878;
+                                                  return 1876;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x11001x0010xxxxx101xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1866;
+                                                  return 1864;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0110xxxxx101xxxxxxxxxxxxx
                                                      st1h.  */
-                                                  return 1887;
+                                                  return 1885;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx111xxxxxxxx0xxxx
                                                      cmplo.  */
-                                                  return 1328;
+                                                  return 1326;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x0xx0xxxxx111xxxxxxxx1xxxx
                                                      cmpls.  */
-                                                  return 1330;
+                                                  return 1328;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          101001x0000xxxxx111xxxxxxxxxxxxx
                                                          ldnt1b.  */
-                                                      return 1711;
+                                                      return 1709;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0100xxxxx111xxxxxxxxxxxxx
                                                          ldnt1h.  */
-                                                      return 1715;
+                                                      return 1713;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x0010xxxxx111xxxxxxxxxxxxx
                                                          ld3b.  */
-                                                      return 1603;
+                                                      return 1601;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0110xxxxx111xxxxxxxxxxxxx
                                                          ld3h.  */
-                                                      return 1607;
+                                                      return 1605;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      x11001x0x000xxxx111xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1864;
+                                                  return 1862;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          x11001x00100xxxx111xxxxxxxxxxxxx
                                                          st1b.  */
-                                                      return 1867;
+                                                      return 1865;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x11001x01100xxxx111xxxxxxxxxxxxx
                                                          st1h.  */
-                                                      return 1888;
+                                                      return 1886;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x11001x00001xxxx111xxxxxxxxxxxxx
                                                          stnt1b.  */
-                                                      return 1928;
+                                                      return 1926;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x11001x01001xxxx111xxxxxxxxxxxxx
                                                          stnt1h.  */
-                                                      return 1932;
+                                                      return 1930;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x11001x00101xxxx111xxxxxxxxxxxxx
                                                          st3b.  */
-                                                      return 1912;
+                                                      return 1910;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x11001x01101xxxx111xxxxxxxxxxxxx
                                                          st3h.  */
-                                                      return 1916;
+                                                      return 1914;
                                                     }
                                                 }
                                             }
                                              10987654321098765432109876543210
                                              001001x0xx1xxxxxxx0xxxxxxxx0xxxx
                                              cmphs.  */
-                                          return 1325;
+                                          return 1323;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              001001x0xx1xxxxxxx0xxxxxxxx1xxxx
                                              cmphi.  */
-                                          return 1322;
+                                          return 1320;
                                         }
                                     }
                                   else
                                                      10987654321098765432109876543210
                                                      101001x0001xxxxx0x0xxxxxxxxxxxxx
                                                      ld1b.  */
-                                                  return 1496;
+                                                  return 1494;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x0101xxxxx0x0xxxxxxxxxxxxx
                                                      ld1h.  */
-                                                  return 1516;
+                                                  return 1514;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      101001x0011xxxxx0x0xxxxxxxxxxxxx
                                                      ld1b.  */
-                                                  return 1498;
+                                                  return 1496;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x0111xxxxx0x0xxxxxxxxxxxxx
                                                      ld1h.  */
-                                                  return 1518;
+                                                  return 1516;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      101001x0001xxxxx1x0xxxxxxxxxxxxx
                                                      ld2b.  */
-                                                  return 1594;
+                                                  return 1592;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x0101xxxxx1x0xxxxxxxxxxxxx
                                                      ld2h.  */
-                                                  return 1598;
+                                                  return 1596;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      101001x0011xxxxx1x0xxxxxxxxxxxxx
                                                      ld4b.  */
-                                                  return 1610;
+                                                  return 1608;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x0111xxxxx1x0xxxxxxxxxxxxx
                                                      ld4h.  */
-                                                  return 1614;
+                                                  return 1612;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          x11001x00x1xxxxx0000x0xxxxxxxxxx
                                                          fmla.  */
-                                                      return 1433;
+                                                      return 1431;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              x11001x0101xxxxx0000x0xxxxxxxxxx
                                                              fmla.  */
-                                                          return 1434;
+                                                          return 1432;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x11001x0111xxxxx0000x0xxxxxxxxxx
                                                              fmla.  */
-                                                          return 1435;
+                                                          return 1433;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          x11001x00x1xxxxx0000x1xxxxxxxxxx
                                                          fmls.  */
-                                                      return 1437;
+                                                      return 1435;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              x11001x0101xxxxx0000x1xxxxxxxxxx
                                                              fmls.  */
-                                                          return 1438;
+                                                          return 1436;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x11001x0111xxxxx0000x1xxxxxxxxxx
                                                              fmls.  */
-                                                          return 1439;
+                                                          return 1437;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      x11001x0x01xxxxx0001xxxxxxxxxxxx
                                                      fcmla.  */
-                                                  return 1381;
+                                                  return 1379;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0x11xxxxx0001xxxxxxxxxxxx
                                                      fcmla.  */
-                                                  return 1382;
+                                                  return 1380;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x11001x0001xxxxx010xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1860;
+                                                  return 1858;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0101xxxxx010xxxxxxxxxxxxx
                                                      st1h.  */
-                                                  return 1879;
+                                                  return 1877;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x11001x0011xxxxx010xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1863;
+                                                  return 1861;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0111xxxxx010xxxxxxxxxxxxx
                                                      st1h.  */
-                                                  return 1884;
+                                                  return 1882;
                                                 }
                                             }
                                         }
                                              10987654321098765432109876543210
                                              x11001x0x01xxxxx1x0xxxxxxxxxxxxx
                                              st1h.  */
-                                          return 1880;
+                                          return 1878;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              x11001x0x11xxxxx1x0xxxxxxxxxxxxx
                                              st1h.  */
-                                          return 1885;
+                                          return 1883;
                                         }
                                     }
                                 }
                                              10987654321098765432109876543210
                                              001001x0xx1xxxxxxx1xxxxxxxx0xxxx
                                              cmplo.  */
-                                          return 1329;
+                                          return 1327;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              001001x0xx1xxxxxxx1xxxxxxxx1xxxx
                                              cmpls.  */
-                                          return 1331;
+                                          return 1329;
                                         }
                                     }
                                   else
                                                          10987654321098765432109876543210
                                                          101001x00010xxxxx01xxxxxxxxxxxxx
                                                          ld1b.  */
-                                                      return 1503;
+                                                      return 1501;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x01010xxxxx01xxxxxxxxxxxxx
                                                          ld1h.  */
-                                                      return 1524;
+                                                      return 1522;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x00110xxxxx01xxxxxxxxxxxxx
                                                          ld1b.  */
-                                                      return 1505;
+                                                      return 1503;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x01110xxxxx01xxxxxxxxxxxxx
                                                          ld1h.  */
-                                                      return 1526;
+                                                      return 1524;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          101001x00011xxxxx01xxxxxxxxxxxxx
                                                          ldnf1b.  */
-                                                      return 1695;
+                                                      return 1693;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x01011xxxxx01xxxxxxxxxxxxx
                                                          ldnf1h.  */
-                                                      return 1699;
+                                                      return 1697;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x00111xxxxx01xxxxxxxxxxxxx
                                                          ldnf1b.  */
-                                                      return 1697;
+                                                      return 1695;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x01111xxxxx01xxxxxxxxxxxxx
                                                          ldnf1h.  */
-                                                      return 1701;
+                                                      return 1699;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          101001x0001xxxxx011xxxxxxxxxxxxx
                                                          ldff1b.  */
-                                                      return 1621;
+                                                      return 1619;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0101xxxxx011xxxxxxxxxxxxx
                                                          ldff1h.  */
-                                                      return 1640;
+                                                      return 1638;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x0011xxxxx011xxxxxxxxxxxxx
                                                          ldff1b.  */
-                                                      return 1625;
+                                                      return 1623;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0111xxxxx011xxxxxxxxxxxxx
                                                          ldff1h.  */
-                                                      return 1644;
+                                                      return 1642;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          101001x0001xxxxx111xxxxxxxxxxxxx
                                                          ld2b.  */
-                                                      return 1595;
+                                                      return 1593;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0101xxxxx111xxxxxxxxxxxxx
                                                          ld2h.  */
-                                                      return 1599;
+                                                      return 1597;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x0011xxxxx111xxxxxxxxxxxxx
                                                          ld4b.  */
-                                                      return 1611;
+                                                      return 1609;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x0111xxxxx111xxxxxxxxxxxxx
                                                          ld4h.  */
-                                                      return 1615;
+                                                      return 1613;
                                                     }
                                                 }
                                             }
                                                  10987654321098765432109876543210
                                                  x11001x00x1xxxxx001xxxxxxxxxxxxx
                                                  fmul.  */
-                                              return 1444;
+                                              return 1442;
                                             }
                                           else
                                             {
                                                      10987654321098765432109876543210
                                                      x11001x0101xxxxx001xxxxxxxxxxxxx
                                                      fmul.  */
-                                                  return 1445;
+                                                  return 1443;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0111xxxxx001xxxxxxxxxxxxx
                                                      fmul.  */
-                                                  return 1446;
+                                                  return 1444;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  x11001x0x01xxxxx101xxxxxxxxxxxxx
                                                  st1h.  */
-                                              return 1881;
+                                              return 1879;
                                             }
                                           else
                                             {
                                                      10987654321098765432109876543210
                                                      x11001x0011xxxxx101xxxxxxxxxxxxx
                                                      st1b.  */
-                                                  return 1868;
+                                                  return 1866;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0111xxxxx101xxxxxxxxxxxxx
                                                      st1h.  */
-                                                  return 1889;
+                                                  return 1887;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x11001x0001xxxxx011xxxxxxxxxxxxx
                                                      st2b.  */
-                                                  return 1903;
+                                                  return 1901;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0101xxxxx011xxxxxxxxxxxxx
                                                      st2h.  */
-                                                  return 1907;
+                                                  return 1905;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x11001x0011xxxxx011xxxxxxxxxxxxx
                                                      st4b.  */
-                                                  return 1919;
+                                                  return 1917;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x11001x0111xxxxx011xxxxxxxxxxxxx
                                                      st4h.  */
-                                                  return 1923;
+                                                  return 1921;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          x11001x00010xxxx111xxxxxxxxxxxxx
                                                          st1b.  */
-                                                      return 1865;
+                                                      return 1863;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x11001x01010xxxx111xxxxxxxxxxxxx
                                                          st1h.  */
-                                                      return 1886;
+                                                      return 1884;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x11001x00110xxxx111xxxxxxxxxxxxx
                                                          st1b.  */
-                                                      return 1869;
+                                                      return 1867;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x11001x01110xxxx111xxxxxxxxxxxxx
                                                          st1h.  */
-                                                      return 1890;
+                                                      return 1888;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x11001x00011xxxx111xxxxxxxxxxxxx
                                                          st2b.  */
-                                                      return 1904;
+                                                      return 1902;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x11001x01011xxxx111xxxxxxxxxxxxx
                                                          st2h.  */
-                                                      return 1908;
+                                                      return 1906;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x11001x00111xxxx111xxxxxxxxxxxxx
                                                          st4b.  */
-                                                      return 1920;
+                                                      return 1918;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x11001x01111xxxx111xxxxxxxxxxxxx
                                                          st4h.  */
-                                                      return 1924;
+                                                      return 1922;
                                                     }
                                                 }
                                             }
                                                  10987654321098765432109876543210
                                                  000001x10000xxxxxxxxxxxxxxxxxxxx
                                                  orr.  */
-                                              return 1749;
+                                              return 1747;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  000001x11000xxxxxxxxxxxxxxxxxxxx
                                                  and.  */
-                                              return 1277;
+                                              return 1275;
                                             }
                                         }
                                       else
                                                  10987654321098765432109876543210
                                                  000001x10100xxxxxxxxxxxxxxxxxxxx
                                                  eor.  */
-                                              return 1364;
+                                              return 1362;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  000001x11100xxxxxxxxxxxxxxxxxxxx
                                                  dupm.  */
-                                              return 1362;
+                                              return 1360;
                                             }
                                         }
                                     }
                                              10987654321098765432109876543210
                                              000001x1xx01xxxx0xxxxxxxxxxxxxxx
                                              cpy.  */
-                                          return 1347;
+                                          return 1345;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              000001x1xx01xxxx1xxxxxxxxxxxxxxx
                                              fcpy.  */
-                                          return 1394;
+                                          return 1392;
                                         }
                                     }
                                 }
                                                  10987654321098765432109876543210
                                                  000001x1xx1xxxxx000xxxxxxxxxxxxx
                                                  ext.  */
-                                              return 1369;
+                                              return 1367;
                                             }
                                           else
                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x0000100xxxxxxxxxxxxx
                                                                  cpy.  */
-                                                              return 1345;
+                                                              return 1343;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x1000100xxxxxxxxxxxxx
                                                                  clasta.  */
-                                                              return 1303;
+                                                              return 1301;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x0100100xxxxxxxxxxxxx
                                                                  revb.  */
-                                                              return 1797;
+                                                              return 1795;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x1100100xxxxxxxxxxxxx
                                                                  splice.  */
-                                                              return 1824;
+                                                              return 1822;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x0010100xxxxxxxxxxxxx
                                                                  lasta.  */
-                                                              return 1491;
+                                                              return 1489;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x1010100xxxxxxxxxxxxx
                                                                  clasta.  */
-                                                              return 1304;
+                                                              return 1302;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x1xx1xx110100xxxxxxxxxxxxx
                                                              revw.  */
-                                                          return 1799;
+                                                          return 1797;
                                                         }
                                                     }
                                                 }
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x0001100xxxxxxxxxxxxx
                                                                  compact.  */
-                                                              return 1344;
+                                                              return 1342;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x1001100xxxxxxxxxxxxx
                                                                  clastb.  */
-                                                              return 1306;
+                                                              return 1304;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x1xx1xx101100xxxxxxxxxxxxx
                                                              revh.  */
-                                                          return 1798;
+                                                          return 1796;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x0011100xxxxxxxxxxxxx
                                                                  lastb.  */
-                                                              return 1493;
+                                                              return 1491;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  000001x1xx1x1011100xxxxxxxxxxxxx
                                                                  clastb.  */
-                                                              return 1307;
+                                                              return 1305;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              000001x1xx1xx111100xxxxxxxxxxxxx
                                                              rbit.  */
-                                                          return 1790;
+                                                          return 1788;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          000001x1xx1xxxxx00100xxxxxxxxxxx
                                                          dup.  */
-                                                      return 1360;
+                                                      return 1358;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          000001x1xx1xxxxx00110xxxxxxxxxxx
                                                          tbl.  */
-                                                      return 1947;
+                                                      return 1945;
                                                     }
                                                 }
                                               else
                                                                          10987654321098765432109876543210
                                                                          000001x1xx100000001x1xxxxxxxxxxx
                                                                          dup.  */
-                                                                      return 1359;
+                                                                      return 1357;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x1xx110000001x1xxxxxxxxxxx
                                                                          sunpklo.  */
-                                                                      return 1943;
+                                                                      return 1941;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      000001x1xx1x1000001x1xxxxxxxxxxx
                                                                      rev.  */
-                                                                  return 1796;
+                                                                  return 1794;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      000001x1xx10x100001x1xxxxxxxxxxx
                                                                      insr.  */
-                                                                  return 1488;
+                                                                  return 1486;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x1xx11x100001x1xxxxxxxxxxx
                                                                      insr.  */
-                                                                  return 1489;
+                                                                  return 1487;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxx10001x1xxxxxxxxxxx
                                                              uunpklo.  */
-                                                          return 2006;
+                                                          return 2004;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxx01001x1xxxxxxxxxxx
                                                              sunpkhi.  */
-                                                          return 1942;
+                                                          return 1940;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxx11001x1xxxxxxxxxxx
                                                              uunpkhi.  */
-                                                          return 2005;
+                                                          return 2003;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              000001x1xx100xx0101xxxxxxxxxxxxx
                                                              lasta.  */
-                                                          return 1490;
+                                                          return 1488;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x1xx110xx0101xxxxxxxxxxxxx
                                                              clasta.  */
-                                                          return 1305;
+                                                          return 1303;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          000001x1xx1x1xx0101xxxxxxxxxxxxx
                                                          cpy.  */
-                                                      return 1346;
+                                                      return 1344;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          000001x1xx10xxx1101xxxxxxxxxxxxx
                                                          lastb.  */
-                                                      return 1492;
+                                                      return 1490;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          000001x1xx11xxx1101xxxxxxxxxxxxx
                                                          clastb.  */
-                                                      return 1308;
+                                                      return 1306;
                                                     }
                                                 }
                                             }
                                                                  10987654321098765432109876543210
                                                                  000001x1xx10xxxx010000xxxxxxxxxx
                                                                  zip1.  */
-                                                              return 2023;
+                                                              return 2021;
                                                             }
                                                           else
                                                             {
                                                                          10987654321098765432109876543210
                                                                          000001x1xx11x0x0010000xxxxxxxxxx
                                                                          punpklo.  */
-                                                                      return 1789;
+                                                                      return 1787;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          000001x1xx11x1x0010000xxxxxxxxxx
                                                                          rev.  */
-                                                                      return 1795;
+                                                                      return 1793;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      000001x1xx11xxx1010000xxxxxxxxxx
                                                                      punpkhi.  */
-                                                                  return 1788;
+                                                                  return 1786;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxxxx011000xxxxxxxxxx
                                                              zip1.  */
-                                                          return 2024;
+                                                          return 2022;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxxxx010100xxxxxxxxxx
                                                              trn1.  */
-                                                          return 1948;
+                                                          return 1946;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxxxx011100xxxxxxxxxx
                                                              trn1.  */
-                                                          return 1949;
+                                                          return 1947;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          000001x1xx1xxxxx010x10xxxxxxxxxx
                                                          uzp1.  */
-                                                      return 2010;
+                                                      return 2008;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          000001x1xx1xxxxx011x10xxxxxxxxxx
                                                          uzp1.  */
-                                                      return 2011;
+                                                      return 2009;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxxxx010001xxxxxxxxxx
                                                              zip2.  */
-                                                          return 2025;
+                                                          return 2023;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxxxx011001xxxxxxxxxx
                                                              zip2.  */
-                                                          return 2026;
+                                                          return 2024;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxxxx010101xxxxxxxxxx
                                                              trn2.  */
-                                                          return 1950;
+                                                          return 1948;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              000001x1xx1xxxxx011101xxxxxxxxxx
                                                              trn2.  */
-                                                          return 1951;
+                                                          return 1949;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          000001x1xx1xxxxx010x11xxxxxxxxxx
                                                          uzp2.  */
-                                                      return 2012;
+                                                      return 2010;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          000001x1xx1xxxxx011x11xxxxxxxxxx
                                                          uzp2.  */
-                                                      return 2013;
+                                                      return 2011;
                                                     }
                                                 }
                                             }
                                              10987654321098765432109876543210
                                              000001x1xx1xxxxx11xxxxxxxxxxxxxx
                                              sel.  */
-                                          return 1814;
+                                          return 1812;
                                         }
                                     }
                                 }
                                                  10987654321098765432109876543210
                                                  100001x1x0xxxxxx000xxxxxxxxxxxxx
                                                  ldr.  */
-                                              return 1718;
+                                              return 1716;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  100001x1x1xxxxxx000xxxxxxxxxxxxx
                                                  prfb.  */
-                                              return 1762;
+                                              return 1760;
                                             }
                                         }
                                       else
                                                  10987654321098765432109876543210
                                                  100001x10xxxxxxx100xxxxxxxxxxxxx
                                                  ld1rsh.  */
-                                              return 1547;
+                                              return 1545;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  100001x11xxxxxxx100xxxxxxxxxxxxx
                                                  ld1rsb.  */
-                                              return 1544;
+                                              return 1542;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      100001x10x0xxxxx010xxxxxxxxxxxxx
                                                      ld1w.  */
-                                                  return 1582;
+                                                  return 1580;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x10x1xxxxx010xxxxxxxxxxxxx
                                                      ld1w.  */
-                                                  return 1583;
+                                                  return 1581;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      100001x110xxxxxx010xxxxxxxxxxxxx
                                                      ldr.  */
-                                                  return 1719;
+                                                  return 1717;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x111xxxxxx010xxxxxxxxxxxxx
                                                      prfw.  */
-                                                  return 1783;
+                                                  return 1781;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          100001x1000xxxxx110xxxxxxxxxxxxx
                                                          prfw.  */
-                                                      return 1779;
+                                                      return 1777;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          100001x1100xxxxx110xxxxxxxxxxxxx
                                                          prfd.  */
-                                                      return 1765;
+                                                      return 1763;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      100001x1x01xxxxx110xxxxxxxxxxxxx
                                                      ld1w.  */
-                                                  return 1590;
+                                                  return 1588;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      100001x101xxxxxx110xxxxxxxxxxxxx
                                                      ld1rw.  */
-                                                  return 1550;
+                                                  return 1548;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x111xxxxxx110xxxxxxxxxxxxx
                                                      ld1rsb.  */
-                                                  return 1546;
+                                                  return 1544;
                                                 }
                                             }
                                         }
                                              10987654321098765432109876543210
                                              100001x1xxxxxxxx001xxxxxxxxxxxxx
                                              prfh.  */
-                                          return 1776;
+                                          return 1774;
                                         }
                                       else
                                         {
                                                  10987654321098765432109876543210
                                                  100001x10xxxxxxx101xxxxxxxxxxxxx
                                                  ld1rsh.  */
-                                              return 1548;
+                                              return 1546;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  100001x11xxxxxxx101xxxxxxxxxxxxx
                                                  ld1rsb.  */
-                                              return 1545;
+                                              return 1543;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      100001x10x0xxxxx011xxxxxxxxxxxxx
                                                      ldff1w.  */
-                                                  return 1682;
+                                                  return 1680;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x10x1xxxxx011xxxxxxxxxxxxx
                                                      ldff1w.  */
-                                                  return 1683;
+                                                  return 1681;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  100001x11xxxxxxx011xxxxxxxxxxxxx
                                                  prfd.  */
-                                              return 1769;
+                                              return 1767;
                                             }
                                         }
                                       else
                                                          10987654321098765432109876543210
                                                          100001x1000xxxxx111xxxxxxxxxxxxx
                                                          prfw.  */
-                                                      return 1782;
+                                                      return 1780;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          100001x1100xxxxx111xxxxxxxxxxxxx
                                                          prfd.  */
-                                                      return 1768;
+                                                      return 1766;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      100001x1x01xxxxx111xxxxxxxxxxxxx
                                                      ldff1w.  */
-                                                  return 1692;
+                                                  return 1690;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      100001x101xxxxxx111xxxxxxxxxxxxx
                                                      ld1rw.  */
-                                                  return 1551;
+                                                  return 1549;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      100001x111xxxxxx111xxxxxxxxxxxxx
                                                      ld1rd.  */
-                                                  return 1532;
+                                                  return 1530;
                                                 }
                                             }
                                         }
                                              10987654321098765432109876543210
                                              x10001x1xx0xxxxx000xxxxxxxxxxxxx
                                              ld1sw.  */
-                                          return 1576;
+                                          return 1574;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              x10001x1xx1xxxxx000xxxxxxxxxxxxx
                                              ld1sw.  */
-                                          return 1577;
+                                          return 1575;
                                         }
                                     }
                                   else
                                              10987654321098765432109876543210
                                              x10001x1xx0xxxxx100xxxxxxxxxxxxx
                                              ld1sw.  */
-                                          return 1578;
+                                          return 1576;
                                         }
                                       else
                                         {
                                                  10987654321098765432109876543210
                                                  x10001x1x01xxxxx100xxxxxxxxxxxxx
                                                  ld1sw.  */
-                                              return 1581;
+                                              return 1579;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x1x11xxxxx100xxxxxxxxxxxxx
                                                  ld1sw.  */
-                                              return 1579;
+                                              return 1577;
                                             }
                                         }
                                     }
                                                  10987654321098765432109876543210
                                                  x10001x10x0xxxxx010xxxxxxxxxxxxx
                                                  ld1w.  */
-                                              return 1586;
+                                              return 1584;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x11x0xxxxx010xxxxxxxxxxxxx
                                                  ld1d.  */
-                                              return 1508;
+                                              return 1506;
                                             }
                                         }
                                       else
                                                  10987654321098765432109876543210
                                                  x10001x10x1xxxxx010xxxxxxxxxxxxx
                                                  ld1w.  */
-                                              return 1587;
+                                              return 1585;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x11x1xxxxx010xxxxxxxxxxxxx
                                                  ld1d.  */
-                                              return 1509;
+                                              return 1507;
                                             }
                                         }
                                     }
                                                  10987654321098765432109876543210
                                                  x10001x10x0xxxxx110xxxxxxxxxxxxx
                                                  ld1w.  */
-                                              return 1588;
+                                              return 1586;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x11x0xxxxx110xxxxxxxxxxxxx
                                                  ld1d.  */
-                                              return 1510;
+                                              return 1508;
                                             }
                                         }
                                       else
                                                      10987654321098765432109876543210
                                                      x10001x1001xxxxx110xxxxxxxxxxxxx
                                                      ld1w.  */
-                                                  return 1593;
+                                                  return 1591;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x1101xxxxx110xxxxxxxxxxxxx
                                                      ld1d.  */
-                                                  return 1513;
+                                                  return 1511;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x10001x1011xxxxx110xxxxxxxxxxxxx
                                                      ld1w.  */
-                                                  return 1589;
+                                                  return 1587;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x1111xxxxx110xxxxxxxxxxxxx
                                                      ld1d.  */
-                                                  return 1511;
+                                                  return 1509;
                                                 }
                                             }
                                         }
                                              10987654321098765432109876543210
                                              x10001x1xx0xxxxx001xxxxxxxxxxxxx
                                              ldff1sw.  */
-                                          return 1677;
+                                          return 1675;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              x10001x1xx1xxxxx001xxxxxxxxxxxxx
                                              ldff1sw.  */
-                                          return 1678;
+                                          return 1676;
                                         }
                                     }
                                   else
                                              10987654321098765432109876543210
                                              x10001x1xx0xxxxx101xxxxxxxxxxxxx
                                              ldff1sw.  */
-                                          return 1679;
+                                          return 1677;
                                         }
                                       else
                                         {
                                                  10987654321098765432109876543210
                                                  x10001x1x01xxxxx101xxxxxxxxxxxxx
                                                  ldff1sw.  */
-                                              return 1681;
+                                              return 1679;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x1x11xxxxx101xxxxxxxxxxxxx
                                                  ldff1sw.  */
-                                              return 1680;
+                                              return 1678;
                                             }
                                         }
                                     }
                                                  10987654321098765432109876543210
                                                  x10001x10x0xxxxx011xxxxxxxxxxxxx
                                                  ldff1w.  */
-                                              return 1688;
+                                              return 1686;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x11x0xxxxx011xxxxxxxxxxxxx
                                                  ldff1d.  */
-                                              return 1633;
+                                              return 1631;
                                             }
                                         }
                                       else
                                                  10987654321098765432109876543210
                                                  x10001x10x1xxxxx011xxxxxxxxxxxxx
                                                  ldff1w.  */
-                                              return 1689;
+                                              return 1687;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x10001x11x1xxxxx011xxxxxxxxxxxxx
                                                  ldff1d.  */
-                                              return 1634;
+                                              return 1632;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      x10001x1000xxxxx111xxxxxxxxxxxxx
                                                      prfw.  */
-                                                  return 1784;
+                                                  return 1782;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x1100xxxxx111xxxxxxxxxxxxx
                                                      prfd.  */
-                                                  return 1770;
+                                                  return 1768;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x10001x1010xxxxx111xxxxxxxxxxxxx
                                                      ldff1w.  */
-                                                  return 1690;
+                                                  return 1688;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x1110xxxxx111xxxxxxxxxxxxx
                                                      ldff1d.  */
-                                                  return 1635;
+                                                  return 1633;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x10001x1001xxxxx111xxxxxxxxxxxxx
                                                      ldff1w.  */
-                                                  return 1693;
+                                                  return 1691;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x1101xxxxx111xxxxxxxxxxxxx
                                                      ldff1d.  */
-                                                  return 1637;
+                                                  return 1635;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x10001x1011xxxxx111xxxxxxxxxxxxx
                                                      ldff1w.  */
-                                                  return 1691;
+                                                  return 1689;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x1111xxxxx111xxxxxxxxxxxxx
                                                      ldff1d.  */
-                                                  return 1636;
+                                                  return 1634;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      001001x1xx0xxxxx000xxxxxxxx0xxxx
                                                      cmpge.  */
-                                                  return 1316;
+                                                  return 1314;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x1xx0xxxxx000xxxxxxxx1xxxx
                                                      cmpgt.  */
-                                                  return 1319;
+                                                  return 1317;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      101001x10x0xxxxx000xxxxxxxxxxxxx
                                                      ld1rqw.  */
-                                                  return 1543;
+                                                  return 1541;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x11x0xxxxx000xxxxxxxxxxxxx
                                                      ld1rqd.  */
-                                                  return 1539;
+                                                  return 1537;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          x01001x1xx1xxxxx00000xxxxxx0xxxx
                                                          whilelt.  */
-                                                      return 2020;
+                                                      return 2018;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x01001x1xx1xxxxx00010xxxxxx0xxxx
                                                          whilelt.  */
-                                                      return 2021;
+                                                      return 2019;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x01001x1xx1xxxxx00001xxxxxx0xxxx
                                                          whilelo.  */
-                                                      return 2016;
+                                                      return 2014;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x01001x1xx1xxxxx00011xxxxxx0xxxx
                                                          whilelo.  */
-                                                      return 2017;
+                                                      return 2015;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x01001x1xx1xxxxx00000xxxxxx1xxxx
                                                          whilele.  */
-                                                      return 2014;
+                                                      return 2012;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x01001x1xx1xxxxx00010xxxxxx1xxxx
                                                          whilele.  */
-                                                      return 2015;
+                                                      return 2013;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x01001x1xx1xxxxx00001xxxxxx1xxxx
                                                          whilels.  */
-                                                      return 2018;
+                                                      return 2016;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x01001x1xx1xxxxx00011xxxxxx1xxxx
                                                          whilels.  */
-                                                      return 2019;
+                                                      return 2017;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          011001x1xx0xxxxx000x00xxxxxxxxxx
                                                          fadd.  */
-                                                      return 1374;
+                                                      return 1372;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              011001x1xx0xxxxx000010xxxxxxxxxx
                                                              fmul.  */
-                                                          return 1441;
+                                                          return 1439;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              011001x1xx0xxxxx000110xxxxxxxxxx
                                                              frecps.  */
-                                                          return 1454;
+                                                          return 1452;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          011001x1xx0xxxxx000x01xxxxxxxxxx
                                                          fsub.  */
-                                                      return 1467;
+                                                      return 1465;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              011001x1xx0xxxxx000011xxxxxxxxxx
                                                              ftsmul.  */
-                                                          return 1473;
+                                                          return 1471;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              011001x1xx0xxxxx000111xxxxxxxxxx
                                                              frsqrts.  */
-                                                          return 1464;
+                                                          return 1462;
                                                         }
                                                     }
                                                 }
                                                  10987654321098765432109876543210
                                                  011001x1xx1xxxxx000xxxxxxxxxxxxx
                                                  fmla.  */
-                                              return 1432;
+                                              return 1430;
                                             }
                                         }
                                       else
                                              10987654321098765432109876543210
                                              111001x1xxxxxxxx000xxxxxxxxxxxxx
                                              str.  */
-                                          return 1935;
+                                          return 1933;
                                         }
                                     }
                                 }
                                                      10987654321098765432109876543210
                                                      001001x1xx0xxxxx001xxxxxxxx0xxxx
                                                      cmplt.  */
-                                                  return 1333;
+                                                  return 1331;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x1xx0xxxxx001xxxxxxxx1xxxx
                                                      cmple.  */
-                                                  return 1327;
+                                                  return 1325;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      101001x10x0xxxxx001xxxxxxxxxxxxx
                                                      ld1rqw.  */
-                                                  return 1542;
+                                                  return 1540;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x11x0xxxxx001xxxxxxxxxxxxx
                                                      ld1rqd.  */
-                                                  return 1538;
+                                                  return 1536;
                                                 }
                                             }
                                         }
                                                                  10987654321098765432109876543210
                                                                  x11001x1xx000000001xxxxxxxxxxxxx
                                                                  faddv.  */
-                                                              return 1378;
+                                                              return 1376;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      x11001x1xx010000001xxxxxxxx0xxxx
                                                                      fcmge.  */
-                                                                  return 1385;
+                                                                  return 1383;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x11001x1xx010000001xxxxxxxx1xxxx
                                                                      fcmgt.  */
-                                                                  return 1387;
+                                                                  return 1385;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              x11001x1xx0x1000001xxxxxxxxxxxxx
                                                              fadda.  */
-                                                          return 1377;
+                                                          return 1375;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          x11001x1xx0xx100001xxxxxxxxxxxxx
                                                          fmaxnmv.  */
-                                                      return 1424;
+                                                      return 1422;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x11001x1xx0xx010001xxxxxxxxxxxxx
                                                          fcmeq.  */
-                                                      return 1383;
+                                                      return 1381;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              x11001x1xx0x0110001xxxxxxxxxxxxx
                                                              fmaxv.  */
-                                                          return 1425;
+                                                          return 1423;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x11001x1xx0x1110001xxxxxxxxxxxxx
                                                              frecpe.  */
-                                                          return 1453;
+                                                          return 1451;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x11001x1xx0xx001001xxxxxxxx0xxxx
                                                              fcmlt.  */
-                                                          return 1390;
+                                                          return 1388;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x11001x1xx0xx001001xxxxxxxx1xxxx
                                                              fcmle.  */
-                                                          return 1389;
+                                                          return 1387;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          x11001x1xx0xx101001xxxxxxxxxxxxx
                                                          fminnmv.  */
-                                                      return 1430;
+                                                      return 1428;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x11001x1xx0xx011001xxxxxxxxxxxxx
                                                          fcmne.  */
-                                                      return 1391;
+                                                      return 1389;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              x11001x1xx0x0111001xxxxxxxxxxxxx
                                                              fminv.  */
-                                                          return 1431;
+                                                          return 1429;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x11001x1xx0x1111001xxxxxxxxxxxxx
                                                              frsqrte.  */
-                                                          return 1463;
+                                                          return 1461;
                                                         }
                                                     }
                                                 }
                                                  10987654321098765432109876543210
                                                  x01001x1xx1xxxxx001xxxxxxxx0xxxx
                                                  ctermeq.  */
-                                              return 1348;
+                                              return 1346;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x01001x1xx1xxxxx001xxxxxxxx1xxxx
                                                  ctermne.  */
-                                              return 1349;
+                                              return 1347;
                                             }
                                         }
                                       else
                                              10987654321098765432109876543210
                                              x11001x1xx1xxxxx001xxxxxxxxxxxxx
                                              fmls.  */
-                                          return 1436;
+                                          return 1434;
                                         }
                                     }
                                 }
                                                                  10987654321098765432109876543210
                                                                  001001x10000xxxx01xxxx0xxxx0xxxx
                                                                  and.  */
-                                                              return 1279;
+                                                              return 1277;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x10000xxxx01xxxx0xxxx1xxxx
                                                                  bic.  */
-                                                              return 1291;
+                                                              return 1289;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  001001x100010xxx01xxxx0xxxxxxxxx
                                                                  brka.  */
-                                                              return 1293;
+                                                              return 1291;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x100011xxx01xxxx0xxxxxxxxx
                                                                  brkn.  */
-                                                              return 1297;
+                                                              return 1295;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              001001x1000xxxxx01xxxx1xxxx0xxxx
                                                              eor.  */
-                                                          return 1366;
+                                                          return 1364;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              001001x1000xxxxx01xxxx1xxxx1xxxx
                                                              sel.  */
-                                                          return 1815;
+                                                          return 1813;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          101001x1000xxxxx010xxxxxxxxxxxxx
                                                          ld1sh.  */
-                                                      return 1565;
+                                                      return 1563;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1000xxxxx011xxxxxxxxxxxxx
                                                          ldff1sh.  */
-                                                      return 1665;
+                                                      return 1663;
                                                     }
                                                 }
                                             }
                                                                  10987654321098765432109876543210
                                                                  001001x11000xxxx01xxxx0xxxx0xxxx
                                                                  orr.  */
-                                                              return 1751;
+                                                              return 1749;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x11000xxxx01xxxx0xxxx1xxxx
                                                                  orn.  */
-                                                              return 1746;
+                                                              return 1744;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              001001x11001xxxx01xxxx0xxxxxxxxx
                                                              brkb.  */
-                                                          return 1295;
+                                                          return 1293;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              001001x1100xxxxx01xxxx1xxxx0xxxx
                                                              nor.  */
-                                                          return 1743;
+                                                          return 1741;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              001001x1100xxxxx01xxxx1xxxx1xxxx
                                                              nand.  */
-                                                          return 1740;
+                                                          return 1738;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          101001x1100xxxxx010xxxxxxxxxxxxx
                                                          ld1sb.  */
-                                                      return 1553;
+                                                      return 1551;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1100xxxxx011xxxxxxxxxxxxx
                                                          ldff1sb.  */
-                                                      return 1653;
+                                                      return 1651;
                                                     }
                                                 }
                                             }
                                                                  10987654321098765432109876543210
                                                                  001001x10100xxxx01xxxx0xxxx0xxxx
                                                                  ands.  */
-                                                              return 1280;
+                                                              return 1278;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      001001x101010xxx01xxxx0xxxx0xxxx
                                                                      brkas.  */
-                                                                  return 1294;
+                                                                  return 1292;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      001001x101011xxx01xxxx0xxxx0xxxx
                                                                      brkns.  */
-                                                                  return 1298;
+                                                                  return 1296;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              001001x1010xxxxx01xxxx1xxxx0xxxx
                                                              eors.  */
-                                                          return 1367;
+                                                          return 1365;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          001001x1010xxxxx01xxxxxxxxx1xxxx
                                                          bics.  */
-                                                      return 1292;
+                                                      return 1290;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x1010xxxxx010xxxxxxxxxxxxx
                                                          ld1w.  */
-                                                      return 1584;
+                                                      return 1582;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1010xxxxx011xxxxxxxxxxxxx
                                                          ldff1w.  */
-                                                      return 1684;
+                                                      return 1682;
                                                     }
                                                 }
                                             }
                                                                  10987654321098765432109876543210
                                                                  001001x11100xxxx01xxxx0xxxx0xxxx
                                                                  orrs.  */
-                                                              return 1752;
+                                                              return 1750;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x11101xxxx01xxxx0xxxx0xxxx
                                                                  brkbs.  */
-                                                              return 1296;
+                                                              return 1294;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              001001x1110xxxxx01xxxx1xxxx0xxxx
                                                              nors.  */
-                                                          return 1744;
+                                                          return 1742;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              001001x1110xxxxx01xxxx0xxxx1xxxx
                                                              orns.  */
-                                                          return 1747;
+                                                          return 1745;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              001001x1110xxxxx01xxxx1xxxx1xxxx
                                                              nands.  */
-                                                          return 1741;
+                                                          return 1739;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          101001x1110xxxxx010xxxxxxxxxxxxx
                                                          ld1sb.  */
-                                                      return 1555;
+                                                      return 1553;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1110xxxxx011xxxxxxxxxxxxx
                                                          ldff1sb.  */
-                                                      return 1657;
+                                                      return 1655;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      x01001x1001xxxxx010xxxxxxxxxxxxx
                                                      ld1sh.  */
-                                                  return 1566;
+                                                  return 1564;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x01001x1101xxxxx010xxxxxxxxxxxxx
                                                      ld1sb.  */
-                                                  return 1554;
+                                                  return 1552;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x01001x1011xxxxx010xxxxxxxxxxxxx
                                                      ld1w.  */
-                                                  return 1585;
+                                                  return 1583;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x01001x1111xxxxx010xxxxxxxxxxxxx
                                                      ld1d.  */
-                                                  return 1507;
+                                                  return 1505;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x01001x1001xxxxx011xxxxxxxxxxxxx
                                                      ldff1sh.  */
-                                                  return 1667;
+                                                  return 1665;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x01001x1101xxxxx011xxxxxxxxxxxxx
                                                      ldff1sb.  */
-                                                  return 1655;
+                                                  return 1653;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x01001x1011xxxxx011xxxxxxxxxxxxx
                                                      ldff1w.  */
-                                                  return 1686;
+                                                  return 1684;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x01001x1111xxxxx011xxxxxxxxxxxxx
                                                      ldff1d.  */
-                                                  return 1631;
+                                                  return 1629;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      011001x1xx0xxxxx010xxxxxxxx0xxxx
                                                      fcmge.  */
-                                                  return 1386;
+                                                  return 1384;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      011001x1xx0xxxxx010xxxxxxxx1xxxx
                                                      fcmgt.  */
-                                                  return 1388;
+                                                  return 1386;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  011001x1xx1xxxxx010xxxxxxxxxxxxx
                                                  fnmla.  */
-                                              return 1450;
+                                              return 1448;
                                             }
                                         }
                                       else
                                                  10987654321098765432109876543210
                                                  111001x1x0xxxxxx010xxxxxxxxxxxxx
                                                  str.  */
-                                              return 1936;
+                                              return 1934;
                                             }
                                           else
                                             {
                                                      10987654321098765432109876543210
                                                      111001x1x10xxxxx010xxxxxxxxxxxxx
                                                      st1w.  */
-                                                  return 1895;
+                                                  return 1893;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          111001x1011xxxxx010xxxxxxxxxxxxx
                                                          st1w.  */
-                                                      return 1897;
+                                                      return 1895;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x1111xxxxx010xxxxxxxxxxxxx
                                                          st1d.  */
-                                                      return 1874;
+                                                      return 1872;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      011001x1xx0xxxxx011xxxxxxxx0xxxx
                                                      fcmeq.  */
-                                                  return 1384;
+                                                  return 1382;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      011001x1xx0xxxxx011xxxxxxxx1xxxx
                                                      fcmne.  */
-                                                  return 1392;
+                                                  return 1390;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          111001x1000xxxxx011xxxxxxxxxxxxx
                                                          stnt1w.  */
-                                                      return 1933;
+                                                      return 1931;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x1100xxxxx011xxxxxxxxxxxxx
                                                          stnt1d.  */
-                                                      return 1929;
+                                                      return 1927;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          111001x1010xxxxx011xxxxxxxxxxxxx
                                                          st3w.  */
-                                                      return 1917;
+                                                      return 1915;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x1110xxxxx011xxxxxxxxxxxxx
                                                          st3d.  */
-                                                      return 1913;
+                                                      return 1911;
                                                     }
                                                 }
                                             }
                                                  10987654321098765432109876543210
                                                  011001x1xx1xxxxx011xxxxxxxxxxxxx
                                                  fnmls.  */
-                                              return 1451;
+                                              return 1449;
                                             }
                                           else
                                             {
                                                          10987654321098765432109876543210
                                                          111001x1001xxxxx011xxxxxxxxxxxxx
                                                          st2w.  */
-                                                      return 1909;
+                                                      return 1907;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x1101xxxxx011xxxxxxxxxxxxx
                                                          st2d.  */
-                                                      return 1905;
+                                                      return 1903;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          111001x1011xxxxx011xxxxxxxxxxxxx
                                                          st4w.  */
-                                                      return 1925;
+                                                      return 1923;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x1111xxxxx011xxxxxxxxxxxxx
                                                          st4d.  */
-                                                      return 1921;
+                                                      return 1919;
                                                     }
                                                 }
                                             }
                                                  10987654321098765432109876543210
                                                  x01001x1xx0xxxxx100xxxxxxxx0xxxx
                                                  cmpeq.  */
-                                              return 1313;
+                                              return 1311;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x01001x1xx0xxxxx100xxxxxxxx1xxxx
                                                  cmpne.  */
-                                              return 1336;
+                                              return 1334;
                                             }
                                         }
                                       else
                                                          10987654321098765432109876543210
                                                          x01001x10000xxxx101xxxxxxxxxxxxx
                                                          ld1sh.  */
-                                                      return 1572;
+                                                      return 1570;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x01001x11000xxxx101xxxxxxxxxxxxx
                                                          ld1sb.  */
-                                                      return 1559;
+                                                      return 1557;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x01001x10100xxxx101xxxxxxxxxxxxx
                                                          ld1w.  */
-                                                      return 1591;
+                                                      return 1589;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x01001x11100xxxx101xxxxxxxxxxxxx
                                                          ld1sb.  */
-                                                      return 1561;
+                                                      return 1559;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x01001x10001xxxx101xxxxxxxxxxxxx
                                                          ldnf1sh.  */
-                                                      return 1705;
+                                                      return 1703;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x01001x11001xxxx101xxxxxxxxxxxxx
                                                          ldnf1sb.  */
-                                                      return 1702;
+                                                      return 1700;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x01001x10101xxxx101xxxxxxxxxxxxx
                                                          ldnf1w.  */
-                                                      return 1708;
+                                                      return 1706;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x01001x11101xxxx101xxxxxxxxxxxxx
                                                          ldnf1sb.  */
-                                                      return 1704;
+                                                      return 1702;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          001001x1x000xxxx11xxxxxxxxx0xxxx
                                                          brkpa.  */
-                                                      return 1299;
+                                                      return 1297;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          001001x1x100xxxx11xxxxxxxxx0xxxx
                                                          brkpas.  */
-                                                      return 1300;
+                                                      return 1298;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              001001x1xx010xx011xxxxxxxxx0xxxx
                                                              ptest.  */
-                                                          return 1785;
+                                                          return 1783;
                                                         }
                                                       else
                                                         {
                                                                          10987654321098765432109876543210
                                                                          001001x1xx011xx01100x0xxxxx0xxxx
                                                                          pfirst.  */
-                                                                      return 1755;
+                                                                      return 1753;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          001001x1xx011xx01110x0xxxxx0xxxx
                                                                          ptrue.  */
-                                                                      return 1786;
+                                                                      return 1784;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          001001x1x0011xx011x1x0xxxxx0xxxx
                                                                          rdffr.  */
-                                                                      return 1792;
+                                                                      return 1790;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          001001x1x1011xx011x1x0xxxxx0xxxx
                                                                          rdffrs.  */
-                                                                      return 1793;
+                                                                      return 1791;
                                                                     }
                                                                 }
                                                             }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx011xx011xxx1xxxxx0xxxx
                                                                  pfalse.  */
-                                                              return 1754;
+                                                              return 1752;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx01xxx111x0x0xxxxx0xxxx
                                                                  ptrues.  */
-                                                              return 1787;
+                                                              return 1785;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx01xxx111x1x0xxxxx0xxxx
                                                                  rdffr.  */
-                                                              return 1791;
+                                                              return 1789;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              001001x1xx01xxx111xxx1xxxxx0xxxx
                                                              pnext.  */
-                                                          return 1756;
+                                                          return 1754;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      001001x1x00xxxxx11xxxxxxxxx1xxxx
                                                      brkpb.  */
-                                                  return 1301;
+                                                  return 1299;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      001001x1x10xxxxx11xxxxxxxxx1xxxx
                                                      brkpbs.  */
-                                                  return 1302;
+                                                  return 1300;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          101001x1000xxxxx110xxxxxxxxxxxxx
                                                          ldnt1w.  */
-                                                      return 1716;
+                                                      return 1714;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1100xxxxx110xxxxxxxxxxxxx
                                                          ldnt1d.  */
-                                                      return 1712;
+                                                      return 1710;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x1010xxxxx110xxxxxxxxxxxxx
                                                          ld3w.  */
-                                                      return 1608;
+                                                      return 1606;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1110xxxxx110xxxxxxxxxxxxx
                                                          ld3d.  */
-                                                      return 1604;
+                                                      return 1602;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          101001x1000xxxxx111xxxxxxxxxxxxx
                                                          ldnt1w.  */
-                                                      return 1717;
+                                                      return 1715;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1100xxxxx111xxxxxxxxxxxxx
                                                          ldnt1d.  */
-                                                      return 1713;
+                                                      return 1711;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x1010xxxxx111xxxxxxxxxxxxx
                                                          ld3w.  */
-                                                      return 1609;
+                                                      return 1607;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1110xxxxx111xxxxxxxxxxxxx
                                                          ld3d.  */
-                                                      return 1605;
+                                                      return 1603;
                                                     }
                                                 }
                                             }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000000100xxxxxxxxxxxxx
                                                                      fadd.  */
-                                                                  return 1375;
+                                                                  return 1373;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000100100xxxxxxxxxxxxx
                                                                      fmaxnm.  */
-                                                                  return 1422;
+                                                                  return 1420;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000010100xxxxxxxxxxxxx
                                                                      fmul.  */
-                                                                  return 1442;
+                                                                  return 1440;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000110100xxxxxxxxxxxxx
                                                                      fmax.  */
-                                                                  return 1420;
+                                                                  return 1418;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000001100xxxxxxxxxxxxx
                                                                      fsub.  */
-                                                                  return 1468;
+                                                                  return 1466;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000101100xxxxxxxxxxxxx
                                                                      fminnm.  */
-                                                                  return 1428;
+                                                                  return 1426;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000011100xxxxxxxxxxxxx
                                                                      fsubr.  */
-                                                                  return 1470;
+                                                                  return 1468;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000111100xxxxxxxxxxxxx
                                                                      fmin.  */
-                                                                  return 1426;
+                                                                  return 1424;
                                                                 }
                                                             }
                                                         }
                                                          10987654321098765432109876543210
                                                          011001x1xx010xxx100xxxxxxxxxxxxx
                                                          ftmad.  */
-                                                      return 1472;
+                                                      return 1470;
                                                     }
                                                 }
                                               else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001000100xxxxxxxxxxxxx
                                                                      fabd.  */
-                                                                  return 1370;
+                                                                  return 1368;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011000100xxxxxxxxxxxxx
                                                                      fadd.  */
-                                                                  return 1376;
+                                                                  return 1374;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001100100xxxxxxxxxxxxx
                                                                      fdivr.  */
-                                                                  return 1416;
+                                                                  return 1414;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011100100xxxxxxxxxxxxx
                                                                      fmaxnm.  */
-                                                                  return 1423;
+                                                                  return 1421;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001010100xxxxxxxxxxxxx
                                                                      fmulx.  */
-                                                                  return 1447;
+                                                                  return 1445;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011010100xxxxxxxxxxxxx
                                                                      fmul.  */
-                                                                  return 1443;
+                                                                  return 1441;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  011001x1xx0x1110100xxxxxxxxxxxxx
                                                                  fmax.  */
-                                                              return 1421;
+                                                              return 1419;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001001100xxxxxxxxxxxxx
                                                                      fscale.  */
-                                                                  return 1465;
+                                                                  return 1463;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011001100xxxxxxxxxxxxx
                                                                      fsub.  */
-                                                                  return 1469;
+                                                                  return 1467;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001101100xxxxxxxxxxxxx
                                                                      fdiv.  */
-                                                                  return 1415;
+                                                                  return 1413;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011101100xxxxxxxxxxxxx
                                                                      fminnm.  */
-                                                                  return 1429;
+                                                                  return 1427;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  011001x1xx0x1011100xxxxxxxxxxxxx
                                                                  fsubr.  */
-                                                              return 1471;
+                                                              return 1469;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  011001x1xx0x1111100xxxxxxxxxxxxx
                                                                  fmin.  */
-                                                              return 1427;
+                                                              return 1425;
                                                             }
                                                         }
                                                     }
                                                      10987654321098765432109876543210
                                                      011001x1xx0xxxxx110xxxxxxxx0xxxx
                                                      fcmuo.  */
-                                                  return 1393;
+                                                  return 1391;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      011001x1xx0xxxxx110xxxxxxxx1xxxx
                                                      facge.  */
-                                                  return 1372;
+                                                  return 1370;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      111001x1000xxxxx1x0xxxxxxxxxxxxx
                                                      st1w.  */
-                                                  return 1891;
+                                                  return 1889;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      111001x1100xxxxx1x0xxxxxxxxxxxxx
                                                      st1d.  */
-                                                  return 1870;
+                                                  return 1868;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  111001x1x10xxxxx1x0xxxxxxxxxxxxx
                                                  st1w.  */
-                                              return 1896;
+                                              return 1894;
                                             }
                                         }
                                     }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000000101xxxxxxxxxxxxx
                                                                      frintn.  */
-                                                                  return 1459;
+                                                                  return 1457;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx010000101xxxxxxxxxxxxx
                                                                      scvtf.  */
-                                                                  return 1805;
+                                                                  return 1803;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          011001x1x0001000101xxxxxxxxxxxxx
                                                                          fcvt.  */
-                                                                      return 1395;
+                                                                      return 1393;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          011001x1x1001000101xxxxxxxxxxxxx
                                                                          fcvt.  */
-                                                                      return 1397;
+                                                                      return 1395;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011000101xxxxxxxxxxxxx
                                                                      fcvtzs.  */
-                                                                  return 1405;
+                                                                  return 1403;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000100101xxxxxxxxxxxxx
                                                                      frinta.  */
-                                                                  return 1456;
+                                                                  return 1454;
                                                                 }
                                                               else
                                                                 {
                                                                          10987654321098765432109876543210
                                                                          011001x1x0010100101xxxxxxxxxxxxx
                                                                          scvtf.  */
-                                                                      return 1804;
+                                                                      return 1802;
                                                                     }
                                                                   else
                                                                     {
                                                                              10987654321098765432109876543210
                                                                              011001x101010100101xxxxxxxxxxxxx
                                                                              scvtf.  */
-                                                                          return 1803;
+                                                                          return 1801;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              011001x111010100101xxxxxxxxxxxxx
                                                                              scvtf.  */
-                                                                          return 1807;
+                                                                          return 1805;
                                                                         }
                                                                     }
                                                                 }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001100101xxxxxxxxxxxxx
                                                                      frecpx.  */
-                                                                  return 1455;
+                                                                  return 1453;
                                                                 }
                                                               else
                                                                 {
                                                                          10987654321098765432109876543210
                                                                          011001x1x0011100101xxxxxxxxxxxxx
                                                                          fcvtzs.  */
-                                                                      return 1404;
+                                                                      return 1402;
                                                                     }
                                                                   else
                                                                     {
                                                                              10987654321098765432109876543210
                                                                              011001x101011100101xxxxxxxxxxxxx
                                                                              fcvtzs.  */
-                                                                          return 1402;
+                                                                          return 1400;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              011001x111011100101xxxxxxxxxxxxx
                                                                              fcvtzs.  */
-                                                                          return 1406;
+                                                                          return 1404;
                                                                         }
                                                                     }
                                                                 }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000010101xxxxxxxxxxxxx
                                                                      frintm.  */
-                                                                  return 1458;
+                                                                  return 1456;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx010010101xxxxxxxxxxxxx
                                                                      scvtf.  */
-                                                                  return 1802;
+                                                                  return 1800;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001010101xxxxxxxxxxxxx
                                                                      fcvt.  */
-                                                                  return 1399;
+                                                                  return 1397;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011010101xxxxxxxxxxxxx
                                                                      fcvtzs.  */
-                                                                  return 1401;
+                                                                  return 1399;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000110101xxxxxxxxxxxxx
                                                                      frintx.  */
-                                                                  return 1461;
+                                                                  return 1459;
                                                                 }
                                                               else
                                                                 {
                                                                          10987654321098765432109876543210
                                                                          011001x10x010110101xxxxxxxxxxxxx
                                                                          scvtf.  */
-                                                                      return 1806;
+                                                                      return 1804;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          011001x11x010110101xxxxxxxxxxxxx
                                                                          scvtf.  */
-                                                                      return 1808;
+                                                                      return 1806;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      011001x10x0x1110101xxxxxxxxxxxxx
                                                                      fcvtzs.  */
-                                                                  return 1403;
+                                                                  return 1401;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x11x0x1110101xxxxxxxxxxxxx
                                                                      fcvtzs.  */
-                                                                  return 1407;
+                                                                  return 1405;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000001101xxxxxxxxxxxxx
                                                                      frintp.  */
-                                                                  return 1460;
+                                                                  return 1458;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx010001101xxxxxxxxxxxxx
                                                                      ucvtf.  */
-                                                                  return 1957;
+                                                                  return 1955;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          011001x1x0001001101xxxxxxxxxxxxx
                                                                          fcvt.  */
-                                                                      return 1396;
+                                                                      return 1394;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          011001x1x1001001101xxxxxxxxxxxxx
                                                                          fcvt.  */
-                                                                      return 1398;
+                                                                      return 1396;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011001101xxxxxxxxxxxxx
                                                                      fcvtzu.  */
-                                                                  return 1412;
+                                                                  return 1410;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      011001x1x00x0101101xxxxxxxxxxxxx
                                                                      ucvtf.  */
-                                                                  return 1956;
+                                                                  return 1954;
                                                                 }
                                                               else
                                                                 {
                                                                          10987654321098765432109876543210
                                                                          011001x1010x0101101xxxxxxxxxxxxx
                                                                          ucvtf.  */
-                                                                      return 1955;
+                                                                      return 1953;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          011001x1110x0101101xxxxxxxxxxxxx
                                                                          ucvtf.  */
-                                                                      return 1959;
+                                                                      return 1957;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001101101xxxxxxxxxxxxx
                                                                      fsqrt.  */
-                                                                  return 1466;
+                                                                  return 1464;
                                                                 }
                                                               else
                                                                 {
                                                                          10987654321098765432109876543210
                                                                          011001x1x0011101101xxxxxxxxxxxxx
                                                                          fcvtzu.  */
-                                                                      return 1411;
+                                                                      return 1409;
                                                                     }
                                                                   else
                                                                     {
                                                                              10987654321098765432109876543210
                                                                              011001x101011101101xxxxxxxxxxxxx
                                                                              fcvtzu.  */
-                                                                          return 1409;
+                                                                          return 1407;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              011001x111011101101xxxxxxxxxxxxx
                                                                              fcvtzu.  */
-                                                                          return 1413;
+                                                                          return 1411;
                                                                         }
                                                                     }
                                                                 }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000011101xxxxxxxxxxxxx
                                                                      frintz.  */
-                                                                  return 1462;
+                                                                  return 1460;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx010011101xxxxxxxxxxxxx
                                                                      ucvtf.  */
-                                                                  return 1954;
+                                                                  return 1952;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      011001x1xx001011101xxxxxxxxxxxxx
                                                                      fcvt.  */
-                                                                  return 1400;
+                                                                  return 1398;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x1xx011011101xxxxxxxxxxxxx
                                                                      fcvtzu.  */
-                                                                  return 1408;
+                                                                  return 1406;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      011001x1xx000111101xxxxxxxxxxxxx
                                                                      frinti.  */
-                                                                  return 1457;
+                                                                  return 1455;
                                                                 }
                                                               else
                                                                 {
                                                                          10987654321098765432109876543210
                                                                          011001x10x010111101xxxxxxxxxxxxx
                                                                          ucvtf.  */
-                                                                      return 1958;
+                                                                      return 1956;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          011001x11x010111101xxxxxxxxxxxxx
                                                                          ucvtf.  */
-                                                                      return 1960;
+                                                                      return 1958;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      011001x10x0x1111101xxxxxxxxxxxxx
                                                                      fcvtzu.  */
-                                                                  return 1410;
+                                                                  return 1408;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      011001x11x0x1111101xxxxxxxxxxxxx
                                                                      fcvtzu.  */
-                                                                  return 1414;
+                                                                  return 1412;
                                                                 }
                                                             }
                                                         }
                                                          10987654321098765432109876543210
                                                          111001x1000xxxxx101xxxxxxxxxxxxx
                                                          st1w.  */
-                                                      return 1892;
+                                                      return 1890;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x1100xxxxx101xxxxxxxxxxxxx
                                                          st1d.  */
-                                                      return 1871;
+                                                      return 1869;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          111001x1010xxxxx101xxxxxxxxxxxxx
                                                          st1w.  */
-                                                      return 1899;
+                                                      return 1897;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x1110xxxxx101xxxxxxxxxxxxx
                                                          st1d.  */
-                                                      return 1875;
+                                                      return 1873;
                                                     }
                                                 }
                                             }
                                                  10987654321098765432109876543210
                                                  011001x1xx0xxxxx111xxxxxxxxxxxxx
                                                  facgt.  */
-                                              return 1373;
+                                              return 1371;
                                             }
                                           else
                                             {
                                                      10987654321098765432109876543210
                                                      111001x1xx00xxxx111xxxxxxxxxxxxx
                                                      st1w.  */
-                                                  return 1900;
+                                                  return 1898;
                                                 }
                                               else
                                                 {
                                                              10987654321098765432109876543210
                                                              111001x10001xxxx111xxxxxxxxxxxxx
                                                              stnt1w.  */
-                                                          return 1934;
+                                                          return 1932;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              111001x11001xxxx111xxxxxxxxxxxxx
                                                              stnt1d.  */
-                                                          return 1930;
+                                                          return 1928;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              111001x10101xxxx111xxxxxxxxxxxxx
                                                              st3w.  */
-                                                          return 1918;
+                                                          return 1916;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              111001x11101xxxx111xxxxxxxxxxxxx
                                                              st3d.  */
-                                                          return 1914;
+                                                          return 1912;
                                                         }
                                                     }
                                                 }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10000010xxxxxxxxxxxxxx
                                                                  cntp.  */
-                                                              return 1342;
+                                                              return 1340;
                                                             }
                                                           else
                                                             {
                                                                              10987654321098765432109876543210
                                                                              001001x1xx10100010x000xxxxxxxxxx
                                                                              sqincp.  */
-                                                                          return 1849;
+                                                                          return 1847;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              001001x1xx10100010x100xxxxxxxxxx
                                                                              wrffr.  */
-                                                                          return 2022;
+                                                                          return 2020;
                                                                         }
                                                                     }
                                                                   else
                                                                          10987654321098765432109876543210
                                                                          001001x1xx10100010xx10xxxxxxxxxx
                                                                          sqincp.  */
-                                                                      return 1851;
+                                                                      return 1849;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      001001x1xx10100010xxx1xxxxxxxxxx
                                                                      sqincp.  */
-                                                                  return 1850;
+                                                                  return 1848;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      001001x1xx10x10010x00xxxxxxxxxxx
                                                                      incp.  */
-                                                                  return 1480;
+                                                                  return 1478;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      001001x1xx10x10010x10xxxxxxxxxxx
                                                                      setffr.  */
-                                                                  return 1816;
+                                                                  return 1814;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10x10010xx1xxxxxxxxxxx
                                                                  incp.  */
-                                                              return 1481;
+                                                              return 1479;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10xx1010xx00xxxxxxxxxx
                                                                  sqdecp.  */
-                                                              return 1835;
+                                                              return 1833;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10xx1010xx10xxxxxxxxxx
                                                                  sqdecp.  */
-                                                              return 1837;
+                                                              return 1835;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              001001x1xx10xx1010xxx1xxxxxxxxxx
                                                              sqdecp.  */
-                                                          return 1836;
+                                                          return 1834;
                                                         }
                                                     }
                                                 }
                                                                      10987654321098765432109876543210
                                                                      001001x1xx10x00110xx00xxxxxxxxxx
                                                                      uqincp.  */
-                                                                  return 1997;
+                                                                  return 1995;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      001001x1xx10x10110xx00xxxxxxxxxx
                                                                      decp.  */
-                                                                  return 1355;
+                                                                  return 1353;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10xx1110xx00xxxxxxxxxx
                                                                  uqdecp.  */
-                                                              return 1983;
+                                                              return 1981;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      001001x1xx10x00110xx10xxxxxxxxxx
                                                                      uqincp.  */
-                                                                  return 1998;
+                                                                  return 1996;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      001001x1xx10x10110xx10xxxxxxxxxx
                                                                      decp.  */
-                                                                  return 1356;
+                                                                  return 1354;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10xx1110xx10xxxxxxxxxx
                                                                  uqdecp.  */
-                                                              return 1984;
+                                                              return 1982;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              001001x1xx10xx0110xxx1xxxxxxxxxx
                                                              uqincp.  */
-                                                          return 1999;
+                                                          return 1997;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              001001x1xx10xx1110xxx1xxxxxxxxxx
                                                              uqdecp.  */
-                                                          return 1985;
+                                                          return 1983;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          101001x10010xxxx10xxxxxxxxxxxxxx
                                                          ld1sh.  */
-                                                      return 1573;
+                                                      return 1571;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x11010xxxx10xxxxxxxxxxxxxx
                                                          ld1sb.  */
-                                                      return 1560;
+                                                      return 1558;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x10110xxxx10xxxxxxxxxxxxxx
                                                          ld1w.  */
-                                                      return 1592;
+                                                      return 1590;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x11110xxxx10xxxxxxxxxxxxxx
                                                          ld1d.  */
-                                                      return 1512;
+                                                      return 1510;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      x01001x10011xxxx10xxxxxxxxxxxxxx
                                                      ldnf1sh.  */
-                                                  return 1706;
+                                                  return 1704;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x01001x11011xxxx10xxxxxxxxxxxxxx
                                                      ldnf1sb.  */
-                                                  return 1703;
+                                                  return 1701;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x01001x10111xxxx10xxxxxxxxxxxxxx
                                                      ldnf1w.  */
-                                                  return 1709;
+                                                  return 1707;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x01001x11111xxxx10xxxxxxxxxxxxxx
                                                      ldnf1d.  */
-                                                  return 1698;
+                                                  return 1696;
                                                 }
                                             }
                                         }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10000011xxxxxxxxxxxxxx
                                                                  add.  */
-                                                              return 1269;
+                                                              return 1267;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx11000011xxxxxxxxxxxxxx
                                                                  mul.  */
-                                                              return 1738;
+                                                              return 1736;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10100011xxxxxxxxxxxxxx
                                                                  smax.  */
-                                                              return 1817;
+                                                              return 1815;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx11100011xxxxxxxxxxxxxx
                                                                  dup.  */
-                                                              return 1361;
+                                                              return 1359;
                                                             }
                                                         }
                                                     }
                                                          10987654321098765432109876543210
                                                          001001x1xx1xx10011xxxxxxxxxxxxxx
                                                          sqadd.  */
-                                                      return 1826;
+                                                      return 1824;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          001001x1xx1xx01011xxxxxxxxxxxxxx
                                                          smin.  */
-                                                      return 1820;
+                                                      return 1818;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          001001x1xx1xx11011xxxxxxxxxxxxxx
                                                          sqsub.  */
-                                                      return 1856;
+                                                      return 1854;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              001001x1xx1x000111xxxxxxxxxxxxxx
                                                              sub.  */
-                                                          return 1938;
+                                                          return 1936;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx10100111xxxxxxxxxxxxxx
                                                                  umax.  */
-                                                              return 1966;
+                                                              return 1964;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx11100111xxxxxxxxxxxxxx
                                                                  fdup.  */
-                                                              return 1417;
+                                                              return 1415;
                                                             }
                                                         }
                                                     }
                                                          10987654321098765432109876543210
                                                          001001x1xx1xx10111xxxxxxxxxxxxxx
                                                          uqadd.  */
-                                                      return 1974;
+                                                      return 1972;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              001001x1xx1x001111xxxxxxxxxxxxxx
                                                              subr.  */
-                                                          return 1940;
+                                                          return 1938;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              001001x1xx1x101111xxxxxxxxxxxxxx
                                                              umin.  */
-                                                          return 1969;
+                                                          return 1967;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          001001x1xx1xx11111xxxxxxxxxxxxxx
                                                          uqsub.  */
-                                                      return 2004;
+                                                      return 2002;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          101001x1001xxxxx110xxxxxxxxxxxxx
                                                          ld2w.  */
-                                                      return 1600;
+                                                      return 1598;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1101xxxxx110xxxxxxxxxxxxx
                                                          ld2d.  */
-                                                      return 1596;
+                                                      return 1594;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x1011xxxxx110xxxxxxxxxxxxx
                                                          ld4w.  */
-                                                      return 1616;
+                                                      return 1614;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1111xxxxx110xxxxxxxxxxxxx
                                                          ld4d.  */
-                                                      return 1612;
+                                                      return 1610;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          101001x1001xxxxx111xxxxxxxxxxxxx
                                                          ld2w.  */
-                                                      return 1601;
+                                                      return 1599;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1101xxxxx111xxxxxxxxxxxxx
                                                          ld2d.  */
-                                                      return 1597;
+                                                      return 1595;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          101001x1011xxxxx111xxxxxxxxxxxxx
                                                          ld4w.  */
-                                                      return 1617;
+                                                      return 1615;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          101001x1111xxxxx111xxxxxxxxxxxxx
                                                          ld4d.  */
-                                                      return 1613;
+                                                      return 1611;
                                                     }
                                                 }
                                             }
                                                  10987654321098765432109876543210
                                                  011001x1xx1xxxxx100xxxxxxxxxxxxx
                                                  fmad.  */
-                                              return 1419;
+                                              return 1417;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  011001x1xx1xxxxx110xxxxxxxxxxxxx
                                                  fnmad.  */
-                                              return 1449;
+                                              return 1447;
                                             }
                                         }
                                       else
                                                      10987654321098765432109876543210
                                                      111001x1001xxxxx1x0xxxxxxxxxxxxx
                                                      st1w.  */
-                                                  return 1893;
+                                                  return 1891;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      111001x1101xxxxx1x0xxxxxxxxxxxxx
                                                      st1d.  */
-                                                  return 1872;
+                                                  return 1870;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  111001x1x11xxxxx1x0xxxxxxxxxxxxx
                                                  st1w.  */
-                                              return 1898;
+                                              return 1896;
                                             }
                                         }
                                     }
                                                  10987654321098765432109876543210
                                                  011001x1xx1xxxxx101xxxxxxxxxxxxx
                                                  fmsb.  */
-                                              return 1440;
+                                              return 1438;
                                             }
                                           else
                                             {
                                                          10987654321098765432109876543210
                                                          111001x1001xxxxx101xxxxxxxxxxxxx
                                                          st1w.  */
-                                                      return 1894;
+                                                      return 1892;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x1101xxxxx101xxxxxxxxxxxxx
                                                          st1d.  */
-                                                      return 1873;
+                                                      return 1871;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      111001x1x11xxxxx101xxxxxxxxxxxxx
                                                      st1w.  */
-                                                  return 1901;
+                                                  return 1899;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  011001x1xx1xxxxx111xxxxxxxxxxxxx
                                                  fnmsb.  */
-                                              return 1452;
+                                              return 1450;
                                             }
                                           else
                                             {
                                                          10987654321098765432109876543210
                                                          111001x10x10xxxx111xxxxxxxxxxxxx
                                                          st1w.  */
-                                                      return 1902;
+                                                      return 1900;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          111001x11x10xxxx111xxxxxxxxxxxxx
                                                          st1d.  */
-                                                      return 1876;
+                                                      return 1874;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              111001x10011xxxx111xxxxxxxxxxxxx
                                                              st2w.  */
-                                                          return 1910;
+                                                          return 1908;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              111001x11011xxxx111xxxxxxxxxxxxx
                                                              st2d.  */
-                                                          return 1906;
+                                                          return 1904;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              111001x10111xxxx111xxxxxxxxxxxxx
                                                              st4w.  */
-                                                          return 1926;
+                                                          return 1924;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              111001x11111xxxx111xxxxxxxxxxxxx
                                                              st4d.  */
-                                                          return 1922;
+                                                          return 1920;
                                                         }
                                                     }
                                                 }
                                      10987654321098765432109876543210
                                      x1010101xx1xxxxxxxxxxxxxxxxxxxxx
                                      sysl.  */
-                                  return 1220;
+                                  return 1218;
                                 }
                               else
                                 {
                              10987654321098765432109876543210
                              xx110110xxxxxxxxxxxxxxxxxxxxxxxx
                              tbz.  */
-                          return 1230;
+                          return 1228;
                         }
                     }
                   else
                              10987654321098765432109876543210
                              xx110111xxxxxxxxxxxxxxxxxxxxxxxx
                              tbnz.  */
-                          return 1231;
+                          return 1229;
                         }
                     }
                 }
                                      10987654321098765432109876543210
                                      xx10110000xxxxxxxxxxxxxxxxxxxxxx
                                      stnp.  */
-                                  return 971;
+                                  return 969;
                                 }
                             }
                           else
                                      10987654321098765432109876543210
                                      xx10110100xxxxxxxxxxxxxxxxxxxxxx
                                      stp.  */
-                                  return 975;
+                                  return 973;
                                 }
                             }
                         }
                                  10987654321098765432109876543210
                                  xx10110x10xxxxxxxxxxxxxxxxxxxxxx
                                  stp.  */
-                              return 981;
+                              return 979;
                             }
                         }
                     }
                                      10987654321098765432109876543210
                                      xx10110001xxxxxxxxxxxxxxxxxxxxxx
                                      ldnp.  */
-                                  return 972;
+                                  return 970;
                                 }
                             }
                           else
                                      10987654321098765432109876543210
                                      xx10110101xxxxxxxxxxxxxxxxxxxxxx
                                      ldp.  */
-                                  return 976;
+                                  return 974;
                                 }
                             }
                         }
                                  10987654321098765432109876543210
                                  xx10110x11xxxxxxxxxxxxxxxxxxxxxx
                                  ldp.  */
-                              return 982;
+                              return 980;
                             }
                         }
                     }
                              10987654321098765432109876543210
                              xx011100xxxxxxxxxxxxxxxxxxxxxxxx
                              ldr.  */
-                          return 986;
+                          return 984;
                         }
                       else
                         {
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x0101xxxxxxxxxx
                                                          sdot.  */
-                                                      return 2041;
+                                                      return 2039;
                                                     }
                                                 }
                                               else
                                              10987654321098765432109876543210
                                              1x001110000xxxxxxxxxxxxxxxxxxxxx
                                              eor3.  */
-                                          return 2048;
+                                          return 2046;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              1x001110100xxxxxxxxxxxxxxxxxxxxx
                                              xar.  */
-                                          return 2050;
+                                          return 2048;
                                         }
                                     }
                                   else
                                              10987654321098765432109876543210
                                              1x001110x10xxxxx0xxxxxxxxxxxxxxx
                                              sm3ss1.  */
-                                          return 2052;
+                                          return 2050;
                                         }
                                       else
                                         {
                                                          10987654321098765432109876543210
                                                          1x001110010xxxxx1xxx00xxxxxxxxxx
                                                          sm3tt1a.  */
-                                                      return 2053;
+                                                      return 2051;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          1x001110110xxxxx1xxx00xxxxxxxxxx
                                                          sha512su0.  */
-                                                      return 2046;
+                                                      return 2044;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      1x001110x10xxxxx1xxx10xxxxxxxxxx
                                                      sm3tt2a.  */
-                                                  return 2055;
+                                                  return 2053;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          1x001110010xxxxx1xxx01xxxxxxxxxx
                                                          sm3tt1b.  */
-                                                      return 2054;
+                                                      return 2052;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          1x001110110xxxxx1xxx01xxxxxxxxxx
                                                          sm4e.  */
-                                                      return 2059;
+                                                      return 2057;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      1x001110x10xxxxx1xxx11xxxxxxxxxx
                                                      sm3tt2b.  */
-                                                  return 2056;
+                                                  return 2054;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          xx101110xx0xxxxx100101xxxxxxxxxx
                                                          udot.  */
-                                                      return 2040;
+                                                      return 2038;
                                                     }
                                                 }
                                               else
                                          10987654321098765432109876543210
                                          1x001110xx1xxxxx0xxxxxxxxxxxxxxx
                                          bcax.  */
-                                      return 2051;
+                                      return 2049;
                                     }
                                 }
                               else
                                                                  10987654321098765432109876543210
                                                                  11001110xx1xxxxx100000xxxxxxxxxx
                                                                  sha512h.  */
-                                                              return 2044;
+                                                              return 2042;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  11001110xx1xxxxx110000xxxxxxxxxx
                                                                  sm3partw1.  */
-                                                              return 2057;
+                                                              return 2055;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100010xxxxxxxxxx
                                                              sha512su1.  */
-                                                          return 2047;
+                                                          return 2045;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  1x0011100x1xxxxx110010xxxxxxxxxx
                                                                  sm4ekey.  */
-                                                              return 2060;
+                                                              return 2058;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100001xxxxxxxxxx
                                                              sha512h2.  */
-                                                          return 2045;
+                                                          return 2043;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  1x0011100x1xxxxx110001xxxxxxxxxx
                                                                  sm3partw2.  */
-                                                              return 2058;
+                                                              return 2056;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100011xxxxxxxxxx
                                                              rax1.  */
-                                                          return 2049;
+                                                          return 2047;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  x01011100x1xxxxx110011xxxxxxxxxx
                                                                  fmlal2.  */
-                                                              return 2063;
+                                                              return 2061;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x11011100x1xxxxx110011xxxxxxxxxx
                                                                  fmlal2.  */
-                                                              return 2067;
+                                                              return 2065;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x01011101x1xxxxx110011xxxxxxxxxx
                                                                  fmlsl2.  */
-                                                              return 2064;
+                                                              return 2062;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x11011101x1xxxxx110011xxxxxxxxxx
                                                                  fmlsl2.  */
-                                                              return 2068;
+                                                              return 2066;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x00011100x1xxxxx111011xxxxxxxxxx
                                                                  fmlal.  */
-                                                              return 2061;
+                                                              return 2059;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10011100x1xxxxx111011xxxxxxxxxx
                                                                  fmlal.  */
-                                                              return 2065;
+                                                              return 2063;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x00011101x1xxxxx111011xxxxxxxxxx
                                                                  fmlsl.  */
-                                                              return 2062;
+                                                              return 2060;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10011101x1xxxxx111011xxxxxxxxxx
                                                                  fmlsl.  */
-                                                              return 2066;
+                                                              return 2064;
                                                             }
                                                         }
                                                       else
                                                      10987654321098765432109876543210
                                                      x0001111xxxxxxxx0000x0xxxxxxxxxx
                                                      fmlal.  */
-                                                  return 2069;
+                                                  return 2067;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1001111xxxxxxxx0000x0xxxxxxxxxx
                                                      fmlal.  */
-                                                  return 2073;
+                                                  return 2071;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x0001111xxxxxxxx0100x0xxxxxxxxxx
                                                      fmlsl.  */
-                                                  return 2070;
+                                                  return 2068;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1001111xxxxxxxx0100x0xxxxxxxxxx
                                                      fmlsl.  */
-                                                  return 2074;
+                                                  return 2072;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x0101111xxxxxxxx1000x0xxxxxxxxxx
                                                      fmlal2.  */
-                                                  return 2071;
+                                                  return 2069;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1101111xxxxxxxx1000x0xxxxxxxxxx
                                                      fmlal2.  */
-                                                  return 2075;
+                                                  return 2073;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x0101111xxxxxxxx1100x0xxxxxxxxxx
                                                      fmlsl2.  */
-                                                  return 2072;
+                                                  return 2070;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1101111xxxxxxxx1100x0xxxxxxxxxx
                                                      fmlsl2.  */
-                                                  return 2076;
+                                                  return 2074;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  xx001111xxxxxxxx1110x0xxxxxxxxxx
                                                  sdot.  */
-                                              return 2043;
+                                              return 2041;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  xx101111xxxxxxxx1110x0xxxxxxxxxx
                                                  udot.  */
-                                              return 2042;
+                                              return 2040;
                                             }
                                         }
                                     }
     case 19: return NULL;              /* addg --> NULL.  */
     case 16: value = 20; break;        /* sub --> subg.  */
     case 20: return NULL;              /* subg --> NULL.  */
-    case 969: value = 973; break;      /* stnp --> stp.  */
-    case 973: return NULL;             /* stp --> NULL.  */
-    case 967: value = 968; break;      /* stllrb --> stllrh.  */
-    case 968: return NULL;             /* stllrh --> NULL.  */
-    case 970: value = 974; break;      /* ldnp --> ldp.  */
-    case 974: return NULL;             /* ldp --> NULL.  */
+    case 967: value = 971; break;      /* stnp --> stp.  */
+    case 971: return NULL;             /* stp --> NULL.  */
+    case 965: value = 966; break;      /* stllrb --> stllrh.  */
+    case 966: return NULL;             /* stllrh --> NULL.  */
+    case 968: value = 972; break;      /* ldnp --> ldp.  */
+    case 972: return NULL;             /* ldp --> NULL.  */
+    case 1617: value = 1618; break;    /* ldff1b --> ldff1b.  */
+    case 1618: return NULL;            /* ldff1b --> NULL.  */
+    case 1673: value = 1674; break;    /* ldff1sw --> ldff1sw.  */
+    case 1674: return NULL;            /* ldff1sw --> NULL.  */
+    case 1621: value = 1622; break;    /* ldff1b --> ldff1b.  */
+    case 1622: return NULL;            /* ldff1b --> NULL.  */
+    case 1640: value = 1641; break;    /* ldff1h --> ldff1h.  */
+    case 1641: return NULL;            /* ldff1h --> NULL.  */
     case 1619: value = 1620; break;    /* ldff1b --> ldff1b.  */
     case 1620: return NULL;            /* ldff1b --> NULL.  */
-    case 1675: value = 1676; break;    /* ldff1sw --> ldff1sw.  */
-    case 1676: return NULL;            /* ldff1sw --> NULL.  */
+    case 1638: value = 1639; break;    /* ldff1h --> ldff1h.  */
+    case 1639: return NULL;            /* ldff1h --> NULL.  */
     case 1623: value = 1624; break;    /* ldff1b --> ldff1b.  */
     case 1624: return NULL;            /* ldff1b --> NULL.  */
     case 1642: value = 1643; break;    /* ldff1h --> ldff1h.  */
     case 1643: return NULL;            /* ldff1h --> NULL.  */
-    case 1621: value = 1622; break;    /* ldff1b --> ldff1b.  */
-    case 1622: return NULL;            /* ldff1b --> NULL.  */
-    case 1640: value = 1641; break;    /* ldff1h --> ldff1h.  */
-    case 1641: return NULL;            /* ldff1h --> NULL.  */
-    case 1625: value = 1626; break;    /* ldff1b --> ldff1b.  */
-    case 1626: return NULL;            /* ldff1b --> NULL.  */
-    case 1644: value = 1645; break;    /* ldff1h --> ldff1h.  */
-    case 1645: return NULL;            /* ldff1h --> NULL.  */
+    case 1663: value = 1664; break;    /* ldff1sh --> ldff1sh.  */
+    case 1664: return NULL;            /* ldff1sh --> NULL.  */
+    case 1651: value = 1652; break;    /* ldff1sb --> ldff1sb.  */
+    case 1652: return NULL;            /* ldff1sb --> NULL.  */
+    case 1682: value = 1683; break;    /* ldff1w --> ldff1w.  */
+    case 1683: return NULL;            /* ldff1w --> NULL.  */
+    case 1655: value = 1656; break;    /* ldff1sb --> ldff1sb.  */
+    case 1656: return NULL;            /* ldff1sb --> NULL.  */
     case 1665: value = 1666; break;    /* ldff1sh --> ldff1sh.  */
     case 1666: return NULL;            /* ldff1sh --> NULL.  */
     case 1653: value = 1654; break;    /* ldff1sb --> ldff1sb.  */
     case 1654: return NULL;            /* ldff1sb --> NULL.  */
     case 1684: value = 1685; break;    /* ldff1w --> ldff1w.  */
     case 1685: return NULL;            /* ldff1w --> NULL.  */
-    case 1657: value = 1658; break;    /* ldff1sb --> ldff1sb.  */
-    case 1658: return NULL;            /* ldff1sb --> NULL.  */
-    case 1667: value = 1668; break;    /* ldff1sh --> ldff1sh.  */
-    case 1668: return NULL;            /* ldff1sh --> NULL.  */
-    case 1655: value = 1656; break;    /* ldff1sb --> ldff1sb.  */
-    case 1656: return NULL;            /* ldff1sb --> NULL.  */
-    case 1686: value = 1687; break;    /* ldff1w --> ldff1w.  */
-    case 1687: return NULL;            /* ldff1w --> NULL.  */
-    case 1631: value = 1632; break;    /* ldff1d --> ldff1d.  */
-    case 1632: return NULL;            /* ldff1d --> NULL.  */
+    case 1629: value = 1630; break;    /* ldff1d --> ldff1d.  */
+    case 1630: return NULL;            /* ldff1d --> NULL.  */
     case 810: value = 811; break;      /* xaflag --> axflag.  */
-    case 811: value = 1187; break;     /* axflag --> msr.  */
-    case 1187: value = 1188; break;    /* msr --> hint.  */
-    case 1188: value = 1204; break;    /* hint --> clrex.  */
-    case 1204: value = 1205; break;    /* clrex --> dsb.  */
-    case 1205: value = 1208; break;    /* dsb --> dmb.  */
-    case 1208: value = 1209; break;    /* dmb --> isb.  */
-    case 1209: value = 1210; break;    /* isb --> sb.  */
-    case 1210: value = 1211; break;    /* sb --> sys.  */
-    case 1211: value = 1219; break;    /* sys --> msr.  */
-    case 1219: value = 2077; break;    /* msr --> cfinv.  */
-    case 2077: return NULL;            /* cfinv --> NULL.  */
-    case 1220: value = 1221; break;    /* sysl --> mrs.  */
-    case 1221: return NULL;            /* mrs --> NULL.  */
+    case 811: value = 1185; break;     /* axflag --> msr.  */
+    case 1185: value = 1186; break;    /* msr --> hint.  */
+    case 1186: value = 1202; break;    /* hint --> clrex.  */
+    case 1202: value = 1203; break;    /* clrex --> dsb.  */
+    case 1203: value = 1206; break;    /* dsb --> dmb.  */
+    case 1206: value = 1207; break;    /* dmb --> isb.  */
+    case 1207: value = 1208; break;    /* isb --> sb.  */
+    case 1208: value = 1209; break;    /* sb --> sys.  */
+    case 1209: value = 1217; break;    /* sys --> msr.  */
+    case 1217: value = 2075; break;    /* msr --> cfinv.  */
+    case 2075: return NULL;            /* cfinv --> NULL.  */
+    case 1218: value = 1219; break;    /* sysl --> mrs.  */
+    case 1219: return NULL;            /* mrs --> NULL.  */
     case 440: value = 441; break;      /* st4 --> st1.  */
     case 441: value = 442; break;      /* st1 --> st2.  */
     case 442: value = 443; break;      /* st2 --> st3.  */
     case 744: value = 745; break;      /* umaddl --> umull.  */
     case 746: value = 747; break;      /* umsubl --> umnegl.  */
     case 757: value = 758; break;      /* extr --> ror.  */
-    case 989: value = 990; break;      /* and --> bic.  */
-    case 991: value = 992; break;      /* orr --> mov.  */
-    case 994: value = 995; break;      /* ands --> tst.  */
-    case 998: value = 1000; break;     /* orr --> uxtw.  */
-    case 1001: value = 1002; break;    /* orn --> mvn.  */
-    case 1005: value = 1006; break;    /* ands --> tst.  */
-    case 1036: value = 1132; break;    /* ldaddb --> staddb.  */
-    case 1037: value = 1133; break;    /* ldaddh --> staddh.  */
-    case 1038: value = 1134; break;    /* ldadd --> stadd.  */
-    case 1040: value = 1135; break;    /* ldaddlb --> staddlb.  */
-    case 1043: value = 1136; break;    /* ldaddlh --> staddlh.  */
-    case 1046: value = 1137; break;    /* ldaddl --> staddl.  */
-    case 1048: value = 1138; break;    /* ldclrb --> stclrb.  */
-    case 1049: value = 1139; break;    /* ldclrh --> stclrh.  */
-    case 1050: value = 1140; break;    /* ldclr --> stclr.  */
-    case 1052: value = 1141; break;    /* ldclrlb --> stclrlb.  */
-    case 1055: value = 1142; break;    /* ldclrlh --> stclrlh.  */
-    case 1058: value = 1143; break;    /* ldclrl --> stclrl.  */
-    case 1060: value = 1144; break;    /* ldeorb --> steorb.  */
-    case 1061: value = 1145; break;    /* ldeorh --> steorh.  */
-    case 1062: value = 1146; break;    /* ldeor --> steor.  */
-    case 1064: value = 1147; break;    /* ldeorlb --> steorlb.  */
-    case 1067: value = 1148; break;    /* ldeorlh --> steorlh.  */
-    case 1070: value = 1149; break;    /* ldeorl --> steorl.  */
-    case 1072: value = 1150; break;    /* ldsetb --> stsetb.  */
-    case 1073: value = 1151; break;    /* ldseth --> stseth.  */
-    case 1074: value = 1152; break;    /* ldset --> stset.  */
-    case 1076: value = 1153; break;    /* ldsetlb --> stsetlb.  */
-    case 1079: value = 1154; break;    /* ldsetlh --> stsetlh.  */
-    case 1082: value = 1155; break;    /* ldsetl --> stsetl.  */
-    case 1084: value = 1156; break;    /* ldsmaxb --> stsmaxb.  */
-    case 1085: value = 1157; break;    /* ldsmaxh --> stsmaxh.  */
-    case 1086: value = 1158; break;    /* ldsmax --> stsmax.  */
-    case 1088: value = 1159; break;    /* ldsmaxlb --> stsmaxlb.  */
-    case 1091: value = 1160; break;    /* ldsmaxlh --> stsmaxlh.  */
-    case 1094: value = 1161; break;    /* ldsmaxl --> stsmaxl.  */
-    case 1096: value = 1162; break;    /* ldsminb --> stsminb.  */
-    case 1097: value = 1163; break;    /* ldsminh --> stsminh.  */
-    case 1098: value = 1164; break;    /* ldsmin --> stsmin.  */
-    case 1100: value = 1165; break;    /* ldsminlb --> stsminlb.  */
-    case 1103: value = 1166; break;    /* ldsminlh --> stsminlh.  */
-    case 1106: value = 1167; break;    /* ldsminl --> stsminl.  */
-    case 1108: value = 1168; break;    /* ldumaxb --> stumaxb.  */
-    case 1109: value = 1169; break;    /* ldumaxh --> stumaxh.  */
-    case 1110: value = 1170; break;    /* ldumax --> stumax.  */
-    case 1112: value = 1171; break;    /* ldumaxlb --> stumaxlb.  */
-    case 1115: value = 1172; break;    /* ldumaxlh --> stumaxlh.  */
-    case 1118: value = 1173; break;    /* ldumaxl --> stumaxl.  */
-    case 1120: value = 1174; break;    /* lduminb --> stuminb.  */
-    case 1121: value = 1175; break;    /* lduminh --> stuminh.  */
-    case 1122: value = 1176; break;    /* ldumin --> stumin.  */
-    case 1124: value = 1177; break;    /* lduminlb --> stuminlb.  */
-    case 1127: value = 1178; break;    /* lduminlh --> stuminlh.  */
-    case 1130: value = 1179; break;    /* lduminl --> stuminl.  */
-    case 1180: value = 1181; break;    /* movn --> mov.  */
-    case 1182: value = 1183; break;    /* movz --> mov.  */
-    case 1188: value = 1229; break;    /* hint --> autibsp.  */
-    case 1205: value = 1207; break;    /* dsb --> pssbb.  */
-    case 1211: value = 1218; break;    /* sys --> cpp.  */
-    case 1277: value = 2027; break;    /* and --> bic.  */
-    case 1279: value = 1260; break;    /* and --> mov.  */
-    case 1280: value = 1264; break;    /* ands --> movs.  */
-    case 1315: value = 2028; break;    /* cmpge --> cmple.  */
-    case 1318: value = 2031; break;    /* cmpgt --> cmplt.  */
-    case 1320: value = 2029; break;    /* cmphi --> cmplo.  */
-    case 1323: value = 2030; break;    /* cmphs --> cmpls.  */
-    case 1345: value = 1257; break;    /* cpy --> mov.  */
-    case 1346: value = 1259; break;    /* cpy --> mov.  */
-    case 1347: value = 2038; break;    /* cpy --> fmov.  */
-    case 1359: value = 1252; break;    /* dup --> mov.  */
-    case 1360: value = 1254; break;    /* dup --> mov.  */
-    case 1361: value = 2037; break;    /* dup --> fmov.  */
-    case 1362: value = 1255; break;    /* dupm --> mov.  */
-    case 1364: value = 2032; break;    /* eor --> eon.  */
-    case 1366: value = 1265; break;    /* eor --> not.  */
-    case 1367: value = 1266; break;    /* eors --> nots.  */
-    case 1372: value = 2033; break;    /* facge --> facle.  */
-    case 1373: value = 2034; break;    /* facgt --> faclt.  */
-    case 1386: value = 2035; break;    /* fcmge --> fcmle.  */
-    case 1388: value = 2036; break;    /* fcmgt --> fcmlt.  */
-    case 1394: value = 1249; break;    /* fcpy --> fmov.  */
-    case 1417: value = 1248; break;    /* fdup --> fmov.  */
-    case 1748: value = 1250; break;    /* orr --> mov.  */
-    case 1749: value = 2039; break;    /* orr --> orn.  */
-    case 1751: value = 1253; break;    /* orr --> mov.  */
-    case 1752: value = 1263; break;    /* orrs --> movs.  */
-    case 1814: value = 1258; break;    /* sel --> mov.  */
-    case 1815: value = 1261; break;    /* sel --> mov.  */
+    case 987: value = 988; break;      /* and --> bic.  */
+    case 989: value = 990; break;      /* orr --> mov.  */
+    case 992: value = 993; break;      /* ands --> tst.  */
+    case 996: value = 998; break;      /* orr --> uxtw.  */
+    case 999: value = 1000; break;     /* orn --> mvn.  */
+    case 1003: value = 1004; break;    /* ands --> tst.  */
+    case 1034: value = 1130; break;    /* ldaddb --> staddb.  */
+    case 1035: value = 1131; break;    /* ldaddh --> staddh.  */
+    case 1036: value = 1132; break;    /* ldadd --> stadd.  */
+    case 1038: value = 1133; break;    /* ldaddlb --> staddlb.  */
+    case 1041: value = 1134; break;    /* ldaddlh --> staddlh.  */
+    case 1044: value = 1135; break;    /* ldaddl --> staddl.  */
+    case 1046: value = 1136; break;    /* ldclrb --> stclrb.  */
+    case 1047: value = 1137; break;    /* ldclrh --> stclrh.  */
+    case 1048: value = 1138; break;    /* ldclr --> stclr.  */
+    case 1050: value = 1139; break;    /* ldclrlb --> stclrlb.  */
+    case 1053: value = 1140; break;    /* ldclrlh --> stclrlh.  */
+    case 1056: value = 1141; break;    /* ldclrl --> stclrl.  */
+    case 1058: value = 1142; break;    /* ldeorb --> steorb.  */
+    case 1059: value = 1143; break;    /* ldeorh --> steorh.  */
+    case 1060: value = 1144; break;    /* ldeor --> steor.  */
+    case 1062: value = 1145; break;    /* ldeorlb --> steorlb.  */
+    case 1065: value = 1146; break;    /* ldeorlh --> steorlh.  */
+    case 1068: value = 1147; break;    /* ldeorl --> steorl.  */
+    case 1070: value = 1148; break;    /* ldsetb --> stsetb.  */
+    case 1071: value = 1149; break;    /* ldseth --> stseth.  */
+    case 1072: value = 1150; break;    /* ldset --> stset.  */
+    case 1074: value = 1151; break;    /* ldsetlb --> stsetlb.  */
+    case 1077: value = 1152; break;    /* ldsetlh --> stsetlh.  */
+    case 1080: value = 1153; break;    /* ldsetl --> stsetl.  */
+    case 1082: value = 1154; break;    /* ldsmaxb --> stsmaxb.  */
+    case 1083: value = 1155; break;    /* ldsmaxh --> stsmaxh.  */
+    case 1084: value = 1156; break;    /* ldsmax --> stsmax.  */
+    case 1086: value = 1157; break;    /* ldsmaxlb --> stsmaxlb.  */
+    case 1089: value = 1158; break;    /* ldsmaxlh --> stsmaxlh.  */
+    case 1092: value = 1159; break;    /* ldsmaxl --> stsmaxl.  */
+    case 1094: value = 1160; break;    /* ldsminb --> stsminb.  */
+    case 1095: value = 1161; break;    /* ldsminh --> stsminh.  */
+    case 1096: value = 1162; break;    /* ldsmin --> stsmin.  */
+    case 1098: value = 1163; break;    /* ldsminlb --> stsminlb.  */
+    case 1101: value = 1164; break;    /* ldsminlh --> stsminlh.  */
+    case 1104: value = 1165; break;    /* ldsminl --> stsminl.  */
+    case 1106: value = 1166; break;    /* ldumaxb --> stumaxb.  */
+    case 1107: value = 1167; break;    /* ldumaxh --> stumaxh.  */
+    case 1108: value = 1168; break;    /* ldumax --> stumax.  */
+    case 1110: value = 1169; break;    /* ldumaxlb --> stumaxlb.  */
+    case 1113: value = 1170; break;    /* ldumaxlh --> stumaxlh.  */
+    case 1116: value = 1171; break;    /* ldumaxl --> stumaxl.  */
+    case 1118: value = 1172; break;    /* lduminb --> stuminb.  */
+    case 1119: value = 1173; break;    /* lduminh --> stuminh.  */
+    case 1120: value = 1174; break;    /* ldumin --> stumin.  */
+    case 1122: value = 1175; break;    /* lduminlb --> stuminlb.  */
+    case 1125: value = 1176; break;    /* lduminlh --> stuminlh.  */
+    case 1128: value = 1177; break;    /* lduminl --> stuminl.  */
+    case 1178: value = 1179; break;    /* movn --> mov.  */
+    case 1180: value = 1181; break;    /* movz --> mov.  */
+    case 1186: value = 1227; break;    /* hint --> autibsp.  */
+    case 1203: value = 1205; break;    /* dsb --> pssbb.  */
+    case 1209: value = 1216; break;    /* sys --> cpp.  */
+    case 1275: value = 2025; break;    /* and --> bic.  */
+    case 1277: value = 1258; break;    /* and --> mov.  */
+    case 1278: value = 1262; break;    /* ands --> movs.  */
+    case 1313: value = 2026; break;    /* cmpge --> cmple.  */
+    case 1316: value = 2029; break;    /* cmpgt --> cmplt.  */
+    case 1318: value = 2027; break;    /* cmphi --> cmplo.  */
+    case 1321: value = 2028; break;    /* cmphs --> cmpls.  */
+    case 1343: value = 1255; break;    /* cpy --> mov.  */
+    case 1344: value = 1257; break;    /* cpy --> mov.  */
+    case 1345: value = 2036; break;    /* cpy --> fmov.  */
+    case 1357: value = 1250; break;    /* dup --> mov.  */
+    case 1358: value = 1252; break;    /* dup --> mov.  */
+    case 1359: value = 2035; break;    /* dup --> fmov.  */
+    case 1360: value = 1253; break;    /* dupm --> mov.  */
+    case 1362: value = 2030; break;    /* eor --> eon.  */
+    case 1364: value = 1263; break;    /* eor --> not.  */
+    case 1365: value = 1264; break;    /* eors --> nots.  */
+    case 1370: value = 2031; break;    /* facge --> facle.  */
+    case 1371: value = 2032; break;    /* facgt --> faclt.  */
+    case 1384: value = 2033; break;    /* fcmge --> fcmle.  */
+    case 1386: value = 2034; break;    /* fcmgt --> fcmlt.  */
+    case 1392: value = 1247; break;    /* fcpy --> fmov.  */
+    case 1415: value = 1246; break;    /* fdup --> fmov.  */
+    case 1746: value = 1248; break;    /* orr --> mov.  */
+    case 1747: value = 2037; break;    /* orr --> orn.  */
+    case 1749: value = 1251; break;    /* orr --> mov.  */
+    case 1750: value = 1261; break;    /* orrs --> movs.  */
+    case 1812: value = 1256; break;    /* sel --> mov.  */
+    case 1813: value = 1259; break;    /* sel --> mov.  */
     default: return NULL;
     }
 
     case 745: value = 744; break;      /* umull --> umaddl.  */
     case 747: value = 746; break;      /* umnegl --> umsubl.  */
     case 758: value = 757; break;      /* ror --> extr.  */
-    case 990: value = 989; break;      /* bic --> and.  */
-    case 992: value = 991; break;      /* mov --> orr.  */
-    case 995: value = 994; break;      /* tst --> ands.  */
-    case 1000: value = 999; break;     /* uxtw --> mov.  */
-    case 999: value = 998; break;      /* mov --> orr.  */
-    case 1002: value = 1001; break;    /* mvn --> orn.  */
-    case 1006: value = 1005; break;    /* tst --> ands.  */
-    case 1132: value = 1036; break;    /* staddb --> ldaddb.  */
-    case 1133: value = 1037; break;    /* staddh --> ldaddh.  */
-    case 1134: value = 1038; break;    /* stadd --> ldadd.  */
-    case 1135: value = 1040; break;    /* staddlb --> ldaddlb.  */
-    case 1136: value = 1043; break;    /* staddlh --> ldaddlh.  */
-    case 1137: value = 1046; break;    /* staddl --> ldaddl.  */
-    case 1138: value = 1048; break;    /* stclrb --> ldclrb.  */
-    case 1139: value = 1049; break;    /* stclrh --> ldclrh.  */
-    case 1140: value = 1050; break;    /* stclr --> ldclr.  */
-    case 1141: value = 1052; break;    /* stclrlb --> ldclrlb.  */
-    case 1142: value = 1055; break;    /* stclrlh --> ldclrlh.  */
-    case 1143: value = 1058; break;    /* stclrl --> ldclrl.  */
-    case 1144: value = 1060; break;    /* steorb --> ldeorb.  */
-    case 1145: value = 1061; break;    /* steorh --> ldeorh.  */
-    case 1146: value = 1062; break;    /* steor --> ldeor.  */
-    case 1147: value = 1064; break;    /* steorlb --> ldeorlb.  */
-    case 1148: value = 1067; break;    /* steorlh --> ldeorlh.  */
-    case 1149: value = 1070; break;    /* steorl --> ldeorl.  */
-    case 1150: value = 1072; break;    /* stsetb --> ldsetb.  */
-    case 1151: value = 1073; break;    /* stseth --> ldseth.  */
-    case 1152: value = 1074; break;    /* stset --> ldset.  */
-    case 1153: value = 1076; break;    /* stsetlb --> ldsetlb.  */
-    case 1154: value = 1079; break;    /* stsetlh --> ldsetlh.  */
-    case 1155: value = 1082; break;    /* stsetl --> ldsetl.  */
-    case 1156: value = 1084; break;    /* stsmaxb --> ldsmaxb.  */
-    case 1157: value = 1085; break;    /* stsmaxh --> ldsmaxh.  */
-    case 1158: value = 1086; break;    /* stsmax --> ldsmax.  */
-    case 1159: value = 1088; break;    /* stsmaxlb --> ldsmaxlb.  */
-    case 1160: value = 1091; break;    /* stsmaxlh --> ldsmaxlh.  */
-    case 1161: value = 1094; break;    /* stsmaxl --> ldsmaxl.  */
-    case 1162: value = 1096; break;    /* stsminb --> ldsminb.  */
-    case 1163: value = 1097; break;    /* stsminh --> ldsminh.  */
-    case 1164: value = 1098; break;    /* stsmin --> ldsmin.  */
-    case 1165: value = 1100; break;    /* stsminlb --> ldsminlb.  */
-    case 1166: value = 1103; break;    /* stsminlh --> ldsminlh.  */
-    case 1167: value = 1106; break;    /* stsminl --> ldsminl.  */
-    case 1168: value = 1108; break;    /* stumaxb --> ldumaxb.  */
-    case 1169: value = 1109; break;    /* stumaxh --> ldumaxh.  */
-    case 1170: value = 1110; break;    /* stumax --> ldumax.  */
-    case 1171: value = 1112; break;    /* stumaxlb --> ldumaxlb.  */
-    case 1172: value = 1115; break;    /* stumaxlh --> ldumaxlh.  */
-    case 1173: value = 1118; break;    /* stumaxl --> ldumaxl.  */
-    case 1174: value = 1120; break;    /* stuminb --> lduminb.  */
-    case 1175: value = 1121; break;    /* stuminh --> lduminh.  */
-    case 1176: value = 1122; break;    /* stumin --> ldumin.  */
-    case 1177: value = 1124; break;    /* stuminlb --> lduminlb.  */
-    case 1178: value = 1127; break;    /* stuminlh --> lduminlh.  */
-    case 1179: value = 1130; break;    /* stuminl --> lduminl.  */
-    case 1181: value = 1180; break;    /* mov --> movn.  */
-    case 1183: value = 1182; break;    /* mov --> movz.  */
-    case 1229: value = 1228; break;    /* autibsp --> autibz.  */
-    case 1228: value = 1227; break;    /* autibz --> autiasp.  */
-    case 1227: value = 1226; break;    /* autiasp --> autiaz.  */
-    case 1226: value = 1225; break;    /* autiaz --> pacibsp.  */
-    case 1225: value = 1224; break;    /* pacibsp --> pacibz.  */
-    case 1224: value = 1223; break;    /* pacibz --> paciasp.  */
-    case 1223: value = 1222; break;    /* paciasp --> paciaz.  */
-    case 1222: value = 1203; break;    /* paciaz --> psb.  */
-    case 1203: value = 1202; break;    /* psb --> esb.  */
-    case 1202: value = 1201; break;    /* esb --> autib1716.  */
-    case 1201: value = 1200; break;    /* autib1716 --> autia1716.  */
-    case 1200: value = 1199; break;    /* autia1716 --> pacib1716.  */
-    case 1199: value = 1198; break;    /* pacib1716 --> pacia1716.  */
-    case 1198: value = 1197; break;    /* pacia1716 --> xpaclri.  */
-    case 1197: value = 1196; break;    /* xpaclri --> sevl.  */
-    case 1196: value = 1195; break;    /* sevl --> sev.  */
-    case 1195: value = 1194; break;    /* sev --> wfi.  */
-    case 1194: value = 1193; break;    /* wfi --> wfe.  */
-    case 1193: value = 1192; break;    /* wfe --> yield.  */
-    case 1192: value = 1191; break;    /* yield --> bti.  */
-    case 1191: value = 1190; break;    /* bti --> csdb.  */
-    case 1190: value = 1189; break;    /* csdb --> nop.  */
-    case 1189: value = 1188; break;    /* nop --> hint.  */
-    case 1207: value = 1206; break;    /* pssbb --> ssbb.  */
-    case 1206: value = 1205; break;    /* ssbb --> dsb.  */
-    case 1218: value = 1217; break;    /* cpp --> dvp.  */
-    case 1217: value = 1216; break;    /* dvp --> cfp.  */
-    case 1216: value = 1215; break;    /* cfp --> tlbi.  */
-    case 1215: value = 1214; break;    /* tlbi --> ic.  */
-    case 1214: value = 1213; break;    /* ic --> dc.  */
-    case 1213: value = 1212; break;    /* dc --> at.  */
-    case 1212: value = 1211; break;    /* at --> sys.  */
-    case 2027: value = 1277; break;    /* bic --> and.  */
-    case 1260: value = 1279; break;    /* mov --> and.  */
-    case 1264: value = 1280; break;    /* movs --> ands.  */
-    case 2028: value = 1315; break;    /* cmple --> cmpge.  */
-    case 2031: value = 1318; break;    /* cmplt --> cmpgt.  */
-    case 2029: value = 1320; break;    /* cmplo --> cmphi.  */
-    case 2030: value = 1323; break;    /* cmpls --> cmphs.  */
-    case 1257: value = 1345; break;    /* mov --> cpy.  */
-    case 1259: value = 1346; break;    /* mov --> cpy.  */
-    case 2038: value = 1262; break;    /* fmov --> mov.  */
-    case 1262: value = 1347; break;    /* mov --> cpy.  */
-    case 1252: value = 1359; break;    /* mov --> dup.  */
-    case 1254: value = 1251; break;    /* mov --> mov.  */
-    case 1251: value = 1360; break;    /* mov --> dup.  */
-    case 2037: value = 1256; break;    /* fmov --> mov.  */
-    case 1256: value = 1361; break;    /* mov --> dup.  */
-    case 1255: value = 1362; break;    /* mov --> dupm.  */
-    case 2032: value = 1364; break;    /* eon --> eor.  */
-    case 1265: value = 1366; break;    /* not --> eor.  */
-    case 1266: value = 1367; break;    /* nots --> eors.  */
-    case 2033: value = 1372; break;    /* facle --> facge.  */
-    case 2034: value = 1373; break;    /* faclt --> facgt.  */
-    case 2035: value = 1386; break;    /* fcmle --> fcmge.  */
-    case 2036: value = 1388; break;    /* fcmlt --> fcmgt.  */
-    case 1249: value = 1394; break;    /* fmov --> fcpy.  */
-    case 1248: value = 1417; break;    /* fmov --> fdup.  */
-    case 1250: value = 1748; break;    /* mov --> orr.  */
-    case 2039: value = 1749; break;    /* orn --> orr.  */
-    case 1253: value = 1751; break;    /* mov --> orr.  */
-    case 1263: value = 1752; break;    /* movs --> orrs.  */
-    case 1258: value = 1814; break;    /* mov --> sel.  */
-    case 1261: value = 1815; break;    /* mov --> sel.  */
+    case 988: value = 987; break;      /* bic --> and.  */
+    case 990: value = 989; break;      /* mov --> orr.  */
+    case 993: value = 992; break;      /* tst --> ands.  */
+    case 998: value = 997; break;      /* uxtw --> mov.  */
+    case 997: value = 996; break;      /* mov --> orr.  */
+    case 1000: value = 999; break;     /* mvn --> orn.  */
+    case 1004: value = 1003; break;    /* tst --> ands.  */
+    case 1130: value = 1034; break;    /* staddb --> ldaddb.  */
+    case 1131: value = 1035; break;    /* staddh --> ldaddh.  */
+    case 1132: value = 1036; break;    /* stadd --> ldadd.  */
+    case 1133: value = 1038; break;    /* staddlb --> ldaddlb.  */
+    case 1134: value = 1041; break;    /* staddlh --> ldaddlh.  */
+    case 1135: value = 1044; break;    /* staddl --> ldaddl.  */
+    case 1136: value = 1046; break;    /* stclrb --> ldclrb.  */
+    case 1137: value = 1047; break;    /* stclrh --> ldclrh.  */
+    case 1138: value = 1048; break;    /* stclr --> ldclr.  */
+    case 1139: value = 1050; break;    /* stclrlb --> ldclrlb.  */
+    case 1140: value = 1053; break;    /* stclrlh --> ldclrlh.  */
+    case 1141: value = 1056; break;    /* stclrl --> ldclrl.  */
+    case 1142: value = 1058; break;    /* steorb --> ldeorb.  */
+    case 1143: value = 1059; break;    /* steorh --> ldeorh.  */
+    case 1144: value = 1060; break;    /* steor --> ldeor.  */
+    case 1145: value = 1062; break;    /* steorlb --> ldeorlb.  */
+    case 1146: value = 1065; break;    /* steorlh --> ldeorlh.  */
+    case 1147: value = 1068; break;    /* steorl --> ldeorl.  */
+    case 1148: value = 1070; break;    /* stsetb --> ldsetb.  */
+    case 1149: value = 1071; break;    /* stseth --> ldseth.  */
+    case 1150: value = 1072; break;    /* stset --> ldset.  */
+    case 1151: value = 1074; break;    /* stsetlb --> ldsetlb.  */
+    case 1152: value = 1077; break;    /* stsetlh --> ldsetlh.  */
+    case 1153: value = 1080; break;    /* stsetl --> ldsetl.  */
+    case 1154: value = 1082; break;    /* stsmaxb --> ldsmaxb.  */
+    case 1155: value = 1083; break;    /* stsmaxh --> ldsmaxh.  */
+    case 1156: value = 1084; break;    /* stsmax --> ldsmax.  */
+    case 1157: value = 1086; break;    /* stsmaxlb --> ldsmaxlb.  */
+    case 1158: value = 1089; break;    /* stsmaxlh --> ldsmaxlh.  */
+    case 1159: value = 1092; break;    /* stsmaxl --> ldsmaxl.  */
+    case 1160: value = 1094; break;    /* stsminb --> ldsminb.  */
+    case 1161: value = 1095; break;    /* stsminh --> ldsminh.  */
+    case 1162: value = 1096; break;    /* stsmin --> ldsmin.  */
+    case 1163: value = 1098; break;    /* stsminlb --> ldsminlb.  */
+    case 1164: value = 1101; break;    /* stsminlh --> ldsminlh.  */
+    case 1165: value = 1104; break;    /* stsminl --> ldsminl.  */
+    case 1166: value = 1106; break;    /* stumaxb --> ldumaxb.  */
+    case 1167: value = 1107; break;    /* stumaxh --> ldumaxh.  */
+    case 1168: value = 1108; break;    /* stumax --> ldumax.  */
+    case 1169: value = 1110; break;    /* stumaxlb --> ldumaxlb.  */
+    case 1170: value = 1113; break;    /* stumaxlh --> ldumaxlh.  */
+    case 1171: value = 1116; break;    /* stumaxl --> ldumaxl.  */
+    case 1172: value = 1118; break;    /* stuminb --> lduminb.  */
+    case 1173: value = 1119; break;    /* stuminh --> lduminh.  */
+    case 1174: value = 1120; break;    /* stumin --> ldumin.  */
+    case 1175: value = 1122; break;    /* stuminlb --> lduminlb.  */
+    case 1176: value = 1125; break;    /* stuminlh --> lduminlh.  */
+    case 1177: value = 1128; break;    /* stuminl --> lduminl.  */
+    case 1179: value = 1178; break;    /* mov --> movn.  */
+    case 1181: value = 1180; break;    /* mov --> movz.  */
+    case 1227: value = 1226; break;    /* autibsp --> autibz.  */
+    case 1226: value = 1225; break;    /* autibz --> autiasp.  */
+    case 1225: value = 1224; break;    /* autiasp --> autiaz.  */
+    case 1224: value = 1223; break;    /* autiaz --> pacibsp.  */
+    case 1223: value = 1222; break;    /* pacibsp --> pacibz.  */
+    case 1222: value = 1221; break;    /* pacibz --> paciasp.  */
+    case 1221: value = 1220; break;    /* paciasp --> paciaz.  */
+    case 1220: value = 1201; break;    /* paciaz --> psb.  */
+    case 1201: value = 1200; break;    /* psb --> esb.  */
+    case 1200: value = 1199; break;    /* esb --> autib1716.  */
+    case 1199: value = 1198; break;    /* autib1716 --> autia1716.  */
+    case 1198: value = 1197; break;    /* autia1716 --> pacib1716.  */
+    case 1197: value = 1196; break;    /* pacib1716 --> pacia1716.  */
+    case 1196: value = 1195; break;    /* pacia1716 --> xpaclri.  */
+    case 1195: value = 1194; break;    /* xpaclri --> sevl.  */
+    case 1194: value = 1193; break;    /* sevl --> sev.  */
+    case 1193: value = 1192; break;    /* sev --> wfi.  */
+    case 1192: value = 1191; break;    /* wfi --> wfe.  */
+    case 1191: value = 1190; break;    /* wfe --> yield.  */
+    case 1190: value = 1189; break;    /* yield --> bti.  */
+    case 1189: value = 1188; break;    /* bti --> csdb.  */
+    case 1188: value = 1187; break;    /* csdb --> nop.  */
+    case 1187: value = 1186; break;    /* nop --> hint.  */
+    case 1205: value = 1204; break;    /* pssbb --> ssbb.  */
+    case 1204: value = 1203; break;    /* ssbb --> dsb.  */
+    case 1216: value = 1215; break;    /* cpp --> dvp.  */
+    case 1215: value = 1214; break;    /* dvp --> cfp.  */
+    case 1214: value = 1213; break;    /* cfp --> tlbi.  */
+    case 1213: value = 1212; break;    /* tlbi --> ic.  */
+    case 1212: value = 1211; break;    /* ic --> dc.  */
+    case 1211: value = 1210; break;    /* dc --> at.  */
+    case 1210: value = 1209; break;    /* at --> sys.  */
+    case 2025: value = 1275; break;    /* bic --> and.  */
+    case 1258: value = 1277; break;    /* mov --> and.  */
+    case 1262: value = 1278; break;    /* movs --> ands.  */
+    case 2026: value = 1313; break;    /* cmple --> cmpge.  */
+    case 2029: value = 1316; break;    /* cmplt --> cmpgt.  */
+    case 2027: value = 1318; break;    /* cmplo --> cmphi.  */
+    case 2028: value = 1321; break;    /* cmpls --> cmphs.  */
+    case 1255: value = 1343; break;    /* mov --> cpy.  */
+    case 1257: value = 1344; break;    /* mov --> cpy.  */
+    case 2036: value = 1260; break;    /* fmov --> mov.  */
+    case 1260: value = 1345; break;    /* mov --> cpy.  */
+    case 1250: value = 1357; break;    /* mov --> dup.  */
+    case 1252: value = 1249; break;    /* mov --> mov.  */
+    case 1249: value = 1358; break;    /* mov --> dup.  */
+    case 2035: value = 1254; break;    /* fmov --> mov.  */
+    case 1254: value = 1359; break;    /* mov --> dup.  */
+    case 1253: value = 1360; break;    /* mov --> dupm.  */
+    case 2030: value = 1362; break;    /* eon --> eor.  */
+    case 1263: value = 1364; break;    /* not --> eor.  */
+    case 1264: value = 1365; break;    /* nots --> eors.  */
+    case 2031: value = 1370; break;    /* facle --> facge.  */
+    case 2032: value = 1371; break;    /* faclt --> facgt.  */
+    case 2033: value = 1384; break;    /* fcmle --> fcmge.  */
+    case 2034: value = 1386; break;    /* fcmlt --> fcmgt.  */
+    case 1247: value = 1392; break;    /* fmov --> fcpy.  */
+    case 1246: value = 1415; break;    /* fmov --> fdup.  */
+    case 1248: value = 1746; break;    /* mov --> orr.  */
+    case 2037: value = 1747; break;    /* orn --> orr.  */
+    case 1251: value = 1749; break;    /* mov --> orr.  */
+    case 1261: value = 1750; break;    /* movs --> orrs.  */
+    case 1256: value = 1812; break;    /* mov --> sel.  */
+    case 1259: value = 1813; break;    /* mov --> sel.  */
     default: return NULL;
     }
 
     case 27:
     case 28:
     case 29:
+    case 159:
     case 160:
     case 161:
     case 162:
     case 166:
     case 167:
     case 168:
-    case 169:
+    case 181:
     case 182:
     case 183:
     case 184:
     case 187:
     case 188:
     case 189:
-    case 190:
-    case 194:
-    case 197:
+    case 193:
+    case 196:
       return aarch64_ext_regno (self, info, code, inst, errors);
     case 8:
       return aarch64_ext_regrt_sysins (self, info, code, inst, errors);
     case 31:
     case 32:
     case 33:
-    case 199:
+    case 198:
       return aarch64_ext_reglane (self, info, code, inst, errors);
     case 34:
       return aarch64_ext_reglist (self, info, code, inst, errors);
     case 79:
     case 80:
     case 81:
-    case 157:
-    case 159:
+    case 156:
+    case 158:
+    case 173:
     case 174:
     case 175:
     case 176:
     case 178:
     case 179:
     case 180:
-    case 181:
       return aarch64_ext_imm (self, info, code, inst, errors);
     case 42:
     case 43:
     case 47:
       return aarch64_ext_shll_imm (self, info, code, inst, errors);
     case 50:
-    case 148:
+    case 147:
       return aarch64_ext_fpimm (self, info, code, inst, errors);
     case 67:
-    case 155:
+    case 154:
       return aarch64_ext_limm (self, info, code, inst, errors);
     case 68:
       return aarch64_ext_aimm (self, info, code, inst, errors);
       return aarch64_ext_fbits (self, info, code, inst, errors);
     case 72:
     case 73:
-    case 153:
+    case 152:
       return aarch64_ext_imm_rotate2 (self, info, code, inst, errors);
     case 74:
-    case 152:
+    case 151:
       return aarch64_ext_imm_rotate1 (self, info, code, inst, errors);
     case 75:
     case 76:
       return aarch64_ext_cond (self, info, code, inst, errors);
     case 82:
-    case 92:
+    case 91:
       return aarch64_ext_addr_simple (self, info, code, inst, errors);
     case 83:
-      return aarch64_ext_addr_simple_2 (self, info, code, inst, errors);
-    case 84:
       return aarch64_ext_addr_regoff (self, info, code, inst, errors);
+    case 84:
     case 85:
     case 86:
-    case 87:
-    case 89:
-    case 91:
-      return aarch64_ext_addr_simm (self, info, code, inst, errors);
     case 88:
-      return aarch64_ext_addr_simm10 (self, info, code, inst, errors);
     case 90:
+      return aarch64_ext_addr_simm (self, info, code, inst, errors);
+    case 87:
+      return aarch64_ext_addr_simm10 (self, info, code, inst, errors);
+    case 89:
       return aarch64_ext_addr_uimm12 (self, info, code, inst, errors);
-    case 93:
+    case 92:
       return aarch64_ext_addr_offset (self, info, code, inst, errors);
-    case 94:
+    case 93:
       return aarch64_ext_simd_addr_post (self, info, code, inst, errors);
-    case 95:
+    case 94:
       return aarch64_ext_sysreg (self, info, code, inst, errors);
-    case 96:
+    case 95:
       return aarch64_ext_pstatefield (self, info, code, inst, errors);
+    case 96:
     case 97:
     case 98:
     case 99:
     case 100:
-    case 101:
       return aarch64_ext_sysins_op (self, info, code, inst, errors);
+    case 101:
     case 102:
-    case 103:
       return aarch64_ext_barrier (self, info, code, inst, errors);
-    case 104:
+    case 103:
       return aarch64_ext_prfop (self, info, code, inst, errors);
+    case 104:
     case 105:
-    case 106:
       return aarch64_ext_hint (self, info, code, inst, errors);
-    case 107:
+    case 106:
       return aarch64_ext_sve_addr_ri_s4 (self, info, code, inst, errors);
+    case 107:
     case 108:
     case 109:
     case 110:
-    case 111:
       return aarch64_ext_sve_addr_ri_s4xvl (self, info, code, inst, errors);
-    case 112:
+    case 111:
       return aarch64_ext_sve_addr_ri_s6xvl (self, info, code, inst, errors);
-    case 113:
+    case 112:
       return aarch64_ext_sve_addr_ri_s9xvl (self, info, code, inst, errors);
+    case 113:
     case 114:
     case 115:
     case 116:
-    case 117:
       return aarch64_ext_sve_addr_ri_u6 (self, info, code, inst, errors);
+    case 117:
     case 118:
     case 119:
     case 120:
     case 127:
     case 128:
     case 129:
-    case 130:
       return aarch64_ext_sve_addr_rr_lsl (self, info, code, inst, errors);
+    case 130:
     case 131:
     case 132:
     case 133:
     case 135:
     case 136:
     case 137:
-    case 138:
       return aarch64_ext_sve_addr_rz_xtw (self, info, code, inst, errors);
+    case 138:
     case 139:
     case 140:
     case 141:
-    case 142:
       return aarch64_ext_sve_addr_zi_u5 (self, info, code, inst, errors);
-    case 143:
+    case 142:
       return aarch64_ext_sve_addr_zz_lsl (self, info, code, inst, errors);
-    case 144:
+    case 143:
       return aarch64_ext_sve_addr_zz_sxtw (self, info, code, inst, errors);
-    case 145:
+    case 144:
       return aarch64_ext_sve_addr_zz_uxtw (self, info, code, inst, errors);
-    case 146:
+    case 145:
       return aarch64_ext_sve_aimm (self, info, code, inst, errors);
-    case 147:
+    case 146:
       return aarch64_ext_sve_asimm (self, info, code, inst, errors);
-    case 149:
+    case 148:
       return aarch64_ext_sve_float_half_one (self, info, code, inst, errors);
-    case 150:
+    case 149:
       return aarch64_ext_sve_float_half_two (self, info, code, inst, errors);
-    case 151:
+    case 150:
       return aarch64_ext_sve_float_zero_one (self, info, code, inst, errors);
-    case 154:
+    case 153:
       return aarch64_ext_inv_limm (self, info, code, inst, errors);
-    case 156:
+    case 155:
       return aarch64_ext_sve_limm_mov (self, info, code, inst, errors);
-    case 158:
+    case 157:
       return aarch64_ext_sve_scale (self, info, code, inst, errors);
+    case 169:
     case 170:
-    case 171:
       return aarch64_ext_sve_shlimm (self, info, code, inst, errors);
+    case 171:
     case 172:
-    case 173:
       return aarch64_ext_sve_shrimm (self, info, code, inst, errors);
+    case 190:
     case 191:
     case 192:
-    case 193:
       return aarch64_ext_sve_quad_index (self, info, code, inst, errors);
-    case 195:
+    case 194:
       return aarch64_ext_sve_index (self, info, code, inst, errors);
-    case 196:
-    case 198:
+    case 195:
+    case 197:
       return aarch64_ext_sve_reglist (self, info, code, inst, errors);
     default: assert (0); abort ();
     }