10987654321098765432109876543210
                                                      x0000000100xxxxxxxxxxxxxxxx01xxx
                                                      bmopa.  */
-                                                  return 2478;
+                                                  return 2479;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x0000000100xxxxxxxxxxxxxxxx11xxx
                                                      bmops.  */
-                                                  return 2479;
+                                                  return 2480;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x1000000x10x100xxxxxxxxxxxxxxxxx
                                                      zero.  */
-                                                  return 2908;
+                                                  return 2909;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          x1000000x00x101xx0xxxxxxxxxxxxxx
                                                          luti4.  */
-                                                      return 2622;
+                                                      return 2623;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x1000000x00x101xx1xxxxxxxxxxxxxx
                                                          luti4.  */
-                                                      return 2621;
+                                                      return 2622;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      x1000000x10x101xxxxxxxxxxxxxxxxx
                                                      luti4.  */
-                                                  return 2620;
+                                                  return 2621;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          x1000000xx0x010xxxxx00xxxxxxxxxx
                                                          mov.  */
-                                                      return 2629;
+                                                      return 2630;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x1000000xx0x011xxxxx00xxxxxxxxxx
                                                          mov.  */
-                                                      return 2625;
+                                                      return 2626;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              x1000000x00x11xxx0xx00xxxxxxxxxx
                                                              luti2.  */
-                                                          return 2619;
+                                                          return 2620;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x1000000x00x11xxx1xx00xxxxxxxxxx
                                                              luti2.  */
-                                                          return 2618;
+                                                          return 2619;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  x1000000010x110xxxxx00xxxxxxxxxx
                                                                  movt.  */
-                                                              return 2640;
+                                                              return 2641;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000000010x111xxxxx00xxxxxxxxxx
                                                                  movt.  */
-                                                              return 2639;
+                                                              return 2640;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              x1000000110x11xxxxxx00xxxxxxxxxx
                                                              luti2.  */
-                                                          return 2617;
+                                                          return 2618;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      x1000000xx0xx10xxxxx10xxxxxxxxxx
                                                      mov.  */
-                                                  return 2627;
+                                                  return 2628;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1000000xx0xx11xxxxx10xxxxxxxxxx
                                                      mov.  */
-                                                  return 2623;
+                                                  return 2624;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x1000000xx0xx10xxxxx01xxxxxxxxxx
                                                      mov.  */
-                                                  return 2630;
+                                                  return 2631;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1000000xx0xx11xxxxx01xxxxxxxxxx
                                                      mov.  */
-                                                  return 2626;
+                                                  return 2627;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x1000000xx0xx10xxxxx11xxxxxxxxxx
                                                      mov.  */
-                                                  return 2628;
+                                                  return 2629;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1000000xx0xx11xxxxx11xxxxxxxxxx
                                                      mov.  */
-                                                  return 2624;
+                                                  return 2625;
                                                 }
                                             }
                                         }
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx000xxxxxxxxxxxx0
                                                              ld1b.  */
-                                                          return 2556;
+                                                          return 2557;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx100xxxxxxxxxxxx0
                                                              ld1b.  */
-                                                          return 2557;
+                                                          return 2558;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx010xxxxxxxxxxxx0
                                                              ld1w.  */
-                                                          return 2580;
+                                                          return 2581;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx110xxxxxxxxxxxx0
                                                              ld1w.  */
-                                                          return 2581;
+                                                          return 2582;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx001xxxxxxxxxxxx0
                                                              ld1h.  */
-                                                          return 2572;
+                                                          return 2573;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx101xxxxxxxxxxxx0
                                                              ld1h.  */
-                                                          return 2573;
+                                                          return 2574;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx011xxxxxxxxxxxx0
                                                              ld1d.  */
-                                                          return 2564;
+                                                          return 2565;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx111xxxxxxxxxxxx0
                                                              ld1d.  */
-                                                          return 2565;
+                                                          return 2566;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx000xxxxxxxxxxxx1
                                                              ldnt1b.  */
-                                                          return 2588;
+                                                          return 2589;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx100xxxxxxxxxxxx1
                                                              ldnt1b.  */
-                                                          return 2589;
+                                                          return 2590;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx010xxxxxxxxxxxx1
                                                              ldnt1w.  */
-                                                          return 2612;
+                                                          return 2613;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx110xxxxxxxxxxxx1
                                                              ldnt1w.  */
-                                                          return 2613;
+                                                          return 2614;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx001xxxxxxxxxxxx1
                                                              ldnt1h.  */
-                                                          return 2604;
+                                                          return 2605;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx101xxxxxxxxxxxx1
                                                              ldnt1h.  */
-                                                          return 2605;
+                                                          return 2606;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx011xxxxxxxxxxxx1
                                                              ldnt1d.  */
-                                                          return 2596;
+                                                          return 2597;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000000xxxxx111xxxxxxxxxxxx1
                                                              ldnt1d.  */
-                                                          return 2597;
+                                                          return 2598;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      x0100000100xxxxxxxxxxxxxxxx01xxx
                                                      smopa.  */
-                                                  return 2702;
+                                                  return 2703;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx100000100xxxxxxxxxxxxxxxx11xxx
                                                  smops.  */
-                                              return 2703;
+                                              return 2704;
                                             }
                                         }
                                     }
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx000xxxxxxxxxxxx0
                                                              ld1b.  */
-                                                          return 2552;
+                                                          return 2553;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx100xxxxxxxxxxxx0
                                                              ld1b.  */
-                                                          return 2553;
+                                                          return 2554;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx010xxxxxxxxxxxx0
                                                              ld1w.  */
-                                                          return 2576;
+                                                          return 2577;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx110xxxxxxxxxxxx0
                                                              ld1w.  */
-                                                          return 2577;
+                                                          return 2578;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx001xxxxxxxxxxxx0
                                                              ld1h.  */
-                                                          return 2568;
+                                                          return 2569;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx101xxxxxxxxxxxx0
                                                              ld1h.  */
-                                                          return 2569;
+                                                          return 2570;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx011xxxxxxxxxxxx0
                                                              ld1d.  */
-                                                          return 2560;
+                                                          return 2561;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx111xxxxxxxxxxxx0
                                                              ld1d.  */
-                                                          return 2561;
+                                                          return 2562;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx000xxxxxxxxxxxx1
                                                              ldnt1b.  */
-                                                          return 2584;
+                                                          return 2585;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx100xxxxxxxxxxxx1
                                                              ldnt1b.  */
-                                                          return 2585;
+                                                          return 2586;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx010xxxxxxxxxxxx1
                                                              ldnt1w.  */
-                                                          return 2608;
+                                                          return 2609;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx110xxxxxxxxxxxx1
                                                              ldnt1w.  */
-                                                          return 2609;
+                                                          return 2610;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx001xxxxxxxxxxxx1
                                                              ldnt1h.  */
-                                                          return 2600;
+                                                          return 2601;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx101xxxxxxxxxxxx1
                                                              ldnt1h.  */
-                                                          return 2601;
+                                                          return 2602;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx011xxxxxxxxxxxx1
                                                              ldnt1d.  */
-                                                          return 2592;
+                                                          return 2593;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100000010xxxxx111xxxxxxxxxxxx1
                                                              ldnt1d.  */
-                                                          return 2593;
+                                                          return 2594;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx000xxxxxxxxxxxx0
                                                          st1b.  */
-                                                      return 2728;
+                                                      return 2729;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx100xxxxxxxxxxxx0
                                                          st1b.  */
-                                                      return 2729;
+                                                      return 2730;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx010xxxxxxxxxxxx0
                                                          st1w.  */
-                                                      return 2752;
+                                                      return 2753;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx110xxxxxxxxxxxx0
                                                          st1w.  */
-                                                      return 2753;
+                                                      return 2754;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx001xxxxxxxxxxxx0
                                                          st1h.  */
-                                                      return 2744;
+                                                      return 2745;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx101xxxxxxxxxxxx0
                                                          st1h.  */
-                                                      return 2745;
+                                                      return 2746;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx011xxxxxxxxxxxx0
                                                          st1d.  */
-                                                      return 2736;
+                                                      return 2737;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx111xxxxxxxxxxxx0
                                                          st1d.  */
-                                                      return 2737;
+                                                      return 2738;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx000xxxxxxxxxxxx1
                                                          stnt1b.  */
-                                                      return 2760;
+                                                      return 2761;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx100xxxxxxxxxxxx1
                                                          stnt1b.  */
-                                                      return 2761;
+                                                      return 2762;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx010xxxxxxxxxxxx1
                                                          stnt1w.  */
-                                                      return 2784;
+                                                      return 2785;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx110xxxxxxxxxxxx1
                                                          stnt1w.  */
-                                                      return 2785;
+                                                      return 2786;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx001xxxxxxxxxxxx1
                                                          stnt1h.  */
-                                                      return 2776;
+                                                      return 2777;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx101xxxxxxxxxxxx1
                                                          stnt1h.  */
-                                                      return 2777;
+                                                      return 2778;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx011xxxxxxxxxxxx1
                                                          stnt1d.  */
-                                                      return 2768;
+                                                      return 2769;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx111xxxxxxxxxxxx1
                                                          stnt1d.  */
-                                                      return 2769;
+                                                      return 2770;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx000xxxxxxxxxxxx0
                                                          st1b.  */
-                                                      return 2724;
+                                                      return 2725;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx100xxxxxxxxxxxx0
                                                          st1b.  */
-                                                      return 2725;
+                                                      return 2726;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx010xxxxxxxxxxxx0
                                                          st1w.  */
-                                                      return 2748;
+                                                      return 2749;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx110xxxxxxxxxxxx0
                                                          st1w.  */
-                                                      return 2749;
+                                                      return 2750;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx001xxxxxxxxxxxx0
                                                          st1h.  */
-                                                      return 2740;
+                                                      return 2741;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx101xxxxxxxxxxxx0
                                                          st1h.  */
-                                                      return 2741;
+                                                      return 2742;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx011xxxxxxxxxxxx0
                                                          st1d.  */
-                                                      return 2732;
+                                                      return 2733;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx111xxxxxxxxxxxx0
                                                          st1d.  */
-                                                      return 2733;
+                                                      return 2734;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx000xxxxxxxxxxxx1
                                                          stnt1b.  */
-                                                      return 2756;
+                                                      return 2757;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx100xxxxxxxxxxxx1
                                                          stnt1b.  */
-                                                      return 2757;
+                                                      return 2758;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx010xxxxxxxxxxxx1
                                                          stnt1w.  */
-                                                      return 2780;
+                                                      return 2781;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx110xxxxxxxxxxxx1
                                                          stnt1w.  */
-                                                      return 2781;
+                                                      return 2782;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx001xxxxxxxxxxxx1
                                                          stnt1h.  */
-                                                      return 2772;
+                                                      return 2773;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx101xxxxxxxxxxxx1
                                                          stnt1h.  */
-                                                      return 2773;
+                                                      return 2774;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx011xxxxxxxxxxxx1
                                                          stnt1d.  */
-                                                      return 2764;
+                                                      return 2765;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx111xxxxxxxxxxxx1
                                                          stnt1d.  */
-                                                      return 2765;
+                                                      return 2766;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx0000010000xxxxxxxxxxxxxxx000xx
                                                          smlall.  */
-                                                      return 2678;
+                                                      return 2679;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx0000010000xxxxxxxxxxxxxxx001xx
                                                          usmlall.  */
-                                                      return 2883;
+                                                      return 2884;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx0xxxxxxxxx000xxx
                                                              smlall.  */
-                                                          return 2679;
+                                                          return 2680;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx1xxxxxxxxx000xxx
                                                              smlall.  */
-                                                          return 2680;
+                                                          return 2681;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx0xxxxxxxxx100xxx
                                                              usmlall.  */
-                                                          return 2884;
+                                                          return 2885;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx1xxxxxxxxx100xxx
                                                              usmlall.  */
-                                                          return 2885;
+                                                          return 2886;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xx0000010000xxxxxxxxxxxxxxx100xx
                                                          umlall.  */
-                                                      return 2841;
+                                                      return 2842;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx0000010000xxxxxxxxxxxxxxx101xx
                                                          sumlall.  */
-                                                      return 2799;
+                                                      return 2800;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx0xxxxxxxxx010xxx
                                                              umlall.  */
-                                                          return 2842;
+                                                          return 2843;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx1xxxxxxxxx010xxx
                                                              umlall.  */
-                                                          return 2843;
+                                                          return 2844;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx0xxxxxxxxx110xxx
                                                              sumlall.  */
-                                                          return 2800;
+                                                          return 2801;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx1xxxxxxxxx110xxx
                                                              sumlall.  */
-                                                          return 2801;
+                                                          return 2802;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      xx0000010000xxxxxxxxxxxxxxx01xxx
                                                      smlsll.  */
-                                                  return 2694;
+                                                  return 2695;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          xx0000010001xxxx0xxxxxxxxxx01xxx
                                                          smlsll.  */
-                                                      return 2695;
+                                                      return 2696;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx0000010001xxxx1xxxxxxxxxx01xxx
                                                          smlsll.  */
-                                                      return 2696;
+                                                      return 2697;
                                                     }
                                                 }
                                             }
                                                      10987654321098765432109876543210
                                                      xx0000010000xxxxxxxxxxxxxxx11xxx
                                                      umlsll.  */
-                                                  return 2857;
+                                                  return 2858;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          xx0000010001xxxx0xxxxxxxxxx11xxx
                                                          umlsll.  */
-                                                      return 2858;
+                                                      return 2859;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx0000010001xxxx1xxxxxxxxxx11xxx
                                                          umlsll.  */
-                                                      return 2859;
+                                                      return 2860;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx000xxxxxxxxx0xxx
                                                              ld1b.  */
-                                                          return 2558;
+                                                          return 2559;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx010xxxxxxxxx0xxx
                                                              ld1w.  */
-                                                          return 2582;
+                                                          return 2583;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx001xxxxxxxxx0xxx
                                                              ld1h.  */
-                                                          return 2574;
+                                                          return 2575;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx011xxxxxxxxx0xxx
                                                              ld1d.  */
-                                                          return 2566;
+                                                          return 2567;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx000xxxxxxxxx1xxx
                                                              ldnt1b.  */
-                                                          return 2590;
+                                                          return 2591;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx010xxxxxxxxx1xxx
                                                              ldnt1w.  */
-                                                          return 2614;
+                                                          return 2615;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx001xxxxxxxxx1xxx
                                                              ldnt1h.  */
-                                                          return 2606;
+                                                          return 2607;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx011xxxxxxxxx1xxx
                                                              ldnt1d.  */
-                                                          return 2598;
+                                                          return 2599;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100001000xxxxx100xxxxxxxxx0xxx
                                                              ld1b.  */
-                                                          return 2559;
+                                                          return 2560;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x1100001000xxxxx100xxxxxxxxx0xxx
                                                              ldr.  */
-                                                          return 2616;
+                                                          return 2617;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx100001000xxxxx110xxxxxxxxx0xxx
                                                          ld1w.  */
-                                                      return 2583;
+                                                      return 2584;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001000xxxxx101xxxxxxxxx0xxx
                                                          ld1h.  */
-                                                      return 2575;
+                                                      return 2576;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001000xxxxx111xxxxxxxxx0xxx
                                                          ld1d.  */
-                                                      return 2567;
+                                                      return 2568;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001000xxxxx100xxxxxxxxx1xxx
                                                          ldnt1b.  */
-                                                      return 2591;
+                                                      return 2592;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001000xxxxx110xxxxxxxxx1xxx
                                                          ldnt1w.  */
-                                                      return 2615;
+                                                      return 2616;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001000xxxxx101xxxxxxxxx1xxx
                                                          ldnt1h.  */
-                                                      return 2607;
+                                                      return 2608;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001000xxxxx111xxxxxxxxx1xxx
                                                          ldnt1d.  */
-                                                      return 2599;
+                                                      return 2600;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              x10000011000xxxxxxx0xxxxxxx00xxx
                                                              smlall.  */
-                                                          return 2915;
+                                                          return 2916;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx0xx0xxxxxxx00xxx
                                                                  smlall.  */
-                                                              return 2916;
+                                                              return 2917;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx1xx0xxxxxxx00xxx
                                                                  smlall.  */
-                                                              return 2917;
+                                                              return 2918;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              x10000011000xxxxxxx1xxxxxxx00xxx
                                                              fmlal.  */
-                                                          return 2519;
+                                                          return 2520;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx0xx1xxxxxxx00xxx
                                                                  fmlal.  */
-                                                              return 2520;
+                                                              return 2521;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx1xx1xxxxxxx00xxx
                                                                  fmlal.  */
-                                                              return 2521;
+                                                              return 2522;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              x10000011000xxxxxxx0xxxxxxx10xxx
                                                              umlall.  */
-                                                          return 2924;
+                                                          return 2925;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx0xx0xxxxxxx10xxx
                                                                  umlall.  */
-                                                              return 2925;
+                                                              return 2926;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx1xx0xxxxxxx10xxx
                                                                  umlall.  */
-                                                              return 2926;
+                                                              return 2927;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              x10000011000xxxxxxx1xxxxxxx10xxx
                                                              bfmlal.  */
-                                                          return 2461;
+                                                          return 2462;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx0xx1xxxxxxx10xxx
                                                                  bfmlal.  */
-                                                              return 2462;
+                                                              return 2463;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx1xx1xxxxxxx10xxx
                                                                  bfmlal.  */
-                                                              return 2463;
+                                                              return 2464;
                                                             }
                                                         }
                                                     }
                                                          10987654321098765432109876543210
                                                          xx0000011000xxxxxxx0xxxxxxx01xxx
                                                          smlsll.  */
-                                                      return 2918;
+                                                      return 2919;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx0xx0xxxxxxx01xxx
                                                              smlsll.  */
-                                                          return 2919;
+                                                          return 2920;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx1xx0xxxxxxx01xxx
                                                              smlsll.  */
-                                                          return 2920;
+                                                          return 2921;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xx0000011000xxxxxxx1xxxxxxx01xxx
                                                          fmlsl.  */
-                                                      return 2533;
+                                                      return 2534;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx0xx1xxxxxxx01xxx
                                                              fmlsl.  */
-                                                          return 2534;
+                                                          return 2535;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx1xx1xxxxxxx01xxx
                                                              fmlsl.  */
-                                                          return 2535;
+                                                          return 2536;
                                                         }
                                                     }
                                                 }
                                                  10987654321098765432109876543210
                                                  xx100001100xxxxxxxxxxxxxxxx01xxx
                                                  umopa.  */
-                                              return 2865;
+                                              return 2866;
                                             }
                                         }
                                       else
                                                          10987654321098765432109876543210
                                                          xx0000011000xxxxxxx0xxxxxxx11xxx
                                                          umlsll.  */
-                                                      return 2927;
+                                                      return 2928;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx0xx0xxxxxxx11xxx
                                                              umlsll.  */
-                                                          return 2928;
+                                                          return 2929;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx1xx0xxxxxxx11xxx
                                                              umlsll.  */
-                                                          return 2929;
+                                                          return 2930;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xx0000011000xxxxxxx1xxxxxxx11xxx
                                                          bfmlsl.  */
-                                                      return 2469;
+                                                      return 2470;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx0xx1xxxxxxx11xxx
                                                              bfmlsl.  */
-                                                          return 2470;
+                                                          return 2471;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx1xx1xxxxxxx11xxx
                                                              bfmlsl.  */
-                                                          return 2471;
+                                                          return 2472;
                                                         }
                                                     }
                                                 }
                                                  10987654321098765432109876543210
                                                  xx100001100xxxxxxxxxxxxxxxx11xxx
                                                  umops.  */
-                                              return 2866;
+                                              return 2867;
                                             }
                                         }
                                     }
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx000xxxxxxxxx0xxx
                                                          ld1b.  */
-                                                      return 2554;
+                                                      return 2555;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx010xxxxxxxxx0xxx
                                                          ld1w.  */
-                                                      return 2578;
+                                                      return 2579;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx001xxxxxxxxx0xxx
                                                          ld1h.  */
-                                                      return 2570;
+                                                      return 2571;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx011xxxxxxxxx0xxx
                                                          ld1d.  */
-                                                      return 2562;
+                                                      return 2563;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx0xxxxxx000xxx
                                                              fmla.  */
-                                                          return 2513;
+                                                          return 2514;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx1xxxxxx000xxx
                                                              sdot.  */
-                                                          return 2648;
+                                                          return 2649;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx0xxxxxx100xxx
                                                              svdot.  */
-                                                          return 2807;
+                                                          return 2808;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx1xxxxxx100xxx
                                                              sdot.  */
-                                                          return 2654;
+                                                          return 2655;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx0xxxxxx010xxx
                                                              fmls.  */
-                                                          return 2527;
+                                                          return 2528;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx1xxxxxx010xxx
                                                              udot.  */
-                                                          return 2813;
+                                                          return 2814;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx0xxxxxx110xxx
                                                              uvdot.  */
-                                                          return 2894;
+                                                          return 2895;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx1xxxxxx110xxx
                                                              udot.  */
-                                                          return 2819;
+                                                          return 2820;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx100xxxxxxxxx0xxx
                                                          ld1b.  */
-                                                      return 2555;
+                                                      return 2556;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx110xxxxxxxxx0xxx
                                                          ld1w.  */
-                                                      return 2579;
+                                                      return 2580;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx101xxxxxxxxx0xxx
                                                          ld1h.  */
-                                                      return 2571;
+                                                      return 2572;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx111xxxxxxxxx0xxx
                                                          ld1d.  */
-                                                      return 2563;
+                                                      return 2564;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx000xxx
                                                              fmla.  */
-                                                          return 2514;
+                                                          return 2515;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx000xxx
                                                              sdot.  */
-                                                          return 2649;
+                                                          return 2650;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx100xxx
                                                              svdot.  */
-                                                          return 2808;
+                                                          return 2809;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx100xxx
                                                              sdot.  */
-                                                          return 2655;
+                                                          return 2656;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx010xxx
                                                              fmls.  */
-                                                          return 2528;
+                                                          return 2529;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx010xxx
                                                              udot.  */
-                                                          return 2814;
+                                                          return 2815;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx110xxx
                                                              uvdot.  */
-                                                          return 2895;
+                                                          return 2896;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx110xxx
                                                              udot.  */
-                                                          return 2820;
+                                                          return 2821;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx000xxxxxxxxx1xxx
                                                          ldnt1b.  */
-                                                      return 2586;
+                                                      return 2587;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx010xxxxxxxxx1xxx
                                                          ldnt1w.  */
-                                                      return 2610;
+                                                      return 2611;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx001xxxxxxxxx1xxx
                                                          ldnt1h.  */
-                                                      return 2602;
+                                                      return 2603;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx011xxxxxxxxx1xxx
                                                          ldnt1d.  */
-                                                      return 2594;
+                                                      return 2595;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx0xxxxxx001xxx
                                                              fvdot.  */
-                                                          return 2551;
+                                                          return 2552;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx1xxxxxx001xxx
                                                              fdot.  */
-                                                          return 2491;
+                                                          return 2492;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xxx000010101xxxx0xxxxxxxxx101xxx
                                                          usdot.  */
-                                                      return 2877;
+                                                      return 2878;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx0xxxxxx011xxx
                                                              bfvdot.  */
-                                                          return 2477;
+                                                          return 2478;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx1xxxxxx011xxx
                                                              bfdot.  */
-                                                          return 2455;
+                                                          return 2456;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xxx000010101xxxx0xxxxxxxxx111xxx
                                                          sudot.  */
-                                                      return 2795;
+                                                      return 2796;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx100xxxxxxxxx1xxx
                                                          ldnt1b.  */
-                                                      return 2587;
+                                                      return 2588;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx110xxxxxxxxx1xxx
                                                          ldnt1w.  */
-                                                      return 2611;
+                                                      return 2612;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx101xxxxxxxxx1xxx
                                                          ldnt1h.  */
-                                                      return 2603;
+                                                      return 2604;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000010100xxxx111xxxxxxxxx1xxx
                                                          ldnt1d.  */
-                                                      return 2595;
+                                                      return 2596;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xxx000010101xxxx1xxxxxxxxx001xxx
                                                          fdot.  */
-                                                      return 2492;
+                                                      return 2493;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx101xxx
                                                              usvdot.  */
-                                                          return 2891;
+                                                          return 2892;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx101xxx
                                                              usdot.  */
-                                                          return 2878;
+                                                          return 2879;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xxx000010101xxxx1xxxxxxxxx011xxx
                                                          bfdot.  */
-                                                      return 2456;
+                                                      return 2457;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx111xxx
                                                              suvdot.  */
-                                                          return 2806;
+                                                          return 2807;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx111xxx
                                                              sudot.  */
-                                                          return 2796;
+                                                          return 2797;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxx0xx0xxxxxxx00xxx
                                                          fmla.  */
-                                                      return 2931;
+                                                      return 2932;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxx1xx0xxxxxxx00xxx
                                                          fmla.  */
-                                                      return 2932;
+                                                      return 2933;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx0000011100xxxxxxx1xxxxxxx00xxx
                                                          smlal.  */
-                                                      return 2670;
+                                                      return 2671;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011101xxxx0xx1xxxxxxx00xxx
                                                              smlal.  */
-                                                          return 2671;
+                                                          return 2672;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011101xxxx1xx1xxxxxxx00xxx
                                                              smlal.  */
-                                                          return 2672;
+                                                          return 2673;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx000001110xxxxx0xx00xxxxxx01xxx
                                                              sdot.  */
-                                                          return 2913;
+                                                          return 2914;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx000001110xxxxx1xx00xxxxxx01xxx
                                                              sdot.  */
-                                                          return 2914;
+                                                          return 2915;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxxxxx01xxxxxx01xxx
                                                          svdot.  */
-                                                      return 2921;
+                                                      return 2922;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx0000011100xxxxxxx1xxxxxxx01xxx
                                                          smlsl.  */
-                                                      return 2686;
+                                                      return 2687;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011101xxxx0xx1xxxxxxx01xxx
                                                              smlsl.  */
-                                                          return 2687;
+                                                          return 2688;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011101xxxx1xx1xxxxxxx01xxx
                                                              smlsl.  */
-                                                          return 2688;
+                                                          return 2689;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxx0xx0xxxxxxx10xxx
                                                          fmls.  */
-                                                      return 2933;
+                                                      return 2934;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxx1xx0xxxxxxx10xxx
                                                          fmls.  */
-                                                      return 2934;
+                                                      return 2935;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx0000011100xxxxxxx1xxxxxxx10xxx
                                                          umlal.  */
-                                                      return 2833;
+                                                      return 2834;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011101xxxx0xx1xxxxxxx10xxx
                                                              umlal.  */
-                                                          return 2834;
+                                                          return 2835;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011101xxxx1xx1xxxxxxx10xxx
                                                              umlal.  */
-                                                          return 2835;
+                                                          return 2836;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xxx00001110xxxxx0xx00xxxxxx11xxx
                                                          udot.  */
-                                                      return 2922;
+                                                      return 2923;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx00001110xxxxx1xx00xxxxxx11xxx
                                                          udot.  */
-                                                      return 2923;
+                                                      return 2924;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      xxx00001110xxxxxxxx01xxxxxx11xxx
                                                      uvdot.  */
-                                                  return 2930;
+                                                  return 2931;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xxx000011100xxxxxxx1xxxxxxx11xxx
                                                      umlsl.  */
-                                                  return 2849;
+                                                  return 2850;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          xxx000011101xxxx0xx1xxxxxxx11xxx
                                                          umlsl.  */
-                                                      return 2850;
+                                                      return 2851;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000011101xxxx1xx1xxxxxxx11xxx
                                                          umlsl.  */
-                                                      return 2851;
+                                                      return 2852;
                                                     }
                                                 }
                                             }
                                                                          10987654321098765432109876543210
                                                                          x10000010x10xxxx0xx000xxxxx000xx
                                                                          smlall.  */
-                                                                      return 2682;
+                                                                      return 2683;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010x11xxxx0xx000xxxxx000xx
                                                                          smlall.  */
-                                                                      return 2683;
+                                                                      return 2684;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx00xx000xxxxx000xx
                                                                          smlall.  */
-                                                                      return 2684;
+                                                                      return 2685;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx10xx000xxxxx000xx
                                                                          smlall.  */
-                                                                      return 2685;
+                                                                      return 2686;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          x10000010x10xxxx0xx000xxxxx001xx
                                                                          usmlall.  */
-                                                                      return 2887;
+                                                                      return 2888;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010x11xxxx0xx000xxxxx001xx
                                                                          usmlall.  */
-                                                                      return 2888;
+                                                                      return 2889;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx00xx000xxxxx001xx
                                                                          usmlall.  */
-                                                                      return 2889;
+                                                                      return 2890;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx10xx000xxxxx001xx
                                                                          usmlall.  */
-                                                                      return 2890;
+                                                                      return 2891;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx100xxxxx00xxx
                                                                      fdot.  */
-                                                                  return 2493;
+                                                                  return 2494;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx100xxxxx00xxx
                                                                      fdot.  */
-                                                                  return 2494;
+                                                                  return 2495;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx100xxxxx00xxx
                                                                      fdot.  */
-                                                                  return 2495;
+                                                                  return 2496;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx100xxxxx00xxx
                                                                      fdot.  */
-                                                                  return 2496;
+                                                                  return 2497;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          x10000010010xxxx0xx010xxxxx00xxx
                                                                          fmlal.  */
-                                                                      return 2523;
+                                                                      return 2524;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010011xxxx0xx010xxxxx00xxx
                                                                          fmlal.  */
-                                                                      return 2524;
+                                                                      return 2525;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx00xx010xxxxx00xxx
                                                                          fmlal.  */
-                                                                      return 2525;
+                                                                      return 2526;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx10xx010xxxxx00xxx
                                                                          fmlal.  */
-                                                                      return 2526;
+                                                                      return 2527;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx010xxxxx00xxx
                                                                          smlal.  */
-                                                                      return 2674;
+                                                                      return 2675;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx010xxxxx00xxx
                                                                          smlal.  */
-                                                                      return 2675;
+                                                                      return 2676;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx010xxxxx00xxx
                                                                          smlal.  */
-                                                                      return 2676;
+                                                                      return 2677;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx010xxxxx00xxx
                                                                          smlal.  */
-                                                                      return 2677;
+                                                                      return 2678;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx110xxxxx00xxx
                                                                      fmla.  */
-                                                                  return 2515;
+                                                                  return 2516;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx110xxxxx00xxx
                                                                      fmla.  */
-                                                                  return 2516;
+                                                                  return 2517;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx110xxxxx00xxx
                                                                      fmla.  */
-                                                                  return 2517;
+                                                                  return 2518;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx110xxxxx00xxx
                                                                      fmla.  */
-                                                                  return 2518;
+                                                                  return 2519;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx0xx001xxxxx000xx
                                                                  smlall.  */
-                                                              return 2681;
+                                                              return 2682;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx0xx001xxxxx001xx
                                                                  usmlall.  */
-                                                              return 2886;
+                                                              return 2887;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx101xxxxx00xxx
                                                                      sdot.  */
-                                                                  return 2656;
+                                                                  return 2657;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx101xxxxx00xxx
                                                                      sdot.  */
-                                                                  return 2657;
+                                                                  return 2658;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx101xxxxx00xxx
                                                                      sdot.  */
-                                                                  return 2658;
+                                                                  return 2659;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx101xxxxx00xxx
                                                                      sdot.  */
-                                                                  return 2659;
+                                                                  return 2660;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  x1000001x01xxxxx0xx011xxxxx00xxx
                                                                  fmlal.  */
-                                                              return 2522;
+                                                              return 2523;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001x11xxxxx0xx011xxxxx00xxx
                                                                  smlal.  */
-                                                              return 2673;
+                                                              return 2674;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx00xx111xxxxx00xxx
                                                                  fadd.  */
-                                                              return 2481;
+                                                              return 2482;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx10xx111xxxxx00xxx
                                                                  fadd.  */
-                                                              return 2482;
+                                                              return 2483;
                                                             }
                                                         }
                                                     }
                                                                          10987654321098765432109876543210
                                                                          x10000010x10xxxx0xx000xxxxx100xx
                                                                          umlall.  */
-                                                                      return 2845;
+                                                                      return 2846;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010x11xxxx0xx000xxxxx100xx
                                                                          umlall.  */
-                                                                      return 2846;
+                                                                      return 2847;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx00xx000xxxxx100xx
                                                                          umlall.  */
-                                                                      return 2847;
+                                                                      return 2848;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx10xx000xxxxx100xx
                                                                          umlall.  */
-                                                                      return 2848;
+                                                                      return 2849;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx10xxxx0xx000xxxxx101xx
                                                                      sumlall.  */
-                                                                  return 2802;
+                                                                  return 2803;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx11xxxx0xx000xxxxx101xx
                                                                      sumlall.  */
-                                                                  return 2803;
+                                                                  return 2804;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx100xxxxx10xxx
                                                                      bfdot.  */
-                                                                  return 2457;
+                                                                  return 2458;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx100xxxxx10xxx
                                                                      bfdot.  */
-                                                                  return 2458;
+                                                                  return 2459;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx100xxxxx10xxx
                                                                      bfdot.  */
-                                                                  return 2459;
+                                                                  return 2460;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx100xxxxx10xxx
                                                                      bfdot.  */
-                                                                  return 2460;
+                                                                  return 2461;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          x10000010010xxxx0xx010xxxxx10xxx
                                                                          bfmlal.  */
-                                                                      return 2465;
+                                                                      return 2466;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010011xxxx0xx010xxxxx10xxx
                                                                          bfmlal.  */
-                                                                      return 2466;
+                                                                      return 2467;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx00xx010xxxxx10xxx
                                                                          bfmlal.  */
-                                                                      return 2467;
+                                                                      return 2468;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx10xx010xxxxx10xxx
                                                                          bfmlal.  */
-                                                                      return 2468;
+                                                                      return 2469;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx010xxxxx10xxx
                                                                          umlal.  */
-                                                                      return 2837;
+                                                                      return 2838;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx010xxxxx10xxx
                                                                          umlal.  */
-                                                                      return 2838;
+                                                                      return 2839;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx010xxxxx10xxx
                                                                          umlal.  */
-                                                                      return 2839;
+                                                                      return 2840;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx010xxxxx10xxx
                                                                          umlal.  */
-                                                                      return 2840;
+                                                                      return 2841;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx110xxxxx10xxx
                                                                      add.  */
-                                                                  return 2447;
+                                                                  return 2448;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx110xxxxx10xxx
                                                                      add.  */
-                                                                  return 2448;
+                                                                  return 2449;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx110xxxxx10xxx
                                                                      add.  */
-                                                                  return 2449;
+                                                                  return 2450;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx110xxxxx10xxx
                                                                      add.  */
-                                                                  return 2450;
+                                                                  return 2451;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              x1000001xx1xxxxx0xx001xxxxx10xxx
                                                              umlall.  */
-                                                          return 2844;
+                                                          return 2845;
                                                         }
                                                       else
                                                         {
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx101xxxxx10xxx
                                                                      udot.  */
-                                                                  return 2821;
+                                                                  return 2822;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx101xxxxx10xxx
                                                                      udot.  */
-                                                                  return 2822;
+                                                                  return 2823;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx101xxxxx10xxx
                                                                      udot.  */
-                                                                  return 2823;
+                                                                  return 2824;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx101xxxxx10xxx
                                                                      udot.  */
-                                                                  return 2824;
+                                                                  return 2825;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  x1000001x01xxxxx0xx011xxxxx10xxx
                                                                  bfmlal.  */
-                                                              return 2464;
+                                                              return 2465;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001x11xxxxx0xx011xxxxx10xxx
                                                                  umlal.  */
-                                                              return 2836;
+                                                              return 2837;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx00xx111xxxxx10xxx
                                                                  add.  */
-                                                              return 2445;
+                                                              return 2446;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx10xx111xxxxx10xxx
                                                                  add.  */
-                                                              return 2446;
+                                                              return 2447;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x10000010x10xxxx0xxx00xxxxx01xxx
                                                                  smlsll.  */
-                                                              return 2698;
+                                                              return 2699;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000010x11xxxx0xxx00xxxxx01xxx
                                                                  smlsll.  */
-                                                              return 2699;
+                                                              return 2700;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x10000011x1xxxx00xxx00xxxxx01xxx
                                                                  smlsll.  */
-                                                              return 2700;
+                                                              return 2701;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011x1xxxx10xxx00xxxxx01xxx
                                                                  smlsll.  */
-                                                              return 2701;
+                                                              return 2702;
                                                             }
                                                         }
                                                     }
                                                                          10987654321098765432109876543210
                                                                          x10000010010xxxx0xx010xxxxx01xxx
                                                                          fmlsl.  */
-                                                                      return 2537;
+                                                                      return 2538;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010011xxxx0xx010xxxxx01xxx
                                                                          fmlsl.  */
-                                                                      return 2538;
+                                                                      return 2539;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx00xx010xxxxx01xxx
                                                                          fmlsl.  */
-                                                                      return 2539;
+                                                                      return 2540;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx10xx010xxxxx01xxx
                                                                          fmlsl.  */
-                                                                      return 2540;
+                                                                      return 2541;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx010xxxxx01xxx
                                                                          smlsl.  */
-                                                                      return 2690;
+                                                                      return 2691;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx010xxxxx01xxx
                                                                          smlsl.  */
-                                                                      return 2691;
+                                                                      return 2692;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx010xxxxx01xxx
                                                                          smlsl.  */
-                                                                      return 2692;
+                                                                      return 2693;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx010xxxxx01xxx
                                                                          smlsl.  */
-                                                                      return 2693;
+                                                                      return 2694;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx110xxxxx01xxx
                                                                      fmls.  */
-                                                                  return 2529;
+                                                                  return 2530;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx110xxxxx01xxx
                                                                      fmls.  */
-                                                                  return 2530;
+                                                                  return 2531;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx110xxxxx01xxx
                                                                      fmls.  */
-                                                                  return 2531;
+                                                                  return 2532;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx110xxxxx01xxx
                                                                      fmls.  */
-                                                                  return 2532;
+                                                                  return 2533;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              x1000001xx1xxxxx0xx001xxxxx01xxx
                                                              smlsll.  */
-                                                          return 2697;
+                                                          return 2698;
                                                         }
                                                       else
                                                         {
                                                                          10987654321098765432109876543210
                                                                          x10000010010xxxx0xx101xxxxx01xxx
                                                                          usdot.  */
-                                                                      return 2879;
+                                                                      return 2880;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010011xxxx0xx101xxxxx01xxx
                                                                          usdot.  */
-                                                                      return 2880;
+                                                                      return 2881;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx00xx101xxxxx01xxx
                                                                          usdot.  */
-                                                                      return 2881;
+                                                                      return 2882;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx10xx101xxxxx01xxx
                                                                          usdot.  */
-                                                                      return 2882;
+                                                                      return 2883;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx101xxxxx01xxx
                                                                          sdot.  */
-                                                                      return 2650;
+                                                                      return 2651;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx101xxxxx01xxx
                                                                          sdot.  */
-                                                                      return 2651;
+                                                                      return 2652;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx101xxxxx01xxx
                                                                          sdot.  */
-                                                                      return 2652;
+                                                                      return 2653;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx101xxxxx01xxx
                                                                          sdot.  */
-                                                                      return 2653;
+                                                                      return 2654;
                                                                     }
                                                                 }
                                                             }
                                                                  10987654321098765432109876543210
                                                                  x1000001x01xxxxx0xx011xxxxx01xxx
                                                                  fmlsl.  */
-                                                              return 2536;
+                                                              return 2537;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001x11xxxxx0xx011xxxxx01xxx
                                                                  smlsl.  */
-                                                              return 2689;
+                                                              return 2690;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx00xx111xxxxx01xxx
                                                                  fsub.  */
-                                                              return 2549;
+                                                              return 2550;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx10xx111xxxxx01xxx
                                                                  fsub.  */
-                                                              return 2550;
+                                                              return 2551;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x10000010x10xxxx0xxx00xxxxx11xxx
                                                                  umlsll.  */
-                                                              return 2861;
+                                                              return 2862;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000010x11xxxx0xxx00xxxxx11xxx
                                                                  umlsll.  */
-                                                              return 2862;
+                                                              return 2863;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x10000011x1xxxx00xxx00xxxxx11xxx
                                                                  umlsll.  */
-                                                              return 2863;
+                                                              return 2864;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011x1xxxx10xxx00xxxxx11xxx
                                                                  umlsll.  */
-                                                              return 2864;
+                                                              return 2865;
                                                             }
                                                         }
                                                     }
                                                                          10987654321098765432109876543210
                                                                          x10000010010xxxx0xx010xxxxx11xxx
                                                                          bfmlsl.  */
-                                                                      return 2473;
+                                                                      return 2474;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010011xxxx0xx010xxxxx11xxx
                                                                          bfmlsl.  */
-                                                                      return 2474;
+                                                                      return 2475;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx00xx010xxxxx11xxx
                                                                          bfmlsl.  */
-                                                                      return 2475;
+                                                                      return 2476;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx10xx010xxxxx11xxx
                                                                          bfmlsl.  */
-                                                                      return 2476;
+                                                                      return 2477;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx010xxxxx11xxx
                                                                          umlsl.  */
-                                                                      return 2853;
+                                                                      return 2854;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx010xxxxx11xxx
                                                                          umlsl.  */
-                                                                      return 2854;
+                                                                      return 2855;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx010xxxxx11xxx
                                                                          umlsl.  */
-                                                                      return 2855;
+                                                                      return 2856;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx010xxxxx11xxx
                                                                          umlsl.  */
-                                                                      return 2856;
+                                                                      return 2857;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx110xxxxx11xxx
                                                                      sub.  */
-                                                                  return 2791;
+                                                                  return 2792;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx110xxxxx11xxx
                                                                      sub.  */
-                                                                  return 2792;
+                                                                  return 2793;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx110xxxxx11xxx
                                                                      sub.  */
-                                                                  return 2793;
+                                                                  return 2794;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx110xxxxx11xxx
                                                                      sub.  */
-                                                                  return 2794;
+                                                                  return 2795;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              x1000001xx1xxxxx0xx001xxxxx11xxx
                                                              umlsll.  */
-                                                          return 2860;
+                                                          return 2861;
                                                         }
                                                       else
                                                         {
                                                                      10987654321098765432109876543210
                                                                      x1000001x010xxxx0xx101xxxxx11xxx
                                                                      sudot.  */
-                                                                  return 2797;
+                                                                  return 2798;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001x011xxxx0xx101xxxxx11xxx
                                                                      sudot.  */
-                                                                  return 2798;
+                                                                  return 2799;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx101xxxxx11xxx
                                                                          udot.  */
-                                                                      return 2815;
+                                                                      return 2816;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx101xxxxx11xxx
                                                                          udot.  */
-                                                                      return 2816;
+                                                                      return 2817;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx101xxxxx11xxx
                                                                          udot.  */
-                                                                      return 2817;
+                                                                      return 2818;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx101xxxxx11xxx
                                                                          udot.  */
-                                                                      return 2818;
+                                                                      return 2819;
                                                                     }
                                                                 }
                                                             }
                                                                  10987654321098765432109876543210
                                                                  x1000001x01xxxxx0xx011xxxxx11xxx
                                                                  bfmlsl.  */
-                                                              return 2472;
+                                                              return 2473;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001x11xxxxx0xx011xxxxx11xxx
                                                                  umlsl.  */
-                                                              return 2852;
+                                                              return 2853;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx00xx111xxxxx11xxx
                                                                  sub.  */
-                                                              return 2789;
+                                                              return 2790;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx10xx111xxxxx11xxx
                                                                  sub.  */
-                                                              return 2790;
+                                                              return 2791;
                                                             }
                                                         }
                                                     }
                                                      10987654321098765432109876543210
                                                      x1000001xx1xxxx0100xxxxxxxxxxxxx
                                                      sel.  */
-                                                  return 2660;
+                                                  return 2661;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1000001xx1xxxx1100xxxxxxxxxxxxx
                                                      sel.  */
-                                                  return 2661;
+                                                  return 2662;
                                                 }
                                             }
                                           else
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx110000xxxxxxxxx0
                                                                  fclamp.  */
-                                                              return 2483;
+                                                              return 2484;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx110100xxxxxxxxx0
                                                                  zip.  */
-                                                              return 2909;
+                                                              return 2910;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              x1000001xx1xxxxx110x00xxxxxxxxx1
                                                              uzp.  */
-                                                          return 2896;
+                                                          return 2897;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x1000001xx1xxxxx110010xxxxxxxxxx
                                                              fclamp.  */
-                                                          return 2484;
+                                                          return 2485;
                                                         }
                                                       else
                                                         {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx110110xxx00xxxxx
                                                                      sqrshr.  */
-                                                                  return 2715;
+                                                                  return 2716;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx110110xxx10xxxxx
                                                                      sqrshru.  */
-                                                                  return 2718;
+                                                                  return 2719;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx110110xxxx1xxxxx
                                                                  uqrshr.  */
-                                                              return 2871;
+                                                              return 2872;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx110001xxxxxxxxx0
                                                                  sclamp.  */
-                                                              return 2644;
+                                                              return 2645;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx110001xxxxxxxxx1
                                                                  uclamp.  */
-                                                              return 2809;
+                                                              return 2810;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      x1000001x01xxxxx110101xxxxxxxxx0
                                                                      zip.  */
-                                                                  return 2910;
+                                                                  return 2911;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001x01xxxxx110101xxxxxxxxx1
                                                                      uzp.  */
-                                                                  return 2897;
+                                                                  return 2898;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          x1000001x110xxxx110101xxxx0xxxxx
                                                                          sqrshr.  */
-                                                                      return 2714;
+                                                                      return 2715;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001x111xxxx110101xxxx0xxxxx
                                                                          sqrshru.  */
-                                                                      return 2717;
+                                                                      return 2718;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      x1000001x11xxxxx110101xxxx1xxxxx
                                                                      uqrshr.  */
-                                                                  return 2870;
+                                                                  return 2871;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx110011xxxxxxxxx0
                                                                  sclamp.  */
-                                                              return 2645;
+                                                              return 2646;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx110011xxxxxxxxx1
                                                                  uclamp.  */
-                                                              return 2810;
+                                                              return 2811;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx110111xxx00xxxxx
                                                                      sqrshrn.  */
-                                                                  return 2716;
+                                                                  return 2717;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx110111xxx10xxxxx
                                                                      sqrshrun.  */
-                                                                  return 2719;
+                                                                  return 2720;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx110111xxxx1xxxxx
                                                                  uqrshrn.  */
-                                                              return 2872;
+                                                              return 2873;
                                                             }
                                                         }
                                                     }
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx101000x0xx0xxxx0
                                                                          smax.  */
-                                                                      return 2662;
+                                                                      return 2663;
                                                                     }
                                                                   else
                                                                     {
                                                                              10987654321098765432109876543210
                                                                              x1000001xx1xxxxx10100001xx0xxxx0
                                                                              fmax.  */
-                                                                          return 2497;
+                                                                          return 2498;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              x1000001xx1xxxxx10100011xx0xxxx0
                                                                              add.  */
-                                                                          return 2451;
+                                                                          return 2452;
                                                                         }
                                                                     }
                                                                 }
                                                                              10987654321098765432109876543210
                                                                              x1000001xx1xxxxx10100000xx1xxxx0
                                                                              smin.  */
-                                                                          return 2666;
+                                                                          return 2667;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              x1000001xx1xxxxx10100010xx1xxxx0
                                                                              srshl.  */
-                                                                          return 2720;
+                                                                          return 2721;
                                                                         }
                                                                     }
                                                                   else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx101000x1xx1xxxx0
                                                                          fmaxnm.  */
-                                                                      return 2501;
+                                                                      return 2502;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx101000x0xx0xxxx1
                                                                          umax.  */
-                                                                      return 2825;
+                                                                      return 2826;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx101000x1xx0xxxx1
                                                                          fmin.  */
-                                                                      return 2505;
+                                                                      return 2506;
                                                                     }
                                                                 }
                                                               else
                                                                              10987654321098765432109876543210
                                                                              x1000001xx1xxxxx10100000xx1xxxx1
                                                                              umin.  */
-                                                                          return 2829;
+                                                                          return 2830;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              x1000001xx1xxxxx10100010xx1xxxx1
                                                                              urshl.  */
-                                                                          return 2873;
+                                                                          return 2874;
                                                                         }
                                                                     }
                                                                   else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx101000x1xx1xxxx1
                                                                          fminnm.  */
-                                                                      return 2509;
+                                                                      return 2510;
                                                                     }
                                                                 }
                                                             }
                                                                                      10987654321098765432109876543210
                                                                                      x1000001x01x0000111000xxxx0xxxxx
                                                                                      fcvt.  */
-                                                                                  return 2485;
+                                                                                  return 2486;
                                                                                 }
                                                                               else
                                                                                 {
                                                                                      10987654321098765432109876543210
                                                                                      x1000001x11x0000111000xxxx0xxxxx
                                                                                      bfcvt.  */
-                                                                                  return 2453;
+                                                                                  return 2454;
                                                                                 }
                                                                             }
                                                                           else
                                                                                      10987654321098765432109876543210
                                                                                      x1000001xx101000111000xxxx0xxxxx
                                                                                      frintn.  */
-                                                                                  return 2545;
+                                                                                  return 2546;
                                                                                 }
                                                                               else
                                                                                 {
                                                                                      10987654321098765432109876543210
                                                                                      x1000001xx111000111000xxxx0xxxxx
                                                                                      frintn.  */
-                                                                                  return 2546;
+                                                                                  return 2547;
                                                                                 }
                                                                             }
                                                                         }
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx10x100111000xxxx0xxxxx
                                                                                  frinta.  */
-                                                                              return 2541;
+                                                                              return 2542;
                                                                             }
                                                                           else
                                                                             {
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx11x100111000xxxx0xxxxx
                                                                                  frinta.  */
-                                                                              return 2542;
+                                                                              return 2543;
                                                                             }
                                                                         }
                                                                     }
                                                                                      10987654321098765432109876543210
                                                                                      x1000001xx100010111000xxxx0xxxxx
                                                                                      scvtf.  */
-                                                                                  return 2646;
+                                                                                  return 2647;
                                                                                 }
                                                                               else
                                                                                 {
                                                                                      10987654321098765432109876543210
                                                                                      x1000001xx110010111000xxxx0xxxxx
                                                                                      scvtf.  */
-                                                                                  return 2647;
+                                                                                  return 2648;
                                                                                 }
                                                                             }
                                                                           else
                                                                                      10987654321098765432109876543210
                                                                                      x1000001xx101010111000xxxx0xxxxx
                                                                                      frintm.  */
-                                                                                  return 2543;
+                                                                                  return 2544;
                                                                                 }
                                                                               else
                                                                                 {
                                                                                      10987654321098765432109876543210
                                                                                      x1000001xx111010111000xxxx0xxxxx
                                                                                      frintm.  */
-                                                                                  return 2544;
+                                                                                  return 2545;
                                                                                 }
                                                                             }
                                                                         }
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx1xx110111000xxxx0xxx0x
                                                                                  zip.  */
-                                                                              return 2911;
+                                                                              return 2912;
                                                                             }
                                                                           else
                                                                             {
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx1xx110111000xxxx0xxx1x
                                                                                  uzp.  */
-                                                                              return 2898;
+                                                                              return 2899;
                                                                             }
                                                                         }
                                                                     }
                                                                              10987654321098765432109876543210
                                                                              x1000001x01xxx00111000xxxx1xxxxx
                                                                              fcvtn.  */
-                                                                          return 2486;
+                                                                          return 2487;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              x1000001x11xxx00111000xxxx1xxxxx
                                                                              bfcvtn.  */
-                                                                          return 2454;
+                                                                          return 2455;
                                                                         }
                                                                     }
                                                                   else
                                                                              10987654321098765432109876543210
                                                                              x1000001xx10xx10111000xxxx1xxxxx
                                                                              ucvtf.  */
-                                                                          return 2811;
+                                                                          return 2812;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              x1000001xx11xx10111000xxxx1xxxxx
                                                                              ucvtf.  */
-                                                                          return 2812;
+                                                                          return 2813;
                                                                         }
                                                                     }
                                                                 }
                                                                                          10987654321098765432109876543210
                                                                                          x1000001xx100001111000xxxx0xxxx0
                                                                                          fcvtzs.  */
-                                                                                      return 2487;
+                                                                                      return 2488;
                                                                                     }
                                                                                   else
                                                                                     {
                                                                                          10987654321098765432109876543210
                                                                                          x1000001xx110001111000xxxx0xxxx0
                                                                                          fcvtzs.  */
-                                                                                      return 2488;
+                                                                                      return 2489;
                                                                                     }
                                                                                 }
                                                                               else
                                                                                          10987654321098765432109876543210
                                                                                          x1000001xx101001111000xxxx0xxxx0
                                                                                          frintp.  */
-                                                                                      return 2547;
+                                                                                      return 2548;
                                                                                     }
                                                                                   else
                                                                                     {
                                                                                          10987654321098765432109876543210
                                                                                          x1000001xx111001111000xxxx0xxxx0
                                                                                          frintp.  */
-                                                                                      return 2548;
+                                                                                      return 2549;
                                                                                     }
                                                                                 }
                                                                             }
                                                                                      10987654321098765432109876543210
                                                                                      x1000001xx10x001111000xxxx1xxxx0
                                                                                      fcvtzu.  */
-                                                                                  return 2489;
+                                                                                  return 2490;
                                                                                 }
                                                                               else
                                                                                 {
                                                                                      10987654321098765432109876543210
                                                                                      x1000001xx11x001111000xxxx1xxxx0
                                                                                      fcvtzu.  */
-                                                                                  return 2490;
+                                                                                  return 2491;
                                                                                 }
                                                                             }
                                                                         }
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx10x101111000xxxxxxxxx0
                                                                                  sunpk.  */
-                                                                              return 2804;
+                                                                              return 2805;
                                                                             }
                                                                           else
                                                                             {
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx11x101111000xxxxxxxxx0
                                                                                  sunpk.  */
-                                                                              return 2805;
+                                                                              return 2806;
                                                                             }
                                                                         }
                                                                     }
                                                                              10987654321098765432109876543210
                                                                              x1000001xx10xx01111000xxxxxxxxx1
                                                                              uunpk.  */
-                                                                          return 2892;
+                                                                          return 2893;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              x1000001xx11xx01111000xxxxxxxxx1
                                                                              uunpk.  */
-                                                                          return 2893;
+                                                                          return 2894;
                                                                         }
                                                                     }
                                                                 }
                                                                                      10987654321098765432109876543210
                                                                                      x1000001x010x011111000xxxx0xxxxx
                                                                                      sqcvt.  */
-                                                                                  return 2704;
+                                                                                  return 2705;
                                                                                 }
                                                                               else
                                                                                 {
                                                                                      10987654321098765432109876543210
                                                                                      x1000001x110x011111000xxxx0xxxxx
                                                                                      sqcvtu.  */
-                                                                                  return 2707;
+                                                                                  return 2708;
                                                                                 }
                                                                             }
                                                                           else
                                                                                          10987654321098765432109876543210
                                                                                          x1000001x011x011111000xxx00xxxxx
                                                                                          sqcvt.  */
-                                                                                      return 2705;
+                                                                                      return 2706;
                                                                                     }
                                                                                   else
                                                                                     {
                                                                                          10987654321098765432109876543210
                                                                                          x1000001x111x011111000xxx00xxxxx
                                                                                          sqcvtu.  */
-                                                                                      return 2708;
+                                                                                      return 2709;
                                                                                     }
                                                                                 }
                                                                               else
                                                                                          10987654321098765432109876543210
                                                                                          x1000001x011x011111000xxx10xxxxx
                                                                                          sqcvtn.  */
-                                                                                      return 2706;
+                                                                                      return 2707;
                                                                                     }
                                                                                   else
                                                                                     {
                                                                                          10987654321098765432109876543210
                                                                                          x1000001x111x011111000xxx10xxxxx
                                                                                          sqcvtun.  */
-                                                                                      return 2709;
+                                                                                      return 2710;
                                                                                     }
                                                                                 }
                                                                             }
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx1xx111111000xxxx0xxx0x
                                                                                  zip.  */
-                                                                              return 2912;
+                                                                              return 2913;
                                                                             }
                                                                           else
                                                                             {
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx1xx111111000xxxx0xxx1x
                                                                                  uzp.  */
-                                                                              return 2899;
+                                                                              return 2900;
                                                                             }
                                                                         }
                                                                     }
                                                                              10987654321098765432109876543210
                                                                              x1000001xx10xx11111000xxxx1xxxxx
                                                                              uqcvt.  */
-                                                                          return 2867;
+                                                                          return 2868;
                                                                         }
                                                                       else
                                                                         {
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx11xx11111000xxx01xxxxx
                                                                                  uqcvt.  */
-                                                                              return 2868;
+                                                                              return 2869;
                                                                             }
                                                                           else
                                                                             {
                                                                                  10987654321098765432109876543210
                                                                                  x1000001xx11xx11111000xxx11xxxxx
                                                                                  uqcvtn.  */
-                                                                              return 2869;
+                                                                              return 2870;
                                                                             }
                                                                         }
                                                                     }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1100x0xx0xxxx0
                                                                      smax.  */
-                                                                  return 2664;
+                                                                  return 2665;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1100x1xx0xxxx0
                                                                      fmax.  */
-                                                                  return 2499;
+                                                                  return 2500;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x110000xx1xxxx0
                                                                          smin.  */
-                                                                      return 2668;
+                                                                      return 2669;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x110010xx1xxxx0
                                                                          srshl.  */
-                                                                      return 2722;
+                                                                      return 2723;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1100x1xx1xxxx0
                                                                      fmaxnm.  */
-                                                                  return 2503;
+                                                                  return 2504;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1100x0xx0xxxx1
                                                                      umax.  */
-                                                                  return 2827;
+                                                                  return 2828;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1100x1xx0xxxx1
                                                                      fmin.  */
-                                                                  return 2507;
+                                                                  return 2508;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x110000xx1xxxx1
                                                                          umin.  */
-                                                                      return 2831;
+                                                                      return 2832;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x110010xx1xxxx1
                                                                          urshl.  */
-                                                                      return 2875;
+                                                                      return 2876;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1100x1xx1xxxx1
                                                                      fminnm.  */
-                                                                  return 2511;
+                                                                  return 2512;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1010x0xx0xxxx0
                                                                      smax.  */
-                                                                  return 2663;
+                                                                  return 2664;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1110x0xx0xxxx0
                                                                      smax.  */
-                                                                  return 2665;
+                                                                  return 2666;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x101001xx0xxxx0
                                                                          fmax.  */
-                                                                      return 2498;
+                                                                      return 2499;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x111001xx0xxxx0
                                                                          fmax.  */
-                                                                      return 2500;
+                                                                      return 2501;
                                                                     }
                                                                 }
                                                               else
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1x1011xx0xxxx0
                                                                      add.  */
-                                                                  return 2452;
+                                                                  return 2453;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x101000xx1xxxx0
                                                                          smin.  */
-                                                                      return 2667;
+                                                                      return 2668;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x111000xx1xxxx0
                                                                          smin.  */
-                                                                      return 2669;
+                                                                      return 2670;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x101010xx1xxxx0
                                                                          srshl.  */
-                                                                      return 2721;
+                                                                      return 2722;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x111010xx1xxxx0
                                                                          srshl.  */
-                                                                      return 2723;
+                                                                      return 2724;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1010x1xx1xxxx0
                                                                      fmaxnm.  */
-                                                                  return 2502;
+                                                                  return 2503;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1110x1xx1xxxx0
                                                                      fmaxnm.  */
-                                                                  return 2504;
+                                                                  return 2505;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1010x0xx0xxxx1
                                                                      umax.  */
-                                                                  return 2826;
+                                                                  return 2827;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1110x0xx0xxxx1
                                                                      umax.  */
-                                                                  return 2828;
+                                                                  return 2829;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1010x1xx0xxxx1
                                                                      fmin.  */
-                                                                  return 2506;
+                                                                  return 2507;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1110x1xx0xxxx1
                                                                      fmin.  */
-                                                                  return 2508;
+                                                                  return 2509;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x101000xx1xxxx1
                                                                          umin.  */
-                                                                      return 2830;
+                                                                      return 2831;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x111000xx1xxxx1
                                                                          umin.  */
-                                                                      return 2832;
+                                                                      return 2833;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x101010xx1xxxx1
                                                                          urshl.  */
-                                                                      return 2874;
+                                                                      return 2875;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx1x111010xx1xxxx1
                                                                          urshl.  */
-                                                                      return 2876;
+                                                                      return 2877;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1010x1xx1xxxx1
                                                                      fminnm.  */
-                                                                  return 2510;
+                                                                  return 2511;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1110x1xx1xxxx1
                                                                      fminnm.  */
-                                                                  return 2512;
+                                                                  return 2513;
                                                                 }
                                                             }
                                                         }
                                                          10987654321098765432109876543210
                                                          x1000001xx1xxxxx1x1001xxxxxxxxxx
                                                          sqdmulh.  */
-                                                      return 2710;
+                                                      return 2711;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x1000001xx1xxxxx1x1101xxxxxxxxxx
                                                          sqdmulh.  */
-                                                      return 2712;
+                                                      return 2713;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x1000001xx1xxxxx1x1011xxxxxxxxxx
                                                          sqdmulh.  */
-                                                      return 2711;
+                                                      return 2712;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x1000001xx1xxxxx1x1111xxxxxxxxxx
                                                          sqdmulh.  */
-                                                      return 2713;
+                                                      return 2714;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx000xxxxxxxxx0xxx
                                                              st1b.  */
-                                                          return 2730;
+                                                          return 2731;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx010xxxxxxxxx0xxx
                                                              st1w.  */
-                                                          return 2754;
+                                                          return 2755;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx001xxxxxxxxx0xxx
                                                              st1h.  */
-                                                          return 2746;
+                                                          return 2747;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx011xxxxxxxxx0xxx
                                                              st1d.  */
-                                                          return 2738;
+                                                          return 2739;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx000xxxxxxxxx1xxx
                                                              stnt1b.  */
-                                                          return 2762;
+                                                          return 2763;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx010xxxxxxxxx1xxx
                                                              stnt1w.  */
-                                                          return 2786;
+                                                          return 2787;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx001xxxxxxxxx1xxx
                                                              stnt1h.  */
-                                                          return 2778;
+                                                          return 2779;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx011xxxxxxxxx1xxx
                                                              stnt1d.  */
-                                                          return 2770;
+                                                          return 2771;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx100xxxxxxxxx0xxx
                                                              st1b.  */
-                                                          return 2731;
+                                                          return 2732;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x1100001001xxxxx100xxxxxxxxx0xxx
                                                              str.  */
-                                                          return 2788;
+                                                          return 2789;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx110xxxxxxxxx0xxx
                                                          st1w.  */
-                                                      return 2755;
+                                                      return 2756;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx101xxxxxxxxx0xxx
                                                          st1h.  */
-                                                      return 2747;
+                                                      return 2748;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx111xxxxxxxxx0xxx
                                                          st1d.  */
-                                                      return 2739;
+                                                      return 2740;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx100xxxxxxxxx1xxx
                                                          stnt1b.  */
-                                                      return 2763;
+                                                      return 2764;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx110xxxxxxxxx1xxx
                                                          stnt1w.  */
-                                                      return 2787;
+                                                      return 2788;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx101xxxxxxxxx1xxx
                                                          stnt1h.  */
-                                                      return 2779;
+                                                      return 2780;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx111xxxxxxxxx1xxx
                                                          stnt1d.  */
-                                                      return 2771;
+                                                      return 2772;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx000xxxxxxxxx0xxx
                                                          st1b.  */
-                                                      return 2726;
+                                                      return 2727;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx100xxxxxxxxx0xxx
                                                          st1b.  */
-                                                      return 2727;
+                                                      return 2728;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx010xxxxxxxxx0xxx
                                                          st1w.  */
-                                                      return 2750;
+                                                      return 2751;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx110xxxxxxxxx0xxx
                                                          st1w.  */
-                                                      return 2751;
+                                                      return 2752;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx001xxxxxxxxx0xxx
                                                          st1h.  */
-                                                      return 2742;
+                                                      return 2743;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx101xxxxxxxxx0xxx
                                                          st1h.  */
-                                                      return 2743;
+                                                      return 2744;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx011xxxxxxxxx0xxx
                                                          st1d.  */
-                                                      return 2734;
+                                                      return 2735;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx111xxxxxxxxx0xxx
                                                          st1d.  */
-                                                      return 2735;
+                                                      return 2736;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx000xxxxxxxxx1xxx
                                                          stnt1b.  */
-                                                      return 2758;
+                                                      return 2759;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx100xxxxxxxxx1xxx
                                                          stnt1b.  */
-                                                      return 2759;
+                                                      return 2760;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx010xxxxxxxxx1xxx
                                                          stnt1w.  */
-                                                      return 2782;
+                                                      return 2783;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx110xxxxxxxxx1xxx
                                                          stnt1w.  */
-                                                      return 2783;
+                                                      return 2784;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx001xxxxxxxxx1xxx
                                                          stnt1h.  */
-                                                      return 2774;
+                                                      return 2775;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx101xxxxxxxxx1xxx
                                                          stnt1h.  */
-                                                      return 2775;
+                                                      return 2776;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx011xxxxxxxxx1xxx
                                                          stnt1d.  */
-                                                      return 2766;
+                                                      return 2767;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx111xxxxxxxxx1xxx
                                                          stnt1d.  */
-                                                      return 2767;
+                                                      return 2768;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          00011001000xxxxxxxxx00xxxxxxxxxx
                                                          stlurb.  */
-                                                      return 2975;
+                                                      return 2976;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          10011001000xxxxxxxxx00xxxxxxxxxx
                                                          stlur.  */
-                                                      return 2983;
+                                                      return 2984;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          01011001000xxxxxxxxx00xxxxxxxxxx
                                                          stlurh.  */
-                                                      return 2979;
+                                                      return 2980;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          11011001000xxxxxxxxx00xxxxxxxxxx
                                                          stlur.  */
-                                                      return 2986;
+                                                      return 2987;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0000x1xxxxxxxxxx
                                                              cpyfp.  */
-                                                          return 3035;
+                                                          return 3036;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1000x1xxxxxxxxxx
                                                              cpyfprn.  */
-                                                          return 3041;
+                                                          return 3042;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0100x1xxxxxxxxxx
                                                              cpyfpwn.  */
-                                                          return 3038;
+                                                          return 3039;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1100x1xxxxxxxxxx
                                                              cpyfpn.  */
-                                                          return 3044;
+                                                          return 3045;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0010x1xxxxxxxxxx
                                                              cpyfprt.  */
-                                                          return 3059;
+                                                          return 3060;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1010x1xxxxxxxxxx
                                                              cpyfprtrn.  */
-                                                          return 3065;
+                                                          return 3066;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0110x1xxxxxxxxxx
                                                              cpyfprtwn.  */
-                                                          return 3062;
+                                                          return 3063;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1110x1xxxxxxxxxx
                                                              cpyfprtn.  */
-                                                          return 3068;
+                                                          return 3069;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0001x1xxxxxxxxxx
                                                              cpyfpwt.  */
-                                                          return 3047;
+                                                          return 3048;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1001x1xxxxxxxxxx
                                                              cpyfpwtrn.  */
-                                                          return 3053;
+                                                          return 3054;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0101x1xxxxxxxxxx
                                                              cpyfpwtwn.  */
-                                                          return 3050;
+                                                          return 3051;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1101x1xxxxxxxxxx
                                                              cpyfpwtn.  */
-                                                          return 3056;
+                                                          return 3057;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0011x1xxxxxxxxxx
                                                              cpyfpt.  */
-                                                          return 3071;
+                                                          return 3072;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1011x1xxxxxxxxxx
                                                              cpyfptrn.  */
-                                                          return 3077;
+                                                          return 3078;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0111x1xxxxxxxxxx
                                                              cpyfptwn.  */
-                                                          return 3074;
+                                                          return 3075;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1111x1xxxxxxxxxx
                                                              cpyfptn.  */
-                                                          return 3080;
+                                                          return 3081;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          00011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapurb.  */
-                                                      return 2976;
+                                                      return 2977;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          10011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapur.  */
-                                                      return 2984;
+                                                      return 2985;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          01011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapurh.  */
-                                                      return 2980;
+                                                      return 2981;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          11011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapur.  */
-                                                      return 2987;
+                                                      return 2988;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0000x1xxxxxxxxxx
                                                              cpyfm.  */
-                                                          return 3036;
+                                                          return 3037;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1000x1xxxxxxxxxx
                                                              cpyfmrn.  */
-                                                          return 3042;
+                                                          return 3043;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0100x1xxxxxxxxxx
                                                              cpyfmwn.  */
-                                                          return 3039;
+                                                          return 3040;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1100x1xxxxxxxxxx
                                                              cpyfmn.  */
-                                                          return 3045;
+                                                          return 3046;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0010x1xxxxxxxxxx
                                                              cpyfmrt.  */
-                                                          return 3060;
+                                                          return 3061;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1010x1xxxxxxxxxx
                                                              cpyfmrtrn.  */
-                                                          return 3066;
+                                                          return 3067;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0110x1xxxxxxxxxx
                                                              cpyfmrtwn.  */
-                                                          return 3063;
+                                                          return 3064;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1110x1xxxxxxxxxx
                                                              cpyfmrtn.  */
-                                                          return 3069;
+                                                          return 3070;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0001x1xxxxxxxxxx
                                                              cpyfmwt.  */
-                                                          return 3048;
+                                                          return 3049;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1001x1xxxxxxxxxx
                                                              cpyfmwtrn.  */
-                                                          return 3054;
+                                                          return 3055;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0101x1xxxxxxxxxx
                                                              cpyfmwtwn.  */
-                                                          return 3051;
+                                                          return 3052;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1101x1xxxxxxxxxx
                                                              cpyfmwtn.  */
-                                                          return 3057;
+                                                          return 3058;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0011x1xxxxxxxxxx
                                                              cpyfmt.  */
-                                                          return 3072;
+                                                          return 3073;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1011x1xxxxxxxxxx
                                                              cpyfmtrn.  */
-                                                          return 3078;
+                                                          return 3079;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0111x1xxxxxxxxxx
                                                              cpyfmtwn.  */
-                                                          return 3075;
+                                                          return 3076;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1111x1xxxxxxxxxx
                                                              cpyfmtn.  */
-                                                          return 3081;
+                                                          return 3082;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          00011001100xxxxxxxxx00xxxxxxxxxx
                                                          ldapursb.  */
-                                                      return 2978;
+                                                      return 2979;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          10011001100xxxxxxxxx00xxxxxxxxxx
                                                          ldapursw.  */
-                                                      return 2985;
+                                                      return 2986;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      x1011001100xxxxxxxxx00xxxxxxxxxx
                                                      ldapursh.  */
-                                                  return 2982;
+                                                  return 2983;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x0011001110xxxxxxxxx00xxxxxxxxxx
                                                      ldapursb.  */
-                                                  return 2977;
+                                                  return 2978;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1011001110xxxxxxxxx00xxxxxxxxxx
                                                      ldapursh.  */
-                                                  return 2981;
+                                                  return 2982;
                                                 }
                                             }
                                         }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0000x1xxxxxxxxxx
                                                              cpyfe.  */
-                                                          return 3037;
+                                                          return 3038;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0000x1xxxxxxxxxx
                                                              setp.  */
-                                                          return 3131;
+                                                          return 3132;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx1000x1xxxxxxxxxx
                                                              cpyfern.  */
-                                                          return 3043;
+                                                          return 3044;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx1000x1xxxxxxxxxx
                                                              sete.  */
-                                                          return 3133;
+                                                          return 3134;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0100x1xxxxxxxxxx
                                                              cpyfewn.  */
-                                                          return 3040;
+                                                          return 3041;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0100x1xxxxxxxxxx
                                                              setm.  */
-                                                          return 3132;
+                                                          return 3133;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx0110011x0xxxxx1100x1xxxxxxxxxx
                                                          cpyfen.  */
-                                                      return 3046;
+                                                      return 3047;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0010x1xxxxxxxxxx
                                                              cpyfert.  */
-                                                          return 3061;
+                                                          return 3062;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0010x1xxxxxxxxxx
                                                              setpn.  */
-                                                          return 3137;
+                                                          return 3138;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx1010x1xxxxxxxxxx
                                                              cpyfertrn.  */
-                                                          return 3067;
+                                                          return 3068;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx1010x1xxxxxxxxxx
                                                              seten.  */
-                                                          return 3139;
+                                                          return 3140;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0110x1xxxxxxxxxx
                                                              cpyfertwn.  */
-                                                          return 3064;
+                                                          return 3065;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0110x1xxxxxxxxxx
                                                              setmn.  */
-                                                          return 3138;
+                                                          return 3139;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx0110011x0xxxxx1110x1xxxxxxxxxx
                                                          cpyfertn.  */
-                                                      return 3070;
+                                                      return 3071;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0001x1xxxxxxxxxx
                                                              cpyfewt.  */
-                                                          return 3049;
+                                                          return 3050;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0001x1xxxxxxxxxx
                                                              setpt.  */
-                                                          return 3134;
+                                                          return 3135;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx1001x1xxxxxxxxxx
                                                              cpyfewtrn.  */
-                                                          return 3055;
+                                                          return 3056;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx1001x1xxxxxxxxxx
                                                              setet.  */
-                                                          return 3136;
+                                                          return 3137;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0101x1xxxxxxxxxx
                                                              cpyfewtwn.  */
-                                                          return 3052;
+                                                          return 3053;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0101x1xxxxxxxxxx
                                                              setmt.  */
-                                                          return 3135;
+                                                          return 3136;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx0110011x0xxxxx1101x1xxxxxxxxxx
                                                          cpyfewtn.  */
-                                                      return 3058;
+                                                      return 3059;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0011x1xxxxxxxxxx
                                                              cpyfet.  */
-                                                          return 3073;
+                                                          return 3074;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0011x1xxxxxxxxxx
                                                              setptn.  */
-                                                          return 3140;
+                                                          return 3141;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx1011x1xxxxxxxxxx
                                                              cpyfetrn.  */
-                                                          return 3079;
+                                                          return 3080;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx1011x1xxxxxxxxxx
                                                              setetn.  */
-                                                          return 3142;
+                                                          return 3143;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0111x1xxxxxxxxxx
                                                              cpyfetwn.  */
-                                                          return 3076;
+                                                          return 3077;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0111x1xxxxxxxxxx
                                                              setmtn.  */
-                                                          return 3141;
+                                                          return 3142;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx0110011x0xxxxx1111x1xxxxxxxxxx
                                                          cpyfetn.  */
-                                                      return 3082;
+                                                      return 3083;
                                                     }
                                                 }
                                             }
                                                                  10987654321098765432109876543210
                                                                  x1x11010110xxxx0x01000xxxxxxxxxx
                                                                  abs.  */
-                                                              return 3160;
+                                                              return 3161;
                                                             }
                                                           else
                                                             {
                                                          10987654321098765432109876543210
                                                          xxx11010110xxxxxx11000xxxxxxxxxx
                                                          smax.  */
-                                                      return 3163;
+                                                      return 3164;
                                                     }
                                                 }
                                             }
                                              10987654321098765432109876543210
                                              xxx11010x00xxxxxx0xx10xxxxxxxxxx
                                              setf8.  */
-                                          return 2973;
+                                          return 2974;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              xxx11010x00xxxxxx1xx10xxxxxxxxxx
                                              setf16.  */
-                                          return 2974;
+                                          return 2975;
                                         }
                                     }
                                   else
                                                          10987654321098765432109876543210
                                                          xxx11010110xxxxxx11010xxxxxxxxxx
                                                          smin.  */
-                                                      return 3165;
+                                                      return 3166;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xxx11010110xxxx0x00110xxxxxxxxxx
                                                              ctz.  */
-                                                          return 3162;
+                                                          return 3163;
                                                         }
                                                       else
                                                         {
                                              10987654321098765432109876543210
                                              xxx11010000xxxxxxxxx01xxxxxxxxxx
                                              rmif.  */
-                                          return 2972;
+                                          return 2973;
                                         }
                                       else
                                         {
                                                      10987654321098765432109876543210
                                                      xxx11010x10xxxxxx11001xxxxxxxxxx
                                                      umax.  */
-                                                  return 3164;
+                                                  return 3165;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  xxx11010xx0xxxxxx11011xxxxxxxxxx
                                                  umin.  */
-                                              return 3166;
+                                              return 3167;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      xxx11010xx0xxxx0x00111xxxxxxxxxx
                                                      cnt.  */
-                                                  return 3161;
+                                                  return 3162;
                                                 }
                                               else
                                                 {
                                                                  10987654321098765432109876543210
                                                                  010001x01x1xxxxx000110xxxxxxxxxx
                                                                  usdot.  */
-                                                              return 2992;
+                                                              return 2993;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  010001x01x1xxxxx000111xxxxxxxxxx
                                                                  sudot.  */
-                                                              return 2993;
+                                                              return 2994;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              010001x00x0xxxxx110x10xxxxxxxxxx
                                                              sdot.  */
-                                                          return 2428;
+                                                          return 2429;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              010001x01x0xxxxx110x10xxxxxxxxxx
                                                              sdot.  */
-                                                          return 2427;
+                                                          return 2428;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              010001x00x0xxxxx110x11xxxxxxxxxx
                                                              udot.  */
-                                                          return 2434;
+                                                          return 2435;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              010001x01x0xxxxx110x11xxxxxxxxxx
                                                              udot.  */
-                                                          return 2433;
+                                                          return 2434;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              010001x0xx0xxxxx011110xxxxxxxxxx
                                                              usdot.  */
-                                                          return 2991;
+                                                          return 2992;
                                                         }
                                                     }
                                                 }
                                                                  10987654321098765432109876543210
                                                                  011001x0100xxx10101xxxxxxxxxxxxx
                                                                  bfcvtnt.  */
-                                                              return 3020;
+                                                              return 3021;
                                                             }
                                                         }
                                                       else
                                                  10987654321098765432109876543210
                                                  101001x00x1xxxxxx00xxxxxxxxxxxxx
                                                  ld1rob.  */
-                                              return 2996;
+                                              return 2997;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  101001x01x1xxxxxx00xxxxxxxxxxxxx
                                                  ld1roh.  */
-                                              return 2997;
+                                              return 2998;
                                             }
                                         }
                                       else
                                                          10987654321098765432109876543210
                                                          011001x0001xxxxx010xxxxxxxxxxxxx
                                                          fdot.  */
-                                                      return 2424;
+                                                      return 2425;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          011001x0011xxxxx010xxxxxxxxxxxxx
                                                          bfdot.  */
-                                                      return 3017;
+                                                      return 3018;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              011001x0111xxxxx010xx0xxxxxxxxxx
                                                              bfmlalb.  */
-                                                          return 3024;
+                                                          return 3025;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              011001x0111xxxxx010xx1xxxxxxxxxx
                                                              bfmlalt.  */
-                                                          return 3023;
+                                                          return 3024;
                                                         }
                                                     }
                                                   else
                                                  10987654321098765432109876543210
                                                  x11001x0001xxxxx1x0xxxxxxxxxxxxx
                                                  fdot.  */
-                                              return 2425;
+                                              return 2426;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  x11001x0011xxxxx1x0xxxxxxxxxxxxx
                                                  bfdot.  */
-                                              return 3016;
+                                              return 3017;
                                             }
                                           else
                                             {
                                                          10987654321098765432109876543210
                                                          011001x0111xxxxx1x0xx0xxxxxxxxxx
                                                          bfmlalb.  */
-                                                      return 3022;
+                                                      return 3023;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          011001x0111xxxxx1x0xx1xxxxxxxxxx
                                                          bfmlalt.  */
-                                                      return 3021;
+                                                      return 3022;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      101001x00x1xxxxx001xxxxxxxxxxxxx
                                                      ld1rob.  */
-                                                  return 3000;
+                                                  return 3001;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x01x1xxxxx001xxxxxxxxxxxxx
                                                      ld1roh.  */
-                                                  return 3001;
+                                                  return 3002;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  x11001x0xx1xxxxx001xx1xxxxxxxxxx
                                                  fclamp.  */
-                                              return 2426;
+                                              return 2427;
                                             }
                                         }
                                       else
                                                              10987654321098765432109876543210
                                                              011001x0111xxxxx101xx0xxxxxxxxxx
                                                              bfmlslb.  */
-                                                          return 2421;
+                                                          return 2422;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              011001x0111xxxxx101xx1xxxxxxxxxx
                                                              bfmlslt.  */
-                                                          return 2423;
+                                                          return 2424;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              011001x0111xxxxx011xx0xxxxxxxxxx
                                                              bfmlslb.  */
-                                                          return 2420;
+                                                          return 2421;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              011001x0111xxxxx011xx1xxxxxxxxxx
                                                              bfmlslt.  */
-                                                          return 2422;
+                                                          return 2423;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          011001x0101xxxxx111xxxxxxxxxxxxx
                                                          fmmla.  */
-                                                      return 2994;
+                                                      return 2995;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          011001x0011xxxxx111xxxxxxxxxxxxx
                                                          bfmmla.  */
-                                                      return 3018;
+                                                      return 3019;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          011001x0111xxxxx111xxxxxxxxxxxxx
                                                          fmmla.  */
-                                                      return 2995;
+                                                      return 2996;
                                                     }
                                                   else
                                                     {
                                                                  10987654321098765432109876543210
                                                                  000001x1101xxxxx000x00xxxxxxxxxx
                                                                  zip1.  */
-                                                              return 3004;
+                                                              return 3005;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x1101xxxxx000010xxxxxxxxxx
                                                                      uzp1.  */
-                                                                  return 3006;
+                                                                  return 3007;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x1101xxxxx000110xxxxxxxxxx
                                                                      trn1.  */
-                                                                  return 3008;
+                                                                  return 3009;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  000001x1101xxxxx000x01xxxxxxxxxx
                                                                  zip2.  */
-                                                              return 3005;
+                                                              return 3006;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x1101xxxxx000011xxxxxxxxxx
                                                                      uzp2.  */
-                                                                  return 3007;
+                                                                  return 3008;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x1101xxxxx000111xxxxxxxxxx
                                                                      trn2.  */
-                                                                  return 3009;
+                                                                  return 3010;
                                                                 }
                                                             }
                                                         }
                                                  10987654321098765432109876543210
                                                  x10001x11x1xxxxx000xxxxxxxxxxxxx
                                                  sqrshrun.  */
-                                              return 2432;
+                                              return 2433;
                                             }
                                         }
                                     }
                                                                      10987654321098765432109876543210
                                                                      010001x1000xxxxx100110xxxxxxxxxx
                                                                      smmla.  */
-                                                                  return 2988;
+                                                                  return 2989;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      010001x1100xxxxx100110xxxxxxxxxx
                                                                      usmmla.  */
-                                                                  return 2990;
+                                                                  return 2991;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  010001x1x10xxxxx100110xxxxxxxxxx
                                                                  ummla.  */
-                                                              return 2989;
+                                                              return 2990;
                                                             }
                                                         }
                                                     }
                                                                      10987654321098765432109876543210
                                                                      010001x10x1xxxx1010000xxxxxxxxxx
                                                                      sqcvtn.  */
-                                                                  return 2429;
+                                                                  return 2430;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      010001x10x1xxxx1010100xxxxxxxxxx
                                                                      sqcvtun.  */
-                                                                  return 2430;
+                                                                  return 2431;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  010001x10x1xxxx1010x10xxxxxxxxxx
                                                                  uqcvtn.  */
-                                                              return 2435;
+                                                              return 2436;
                                                             }
                                                         }
                                                     }
                                                      10987654321098765432109876543210
                                                      x10001x11x1xxxxx0010xxxxxxxxxxxx
                                                      sqrshrn.  */
-                                                  return 2431;
+                                                  return 2432;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x10001x11x1xxxxx0011xxxxxxxxxxxx
                                                      uqrshrn.  */
-                                                  return 2436;
+                                                  return 2437;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      101001x10x1xxxxx000xxxxxxxxxxxxx
                                                      ld1row.  */
-                                                  return 2998;
+                                                  return 2999;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x11x1xxxxx000xxxxxxxxxxxxx
                                                      ld1rod.  */
-                                                  return 2999;
+                                                  return 3000;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      101001x10x1xxxxx001xxxxxxxxxxxxx
                                                      ld1row.  */
-                                                  return 3002;
+                                                  return 3003;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x11x1xxxxx001xxxxxxxxxxxxx
                                                      ld1rod.  */
-                                                  return 3003;
+                                                  return 3004;
                                                 }
                                             }
                                         }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x000xxxxx10xxx
                                                                  whilege.  */
-                                                              return 2900;
+                                                              return 2901;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x000xxxxx11xxx
                                                                  whilegt.  */
-                                                              return 2901;
+                                                              return 2902;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      001001x1xx1xxxxx010100xxxxx1xxx0
                                                                      whilege.  */
-                                                                  return 2437;
+                                                                  return 2438;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      001001x1xx1xxxxx010100xxxxx1xxx1
                                                                      whilegt.  */
-                                                                  return 2438;
+                                                                  return 2439;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx011100xxxxx1xxxx
                                                                  pext.  */
-                                                              return 2641;
+                                                              return 2642;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x010xxxxx10xxx
                                                                  whilehs.  */
-                                                              return 2903;
+                                                              return 2904;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x010xxxxx11xxx
                                                                  whilehi.  */
-                                                              return 2902;
+                                                              return 2903;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      001001x1xx1xxxxx010110xxxxx1xxx0
                                                                      whilehs.  */
-                                                                  return 2440;
+                                                                  return 2441;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      001001x1xx1xxxxx010110xxxxx1xxx1
                                                                      whilehi.  */
-                                                                  return 2439;
+                                                                  return 2440;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx011110xxxxx1xxxx
                                                                  ptrue.  */
-                                                              return 2643;
+                                                              return 2644;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x001xxxxx10xxx
                                                                  whilelt.  */
-                                                              return 2907;
+                                                              return 2908;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x001xxxxx11xxx
                                                                  whilele.  */
-                                                              return 2904;
+                                                              return 2905;
                                                             }
                                                         }
                                                       else
                                                                      10987654321098765432109876543210
                                                                      001001x1xx1xxxxx010101xxxxx1xxx0
                                                                      whilelt.  */
-                                                                  return 2444;
+                                                                  return 2445;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      001001x1xx1xxxxx010101xxxxx1xxx1
                                                                      whilele.  */
-                                                                  return 2441;
+                                                                  return 2442;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx011101xxxxx1xxxx
                                                                  pext.  */
-                                                              return 2642;
+                                                              return 2643;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x011xxxxx10xxx
                                                                  whilelo.  */
-                                                              return 2905;
+                                                              return 2906;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x011xxxxx11xxx
                                                                  whilels.  */
-                                                              return 2906;
+                                                              return 2907;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x111xxxxx1xxx0
                                                                  whilelo.  */
-                                                              return 2442;
+                                                              return 2443;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x111xxxxx1xxx1
                                                                  whilels.  */
-                                                              return 2443;
+                                                              return 2444;
                                                             }
                                                         }
                                                     }
                                                                          10987654321098765432109876543210
                                                                          011001x110001x10101xxxxxxxxxxxxx
                                                                          bfcvt.  */
-                                                                      return 3019;
+                                                                      return 3020;
                                                                     }
                                                                 }
                                                               else
                                                      10987654321098765432109876543210
                                                      001001x1xx10xxxx10xxxx1xxxxxxxxx
                                                      cntp.  */
-                                                  return 2480;
+                                                  return 2481;
                                                 }
                                             }
                                           else
                                      10987654321098765432109876543210
                                      x1010100xxxxxxxxxxxxxxxxxxx1xxxx
                                      bc.c.  */
-                                  return 3155;
+                                  return 3156;
                                 }
                               else
                                 {
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0000xxxxxxxxxxxx
                                                      cpyp.  */
-                                                  return 3083;
+                                                  return 3084;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0000xxxxxxxxxxxx
                                                      cpye.  */
-                                                  return 3085;
+                                                  return 3086;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1000xxxxxxxxxxxx
                                                      cpyprn.  */
-                                                  return 3089;
+                                                  return 3090;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1000xxxxxxxxxxxx
                                                      cpyern.  */
-                                                  return 3091;
+                                                  return 3092;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0100xxxxxxxxxxxx
                                                      cpypwn.  */
-                                                  return 3086;
+                                                  return 3087;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0100xxxxxxxxxxxx
                                                      cpyewn.  */
-                                                  return 3088;
+                                                  return 3089;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1100xxxxxxxxxxxx
                                                      cpypn.  */
-                                                  return 3092;
+                                                  return 3093;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1100xxxxxxxxxxxx
                                                      cpyen.  */
-                                                  return 3094;
+                                                  return 3095;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0010xxxxxxxxxxxx
                                                      cpyprt.  */
-                                                  return 3107;
+                                                  return 3108;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0010xxxxxxxxxxxx
                                                      cpyert.  */
-                                                  return 3109;
+                                                  return 3110;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1010xxxxxxxxxxxx
                                                      cpyprtrn.  */
-                                                  return 3113;
+                                                  return 3114;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1010xxxxxxxxxxxx
                                                      cpyertrn.  */
-                                                  return 3115;
+                                                  return 3116;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0110xxxxxxxxxxxx
                                                      cpyprtwn.  */
-                                                  return 3110;
+                                                  return 3111;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0110xxxxxxxxxxxx
                                                      cpyertwn.  */
-                                                  return 3112;
+                                                  return 3113;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1110xxxxxxxxxxxx
                                                      cpyprtn.  */
-                                                  return 3116;
+                                                  return 3117;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1110xxxxxxxxxxxx
                                                      cpyertn.  */
-                                                  return 3118;
+                                                  return 3119;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0001xxxxxxxxxxxx
                                                      cpypwt.  */
-                                                  return 3095;
+                                                  return 3096;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0001xxxxxxxxxxxx
                                                      cpyewt.  */
-                                                  return 3097;
+                                                  return 3098;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1001xxxxxxxxxxxx
                                                      cpypwtrn.  */
-                                                  return 3101;
+                                                  return 3102;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1001xxxxxxxxxxxx
                                                      cpyewtrn.  */
-                                                  return 3103;
+                                                  return 3104;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0101xxxxxxxxxxxx
                                                      cpypwtwn.  */
-                                                  return 3098;
+                                                  return 3099;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0101xxxxxxxxxxxx
                                                      cpyewtwn.  */
-                                                  return 3100;
+                                                  return 3101;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1101xxxxxxxxxxxx
                                                      cpypwtn.  */
-                                                  return 3104;
+                                                  return 3105;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1101xxxxxxxxxxxx
                                                      cpyewtn.  */
-                                                  return 3106;
+                                                  return 3107;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0011xxxxxxxxxxxx
                                                      cpypt.  */
-                                                  return 3119;
+                                                  return 3120;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0011xxxxxxxxxxxx
                                                      cpyet.  */
-                                                  return 3121;
+                                                  return 3122;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1011xxxxxxxxxxxx
                                                      cpyptrn.  */
-                                                  return 3125;
+                                                  return 3126;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1011xxxxxxxxxxxx
                                                      cpyetrn.  */
-                                                  return 3127;
+                                                  return 3128;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0111xxxxxxxxxxxx
                                                      cpyptwn.  */
-                                                  return 3122;
+                                                  return 3123;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0111xxxxxxxxxxxx
                                                      cpyetwn.  */
-                                                  return 3124;
+                                                  return 3125;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1111xxxxxxxxxxxx
                                                      cpyptn.  */
-                                                  return 3128;
+                                                  return 3129;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1111xxxxxxxxxxxx
                                                      cpyetn.  */
-                                                  return 3130;
+                                                  return 3131;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0000xxxxxxxxxxxx
                                                      cpym.  */
-                                                  return 3084;
+                                                  return 3085;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0000xxxxxxxxxxxx
                                                      setgp.  */
-                                                  return 3143;
+                                                  return 3144;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx1000xxxxxxxxxxxx
                                                      cpymrn.  */
-                                                  return 3090;
+                                                  return 3091;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx1000xxxxxxxxxxxx
                                                      setge.  */
-                                                  return 3145;
+                                                  return 3146;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0100xxxxxxxxxxxx
                                                      cpymwn.  */
-                                                  return 3087;
+                                                  return 3088;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0100xxxxxxxxxxxx
                                                      setgm.  */
-                                                  return 3144;
+                                                  return 3145;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx011101x1xxxxxx1100xxxxxxxxxxxx
                                                  cpymn.  */
-                                              return 3093;
+                                              return 3094;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0010xxxxxxxxxxxx
                                                      cpymrt.  */
-                                                  return 3108;
+                                                  return 3109;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0010xxxxxxxxxxxx
                                                      setgpn.  */
-                                                  return 3149;
+                                                  return 3150;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx1010xxxxxxxxxxxx
                                                      cpymrtrn.  */
-                                                  return 3114;
+                                                  return 3115;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx1010xxxxxxxxxxxx
                                                      setgen.  */
-                                                  return 3151;
+                                                  return 3152;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0110xxxxxxxxxxxx
                                                      cpymrtwn.  */
-                                                  return 3111;
+                                                  return 3112;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0110xxxxxxxxxxxx
                                                      setgmn.  */
-                                                  return 3150;
+                                                  return 3151;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx011101x1xxxxxx1110xxxxxxxxxxxx
                                                  cpymrtn.  */
-                                              return 3117;
+                                              return 3118;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0001xxxxxxxxxxxx
                                                      cpymwt.  */
-                                                  return 3096;
+                                                  return 3097;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0001xxxxxxxxxxxx
                                                      setgpt.  */
-                                                  return 3146;
+                                                  return 3147;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx1001xxxxxxxxxxxx
                                                      cpymwtrn.  */
-                                                  return 3102;
+                                                  return 3103;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx1001xxxxxxxxxxxx
                                                      setget.  */
-                                                  return 3148;
+                                                  return 3149;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0101xxxxxxxxxxxx
                                                      cpymwtwn.  */
-                                                  return 3099;
+                                                  return 3100;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0101xxxxxxxxxxxx
                                                      setgmt.  */
-                                                  return 3147;
+                                                  return 3148;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx011101x1xxxxxx1101xxxxxxxxxxxx
                                                  cpymwtn.  */
-                                              return 3105;
+                                              return 3106;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0011xxxxxxxxxxxx
                                                      cpymt.  */
-                                                  return 3120;
+                                                  return 3121;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0011xxxxxxxxxxxx
                                                      setgptn.  */
-                                                  return 3152;
+                                                  return 3153;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx1011xxxxxxxxxxxx
                                                      cpymtrn.  */
-                                                  return 3126;
+                                                  return 3127;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx1011xxxxxxxxxxxx
                                                      setgetn.  */
-                                                  return 3154;
+                                                  return 3155;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0111xxxxxxxxxxxx
                                                      cpymtwn.  */
-                                                  return 3123;
+                                                  return 3124;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0111xxxxxxxxxxxx
                                                      setgmtn.  */
-                                                  return 3153;
+                                                  return 3154;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx011101x1xxxxxx1111xxxxxxxxxxxx
                                                  cpymtn.  */
-                                              return 3129;
+                                              return 3130;
                                             }
                                         }
                                     }
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x1001xxxxxxxxxx
                                                          smmla.  */
-                                                      return 3010;
+                                                      return 3011;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x0101xxxxxxxxxx
                                                          sdot.  */
-                                                      return 2936;
+                                                      return 2937;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x1011xxxxxxxxxx
                                                          usmmla.  */
-                                                      return 3012;
+                                                      return 3013;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x0111xxxxxxxxxx
                                                          usdot.  */
-                                                      return 3013;
+                                                      return 3014;
                                                     }
                                                 }
                                               else
                                              10987654321098765432109876543210
                                              1x001110000xxxxxxxxxxxxxxxxxxxxx
                                              eor3.  */
-                                          return 2943;
+                                          return 2944;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              1x001110100xxxxxxxxxxxxxxxxxxxxx
                                              xar.  */
-                                          return 2945;
+                                          return 2946;
                                         }
                                     }
                                   else
                                              10987654321098765432109876543210
                                              1x001110x10xxxxx0xxxxxxxxxxxxxxx
                                              sm3ss1.  */
-                                          return 2947;
+                                          return 2948;
                                         }
                                       else
                                         {
                                                          10987654321098765432109876543210
                                                          1x001110010xxxxx1xxx00xxxxxxxxxx
                                                          sm3tt1a.  */
-                                                      return 2948;
+                                                      return 2949;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          1x001110110xxxxx1xxx00xxxxxxxxxx
                                                          sha512su0.  */
-                                                      return 2941;
+                                                      return 2942;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      1x001110x10xxxxx1xxx10xxxxxxxxxx
                                                      sm3tt2a.  */
-                                                  return 2950;
+                                                  return 2951;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          1x001110010xxxxx1xxx01xxxxxxxxxx
                                                          sm3tt1b.  */
-                                                      return 2949;
+                                                      return 2950;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          1x001110110xxxxx1xxx01xxxxxxxxxx
                                                          sm4e.  */
-                                                      return 2954;
+                                                      return 2955;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      1x001110x10xxxxx1xxx11xxxxxxxxxx
                                                      sm3tt2b.  */
-                                                  return 2951;
+                                                  return 2952;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          xx101110xx0xxxxx100101xxxxxxxxxx
                                                          udot.  */
-                                                      return 2935;
+                                                      return 2936;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      xx101110xx0xxxxx101x01xxxxxxxxxx
                                                      ummla.  */
-                                                  return 3011;
+                                                  return 3012;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx101110xx0xxxxx1x1011xxxxxxxxxx
                                                      bfmmla.  */
-                                                  return 3027;
+                                                  return 3028;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          xx1011100x0xxxxx1x1111xxxxxxxxxx
                                                          bfdot.  */
-                                                      return 3025;
+                                                      return 3026;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              x01011101x0xxxxx1x1111xxxxxxxxxx
                                                              bfmlalb.  */
-                                                          return 3032;
+                                                          return 3033;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x11011101x0xxxxx1x1111xxxxxxxxxx
                                                              bfmlalt.  */
-                                                          return 3031;
+                                                          return 3032;
                                                         }
                                                     }
                                                 }
                                                                          10987654321098765432109876543210
                                                                          000011101x1xxxx1011010xxxxxxxxxx
                                                                          bfcvtn.  */
-                                                                      return 3028;
+                                                                      return 3029;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          010011101x1xxxx1011010xxxxxxxxxx
                                                                          bfcvtn2.  */
-                                                                      return 3029;
+                                                                      return 3030;
                                                                     }
                                                                 }
                                                             }
                                          10987654321098765432109876543210
                                          1x001110xx1xxxxx0xxxxxxxxxxxxxxx
                                          bcax.  */
-                                      return 2946;
+                                      return 2947;
                                     }
                                 }
                               else
                                                                  10987654321098765432109876543210
                                                                  11001110xx1xxxxx100000xxxxxxxxxx
                                                                  sha512h.  */
-                                                              return 2939;
+                                                              return 2940;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  11001110xx1xxxxx110000xxxxxxxxxx
                                                                  sm3partw1.  */
-                                                              return 2952;
+                                                              return 2953;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100010xxxxxxxxxx
                                                              sha512su1.  */
-                                                          return 2942;
+                                                          return 2943;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  1x0011100x1xxxxx110010xxxxxxxxxx
                                                                  sm4ekey.  */
-                                                              return 2955;
+                                                              return 2956;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100001xxxxxxxxxx
                                                              sha512h2.  */
-                                                          return 2940;
+                                                          return 2941;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  1x0011100x1xxxxx110001xxxxxxxxxx
                                                                  sm3partw2.  */
-                                                              return 2953;
+                                                              return 2954;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100011xxxxxxxxxx
                                                              rax1.  */
-                                                          return 2944;
+                                                          return 2945;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  x01011100x1xxxxx110011xxxxxxxxxx
                                                                  fmlal2.  */
-                                                              return 2958;
+                                                              return 2959;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x11011100x1xxxxx110011xxxxxxxxxx
                                                                  fmlal2.  */
-                                                              return 2962;
+                                                              return 2963;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x01011101x1xxxxx110011xxxxxxxxxx
                                                                  fmlsl2.  */
-                                                              return 2959;
+                                                              return 2960;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x11011101x1xxxxx110011xxxxxxxxxx
                                                                  fmlsl2.  */
-                                                              return 2963;
+                                                              return 2964;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x00011100x1xxxxx111011xxxxxxxxxx
                                                                  fmlal.  */
-                                                              return 2956;
+                                                              return 2957;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10011100x1xxxxx111011xxxxxxxxxx
                                                                  fmlal.  */
-                                                              return 2960;
+                                                              return 2961;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x00011101x1xxxxx111011xxxxxxxxxx
                                                                  fmlsl.  */
-                                                              return 2957;
+                                                              return 2958;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10011101x1xxxxx111011xxxxxxxxxx
                                                                  fmlsl.  */
-                                                              return 2961;
+                                                              return 2962;
                                                             }
                                                         }
                                                       else
                                                      10987654321098765432109876543210
                                                      x0001111xxxxxxxx0000x0xxxxxxxxxx
                                                      fmlal.  */
-                                                  return 2964;
+                                                  return 2965;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1001111xxxxxxxx0000x0xxxxxxxxxx
                                                      fmlal.  */
-                                                  return 2968;
+                                                  return 2969;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x0001111xxxxxxxx0100x0xxxxxxxxxx
                                                      fmlsl.  */
-                                                  return 2965;
+                                                  return 2966;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1001111xxxxxxxx0100x0xxxxxxxxxx
                                                      fmlsl.  */
-                                                  return 2969;
+                                                  return 2970;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x0101111xxxxxxxx1000x0xxxxxxxxxx
                                                      fmlal2.  */
-                                                  return 2966;
+                                                  return 2967;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1101111xxxxxxxx1000x0xxxxxxxxxx
                                                      fmlal2.  */
-                                                  return 2970;
+                                                  return 2971;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x0101111xxxxxxxx1100x0xxxxxxxxxx
                                                      fmlsl2.  */
-                                                  return 2967;
+                                                  return 2968;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1101111xxxxxxxx1100x0xxxxxxxxxx
                                                      fmlsl2.  */
-                                                  return 2971;
+                                                  return 2972;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  xx001111xxxxxxxx1110x0xxxxxxxxxx
                                                  sdot.  */
-                                              return 2938;
+                                              return 2939;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  xx101111xxxxxxxx1110x0xxxxxxxxxx
                                                  udot.  */
-                                              return 2937;
+                                              return 2938;
                                             }
                                         }
                                     }
                                                          10987654321098765432109876543210
                                                          xx00111100xxxxxx1111x0xxxxxxxxxx
                                                          sudot.  */
-                                                      return 3015;
+                                                      return 3016;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx00111110xxxxxx1111x0xxxxxxxxxx
                                                          usdot.  */
-                                                      return 3014;
+                                                      return 3015;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx00111101xxxxxx1111x0xxxxxxxxxx
                                                          bfdot.  */
-                                                      return 3026;
+                                                      return 3027;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              x000111111xxxxxx1111x0xxxxxxxxxx
                                                              bfmlalb.  */
-                                                          return 3034;
+                                                          return 3035;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x100111111xxxxxx1111x0xxxxxxxxxx
                                                              bfmlalt.  */
-                                                          return 3033;
+                                                          return 3034;
                                                         }
                                                     }
                                                 }
     case 2391: return NULL;            /* mova --> NULL.  */
     case 2388: value = 2390; break;    /* mov --> mova.  */
     case 2390: return NULL;            /* mova --> NULL.  */
-    case 2629: value = 2637; break;    /* mov --> mova.  */
-    case 2637: return NULL;            /* mova --> NULL.  */
-    case 2625: value = 2633; break;    /* mov --> mova.  */
-    case 2633: return NULL;            /* mova --> NULL.  */
-    case 2627: value = 2635; break;    /* mov --> mova.  */
-    case 2635: return NULL;            /* mova --> NULL.  */
-    case 2623: value = 2631; break;    /* mov --> mova.  */
-    case 2631: return NULL;            /* mova --> NULL.  */
     case 2630: value = 2638; break;    /* mov --> mova.  */
     case 2638: return NULL;            /* mova --> NULL.  */
     case 2626: value = 2634; break;    /* mov --> mova.  */
     case 2636: return NULL;            /* mova --> NULL.  */
     case 2624: value = 2632; break;    /* mov --> mova.  */
     case 2632: return NULL;            /* mova --> NULL.  */
+    case 2631: value = 2639; break;    /* mov --> mova.  */
+    case 2639: return NULL;            /* mova --> NULL.  */
+    case 2627: value = 2635; break;    /* mov --> mova.  */
+    case 2635: return NULL;            /* mova --> NULL.  */
+    case 2629: value = 2637; break;    /* mov --> mova.  */
+    case 2637: return NULL;            /* mova --> NULL.  */
+    case 2625: value = 2633; break;    /* mov --> mova.  */
+    case 2633: return NULL;            /* mova --> NULL.  */
     case 2393: value = 2398; break;    /* ld1b --> ld1b.  */
     case 2398: return NULL;            /* ld1b --> NULL.  */
     case 2395: value = 2400; break;    /* ld1w --> ld1w.  */
     case 2407: value = 2412; break;    /* st1q --> st1q.  */
     case 2412: return NULL;            /* st1q --> NULL.  */
     case 12: value = 19; break;        /* add --> addg.  */
-    case 19: value = 3156; break;      /* addg --> smax.  */
-    case 3156: value = 3157; break;    /* smax --> umax.  */
-    case 3157: value = 3158; break;    /* umax --> smin.  */
-    case 3158: value = 3159; break;    /* smin --> umin.  */
-    case 3159: return NULL;            /* umin --> NULL.  */
+    case 19: value = 3157; break;      /* addg --> smax.  */
+    case 3157: value = 3158; break;    /* smax --> umax.  */
+    case 3158: value = 3159; break;    /* umax --> smin.  */
+    case 3159: value = 3160; break;    /* smin --> umin.  */
+    case 3160: return NULL;            /* umin --> NULL.  */
     case 16: value = 20; break;        /* sub --> subg.  */
     case 20: return NULL;              /* subg --> NULL.  */
     case 971: value = 975; break;      /* stnp --> stp.  */
     case 970: return NULL;             /* stllrh --> NULL.  */
     case 972: value = 976; break;      /* ldnp --> ldp.  */
     case 976: return NULL;             /* ldp --> NULL.  */
+    case 912: value = 2420; break;     /* prfm --> rprfm.  */
+    case 2420: return NULL;            /* rprfm --> NULL.  */
     case 1642: value = 1643; break;    /* ldff1b --> ldff1b.  */
     case 1643: return NULL;            /* ldff1b --> NULL.  */
     case 1698: value = 1699; break;    /* ldff1sw --> ldff1sw.  */
     case 824: return NULL;             /* fsqrt --> NULL.  */
     case 832: value = 833; break;      /* frintz --> frintz.  */
     case 833: return NULL;             /* frintz --> NULL.  */
-    case 825: value = 3030; break;     /* fcvt --> bfcvt.  */
-    case 3030: return NULL;            /* bfcvt --> NULL.  */
+    case 825: value = 3031; break;     /* fcvt --> bfcvt.  */
+    case 3031: return NULL;            /* bfcvt --> NULL.  */
     case 834: value = 835; break;      /* frinta --> frinta.  */
     case 835: return NULL;             /* frinta --> NULL.  */
     case 836: value = 837; break;      /* frintx --> frintx.  */
     case 29:
     case 30:
     case 31:
-    case 167:
     case 168:
     case 169:
     case 170:
     case 178:
     case 179:
     case 180:
-    case 195:
+    case 181:
     case 196:
     case 197:
     case 198:
     case 201:
     case 202:
     case 203:
-    case 210:
-    case 213:
-    case 217:
-    case 224:
+    case 204:
+    case 211:
+    case 214:
+    case 218:
     case 225:
-    case 232:
+    case 226:
     case 233:
     case 234:
     case 235:
+    case 236:
       return aarch64_ext_regno (self, info, code, inst, errors);
     case 10:
       return aarch64_ext_regrt_sysins (self, info, code, inst, errors);
     case 33:
     case 34:
     case 35:
-    case 271:
+    case 272:
       return aarch64_ext_reglane (self, info, code, inst, errors);
     case 36:
       return aarch64_ext_reglist (self, info, code, inst, errors);
     case 82:
     case 83:
     case 84:
-    case 164:
-    case 166:
-    case 187:
+    case 108:
+    case 165:
+    case 167:
     case 188:
     case 189:
     case 190:
     case 192:
     case 193:
     case 194:
-    case 238:
-    case 265:
+    case 195:
+    case 239:
     case 266:
-    case 268:
-    case 270:
-    case 275:
+    case 267:
+    case 269:
+    case 271:
     case 276:
+    case 277:
       return aarch64_ext_imm (self, info, code, inst, errors);
     case 44:
     case 45:
     case 49:
       return aarch64_ext_shll_imm (self, info, code, inst, errors);
     case 52:
-    case 154:
+    case 155:
       return aarch64_ext_fpimm (self, info, code, inst, errors);
     case 70:
-    case 162:
+    case 163:
       return aarch64_ext_limm (self, info, code, inst, errors);
     case 71:
       return aarch64_ext_aimm (self, info, code, inst, errors);
       return aarch64_ext_fbits (self, info, code, inst, errors);
     case 75:
     case 76:
-    case 159:
+    case 160:
       return aarch64_ext_imm_rotate2 (self, info, code, inst, errors);
     case 77:
-    case 158:
-    case 160:
+    case 159:
+    case 161:
       return aarch64_ext_imm_rotate1 (self, info, code, inst, errors);
     case 78:
     case 79:
       return aarch64_ext_barrier_dsb_nxs (self, info, code, inst, errors);
     case 107:
       return aarch64_ext_prfop (self, info, code, inst, errors);
-    case 108:
-    case 267:
-    case 269:
-      return aarch64_ext_none (self, info, code, inst, errors);
     case 109:
-      return aarch64_ext_hint (self, info, code, inst, errors);
+    case 268:
+    case 270:
+      return aarch64_ext_none (self, info, code, inst, errors);
     case 110:
+      return aarch64_ext_hint (self, info, code, inst, errors);
     case 111:
-      return aarch64_ext_sve_addr_ri_s4 (self, info, code, inst, errors);
     case 112:
+      return aarch64_ext_sve_addr_ri_s4 (self, info, code, inst, errors);
     case 113:
     case 114:
     case 115:
-      return aarch64_ext_sve_addr_ri_s4xvl (self, info, code, inst, errors);
     case 116:
-      return aarch64_ext_sve_addr_ri_s6xvl (self, info, code, inst, errors);
+      return aarch64_ext_sve_addr_ri_s4xvl (self, info, code, inst, errors);
     case 117:
-      return aarch64_ext_sve_addr_ri_s9xvl (self, info, code, inst, errors);
+      return aarch64_ext_sve_addr_ri_s6xvl (self, info, code, inst, errors);
     case 118:
+      return aarch64_ext_sve_addr_ri_s9xvl (self, info, code, inst, errors);
     case 119:
     case 120:
     case 121:
-      return aarch64_ext_sve_addr_ri_u6 (self, info, code, inst, errors);
     case 122:
+      return aarch64_ext_sve_addr_ri_u6 (self, info, code, inst, errors);
     case 123:
     case 124:
     case 125:
     case 134:
     case 135:
     case 136:
-      return aarch64_ext_sve_addr_rr_lsl (self, info, code, inst, errors);
     case 137:
+      return aarch64_ext_sve_addr_rr_lsl (self, info, code, inst, errors);
     case 138:
     case 139:
     case 140:
     case 142:
     case 143:
     case 144:
-      return aarch64_ext_sve_addr_rz_xtw (self, info, code, inst, errors);
     case 145:
+      return aarch64_ext_sve_addr_rz_xtw (self, info, code, inst, errors);
     case 146:
     case 147:
     case 148:
-      return aarch64_ext_sve_addr_zi_u5 (self, info, code, inst, errors);
     case 149:
-      return aarch64_ext_sve_addr_zz_lsl (self, info, code, inst, errors);
+      return aarch64_ext_sve_addr_zi_u5 (self, info, code, inst, errors);
     case 150:
-      return aarch64_ext_sve_addr_zz_sxtw (self, info, code, inst, errors);
+      return aarch64_ext_sve_addr_zz_lsl (self, info, code, inst, errors);
     case 151:
-      return aarch64_ext_sve_addr_zz_uxtw (self, info, code, inst, errors);
+      return aarch64_ext_sve_addr_zz_sxtw (self, info, code, inst, errors);
     case 152:
-      return aarch64_ext_sve_aimm (self, info, code, inst, errors);
+      return aarch64_ext_sve_addr_zz_uxtw (self, info, code, inst, errors);
     case 153:
+      return aarch64_ext_sve_aimm (self, info, code, inst, errors);
+    case 154:
       return aarch64_ext_sve_asimm (self, info, code, inst, errors);
-    case 155:
-      return aarch64_ext_sve_float_half_one (self, info, code, inst, errors);
     case 156:
-      return aarch64_ext_sve_float_half_two (self, info, code, inst, errors);
+      return aarch64_ext_sve_float_half_one (self, info, code, inst, errors);
     case 157:
+      return aarch64_ext_sve_float_half_two (self, info, code, inst, errors);
+    case 158:
       return aarch64_ext_sve_float_zero_one (self, info, code, inst, errors);
-    case 161:
+    case 162:
       return aarch64_ext_inv_limm (self, info, code, inst, errors);
-    case 163:
+    case 164:
       return aarch64_ext_sve_limm_mov (self, info, code, inst, errors);
-    case 165:
+    case 166:
       return aarch64_ext_sve_scale (self, info, code, inst, errors);
-    case 181:
     case 182:
     case 183:
-      return aarch64_ext_sve_shlimm (self, info, code, inst, errors);
     case 184:
+      return aarch64_ext_sve_shlimm (self, info, code, inst, errors);
     case 185:
     case 186:
-    case 251:
+    case 187:
+    case 252:
       return aarch64_ext_sve_shrimm (self, info, code, inst, errors);
-    case 204:
     case 205:
     case 206:
     case 207:
     case 208:
     case 209:
+    case 210:
       return aarch64_ext_sve_quad_index (self, info, code, inst, errors);
-    case 211:
-      return aarch64_ext_sve_index (self, info, code, inst, errors);
     case 212:
-    case 214:
-    case 231:
-      return aarch64_ext_sve_reglist (self, info, code, inst, errors);
+      return aarch64_ext_sve_index (self, info, code, inst, errors);
+    case 213:
     case 215:
+    case 232:
+      return aarch64_ext_sve_reglist (self, info, code, inst, errors);
     case 216:
-    case 218:
+    case 217:
     case 219:
     case 220:
     case 221:
-    case 230:
-      return aarch64_ext_sve_aligned_reglist (self, info, code, inst, errors);
     case 222:
+    case 231:
+      return aarch64_ext_sve_aligned_reglist (self, info, code, inst, errors);
     case 223:
+    case 224:
       return aarch64_ext_sve_strided_reglist (self, info, code, inst, errors);
-    case 226:
-    case 228:
-    case 239:
-      return aarch64_ext_sme_za_hv_tiles (self, info, code, inst, errors);
     case 227:
     case 229:
+    case 240:
+      return aarch64_ext_sme_za_hv_tiles (self, info, code, inst, errors);
+    case 228:
+    case 230:
       return aarch64_ext_sme_za_hv_tiles_range (self, info, code, inst, errors);
-    case 236:
     case 237:
-    case 252:
+    case 238:
     case 253:
     case 254:
     case 255:
     case 262:
     case 263:
     case 264:
+    case 265:
       return aarch64_ext_simple_index (self, info, code, inst, errors);
-    case 240:
     case 241:
     case 242:
     case 243:
     case 244:
     case 245:
     case 246:
-      return aarch64_ext_sme_za_array (self, info, code, inst, errors);
     case 247:
-      return aarch64_ext_sme_addr_ri_u4xvl (self, info, code, inst, errors);
+      return aarch64_ext_sme_za_array (self, info, code, inst, errors);
     case 248:
-      return aarch64_ext_sme_sm_za (self, info, code, inst, errors);
+      return aarch64_ext_sme_addr_ri_u4xvl (self, info, code, inst, errors);
     case 249:
-      return aarch64_ext_sme_pred_reg_with_index (self, info, code, inst, errors);
+      return aarch64_ext_sme_sm_za (self, info, code, inst, errors);
     case 250:
+      return aarch64_ext_sme_pred_reg_with_index (self, info, code, inst, errors);
+    case 251:
       return aarch64_ext_plain_shrimm (self, info, code, inst, errors);
-    case 272:
     case 273:
     case 274:
+    case 275:
       return aarch64_ext_x0_to_x30 (self, info, code, inst, errors);
     default: assert (0); abort ();
     }