10987654321098765432109876543210
                                                      x1000000x10x100xxxxxxxxxxxxxxxxx
                                                      zero.  */
-                                                  return 2874;
+                                                  return 2883;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx000xxxxxxxxxxxx0
                                                          st1b.  */
-                                                      return 2705;
+                                                      return 2711;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx100xxxxxxxxxxxx0
                                                          st1b.  */
-                                                      return 2706;
+                                                      return 2712;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx010xxxxxxxxxxxx0
                                                          st1w.  */
-                                                      return 2729;
+                                                      return 2735;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx110xxxxxxxxxxxx0
                                                          st1w.  */
-                                                      return 2730;
+                                                      return 2736;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx001xxxxxxxxxxxx0
                                                          st1h.  */
-                                                      return 2721;
+                                                      return 2727;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx101xxxxxxxxxxxx0
                                                          st1h.  */
-                                                      return 2722;
+                                                      return 2728;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx011xxxxxxxxxxxx0
                                                          st1d.  */
-                                                      return 2713;
+                                                      return 2719;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx111xxxxxxxxxxxx0
                                                          st1d.  */
-                                                      return 2714;
+                                                      return 2720;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx000xxxxxxxxxxxx1
                                                          stnt1b.  */
-                                                      return 2737;
+                                                      return 2743;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx100xxxxxxxxxxxx1
                                                          stnt1b.  */
-                                                      return 2738;
+                                                      return 2744;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx010xxxxxxxxxxxx1
                                                          stnt1w.  */
-                                                      return 2761;
+                                                      return 2767;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx110xxxxxxxxxxxx1
                                                          stnt1w.  */
-                                                      return 2762;
+                                                      return 2768;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx001xxxxxxxxxxxx1
                                                          stnt1h.  */
-                                                      return 2753;
+                                                      return 2759;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx101xxxxxxxxxxxx1
                                                          stnt1h.  */
-                                                      return 2754;
+                                                      return 2760;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx011xxxxxxxxxxxx1
                                                          stnt1d.  */
-                                                      return 2745;
+                                                      return 2751;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000001xxxxx111xxxxxxxxxxxx1
                                                          stnt1d.  */
-                                                      return 2746;
+                                                      return 2752;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx000xxxxxxxxxxxx0
                                                          st1b.  */
-                                                      return 2701;
+                                                      return 2707;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx100xxxxxxxxxxxx0
                                                          st1b.  */
-                                                      return 2702;
+                                                      return 2708;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx010xxxxxxxxxxxx0
                                                          st1w.  */
-                                                      return 2725;
+                                                      return 2731;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx110xxxxxxxxxxxx0
                                                          st1w.  */
-                                                      return 2726;
+                                                      return 2732;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx001xxxxxxxxxxxx0
                                                          st1h.  */
-                                                      return 2717;
+                                                      return 2723;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx101xxxxxxxxxxxx0
                                                          st1h.  */
-                                                      return 2718;
+                                                      return 2724;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx011xxxxxxxxxxxx0
                                                          st1d.  */
-                                                      return 2709;
+                                                      return 2715;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx111xxxxxxxxxxxx0
                                                          st1d.  */
-                                                      return 2710;
+                                                      return 2716;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx000xxxxxxxxxxxx1
                                                          stnt1b.  */
-                                                      return 2733;
+                                                      return 2739;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx100xxxxxxxxxxxx1
                                                          stnt1b.  */
-                                                      return 2734;
+                                                      return 2740;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx010xxxxxxxxxxxx1
                                                          stnt1w.  */
-                                                      return 2757;
+                                                      return 2763;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx110xxxxxxxxxxxx1
                                                          stnt1w.  */
-                                                      return 2758;
+                                                      return 2764;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx001xxxxxxxxxxxx1
                                                          stnt1h.  */
-                                                      return 2749;
+                                                      return 2755;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx101xxxxxxxxxxxx1
                                                          stnt1h.  */
-                                                      return 2750;
+                                                      return 2756;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx011xxxxxxxxxxxx1
                                                          stnt1d.  */
-                                                      return 2741;
+                                                      return 2747;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          x0x00000011xxxxx111xxxxxxxxxxxx1
                                                          stnt1d.  */
-                                                      return 2742;
+                                                      return 2748;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx0000010000xxxxxxxxxxxxxxx001xx
                                                          usmlall.  */
-                                                      return 2855;
+                                                      return 2864;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx0xxxxxxxxx100xxx
                                                              usmlall.  */
-                                                          return 2856;
+                                                          return 2865;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx1xxxxxxxxx100xxx
                                                              usmlall.  */
-                                                          return 2857;
+                                                          return 2866;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xx0000010000xxxxxxxxxxxxxxx100xx
                                                          umlall.  */
-                                                      return 2816;
+                                                      return 2822;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx0000010000xxxxxxxxxxxxxxx101xx
                                                          sumlall.  */
-                                                      return 2776;
+                                                      return 2782;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx0xxxxxxxxx010xxx
                                                              umlall.  */
-                                                          return 2817;
+                                                          return 2823;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx1xxxxxxxxx010xxx
                                                              umlall.  */
-                                                          return 2818;
+                                                          return 2824;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx0xxxxxxxxx110xxx
                                                              sumlall.  */
-                                                          return 2777;
+                                                          return 2783;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000010001xxxx1xxxxxxxxx110xxx
                                                              sumlall.  */
-                                                          return 2778;
+                                                          return 2784;
                                                         }
                                                     }
                                                 }
                                                      10987654321098765432109876543210
                                                      xx0000010000xxxxxxxxxxxxxxx11xxx
                                                      umlsll.  */
-                                                  return 2832;
+                                                  return 2838;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          xx0000010001xxxx0xxxxxxxxxx11xxx
                                                          umlsll.  */
-                                                      return 2833;
+                                                      return 2839;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx0000010001xxxx1xxxxxxxxxx11xxx
                                                          umlsll.  */
-                                                      return 2834;
+                                                      return 2840;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              x10000011000xxxxxxx0xxxxxxx00xxx
                                                              smlall.  */
-                                                          return 2877;
+                                                          return 2886;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx0xx0xxxxxxx00xxx
                                                                  smlall.  */
-                                                              return 2878;
+                                                              return 2887;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx1xx0xxxxxxx00xxx
                                                                  smlall.  */
-                                                              return 2879;
+                                                              return 2888;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              x10000011000xxxxxxx0xxxxxxx10xxx
                                                              umlall.  */
-                                                          return 2886;
+                                                          return 2895;
                                                         }
                                                       else
                                                         {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx0xx0xxxxxxx10xxx
                                                                  umlall.  */
-                                                              return 2887;
+                                                              return 2896;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011001xxxx1xx0xxxxxxx10xxx
                                                                  umlall.  */
-                                                              return 2888;
+                                                              return 2897;
                                                             }
                                                         }
                                                     }
                                                          10987654321098765432109876543210
                                                          xx0000011000xxxxxxx0xxxxxxx01xxx
                                                          smlsll.  */
-                                                      return 2880;
+                                                      return 2889;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx0xx0xxxxxxx01xxx
                                                              smlsll.  */
-                                                          return 2881;
+                                                          return 2890;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx1xx0xxxxxxx01xxx
                                                              smlsll.  */
-                                                          return 2882;
+                                                          return 2891;
                                                         }
                                                     }
                                                 }
                                                  10987654321098765432109876543210
                                                  xx100001100xxxxxxxxxxxxxxxx01xxx
                                                  umopa.  */
-                                              return 2840;
+                                              return 2846;
                                             }
                                         }
                                       else
                                                          10987654321098765432109876543210
                                                          xx0000011000xxxxxxx0xxxxxxx11xxx
                                                          umlsll.  */
-                                                      return 2889;
+                                                      return 2898;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx0xx0xxxxxxx11xxx
                                                              umlsll.  */
-                                                          return 2890;
+                                                          return 2899;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011001xxxx1xx0xxxxxxx11xxx
                                                              umlsll.  */
-                                                          return 2891;
+                                                          return 2900;
                                                         }
                                                     }
                                                 }
                                                  10987654321098765432109876543210
                                                  xx100001100xxxxxxxxxxxxxxxx11xxx
                                                  umops.  */
-                                              return 2841;
+                                              return 2847;
                                             }
                                         }
                                     }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx0xxxxxx100xxx
                                                              svdot.  */
-                                                          return 2782;
+                                                          return 2788;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx1xxxxxx010xxx
                                                              udot.  */
-                                                          return 2788;
+                                                          return 2794;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx0xxxxxx110xxx
                                                              uvdot.  */
-                                                          return 2864;
+                                                          return 2873;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx0xx1xxxxxx110xxx
                                                              udot.  */
-                                                          return 2794;
+                                                          return 2800;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx100xxx
                                                              svdot.  */
-                                                          return 2783;
+                                                          return 2789;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx010xxx
                                                              udot.  */
-                                                          return 2789;
+                                                          return 2795;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx110xxx
                                                              uvdot.  */
-                                                          return 2865;
+                                                          return 2874;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx110xxx
                                                              udot.  */
-                                                          return 2795;
+                                                          return 2801;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xxx000010101xxxx0xxxxxxxxx101xxx
                                                          usdot.  */
-                                                      return 2849;
+                                                      return 2858;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xxx000010101xxxx0xxxxxxxxx111xxx
                                                          sudot.  */
-                                                      return 2772;
+                                                      return 2778;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx101xxx
                                                              usvdot.  */
-                                                          return 2863;
+                                                          return 2872;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx101xxx
                                                              usdot.  */
-                                                          return 2850;
+                                                          return 2859;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx0xxxxxx111xxx
                                                              suvdot.  */
-                                                          return 2781;
+                                                          return 2787;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xxx000010101xxxx1xx1xxxxxx111xxx
                                                              sudot.  */
-                                                          return 2773;
+                                                          return 2779;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxx0xx0xxxxxxx00xxx
                                                          fmla.  */
-                                                      return 2893;
+                                                      return 2902;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxx1xx0xxxxxxx00xxx
                                                          fmla.  */
-                                                      return 2894;
+                                                      return 2903;
                                                     }
                                                 }
                                               else
                                                              10987654321098765432109876543210
                                                              xx000001110xxxxx0xx00xxxxxx01xxx
                                                              sdot.  */
-                                                          return 2875;
+                                                          return 2884;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx000001110xxxxx1xx00xxxxxx01xxx
                                                              sdot.  */
-                                                          return 2876;
+                                                          return 2885;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxxxxx01xxxxxx01xxx
                                                          svdot.  */
-                                                      return 2883;
+                                                      return 2892;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxx0xx0xxxxxxx10xxx
                                                          fmls.  */
-                                                      return 2895;
+                                                      return 2904;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx000001110xxxxx1xx0xxxxxxx10xxx
                                                          fmls.  */
-                                                      return 2896;
+                                                      return 2905;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx0000011100xxxxxxx1xxxxxxx10xxx
                                                          umlal.  */
-                                                      return 2808;
+                                                      return 2814;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              xx0000011101xxxx0xx1xxxxxxx10xxx
                                                              umlal.  */
-                                                          return 2809;
+                                                          return 2815;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx0000011101xxxx1xx1xxxxxxx10xxx
                                                              umlal.  */
-                                                          return 2810;
+                                                          return 2816;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          xxx00001110xxxxx0xx00xxxxxx11xxx
                                                          udot.  */
-                                                      return 2884;
+                                                      return 2893;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx00001110xxxxx1xx00xxxxxx11xxx
                                                          udot.  */
-                                                      return 2885;
+                                                      return 2894;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      xxx00001110xxxxxxxx01xxxxxx11xxx
                                                      uvdot.  */
-                                                  return 2892;
+                                                  return 2901;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xxx000011100xxxxxxx1xxxxxxx11xxx
                                                      umlsl.  */
-                                                  return 2824;
+                                                  return 2830;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          xxx000011101xxxx0xx1xxxxxxx11xxx
                                                          umlsl.  */
-                                                      return 2825;
+                                                      return 2831;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xxx000011101xxxx1xx1xxxxxxx11xxx
                                                          umlsl.  */
-                                                      return 2826;
+                                                      return 2832;
                                                     }
                                                 }
                                             }
                                                                          10987654321098765432109876543210
                                                                          x10000010x10xxxx0xx000xxxxx001xx
                                                                          usmlall.  */
-                                                                      return 2859;
+                                                                      return 2868;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010x11xxxx0xx000xxxxx001xx
                                                                          usmlall.  */
-                                                                      return 2860;
+                                                                      return 2869;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx00xx000xxxxx001xx
                                                                          usmlall.  */
-                                                                      return 2861;
+                                                                      return 2870;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx10xx000xxxxx001xx
                                                                          usmlall.  */
-                                                                      return 2862;
+                                                                      return 2871;
                                                                     }
                                                                 }
                                                             }
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxxx0xx001xxxxx001xx
                                                                  usmlall.  */
-                                                              return 2858;
+                                                              return 2867;
                                                             }
                                                         }
                                                       else
                                                                          10987654321098765432109876543210
                                                                          x10000010x10xxxx0xx000xxxxx100xx
                                                                          umlall.  */
-                                                                      return 2820;
+                                                                      return 2826;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010x11xxxx0xx000xxxxx100xx
                                                                          umlall.  */
-                                                                      return 2821;
+                                                                      return 2827;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx00xx000xxxxx100xx
                                                                          umlall.  */
-                                                                      return 2822;
+                                                                      return 2828;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000011x1xxxx10xx000xxxxx100xx
                                                                          umlall.  */
-                                                                      return 2823;
+                                                                      return 2829;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx10xxxx0xx000xxxxx101xx
                                                                      sumlall.  */
-                                                                  return 2779;
+                                                                  return 2785;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx11xxxx0xx000xxxxx101xx
                                                                      sumlall.  */
-                                                                  return 2780;
+                                                                  return 2786;
                                                                 }
                                                             }
                                                         }
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx010xxxxx10xxx
                                                                          umlal.  */
-                                                                      return 2812;
+                                                                      return 2818;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx010xxxxx10xxx
                                                                          umlal.  */
-                                                                      return 2813;
+                                                                      return 2819;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx010xxxxx10xxx
                                                                          umlal.  */
-                                                                      return 2814;
+                                                                      return 2820;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx010xxxxx10xxx
                                                                          umlal.  */
-                                                                      return 2815;
+                                                                      return 2821;
                                                                     }
                                                                 }
                                                             }
                                                              10987654321098765432109876543210
                                                              x1000001xx1xxxxx0xx001xxxxx10xxx
                                                              umlall.  */
-                                                          return 2819;
+                                                          return 2825;
                                                         }
                                                       else
                                                         {
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx101xxxxx10xxx
                                                                      udot.  */
-                                                                  return 2796;
+                                                                  return 2802;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx101xxxxx10xxx
                                                                      udot.  */
-                                                                  return 2797;
+                                                                  return 2803;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx101xxxxx10xxx
                                                                      udot.  */
-                                                                  return 2798;
+                                                                  return 2804;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx101xxxxx10xxx
                                                                      udot.  */
-                                                                  return 2799;
+                                                                  return 2805;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  x1000001x11xxxxx0xx011xxxxx10xxx
                                                                  umlal.  */
-                                                              return 2811;
+                                                              return 2817;
                                                             }
                                                         }
                                                       else
                                                                          10987654321098765432109876543210
                                                                          x10000010010xxxx0xx101xxxxx01xxx
                                                                          usdot.  */
-                                                                      return 2851;
+                                                                      return 2860;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010011xxxx0xx101xxxxx01xxx
                                                                          usdot.  */
-                                                                      return 2852;
+                                                                      return 2861;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx00xx101xxxxx01xxx
                                                                          usdot.  */
-                                                                      return 2853;
+                                                                      return 2862;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001101xxxx10xx101xxxxx01xxx
                                                                          usdot.  */
-                                                                      return 2854;
+                                                                      return 2863;
                                                                     }
                                                                 }
                                                             }
                                                                  10987654321098765432109876543210
                                                                  x10000010x10xxxx0xxx00xxxxx11xxx
                                                                  umlsll.  */
-                                                              return 2836;
+                                                              return 2842;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000010x11xxxx0xxx00xxxxx11xxx
                                                                  umlsll.  */
-                                                              return 2837;
+                                                              return 2843;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x10000011x1xxxx00xxx00xxxxx11xxx
                                                                  umlsll.  */
-                                                              return 2838;
+                                                              return 2844;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10000011x1xxxx10xxx00xxxxx11xxx
                                                                  umlsll.  */
-                                                              return 2839;
+                                                              return 2845;
                                                             }
                                                         }
                                                     }
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx010xxxxx11xxx
                                                                          umlsl.  */
-                                                                      return 2828;
+                                                                      return 2834;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx010xxxxx11xxx
                                                                          umlsl.  */
-                                                                      return 2829;
+                                                                      return 2835;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx010xxxxx11xxx
                                                                          umlsl.  */
-                                                                      return 2830;
+                                                                      return 2836;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx010xxxxx11xxx
                                                                          umlsl.  */
-                                                                      return 2831;
+                                                                      return 2837;
                                                                     }
                                                                 }
                                                             }
                                                                      10987654321098765432109876543210
                                                                      x10000010x10xxxx0xx110xxxxx11xxx
                                                                      sub.  */
-                                                                  return 2768;
+                                                                  return 2774;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000010x11xxxx0xx110xxxxx11xxx
                                                                      sub.  */
-                                                                  return 2769;
+                                                                  return 2775;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx00xx110xxxxx11xxx
                                                                      sub.  */
-                                                                  return 2770;
+                                                                  return 2776;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x10000011x1xxxx10xx110xxxxx11xxx
                                                                      sub.  */
-                                                                  return 2771;
+                                                                  return 2777;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              x1000001xx1xxxxx0xx001xxxxx11xxx
                                                              umlsll.  */
-                                                          return 2835;
+                                                          return 2841;
                                                         }
                                                       else
                                                         {
                                                                      10987654321098765432109876543210
                                                                      x1000001x010xxxx0xx101xxxxx11xxx
                                                                      sudot.  */
-                                                                  return 2774;
+                                                                  return 2780;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001x011xxxx0xx101xxxxx11xxx
                                                                      sudot.  */
-                                                                  return 2775;
+                                                                  return 2781;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          x10000010110xxxx0xx101xxxxx11xxx
                                                                          udot.  */
-                                                                      return 2790;
+                                                                      return 2796;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x10000010111xxxx0xx101xxxxx11xxx
                                                                          udot.  */
-                                                                      return 2791;
+                                                                      return 2797;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx00xx101xxxxx11xxx
                                                                          udot.  */
-                                                                      return 2792;
+                                                                      return 2798;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001111xxxx10xx101xxxxx11xxx
                                                                          udot.  */
-                                                                      return 2793;
+                                                                      return 2799;
                                                                     }
                                                                 }
                                                             }
                                                                  10987654321098765432109876543210
                                                                  x1000001x11xxxxx0xx011xxxxx11xxx
                                                                  umlsl.  */
-                                                              return 2827;
+                                                              return 2833;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx00xx111xxxxx11xxx
                                                                  sub.  */
-                                                              return 2766;
+                                                              return 2772;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x1000001xx1xxxx10xx111xxxxx11xxx
                                                                  sub.  */
-                                                              return 2767;
+                                                              return 2773;
                                                             }
                                                         }
                                                     }
                                     {
                                       if (((word >> 13) & 0x1) == 0)
                                         {
-                                          if (((word >> 0) & 0x1) == 0)
+                                          if (((word >> 14) & 0x1) == 0)
                                             {
-                                              if (((word >> 14) & 0x1) == 0)
+                                              if (((word >> 16) & 0x1) == 0)
                                                 {
-                                                  if (((word >> 16) & 0x1) == 0)
+                                                  /* 33222222222211111111110000000000
+                                                     10987654321098765432109876543210
+                                                     x1000001xx1xxxx0100xxxxxxxxxxxxx
+                                                     sel.  */
+                                                  return 2643;
+                                                }
+                                              else
+                                                {
+                                                  /* 33222222222211111111110000000000
+                                                     10987654321098765432109876543210
+                                                     x1000001xx1xxxx1100xxxxxxxxxxxxx
+                                                     sel.  */
+                                                  return 2644;
+                                                }
+                                            }
+                                          else
+                                            {
+                                              if (((word >> 10) & 0x1) == 0)
+                                                {
+                                                  if (((word >> 11) & 0x1) == 0)
                                                     {
                                                       /* 33222222222211111111110000000000
                                                          10987654321098765432109876543210
-                                                         x1000001xx1xxxx0100xxxxxxxxxxxx0
-                                                         sel.  */
-                                                      return 2643;
+                                                         x1000001xx1xxxxx110x00xxxxxxxxxx
+                                                         fclamp.  */
+                                                      return 2466;
                                                     }
                                                   else
                                                     {
-                                                      /* 33222222222211111111110000000000
-                                                         10987654321098765432109876543210
-                                                         x1000001xx1xxxx1100xxxxxxxxxxxx0
-                                                         sel.  */
-                                                      return 2644;
+                                                      if (((word >> 12) & 0x1) == 0)
+                                                        {
+                                                          /* 33222222222211111111110000000000
+                                                             10987654321098765432109876543210
+                                                             x1000001xx1xxxxx110010xxxxxxxxxx
+                                                             fclamp.  */
+                                                          return 2467;
+                                                        }
+                                                      else
+                                                        {
+                                                          if (((word >> 5) & 0x1) == 0)
+                                                            {
+                                                              if (((word >> 6) & 0x1) == 0)
+                                                                {
+                                                                  /* 33222222222211111111110000000000
+                                                                     10987654321098765432109876543210
+                                                                     x1000001xx1xxxxx110110xxx00xxxxx
+                                                                     sqrshr.  */
+                                                                  return 2698;
+                                                                }
+                                                              else
+                                                                {
+                                                                  /* 33222222222211111111110000000000
+                                                                     10987654321098765432109876543210
+                                                                     x1000001xx1xxxxx110110xxx10xxxxx
+                                                                     sqrshru.  */
+                                                                  return 2701;
+                                                                }
+                                                            }
+                                                          else
+                                                            {
+                                                              /* 33222222222211111111110000000000
+                                                                 10987654321098765432109876543210
+                                                                 x1000001xx1xxxxx110110xxxx1xxxxx
+                                                                 uqrshr.  */
+                                                              return 2852;
+                                                            }
+                                                        }
                                                     }
                                                 }
                                               else
                                                 {
-                                                  if (((word >> 10) & 0x1) == 0)
+                                                  if (((word >> 11) & 0x1) == 0)
                                                     {
-                                                      if (((word >> 11) & 0x1) == 0)
+                                                      if (((word >> 12) & 0x1) == 0)
                                                         {
-                                                          /* 33222222222211111111110000000000
-                                                             10987654321098765432109876543210
-                                                             x1000001xx1xxxxx110x00xxxxxxxxx0
-                                                             fclamp.  */
-                                                          return 2466;
+                                                          if (((word >> 0) & 0x1) == 0)
+                                                            {
+                                                              /* 33222222222211111111110000000000
+                                                                 10987654321098765432109876543210
+                                                                 x1000001xx1xxxxx110001xxxxxxxxx0
+                                                                 sclamp.  */
+                                                              return 2627;
+                                                            }
+                                                          else
+                                                            {
+                                                              /* 33222222222211111111110000000000
+                                                                 10987654321098765432109876543210
+                                                                 x1000001xx1xxxxx110001xxxxxxxxx1
+                                                                 uclamp.  */
+                                                              return 2790;
+                                                            }
                                                         }
                                                       else
                                                         {
-                                                          /* 33222222222211111111110000000000
-                                                             10987654321098765432109876543210
-                                                             x1000001xx1xxxxx110x10xxxxxxxxx0
-                                                             fclamp.  */
-                                                          return 2467;
+                                                          if (((word >> 5) & 0x1) == 0)
+                                                            {
+                                                              if (((word >> 20) & 0x1) == 0)
+                                                                {
+                                                                  /* 33222222222211111111110000000000
+                                                                     10987654321098765432109876543210
+                                                                     x1000001xx10xxxx110101xxxx0xxxxx
+                                                                     sqrshr.  */
+                                                                  return 2697;
+                                                                }
+                                                              else
+                                                                {
+                                                                  /* 33222222222211111111110000000000
+                                                                     10987654321098765432109876543210
+                                                                     x1000001xx11xxxx110101xxxx0xxxxx
+                                                                     sqrshru.  */
+                                                                  return 2700;
+                                                                }
+                                                            }
+                                                          else
+                                                            {
+                                                              /* 33222222222211111111110000000000
+                                                                 10987654321098765432109876543210
+                                                                 x1000001xx1xxxxx110101xxxx1xxxxx
+                                                                 uqrshr.  */
+                                                              return 2851;
+                                                            }
                                                         }
                                                     }
                                                   else
                                                     {
-                                                      if (((word >> 11) & 0x1) == 0)
+                                                      if (((word >> 12) & 0x1) == 0)
                                                         {
-                                                          /* 33222222222211111111110000000000
-                                                             10987654321098765432109876543210
-                                                             x1000001xx1xxxxx110x01xxxxxxxxx0
-                                                             sclamp.  */
-                                                          return 2627;
+                                                          if (((word >> 0) & 0x1) == 0)
+                                                            {
+                                                              /* 33222222222211111111110000000000
+                                                                 10987654321098765432109876543210
+                                                                 x1000001xx1xxxxx110011xxxxxxxxx0
+                                                                 sclamp.  */
+                                                              return 2628;
+                                                            }
+                                                          else
+                                                            {
+                                                              /* 33222222222211111111110000000000
+                                                                 10987654321098765432109876543210
+                                                                 x1000001xx1xxxxx110011xxxxxxxxx1
+                                                                 uclamp.  */
+                                                              return 2791;
+                                                            }
                                                         }
                                                       else
                                                         {
-                                                          /* 33222222222211111111110000000000
-                                                             10987654321098765432109876543210
-                                                             x1000001xx1xxxxx110x11xxxxxxxxx0
-                                                             sclamp.  */
-                                                          return 2628;
+                                                          if (((word >> 5) & 0x1) == 0)
+                                                            {
+                                                              if (((word >> 6) & 0x1) == 0)
+                                                                {
+                                                                  /* 33222222222211111111110000000000
+                                                                     10987654321098765432109876543210
+                                                                     x1000001xx1xxxxx110111xxx00xxxxx
+                                                                     sqrshrn.  */
+                                                                  return 2699;
+                                                                }
+                                                              else
+                                                                {
+                                                                  /* 33222222222211111111110000000000
+                                                                     10987654321098765432109876543210
+                                                                     x1000001xx1xxxxx110111xxx10xxxxx
+                                                                     sqrshrun.  */
+                                                                  return 2702;
+                                                                }
+                                                            }
+                                                          else
+                                                            {
+                                                              /* 33222222222211111111110000000000
+                                                                 10987654321098765432109876543210
+                                                                 x1000001xx1xxxxx110111xxxx1xxxxx
+                                                                 uqrshrn.  */
+                                                              return 2853;
+                                                            }
                                                         }
                                                     }
                                                 }
                                             }
-                                          else
-                                            {
-                                              if (((word >> 11) & 0x1) == 0)
-                                                {
-                                                  /* 33222222222211111111110000000000
-                                                     10987654321098765432109876543210
-                                                     x1000001xx1xxxxx1x0x0xxxxxxxxxx1
-                                                     uclamp.  */
-                                                  return 2784;
-                                                }
-                                              else
-                                                {
-                                                  /* 33222222222211111111110000000000
-                                                     10987654321098765432109876543210
-                                                     x1000001xx1xxxxx1x0x1xxxxxxxxxx1
-                                                     uclamp.  */
-                                                  return 2785;
-                                                }
-                                            }
                                         }
                                       else
                                         {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx101000x0xx0xxxx1
                                                                          umax.  */
-                                                                      return 2800;
+                                                                      return 2806;
                                                                     }
                                                                   else
                                                                     {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1100x0xx0xxxx1
                                                                      umax.  */
-                                                                  return 2802;
+                                                                  return 2808;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1010x0xx0xxxx1
                                                                      umax.  */
-                                                                  return 2801;
+                                                                  return 2807;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x1110x0xx0xxxx1
                                                                      umax.  */
-                                                                  return 2803;
+                                                                  return 2809;
                                                                 }
                                                             }
                                                           else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx10100x10xx1xxxx0
                                                                          srshl.  */
-                                                                      return 2697;
+                                                                      return 2703;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx10100x00xx1xxxx1
                                                                          umin.  */
-                                                                      return 2804;
+                                                                      return 2810;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx1xxxxx10100x10xx1xxxx1
                                                                          urshl.  */
-                                                                      return 2845;
+                                                                      return 2854;
                                                                     }
                                                                 }
                                                               else
                                                                          10987654321098765432109876543210
                                                                          x1000001xx10xx1011100xxxxx1xxxxx
                                                                          ucvtf.  */
-                                                                      return 2786;
+                                                                      return 2792;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          x1000001xx11xx1011100xxxxx1xxxxx
                                                                          ucvtf.  */
-                                                                      return 2787;
+                                                                      return 2793;
                                                                     }
                                                                 }
                                                             }
                                                                          10987654321098765432109876543210
                                                                          x1000001xx10xx1111100xxxxx1xxxxx
                                                                          uqcvt.  */
-                                                                      return 2842;
+                                                                      return 2848;
                                                                     }
                                                                   else
                                                                     {
                                                                              10987654321098765432109876543210
                                                                              x1000001xx11xx1111100xxxx01xxxxx
                                                                              uqcvt.  */
-                                                                          return 2843;
+                                                                          return 2849;
                                                                         }
                                                                       else
                                                                         {
                                                                              10987654321098765432109876543210
                                                                              x1000001xx11xx1111100xxxx11xxxxx
                                                                              uqcvtn.  */
-                                                                          return 2844;
+                                                                          return 2850;
                                                                         }
                                                                     }
                                                                 }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x110x10xx1xxxx0
                                                                      srshl.  */
-                                                                  return 2699;
+                                                                  return 2705;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x110x00xx1xxxx1
                                                                      umin.  */
-                                                                  return 2806;
+                                                                  return 2812;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x110x10xx1xxxx1
                                                                      urshl.  */
-                                                                  return 2847;
+                                                                  return 2856;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x101x10xx1xxxx0
                                                                      srshl.  */
-                                                                  return 2698;
+                                                                  return 2704;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x111x10xx1xxxx0
                                                                      srshl.  */
-                                                                  return 2700;
+                                                                  return 2706;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x101x00xx1xxxx1
                                                                      umin.  */
-                                                                  return 2805;
+                                                                  return 2811;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x111x00xx1xxxx1
                                                                      umin.  */
-                                                                  return 2807;
+                                                                  return 2813;
                                                                 }
                                                             }
                                                           else
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x101x10xx1xxxx1
                                                                      urshl.  */
-                                                                  return 2846;
+                                                                  return 2855;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      x1000001xx1xxxxx1x111x10xx1xxxx1
                                                                      urshl.  */
-                                                                  return 2848;
+                                                                  return 2857;
                                                                 }
                                                             }
                                                         }
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx000xxxxxxxxx0xxx
                                                              st1b.  */
-                                                          return 2707;
+                                                          return 2713;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx010xxxxxxxxx0xxx
                                                              st1w.  */
-                                                          return 2731;
+                                                          return 2737;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx001xxxxxxxxx0xxx
                                                              st1h.  */
-                                                          return 2723;
+                                                          return 2729;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx011xxxxxxxxx0xxx
                                                              st1d.  */
-                                                          return 2715;
+                                                          return 2721;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx000xxxxxxxxx1xxx
                                                              stnt1b.  */
-                                                          return 2739;
+                                                          return 2745;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx010xxxxxxxxx1xxx
                                                              stnt1w.  */
-                                                          return 2763;
+                                                          return 2769;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx001xxxxxxxxx1xxx
                                                              stnt1h.  */
-                                                          return 2755;
+                                                          return 2761;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx011xxxxxxxxx1xxx
                                                              stnt1d.  */
-                                                          return 2747;
+                                                          return 2753;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              x0100001001xxxxx100xxxxxxxxx0xxx
                                                              st1b.  */
-                                                          return 2708;
+                                                          return 2714;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x1100001001xxxxx100xxxxxxxxx0xxx
                                                              str.  */
-                                                          return 2765;
+                                                          return 2771;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx110xxxxxxxxx0xxx
                                                          st1w.  */
-                                                      return 2732;
+                                                      return 2738;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx101xxxxxxxxx0xxx
                                                          st1h.  */
-                                                      return 2724;
+                                                      return 2730;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx111xxxxxxxxx0xxx
                                                          st1d.  */
-                                                      return 2716;
+                                                      return 2722;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx100xxxxxxxxx1xxx
                                                          stnt1b.  */
-                                                      return 2740;
+                                                      return 2746;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx110xxxxxxxxx1xxx
                                                          stnt1w.  */
-                                                      return 2764;
+                                                      return 2770;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx101xxxxxxxxx1xxx
                                                          stnt1h.  */
-                                                      return 2756;
+                                                      return 2762;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001001xxxxx111xxxxxxxxx1xxx
                                                          stnt1d.  */
-                                                      return 2748;
+                                                      return 2754;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx000xxxxxxxxx0xxx
                                                          st1b.  */
-                                                      return 2703;
+                                                      return 2709;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx100xxxxxxxxx0xxx
                                                          st1b.  */
-                                                      return 2704;
+                                                      return 2710;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx010xxxxxxxxx0xxx
                                                          st1w.  */
-                                                      return 2727;
+                                                      return 2733;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx110xxxxxxxxx0xxx
                                                          st1w.  */
-                                                      return 2728;
+                                                      return 2734;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx001xxxxxxxxx0xxx
                                                          st1h.  */
-                                                      return 2719;
+                                                      return 2725;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx101xxxxxxxxx0xxx
                                                          st1h.  */
-                                                      return 2720;
+                                                      return 2726;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx011xxxxxxxxx0xxx
                                                          st1d.  */
-                                                      return 2711;
+                                                      return 2717;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx111xxxxxxxxx0xxx
                                                          st1d.  */
-                                                      return 2712;
+                                                      return 2718;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx000xxxxxxxxx1xxx
                                                          stnt1b.  */
-                                                      return 2735;
+                                                      return 2741;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx100xxxxxxxxx1xxx
                                                          stnt1b.  */
-                                                      return 2736;
+                                                      return 2742;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx010xxxxxxxxx1xxx
                                                          stnt1w.  */
-                                                      return 2759;
+                                                      return 2765;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx110xxxxxxxxx1xxx
                                                          stnt1w.  */
-                                                      return 2760;
+                                                      return 2766;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx001xxxxxxxxx1xxx
                                                          stnt1h.  */
-                                                      return 2751;
+                                                      return 2757;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx101xxxxxxxxx1xxx
                                                          stnt1h.  */
-                                                      return 2752;
+                                                      return 2758;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx011xxxxxxxxx1xxx
                                                          stnt1d.  */
-                                                      return 2743;
+                                                      return 2749;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx100001011xxxxx111xxxxxxxxx1xxx
                                                          stnt1d.  */
-                                                      return 2744;
+                                                      return 2750;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          00011001000xxxxxxxxx00xxxxxxxxxx
                                                          stlurb.  */
-                                                      return 2937;
+                                                      return 2946;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          10011001000xxxxxxxxx00xxxxxxxxxx
                                                          stlur.  */
-                                                      return 2945;
+                                                      return 2954;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          01011001000xxxxxxxxx00xxxxxxxxxx
                                                          stlurh.  */
-                                                      return 2941;
+                                                      return 2950;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          11011001000xxxxxxxxx00xxxxxxxxxx
                                                          stlur.  */
-                                                      return 2948;
+                                                      return 2957;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0000x1xxxxxxxxxx
                                                              cpyfp.  */
-                                                          return 2997;
+                                                          return 3006;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1000x1xxxxxxxxxx
                                                              cpyfprn.  */
-                                                          return 3003;
+                                                          return 3012;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0100x1xxxxxxxxxx
                                                              cpyfpwn.  */
-                                                          return 3000;
+                                                          return 3009;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1100x1xxxxxxxxxx
                                                              cpyfpn.  */
-                                                          return 3006;
+                                                          return 3015;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0010x1xxxxxxxxxx
                                                              cpyfprt.  */
-                                                          return 3021;
+                                                          return 3030;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1010x1xxxxxxxxxx
                                                              cpyfprtrn.  */
-                                                          return 3027;
+                                                          return 3036;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0110x1xxxxxxxxxx
                                                              cpyfprtwn.  */
-                                                          return 3024;
+                                                          return 3033;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1110x1xxxxxxxxxx
                                                              cpyfprtn.  */
-                                                          return 3030;
+                                                          return 3039;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0001x1xxxxxxxxxx
                                                              cpyfpwt.  */
-                                                          return 3009;
+                                                          return 3018;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1001x1xxxxxxxxxx
                                                              cpyfpwtrn.  */
-                                                          return 3015;
+                                                          return 3024;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0101x1xxxxxxxxxx
                                                              cpyfpwtwn.  */
-                                                          return 3012;
+                                                          return 3021;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1101x1xxxxxxxxxx
                                                              cpyfpwtn.  */
-                                                          return 3018;
+                                                          return 3027;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0011x1xxxxxxxxxx
                                                              cpyfpt.  */
-                                                          return 3033;
+                                                          return 3042;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1011x1xxxxxxxxxx
                                                              cpyfptrn.  */
-                                                          return 3039;
+                                                          return 3048;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx0111x1xxxxxxxxxx
                                                              cpyfptwn.  */
-                                                          return 3036;
+                                                          return 3045;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001000xxxxx1111x1xxxxxxxxxx
                                                              cpyfptn.  */
-                                                          return 3042;
+                                                          return 3051;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          00011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapurb.  */
-                                                      return 2938;
+                                                      return 2947;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          10011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapur.  */
-                                                      return 2946;
+                                                      return 2955;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          01011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapurh.  */
-                                                      return 2942;
+                                                      return 2951;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          11011001010xxxxxxxxx00xxxxxxxxxx
                                                          ldapur.  */
-                                                      return 2949;
+                                                      return 2958;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0000x1xxxxxxxxxx
                                                              cpyfm.  */
-                                                          return 2998;
+                                                          return 3007;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1000x1xxxxxxxxxx
                                                              cpyfmrn.  */
-                                                          return 3004;
+                                                          return 3013;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0100x1xxxxxxxxxx
                                                              cpyfmwn.  */
-                                                          return 3001;
+                                                          return 3010;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1100x1xxxxxxxxxx
                                                              cpyfmn.  */
-                                                          return 3007;
+                                                          return 3016;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0010x1xxxxxxxxxx
                                                              cpyfmrt.  */
-                                                          return 3022;
+                                                          return 3031;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1010x1xxxxxxxxxx
                                                              cpyfmrtrn.  */
-                                                          return 3028;
+                                                          return 3037;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0110x1xxxxxxxxxx
                                                              cpyfmrtwn.  */
-                                                          return 3025;
+                                                          return 3034;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1110x1xxxxxxxxxx
                                                              cpyfmrtn.  */
-                                                          return 3031;
+                                                          return 3040;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0001x1xxxxxxxxxx
                                                              cpyfmwt.  */
-                                                          return 3010;
+                                                          return 3019;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1001x1xxxxxxxxxx
                                                              cpyfmwtrn.  */
-                                                          return 3016;
+                                                          return 3025;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0101x1xxxxxxxxxx
                                                              cpyfmwtwn.  */
-                                                          return 3013;
+                                                          return 3022;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1101x1xxxxxxxxxx
                                                              cpyfmwtn.  */
-                                                          return 3019;
+                                                          return 3028;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0011x1xxxxxxxxxx
                                                              cpyfmt.  */
-                                                          return 3034;
+                                                          return 3043;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1011x1xxxxxxxxxx
                                                              cpyfmtrn.  */
-                                                          return 3040;
+                                                          return 3049;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx0111x1xxxxxxxxxx
                                                              cpyfmtwn.  */
-                                                          return 3037;
+                                                          return 3046;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001010xxxxx1111x1xxxxxxxxxx
                                                              cpyfmtn.  */
-                                                          return 3043;
+                                                          return 3052;
                                                         }
                                                     }
                                                 }
                                                          10987654321098765432109876543210
                                                          00011001100xxxxxxxxx00xxxxxxxxxx
                                                          ldapursb.  */
-                                                      return 2940;
+                                                      return 2949;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          10011001100xxxxxxxxx00xxxxxxxxxx
                                                          ldapursw.  */
-                                                      return 2947;
+                                                      return 2956;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      x1011001100xxxxxxxxx00xxxxxxxxxx
                                                      ldapursh.  */
-                                                  return 2944;
+                                                  return 2953;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x0011001110xxxxxxxxx00xxxxxxxxxx
                                                      ldapursb.  */
-                                                  return 2939;
+                                                  return 2948;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1011001110xxxxxxxxx00xxxxxxxxxx
                                                      ldapursh.  */
-                                                  return 2943;
+                                                  return 2952;
                                                 }
                                             }
                                         }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0000x1xxxxxxxxxx
                                                              cpyfe.  */
-                                                          return 2999;
+                                                          return 3008;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0000x1xxxxxxxxxx
                                                              setp.  */
-                                                          return 3093;
+                                                          return 3102;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx1000x1xxxxxxxxxx
                                                              cpyfern.  */
-                                                          return 3005;
+                                                          return 3014;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx1000x1xxxxxxxxxx
                                                              sete.  */
-                                                          return 3095;
+                                                          return 3104;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0100x1xxxxxxxxxx
                                                              cpyfewn.  */
-                                                          return 3002;
+                                                          return 3011;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0100x1xxxxxxxxxx
                                                              setm.  */
-                                                          return 3094;
+                                                          return 3103;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx0110011x0xxxxx1100x1xxxxxxxxxx
                                                          cpyfen.  */
-                                                      return 3008;
+                                                      return 3017;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0010x1xxxxxxxxxx
                                                              cpyfert.  */
-                                                          return 3023;
+                                                          return 3032;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0010x1xxxxxxxxxx
                                                              setpn.  */
-                                                          return 3099;
+                                                          return 3108;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx1010x1xxxxxxxxxx
                                                              cpyfertrn.  */
-                                                          return 3029;
+                                                          return 3038;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx1010x1xxxxxxxxxx
                                                              seten.  */
-                                                          return 3101;
+                                                          return 3110;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0110x1xxxxxxxxxx
                                                              cpyfertwn.  */
-                                                          return 3026;
+                                                          return 3035;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0110x1xxxxxxxxxx
                                                              setmn.  */
-                                                          return 3100;
+                                                          return 3109;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx0110011x0xxxxx1110x1xxxxxxxxxx
                                                          cpyfertn.  */
-                                                      return 3032;
+                                                      return 3041;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0001x1xxxxxxxxxx
                                                              cpyfewt.  */
-                                                          return 3011;
+                                                          return 3020;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0001x1xxxxxxxxxx
                                                              setpt.  */
-                                                          return 3096;
+                                                          return 3105;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx1001x1xxxxxxxxxx
                                                              cpyfewtrn.  */
-                                                          return 3017;
+                                                          return 3026;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx1001x1xxxxxxxxxx
                                                              setet.  */
-                                                          return 3098;
+                                                          return 3107;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0101x1xxxxxxxxxx
                                                              cpyfewtwn.  */
-                                                          return 3014;
+                                                          return 3023;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0101x1xxxxxxxxxx
                                                              setmt.  */
-                                                          return 3097;
+                                                          return 3106;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx0110011x0xxxxx1101x1xxxxxxxxxx
                                                          cpyfewtn.  */
-                                                      return 3020;
+                                                      return 3029;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0011x1xxxxxxxxxx
                                                              cpyfet.  */
-                                                          return 3035;
+                                                          return 3044;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0011x1xxxxxxxxxx
                                                              setptn.  */
-                                                          return 3102;
+                                                          return 3111;
                                                         }
                                                     }
                                                   else
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx1011x1xxxxxxxxxx
                                                              cpyfetrn.  */
-                                                          return 3041;
+                                                          return 3050;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx1011x1xxxxxxxxxx
                                                              setetn.  */
-                                                          return 3104;
+                                                          return 3113;
                                                         }
                                                     }
                                                 }
                                                              10987654321098765432109876543210
                                                              xx011001100xxxxx0111x1xxxxxxxxxx
                                                              cpyfetwn.  */
-                                                          return 3038;
+                                                          return 3047;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              xx011001110xxxxx0111x1xxxxxxxxxx
                                                              setmtn.  */
-                                                          return 3103;
+                                                          return 3112;
                                                         }
                                                     }
                                                   else
                                                          10987654321098765432109876543210
                                                          xx0110011x0xxxxx1111x1xxxxxxxxxx
                                                          cpyfetn.  */
-                                                      return 3044;
+                                                      return 3053;
                                                     }
                                                 }
                                             }
                                                                  10987654321098765432109876543210
                                                                  x1x11010110xxxx0x01000xxxxxxxxxx
                                                                  abs.  */
-                                                              return 3122;
+                                                              return 3131;
                                                             }
                                                           else
                                                             {
                                                          10987654321098765432109876543210
                                                          xxx11010110xxxxxx11000xxxxxxxxxx
                                                          smax.  */
-                                                      return 3125;
+                                                      return 3134;
                                                     }
                                                 }
                                             }
                                              10987654321098765432109876543210
                                              xxx11010x00xxxxxx0xx10xxxxxxxxxx
                                              setf8.  */
-                                          return 2935;
+                                          return 2944;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              xxx11010x00xxxxxx1xx10xxxxxxxxxx
                                              setf16.  */
-                                          return 2936;
+                                          return 2945;
                                         }
                                     }
                                   else
                                                          10987654321098765432109876543210
                                                          xxx11010110xxxxxx11010xxxxxxxxxx
                                                          smin.  */
-                                                      return 3127;
+                                                      return 3136;
                                                     }
                                                 }
                                             }
                                                              10987654321098765432109876543210
                                                              xxx11010110xxxx0x00110xxxxxxxxxx
                                                              ctz.  */
-                                                          return 3124;
+                                                          return 3133;
                                                         }
                                                       else
                                                         {
                                              10987654321098765432109876543210
                                              xxx11010000xxxxxxxxx01xxxxxxxxxx
                                              rmif.  */
-                                          return 2934;
+                                          return 2943;
                                         }
                                       else
                                         {
                                                      10987654321098765432109876543210
                                                      xxx11010x10xxxxxx11001xxxxxxxxxx
                                                      umax.  */
-                                                  return 3126;
+                                                  return 3135;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  xxx11010xx0xxxxxx11011xxxxxxxxxx
                                                  umin.  */
-                                              return 3128;
+                                              return 3137;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      xxx11010xx0xxxx0x00111xxxxxxxxxx
                                                      cnt.  */
-                                                  return 3123;
+                                                  return 3132;
                                                 }
                                               else
                                                 {
                                                                  10987654321098765432109876543210
                                                                  010001x01x1xxxxx000110xxxxxxxxxx
                                                                  usdot.  */
-                                                              return 2954;
+                                                              return 2963;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  010001x01x1xxxxx000111xxxxxxxxxx
                                                                  sudot.  */
-                                                              return 2955;
+                                                              return 2964;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              010001x0xx0xxxxx011110xxxxxxxxxx
                                                              usdot.  */
-                                                          return 2953;
+                                                          return 2962;
                                                         }
                                                     }
                                                 }
                                                                  10987654321098765432109876543210
                                                                  011001x0100xxx10101xxxxxxxxxxxxx
                                                                  bfcvtnt.  */
-                                                              return 2982;
+                                                              return 2991;
                                                             }
                                                         }
                                                       else
                                                  10987654321098765432109876543210
                                                  101001x00x1xxxxxx00xxxxxxxxxxxxx
                                                  ld1rob.  */
-                                              return 2958;
+                                              return 2967;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  101001x01x1xxxxxx00xxxxxxxxxxxxx
                                                  ld1roh.  */
-                                              return 2959;
+                                              return 2968;
                                             }
                                         }
                                       else
                                                          10987654321098765432109876543210
                                                          011001x0011xxxxx010xxxxxxxxxxxxx
                                                          bfdot.  */
-                                                      return 2979;
+                                                      return 2988;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              011001x0111xxxxx010xx0xxxxxxxxxx
                                                              bfmlalb.  */
-                                                          return 2986;
+                                                          return 2995;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              011001x0111xxxxx010xx1xxxxxxxxxx
                                                              bfmlalt.  */
-                                                          return 2985;
+                                                          return 2994;
                                                         }
                                                     }
                                                   else
                                                  10987654321098765432109876543210
                                                  x11001x0011xxxxx1x0xxxxxxxxxxxxx
                                                  bfdot.  */
-                                              return 2978;
+                                              return 2987;
                                             }
                                           else
                                             {
                                                          10987654321098765432109876543210
                                                          011001x0111xxxxx1x0xx0xxxxxxxxxx
                                                          bfmlalb.  */
-                                                      return 2984;
+                                                      return 2993;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          011001x0111xxxxx1x0xx1xxxxxxxxxx
                                                          bfmlalt.  */
-                                                      return 2983;
+                                                      return 2992;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      101001x00x1xxxxx001xxxxxxxxxxxxx
                                                      ld1rob.  */
-                                                  return 2962;
+                                                  return 2971;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x01x1xxxxx001xxxxxxxxxxxxx
                                                      ld1roh.  */
-                                                  return 2963;
+                                                  return 2972;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          011001x0101xxxxx111xxxxxxxxxxxxx
                                                          fmmla.  */
-                                                      return 2956;
+                                                      return 2965;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          011001x0011xxxxx111xxxxxxxxxxxxx
                                                          bfmmla.  */
-                                                      return 2980;
+                                                      return 2989;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          011001x0111xxxxx111xxxxxxxxxxxxx
                                                          fmmla.  */
-                                                      return 2957;
+                                                      return 2966;
                                                     }
                                                   else
                                                     {
                                                                  10987654321098765432109876543210
                                                                  000001x1101xxxxx000x00xxxxxxxxxx
                                                                  zip1.  */
-                                                              return 2966;
+                                                              return 2975;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x1101xxxxx000010xxxxxxxxxx
                                                                      uzp1.  */
-                                                                  return 2968;
+                                                                  return 2977;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x1101xxxxx000110xxxxxxxxxx
                                                                      trn1.  */
-                                                                  return 2970;
+                                                                  return 2979;
                                                                 }
                                                             }
                                                         }
                                                                  10987654321098765432109876543210
                                                                  000001x1101xxxxx000x01xxxxxxxxxx
                                                                  zip2.  */
-                                                              return 2967;
+                                                              return 2976;
                                                             }
                                                           else
                                                             {
                                                                      10987654321098765432109876543210
                                                                      000001x1101xxxxx000011xxxxxxxxxx
                                                                      uzp2.  */
-                                                                  return 2969;
+                                                                  return 2978;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      000001x1101xxxxx000111xxxxxxxxxx
                                                                      trn2.  */
-                                                                  return 2971;
+                                                                  return 2980;
                                                                 }
                                                             }
                                                         }
                                                                      10987654321098765432109876543210
                                                                      010001x1000xxxxx100110xxxxxxxxxx
                                                                      smmla.  */
-                                                                  return 2950;
+                                                                  return 2959;
                                                                 }
                                                               else
                                                                 {
                                                                      10987654321098765432109876543210
                                                                      010001x1100xxxxx100110xxxxxxxxxx
                                                                      usmmla.  */
-                                                                  return 2952;
+                                                                  return 2961;
                                                                 }
                                                             }
                                                           else
                                                                  10987654321098765432109876543210
                                                                  010001x1x10xxxxx100110xxxxxxxxxx
                                                                  ummla.  */
-                                                              return 2951;
+                                                              return 2960;
                                                             }
                                                         }
                                                     }
                                                      10987654321098765432109876543210
                                                      101001x10x1xxxxx000xxxxxxxxxxxxx
                                                      ld1row.  */
-                                                  return 2960;
+                                                  return 2969;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x11x1xxxxx000xxxxxxxxxxxxx
                                                      ld1rod.  */
-                                                  return 2961;
+                                                  return 2970;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      101001x10x1xxxxx001xxxxxxxxxxxxx
                                                      ld1row.  */
-                                                  return 2964;
+                                                  return 2973;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      101001x11x1xxxxx001xxxxxxxxxxxxx
                                                      ld1rod.  */
-                                                  return 2965;
+                                                  return 2974;
                                                 }
                                             }
                                         }
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x000xxxxx10xxx
                                                                  whilege.  */
-                                                              return 2866;
+                                                              return 2875;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x000xxxxx11xxx
                                                                  whilegt.  */
-                                                              return 2867;
+                                                              return 2876;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x010xxxxx10xxx
                                                                  whilehs.  */
-                                                              return 2869;
+                                                              return 2878;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x010xxxxx11xxx
                                                                  whilehi.  */
-                                                              return 2868;
+                                                              return 2877;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x001xxxxx10xxx
                                                                  whilelt.  */
-                                                              return 2873;
+                                                              return 2882;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x001xxxxx11xxx
                                                                  whilele.  */
-                                                              return 2870;
+                                                              return 2879;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x011xxxxx10xxx
                                                                  whilelo.  */
-                                                              return 2871;
+                                                              return 2880;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  001001x1xx1xxxxx01x011xxxxx11xxx
                                                                  whilels.  */
-                                                              return 2872;
+                                                              return 2881;
                                                             }
                                                         }
                                                       else
                                                                          10987654321098765432109876543210
                                                                          011001x110001x10101xxxxxxxxxxxxx
                                                                          bfcvt.  */
-                                                                      return 2981;
+                                                                      return 2990;
                                                                     }
                                                                 }
                                                               else
                                      10987654321098765432109876543210
                                      x1010100xxxxxxxxxxxxxxxxxxx1xxxx
                                      bc.c.  */
-                                  return 3117;
+                                  return 3126;
                                 }
                               else
                                 {
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0000xxxxxxxxxxxx
                                                      cpyp.  */
-                                                  return 3045;
+                                                  return 3054;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0000xxxxxxxxxxxx
                                                      cpye.  */
-                                                  return 3047;
+                                                  return 3056;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1000xxxxxxxxxxxx
                                                      cpyprn.  */
-                                                  return 3051;
+                                                  return 3060;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1000xxxxxxxxxxxx
                                                      cpyern.  */
-                                                  return 3053;
+                                                  return 3062;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0100xxxxxxxxxxxx
                                                      cpypwn.  */
-                                                  return 3048;
+                                                  return 3057;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0100xxxxxxxxxxxx
                                                      cpyewn.  */
-                                                  return 3050;
+                                                  return 3059;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1100xxxxxxxxxxxx
                                                      cpypn.  */
-                                                  return 3054;
+                                                  return 3063;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1100xxxxxxxxxxxx
                                                      cpyen.  */
-                                                  return 3056;
+                                                  return 3065;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0010xxxxxxxxxxxx
                                                      cpyprt.  */
-                                                  return 3069;
+                                                  return 3078;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0010xxxxxxxxxxxx
                                                      cpyert.  */
-                                                  return 3071;
+                                                  return 3080;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1010xxxxxxxxxxxx
                                                      cpyprtrn.  */
-                                                  return 3075;
+                                                  return 3084;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1010xxxxxxxxxxxx
                                                      cpyertrn.  */
-                                                  return 3077;
+                                                  return 3086;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0110xxxxxxxxxxxx
                                                      cpyprtwn.  */
-                                                  return 3072;
+                                                  return 3081;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0110xxxxxxxxxxxx
                                                      cpyertwn.  */
-                                                  return 3074;
+                                                  return 3083;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1110xxxxxxxxxxxx
                                                      cpyprtn.  */
-                                                  return 3078;
+                                                  return 3087;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1110xxxxxxxxxxxx
                                                      cpyertn.  */
-                                                  return 3080;
+                                                  return 3089;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0001xxxxxxxxxxxx
                                                      cpypwt.  */
-                                                  return 3057;
+                                                  return 3066;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0001xxxxxxxxxxxx
                                                      cpyewt.  */
-                                                  return 3059;
+                                                  return 3068;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1001xxxxxxxxxxxx
                                                      cpypwtrn.  */
-                                                  return 3063;
+                                                  return 3072;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1001xxxxxxxxxxxx
                                                      cpyewtrn.  */
-                                                  return 3065;
+                                                  return 3074;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0101xxxxxxxxxxxx
                                                      cpypwtwn.  */
-                                                  return 3060;
+                                                  return 3069;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0101xxxxxxxxxxxx
                                                      cpyewtwn.  */
-                                                  return 3062;
+                                                  return 3071;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1101xxxxxxxxxxxx
                                                      cpypwtn.  */
-                                                  return 3066;
+                                                  return 3075;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1101xxxxxxxxxxxx
                                                      cpyewtn.  */
-                                                  return 3068;
+                                                  return 3077;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0011xxxxxxxxxxxx
                                                      cpypt.  */
-                                                  return 3081;
+                                                  return 3090;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0011xxxxxxxxxxxx
                                                      cpyet.  */
-                                                  return 3083;
+                                                  return 3092;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1011xxxxxxxxxxxx
                                                      cpyptrn.  */
-                                                  return 3087;
+                                                  return 3096;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1011xxxxxxxxxxxx
                                                      cpyetrn.  */
-                                                  return 3089;
+                                                  return 3098;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx0111xxxxxxxxxxxx
                                                      cpyptwn.  */
-                                                  return 3084;
+                                                  return 3093;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx0111xxxxxxxxxxxx
                                                      cpyetwn.  */
-                                                  return 3086;
+                                                  return 3095;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110100xxxxxx1111xxxxxxxxxxxx
                                                      cpyptn.  */
-                                                  return 3090;
+                                                  return 3099;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110110xxxxxx1111xxxxxxxxxxxx
                                                      cpyetn.  */
-                                                  return 3092;
+                                                  return 3101;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0000xxxxxxxxxxxx
                                                      cpym.  */
-                                                  return 3046;
+                                                  return 3055;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0000xxxxxxxxxxxx
                                                      setgp.  */
-                                                  return 3105;
+                                                  return 3114;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx1000xxxxxxxxxxxx
                                                      cpymrn.  */
-                                                  return 3052;
+                                                  return 3061;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx1000xxxxxxxxxxxx
                                                      setge.  */
-                                                  return 3107;
+                                                  return 3116;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0100xxxxxxxxxxxx
                                                      cpymwn.  */
-                                                  return 3049;
+                                                  return 3058;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0100xxxxxxxxxxxx
                                                      setgm.  */
-                                                  return 3106;
+                                                  return 3115;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx011101x1xxxxxx1100xxxxxxxxxxxx
                                                  cpymn.  */
-                                              return 3055;
+                                              return 3064;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0010xxxxxxxxxxxx
                                                      cpymrt.  */
-                                                  return 3070;
+                                                  return 3079;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0010xxxxxxxxxxxx
                                                      setgpn.  */
-                                                  return 3111;
+                                                  return 3120;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx1010xxxxxxxxxxxx
                                                      cpymrtrn.  */
-                                                  return 3076;
+                                                  return 3085;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx1010xxxxxxxxxxxx
                                                      setgen.  */
-                                                  return 3113;
+                                                  return 3122;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0110xxxxxxxxxxxx
                                                      cpymrtwn.  */
-                                                  return 3073;
+                                                  return 3082;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0110xxxxxxxxxxxx
                                                      setgmn.  */
-                                                  return 3112;
+                                                  return 3121;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx011101x1xxxxxx1110xxxxxxxxxxxx
                                                  cpymrtn.  */
-                                              return 3079;
+                                              return 3088;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0001xxxxxxxxxxxx
                                                      cpymwt.  */
-                                                  return 3058;
+                                                  return 3067;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0001xxxxxxxxxxxx
                                                      setgpt.  */
-                                                  return 3108;
+                                                  return 3117;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx1001xxxxxxxxxxxx
                                                      cpymwtrn.  */
-                                                  return 3064;
+                                                  return 3073;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx1001xxxxxxxxxxxx
                                                      setget.  */
-                                                  return 3110;
+                                                  return 3119;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0101xxxxxxxxxxxx
                                                      cpymwtwn.  */
-                                                  return 3061;
+                                                  return 3070;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0101xxxxxxxxxxxx
                                                      setgmt.  */
-                                                  return 3109;
+                                                  return 3118;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx011101x1xxxxxx1101xxxxxxxxxxxx
                                                  cpymwtn.  */
-                                              return 3067;
+                                              return 3076;
                                             }
                                         }
                                     }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0011xxxxxxxxxxxx
                                                      cpymt.  */
-                                                  return 3082;
+                                                  return 3091;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0011xxxxxxxxxxxx
                                                      setgptn.  */
-                                                  return 3114;
+                                                  return 3123;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx1011xxxxxxxxxxxx
                                                      cpymtrn.  */
-                                                  return 3088;
+                                                  return 3097;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx1011xxxxxxxxxxxx
                                                      setgetn.  */
-                                                  return 3116;
+                                                  return 3125;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      xx01110101xxxxxx0111xxxxxxxxxxxx
                                                      cpymtwn.  */
-                                                  return 3085;
+                                                  return 3094;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx01110111xxxxxx0111xxxxxxxxxxxx
                                                      setgmtn.  */
-                                                  return 3115;
+                                                  return 3124;
                                                 }
                                             }
                                           else
                                                  10987654321098765432109876543210
                                                  xx011101x1xxxxxx1111xxxxxxxxxxxx
                                                  cpymtn.  */
-                                              return 3091;
+                                              return 3100;
                                             }
                                         }
                                     }
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x1001xxxxxxxxxx
                                                          smmla.  */
-                                                      return 2972;
+                                                      return 2981;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x0101xxxxxxxxxx
                                                          sdot.  */
-                                                      return 2898;
+                                                      return 2907;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x1011xxxxxxxxxx
                                                          usmmla.  */
-                                                      return 2974;
+                                                      return 2983;
                                                     }
                                                 }
                                             }
                                                          10987654321098765432109876543210
                                                          0x001110xx0xxxxx1x0111xxxxxxxxxx
                                                          usdot.  */
-                                                      return 2975;
+                                                      return 2984;
                                                     }
                                                 }
                                               else
                                              10987654321098765432109876543210
                                              1x001110000xxxxxxxxxxxxxxxxxxxxx
                                              eor3.  */
-                                          return 2905;
+                                          return 2914;
                                         }
                                       else
                                         {
                                              10987654321098765432109876543210
                                              1x001110100xxxxxxxxxxxxxxxxxxxxx
                                              xar.  */
-                                          return 2907;
+                                          return 2916;
                                         }
                                     }
                                   else
                                              10987654321098765432109876543210
                                              1x001110x10xxxxx0xxxxxxxxxxxxxxx
                                              sm3ss1.  */
-                                          return 2909;
+                                          return 2918;
                                         }
                                       else
                                         {
                                                          10987654321098765432109876543210
                                                          1x001110010xxxxx1xxx00xxxxxxxxxx
                                                          sm3tt1a.  */
-                                                      return 2910;
+                                                      return 2919;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          1x001110110xxxxx1xxx00xxxxxxxxxx
                                                          sha512su0.  */
-                                                      return 2903;
+                                                      return 2912;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      1x001110x10xxxxx1xxx10xxxxxxxxxx
                                                      sm3tt2a.  */
-                                                  return 2912;
+                                                  return 2921;
                                                 }
                                             }
                                           else
                                                          10987654321098765432109876543210
                                                          1x001110010xxxxx1xxx01xxxxxxxxxx
                                                          sm3tt1b.  */
-                                                      return 2911;
+                                                      return 2920;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          1x001110110xxxxx1xxx01xxxxxxxxxx
                                                          sm4e.  */
-                                                      return 2916;
+                                                      return 2925;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      1x001110x10xxxxx1xxx11xxxxxxxxxx
                                                      sm3tt2b.  */
-                                                  return 2913;
+                                                  return 2922;
                                                 }
                                             }
                                         }
                                                          10987654321098765432109876543210
                                                          xx101110xx0xxxxx100101xxxxxxxxxx
                                                          udot.  */
-                                                      return 2897;
+                                                      return 2906;
                                                     }
                                                 }
                                               else
                                                      10987654321098765432109876543210
                                                      xx101110xx0xxxxx101x01xxxxxxxxxx
                                                      ummla.  */
-                                                  return 2973;
+                                                  return 2982;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      xx101110xx0xxxxx1x1011xxxxxxxxxx
                                                      bfmmla.  */
-                                                  return 2989;
+                                                  return 2998;
                                                 }
                                               else
                                                 {
                                                          10987654321098765432109876543210
                                                          xx1011100x0xxxxx1x1111xxxxxxxxxx
                                                          bfdot.  */
-                                                      return 2987;
+                                                      return 2996;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              x01011101x0xxxxx1x1111xxxxxxxxxx
                                                              bfmlalb.  */
-                                                          return 2994;
+                                                          return 3003;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x11011101x0xxxxx1x1111xxxxxxxxxx
                                                              bfmlalt.  */
-                                                          return 2993;
+                                                          return 3002;
                                                         }
                                                     }
                                                 }
                                                                          10987654321098765432109876543210
                                                                          000011101x1xxxx1011010xxxxxxxxxx
                                                                          bfcvtn.  */
-                                                                      return 2990;
+                                                                      return 2999;
                                                                     }
                                                                   else
                                                                     {
                                                                          10987654321098765432109876543210
                                                                          010011101x1xxxx1011010xxxxxxxxxx
                                                                          bfcvtn2.  */
-                                                                      return 2991;
+                                                                      return 3000;
                                                                     }
                                                                 }
                                                             }
                                          10987654321098765432109876543210
                                          1x001110xx1xxxxx0xxxxxxxxxxxxxxx
                                          bcax.  */
-                                      return 2908;
+                                      return 2917;
                                     }
                                 }
                               else
                                                                  10987654321098765432109876543210
                                                                  11001110xx1xxxxx100000xxxxxxxxxx
                                                                  sha512h.  */
-                                                              return 2901;
+                                                              return 2910;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  11001110xx1xxxxx110000xxxxxxxxxx
                                                                  sm3partw1.  */
-                                                              return 2914;
+                                                              return 2923;
                                                             }
                                                         }
                                                     }
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100010xxxxxxxxxx
                                                              sha512su1.  */
-                                                          return 2904;
+                                                          return 2913;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  1x0011100x1xxxxx110010xxxxxxxxxx
                                                                  sm4ekey.  */
-                                                              return 2917;
+                                                              return 2926;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100001xxxxxxxxxx
                                                              sha512h2.  */
-                                                          return 2902;
+                                                          return 2911;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  1x0011100x1xxxxx110001xxxxxxxxxx
                                                                  sm3partw2.  */
-                                                              return 2915;
+                                                              return 2924;
                                                             }
                                                         }
                                                       else
                                                              10987654321098765432109876543210
                                                              1x001110xx1xxxxx100011xxxxxxxxxx
                                                              rax1.  */
-                                                          return 2906;
+                                                          return 2915;
                                                         }
                                                     }
                                                   else
                                                                  10987654321098765432109876543210
                                                                  x01011100x1xxxxx110011xxxxxxxxxx
                                                                  fmlal2.  */
-                                                              return 2920;
+                                                              return 2929;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x11011100x1xxxxx110011xxxxxxxxxx
                                                                  fmlal2.  */
-                                                              return 2924;
+                                                              return 2933;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x01011101x1xxxxx110011xxxxxxxxxx
                                                                  fmlsl2.  */
-                                                              return 2921;
+                                                              return 2930;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x11011101x1xxxxx110011xxxxxxxxxx
                                                                  fmlsl2.  */
-                                                              return 2925;
+                                                              return 2934;
                                                             }
                                                         }
                                                     }
                                                                  10987654321098765432109876543210
                                                                  x00011100x1xxxxx111011xxxxxxxxxx
                                                                  fmlal.  */
-                                                              return 2918;
+                                                              return 2927;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10011100x1xxxxx111011xxxxxxxxxx
                                                                  fmlal.  */
-                                                              return 2922;
+                                                              return 2931;
                                                             }
                                                         }
                                                       else
                                                                  10987654321098765432109876543210
                                                                  x00011101x1xxxxx111011xxxxxxxxxx
                                                                  fmlsl.  */
-                                                              return 2919;
+                                                              return 2928;
                                                             }
                                                           else
                                                             {
                                                                  10987654321098765432109876543210
                                                                  x10011101x1xxxxx111011xxxxxxxxxx
                                                                  fmlsl.  */
-                                                              return 2923;
+                                                              return 2932;
                                                             }
                                                         }
                                                       else
                                                      10987654321098765432109876543210
                                                      x0001111xxxxxxxx0000x0xxxxxxxxxx
                                                      fmlal.  */
-                                                  return 2926;
+                                                  return 2935;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1001111xxxxxxxx0000x0xxxxxxxxxx
                                                      fmlal.  */
-                                                  return 2930;
+                                                  return 2939;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x0001111xxxxxxxx0100x0xxxxxxxxxx
                                                      fmlsl.  */
-                                                  return 2927;
+                                                  return 2936;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1001111xxxxxxxx0100x0xxxxxxxxxx
                                                      fmlsl.  */
-                                                  return 2931;
+                                                  return 2940;
                                                 }
                                             }
                                           else
                                                      10987654321098765432109876543210
                                                      x0101111xxxxxxxx1000x0xxxxxxxxxx
                                                      fmlal2.  */
-                                                  return 2928;
+                                                  return 2937;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1101111xxxxxxxx1000x0xxxxxxxxxx
                                                      fmlal2.  */
-                                                  return 2932;
+                                                  return 2941;
                                                 }
                                             }
                                         }
                                                      10987654321098765432109876543210
                                                      x0101111xxxxxxxx1100x0xxxxxxxxxx
                                                      fmlsl2.  */
-                                                  return 2929;
+                                                  return 2938;
                                                 }
                                               else
                                                 {
                                                      10987654321098765432109876543210
                                                      x1101111xxxxxxxx1100x0xxxxxxxxxx
                                                      fmlsl2.  */
-                                                  return 2933;
+                                                  return 2942;
                                                 }
                                             }
                                         }
                                                  10987654321098765432109876543210
                                                  xx001111xxxxxxxx1110x0xxxxxxxxxx
                                                  sdot.  */
-                                              return 2900;
+                                              return 2909;
                                             }
                                           else
                                             {
                                                  10987654321098765432109876543210
                                                  xx101111xxxxxxxx1110x0xxxxxxxxxx
                                                  udot.  */
-                                              return 2899;
+                                              return 2908;
                                             }
                                         }
                                     }
                                                          10987654321098765432109876543210
                                                          xx00111100xxxxxx1111x0xxxxxxxxxx
                                                          sudot.  */
-                                                      return 2977;
+                                                      return 2986;
                                                     }
                                                   else
                                                     {
                                                          10987654321098765432109876543210
                                                          xx00111110xxxxxx1111x0xxxxxxxxxx
                                                          usdot.  */
-                                                      return 2976;
+                                                      return 2985;
                                                     }
                                                 }
                                               else
                                                          10987654321098765432109876543210
                                                          xx00111101xxxxxx1111x0xxxxxxxxxx
                                                          bfdot.  */
-                                                      return 2988;
+                                                      return 2997;
                                                     }
                                                   else
                                                     {
                                                              10987654321098765432109876543210
                                                              x000111111xxxxxx1111x0xxxxxxxxxx
                                                              bfmlalb.  */
-                                                          return 2996;
+                                                          return 3005;
                                                         }
                                                       else
                                                         {
                                                              10987654321098765432109876543210
                                                              x100111111xxxxxx1111x0xxxxxxxxxx
                                                              bfmlalt.  */
-                                                          return 2995;
+                                                          return 3004;
                                                         }
                                                     }
                                                 }
     case 2407: value = 2412; break;    /* st1q --> st1q.  */
     case 2412: return NULL;            /* st1q --> NULL.  */
     case 12: value = 19; break;        /* add --> addg.  */
-    case 19: value = 3118; break;      /* addg --> smax.  */
-    case 3118: value = 3119; break;    /* smax --> umax.  */
-    case 3119: value = 3120; break;    /* umax --> smin.  */
-    case 3120: value = 3121; break;    /* smin --> umin.  */
-    case 3121: return NULL;            /* umin --> NULL.  */
+    case 19: value = 3127; break;      /* addg --> smax.  */
+    case 3127: value = 3128; break;    /* smax --> umax.  */
+    case 3128: value = 3129; break;    /* umax --> smin.  */
+    case 3129: value = 3130; break;    /* smin --> umin.  */
+    case 3130: 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 824: return NULL;             /* fsqrt --> NULL.  */
     case 832: value = 833; break;      /* frintz --> frintz.  */
     case 833: return NULL;             /* frintz --> NULL.  */
-    case 825: value = 2992; break;     /* fcvt --> bfcvt.  */
-    case 2992: return NULL;            /* bfcvt --> NULL.  */
+    case 825: value = 3001; break;     /* fcvt --> bfcvt.  */
+    case 3001: 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 33:
     case 34:
     case 35:
-    case 268:
+    case 270:
       return aarch64_ext_reglane (self, info, code, inst, errors);
     case 36:
       return aarch64_ext_reglist (self, info, code, inst, errors);
     case 193:
     case 194:
     case 237:
-    case 262:
-    case 263:
+    case 264:
     case 265:
     case 267:
-    case 272:
-    case 273:
+    case 269:
+    case 274:
+    case 275:
       return aarch64_ext_imm (self, info, code, inst, errors);
     case 44:
     case 45:
     case 107:
       return aarch64_ext_prfop (self, info, code, inst, errors);
     case 108:
-    case 264:
     case 266:
+    case 268:
       return aarch64_ext_none (self, info, code, inst, errors);
     case 109:
       return aarch64_ext_hint (self, info, code, inst, errors);
     case 184:
     case 185:
     case 186:
+    case 250:
       return aarch64_ext_sve_shrimm (self, info, code, inst, errors);
     case 204:
     case 205:
       return aarch64_ext_sme_za_hv_tiles_range (self, info, code, inst, errors);
     case 235:
     case 236:
-    case 249:
-    case 250:
     case 251:
     case 252:
     case 253:
     case 259:
     case 260:
     case 261:
+    case 262:
+    case 263:
       return aarch64_ext_simple_index (self, info, code, inst, errors);
     case 239:
     case 240:
       return aarch64_ext_sme_sm_za (self, info, code, inst, errors);
     case 248:
       return aarch64_ext_sme_pred_reg_with_index (self, info, code, inst, errors);
-    case 269:
-    case 270:
+    case 249:
+      return aarch64_ext_plain_shrimm (self, info, code, inst, errors);
     case 271:
+    case 272:
+    case 273:
       return aarch64_ext_x0_to_x30 (self, info, code, inst, errors);
     default: assert (0); abort ();
     }