Home | History | Annotate | Download | only in a64 
      1 // Copyright 2015, ARM Limited
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_URSRA_4H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_URSRA_4H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_ursra_4H_2OPIMM[] = {
     38   0x7fc1, 0x7fc1, 0x7fc2, 0x7ff8,
     39   0xbfa1, 0xbfa2, 0xbfa3, 0xbff4,
     40   0xdf91, 0xdf92, 0xdf93, 0xdff2,
     41   0xef89, 0xef8a, 0xef8b, 0xeff1,
     42   0xf785, 0xf786, 0xf787, 0xf7f1,
     43   0xfb83, 0xfb84, 0xfb85, 0xfbf1,
     44   0xfd82, 0xfd83, 0xfd84, 0xfdf1,
     45   0xfe82, 0xfe83, 0xfe84, 0xfef1,
     46   0xff02, 0xff03, 0xff04, 0xff71,
     47   0xff42, 0xff43, 0xff44, 0xffb1,
     48   0xff62, 0xff63, 0xff64, 0xffd1,
     49   0xff72, 0xff73, 0xff74, 0xffe1,
     50   0xff7a, 0xff7b, 0xff7c, 0xffe9,
     51   0xff7e, 0xff7f, 0xff80, 0xffed,
     52   0xff80, 0xff81, 0xff82, 0xffef,
     53   0xff81, 0xff82, 0xff83, 0xfff0,
     54   0x7fc1, 0x7fc2, 0x7ff8, 0x7fff,
     55   0xbfa2, 0xbfa3, 0xbff4, 0xbffe,
     56   0xdf92, 0xdf93, 0xdff2, 0xdffe,
     57   0xef8a, 0xef8b, 0xeff1, 0xeffe,
     58   0xf786, 0xf787, 0xf7f1, 0xf7fe,
     59   0xfb84, 0xfb85, 0xfbf1, 0xfbfe,
     60   0xfd83, 0xfd84, 0xfdf1, 0xfdfe,
     61   0xfe83, 0xfe84, 0xfef1, 0xfefe,
     62   0xff03, 0xff04, 0xff71, 0xff7e,
     63   0xff43, 0xff44, 0xffb1, 0xffbe,
     64   0xff63, 0xff64, 0xffd1, 0xffde,
     65   0xff73, 0xff74, 0xffe1, 0xffee,
     66   0xff7b, 0xff7c, 0xffe9, 0xfff6,
     67   0xff7f, 0xff80, 0xffed, 0xfffa,
     68   0xff81, 0xff82, 0xffef, 0xfffc,
     69   0xff82, 0xff83, 0xfff0, 0xfffd,
     70   0x7fc2, 0x7ff8, 0x7fff, 0x7fff,
     71   0xbfa3, 0xbff4, 0xbffe, 0xbfff,
     72   0xdf93, 0xdff2, 0xdffe, 0xdfff,
     73   0xef8b, 0xeff1, 0xeffe, 0xefff,
     74   0xf787, 0xf7f1, 0xf7fe, 0xf7ff,
     75   0xfb85, 0xfbf1, 0xfbfe, 0xfbff,
     76   0xfd84, 0xfdf1, 0xfdfe, 0xfdff,
     77   0xfe84, 0xfef1, 0xfefe, 0xfeff,
     78   0xff04, 0xff71, 0xff7e, 0xff7f,
     79   0xff44, 0xffb1, 0xffbe, 0xffbf,
     80   0xff64, 0xffd1, 0xffde, 0xffdf,
     81   0xff74, 0xffe1, 0xffee, 0xffef,
     82   0xff7c, 0xffe9, 0xfff6, 0xfff7,
     83   0xff80, 0xffed, 0xfffa, 0xfffb,
     84   0xff82, 0xffef, 0xfffc, 0xfffd,
     85   0xff83, 0xfff0, 0xfffd, 0xfffe,
     86   0x7ff8, 0x7fff, 0x7fff, 0x8000,
     87   0xbff4, 0xbffe, 0xbfff, 0xc000,
     88   0xdff2, 0xdffe, 0xdfff, 0xe000,
     89   0xeff1, 0xeffe, 0xefff, 0xf000,
     90   0xf7f1, 0xf7fe, 0xf7ff, 0xf800,
     91   0xfbf1, 0xfbfe, 0xfbff, 0xfc00,
     92   0xfdf1, 0xfdfe, 0xfdff, 0xfe00,
     93   0xfef1, 0xfefe, 0xfeff, 0xff00,
     94   0xff71, 0xff7e, 0xff7f, 0xff80,
     95   0xffb1, 0xffbe, 0xffbf, 0xffc0,
     96   0xffd1, 0xffde, 0xffdf, 0xffe0,
     97   0xffe1, 0xffee, 0xffef, 0xfff0,
     98   0xffe9, 0xfff6, 0xfff7, 0xfff8,
     99   0xffed, 0xfffa, 0xfffb, 0xfffc,
    100   0xffef, 0xfffc, 0xfffd, 0xfffe,
    101   0xfff0, 0xfffd, 0xfffe, 0xffff,
    102   0x7fff, 0x7fff, 0x8000, 0x0000,
    103   0xbffe, 0xbfff, 0xc000, 0x0000,
    104   0xdffe, 0xdfff, 0xe000, 0x0000,
    105   0xeffe, 0xefff, 0xf000, 0x0000,
    106   0xf7fe, 0xf7ff, 0xf800, 0x0000,
    107   0xfbfe, 0xfbff, 0xfc00, 0x0000,
    108   0xfdfe, 0xfdff, 0xfe00, 0x0000,
    109   0xfefe, 0xfeff, 0xff00, 0x0000,
    110   0xff7e, 0xff7f, 0xff80, 0x0000,
    111   0xffbe, 0xffbf, 0xffc0, 0x0000,
    112   0xffde, 0xffdf, 0xffe0, 0x0000,
    113   0xffee, 0xffef, 0xfff0, 0x0000,
    114   0xfff6, 0xfff7, 0xfff8, 0x0000,
    115   0xfffa, 0xfffb, 0xfffc, 0x0000,
    116   0xfffc, 0xfffd, 0xfffe, 0x0000,
    117   0xfffd, 0xfffe, 0xffff, 0x0000,
    118   0x7fff, 0x8000, 0x0000, 0x0001,
    119   0xbfff, 0xc000, 0x0000, 0x0001,
    120   0xdfff, 0xe000, 0x0000, 0x0001,
    121   0xefff, 0xf000, 0x0000, 0x0001,
    122   0xf7ff, 0xf800, 0x0000, 0x0001,
    123   0xfbff, 0xfc00, 0x0000, 0x0001,
    124   0xfdff, 0xfe00, 0x0000, 0x0001,
    125   0xfeff, 0xff00, 0x0000, 0x0001,
    126   0xff7f, 0xff80, 0x0000, 0x0001,
    127   0xffbf, 0xffc0, 0x0000, 0x0001,
    128   0xffdf, 0xffe0, 0x0000, 0x0001,
    129   0xffef, 0xfff0, 0x0000, 0x0001,
    130   0xfff7, 0xfff8, 0x0000, 0x0001,
    131   0xfffb, 0xfffc, 0x0000, 0x0001,
    132   0xfffd, 0xfffe, 0x0000, 0x0001,
    133   0xfffe, 0xffff, 0x0000, 0x0001,
    134   0x8000, 0x0000, 0x0001, 0x0001,
    135   0xc000, 0x0000, 0x0001, 0x0002,
    136   0xe000, 0x0000, 0x0001, 0x0002,
    137   0xf000, 0x0000, 0x0001, 0x0002,
    138   0xf800, 0x0000, 0x0001, 0x0002,
    139   0xfc00, 0x0000, 0x0001, 0x0002,
    140   0xfe00, 0x0000, 0x0001, 0x0002,
    141   0xff00, 0x0000, 0x0001, 0x0002,
    142   0xff80, 0x0000, 0x0001, 0x0002,
    143   0xffc0, 0x0000, 0x0001, 0x0002,
    144   0xffe0, 0x0000, 0x0001, 0x0002,
    145   0xfff0, 0x0000, 0x0001, 0x0002,
    146   0xfff8, 0x0000, 0x0001, 0x0002,
    147   0xfffc, 0x0000, 0x0001, 0x0002,
    148   0xfffe, 0x0000, 0x0001, 0x0002,
    149   0xffff, 0x0000, 0x0001, 0x0002,
    150   0x0000, 0x0001, 0x0001, 0x0008,
    151   0x0000, 0x0001, 0x0002, 0x000c,
    152   0x0000, 0x0001, 0x0002, 0x000e,
    153   0x0000, 0x0001, 0x0002, 0x000f,
    154   0x0000, 0x0001, 0x0002, 0x0010,
    155   0x0000, 0x0001, 0x0002, 0x0010,
    156   0x0000, 0x0001, 0x0002, 0x0010,
    157   0x0000, 0x0001, 0x0002, 0x0010,
    158   0x0000, 0x0001, 0x0002, 0x0010,
    159   0x0000, 0x0001, 0x0002, 0x0010,
    160   0x0000, 0x0001, 0x0002, 0x0010,
    161   0x0000, 0x0001, 0x0002, 0x0010,
    162   0x0000, 0x0001, 0x0002, 0x0010,
    163   0x0000, 0x0001, 0x0002, 0x0010,
    164   0x0000, 0x0001, 0x0002, 0x0010,
    165   0x0000, 0x0001, 0x0002, 0x0010,
    166   0x0001, 0x0001, 0x0008, 0x003f,
    167   0x0001, 0x0002, 0x000c, 0x005e,
    168   0x0001, 0x0002, 0x000e, 0x006e,
    169   0x0001, 0x0002, 0x000f, 0x0076,
    170   0x0001, 0x0002, 0x0010, 0x007a,
    171   0x0001, 0x0002, 0x0010, 0x007c,
    172   0x0001, 0x0002, 0x0010, 0x007d,
    173   0x0001, 0x0002, 0x0010, 0x007d,
    174   0x0001, 0x0002, 0x0010, 0x007d,
    175   0x0001, 0x0002, 0x0010, 0x007d,
    176   0x0001, 0x0002, 0x0010, 0x007d,
    177   0x0001, 0x0002, 0x0010, 0x007d,
    178   0x0001, 0x0002, 0x0010, 0x007d,
    179   0x0001, 0x0002, 0x0010, 0x007d,
    180   0x0001, 0x0002, 0x0010, 0x007d,
    181   0x0001, 0x0002, 0x0010, 0x007d,
    182   0x0001, 0x0008, 0x003f, 0x003f,
    183   0x0002, 0x000c, 0x005e, 0x005f,
    184   0x0002, 0x000e, 0x006e, 0x006f,
    185   0x0002, 0x000f, 0x0076, 0x0077,
    186   0x0002, 0x0010, 0x007a, 0x007b,
    187   0x0002, 0x0010, 0x007c, 0x007d,
    188   0x0002, 0x0010, 0x007d, 0x007e,
    189   0x0002, 0x0010, 0x007d, 0x007e,
    190   0x0002, 0x0010, 0x007d, 0x007e,
    191   0x0002, 0x0010, 0x007d, 0x007e,
    192   0x0002, 0x0010, 0x007d, 0x007e,
    193   0x0002, 0x0010, 0x007d, 0x007e,
    194   0x0002, 0x0010, 0x007d, 0x007e,
    195   0x0002, 0x0010, 0x007d, 0x007e,
    196   0x0002, 0x0010, 0x007d, 0x007e,
    197   0x0002, 0x0010, 0x007d, 0x007e,
    198   0x0008, 0x003f, 0x003f, 0x0040,
    199   0x000c, 0x005e, 0x005f, 0x0060,
    200   0x000e, 0x006e, 0x006f, 0x0070,
    201   0x000f, 0x0076, 0x0077, 0x0078,
    202   0x0010, 0x007a, 0x007b, 0x007c,
    203   0x0010, 0x007c, 0x007d, 0x007e,
    204   0x0010, 0x007d, 0x007e, 0x007f,
    205   0x0010, 0x007d, 0x007e, 0x007f,
    206   0x0010, 0x007d, 0x007e, 0x007f,
    207   0x0010, 0x007d, 0x007e, 0x007f,
    208   0x0010, 0x007d, 0x007e, 0x007f,
    209   0x0010, 0x007d, 0x007e, 0x007f,
    210   0x0010, 0x007d, 0x007e, 0x007f,
    211   0x0010, 0x007d, 0x007e, 0x007f,
    212   0x0010, 0x007d, 0x007e, 0x007f,
    213   0x0010, 0x007d, 0x007e, 0x007f,
    214   0x003f, 0x003f, 0x0040, 0x199a,
    215   0x005e, 0x005f, 0x0060, 0x2667,
    216   0x006e, 0x006f, 0x0070, 0x2ccd,
    217   0x0076, 0x0077, 0x0078, 0x3000,
    218   0x007a, 0x007b, 0x007c, 0x319a,
    219   0x007c, 0x007d, 0x007e, 0x3267,
    220   0x007d, 0x007e, 0x007f, 0x32cd,
    221   0x007d, 0x007e, 0x007f, 0x3300,
    222   0x007d, 0x007e, 0x007f, 0x331a,
    223   0x007d, 0x007e, 0x007f, 0x3327,
    224   0x007d, 0x007e, 0x007f, 0x332d,
    225   0x007d, 0x007e, 0x007f, 0x3330,
    226   0x007d, 0x007e, 0x007f, 0x3332,
    227   0x007d, 0x007e, 0x007f, 0x3333,
    228   0x007d, 0x007e, 0x007f, 0x3333,
    229   0x007d, 0x007e, 0x007f, 0x3333,
    230   0x003f, 0x0040, 0x199a, 0x2aab,
    231   0x005f, 0x0060, 0x2667, 0x4000,
    232   0x006f, 0x0070, 0x2ccd, 0x4aab,
    233   0x0077, 0x0078, 0x3000, 0x5000,
    234   0x007b, 0x007c, 0x319a, 0x52ab,
    235   0x007d, 0x007e, 0x3267, 0x5400,
    236   0x007e, 0x007f, 0x32cd, 0x54ab,
    237   0x007e, 0x007f, 0x3300, 0x5500,
    238   0x007e, 0x007f, 0x331a, 0x552b,
    239   0x007e, 0x007f, 0x3327, 0x5540,
    240   0x007e, 0x007f, 0x332d, 0x554b,
    241   0x007e, 0x007f, 0x3330, 0x5550,
    242   0x007e, 0x007f, 0x3332, 0x5553,
    243   0x007e, 0x007f, 0x3333, 0x5554,
    244   0x007e, 0x007f, 0x3333, 0x5555,
    245   0x007e, 0x007f, 0x3333, 0x5555,
    246   0x0040, 0x199a, 0x2aab, 0x3fff,
    247   0x0060, 0x2667, 0x4000, 0x5ffe,
    248   0x0070, 0x2ccd, 0x4aab, 0x6ffe,
    249   0x0078, 0x3000, 0x5000, 0x77fe,
    250   0x007c, 0x319a, 0x52ab, 0x7bfe,
    251   0x007e, 0x3267, 0x5400, 0x7dfe,
    252   0x007f, 0x32cd, 0x54ab, 0x7efe,
    253   0x007f, 0x3300, 0x5500, 0x7f7e,
    254   0x007f, 0x331a, 0x552b, 0x7fbe,
    255   0x007f, 0x3327, 0x5540, 0x7fde,
    256   0x007f, 0x332d, 0x554b, 0x7fee,
    257   0x007f, 0x3330, 0x5550, 0x7ff6,
    258   0x007f, 0x3332, 0x5553, 0x7ffa,
    259   0x007f, 0x3333, 0x5554, 0x7ffc,
    260   0x007f, 0x3333, 0x5555, 0x7ffd,
    261   0x007f, 0x3333, 0x5555, 0x7ffd,
    262   0x199a, 0x2aab, 0x3fff, 0x3fff,
    263   0x2667, 0x4000, 0x5ffe, 0x5fff,
    264   0x2ccd, 0x4aab, 0x6ffe, 0x6fff,
    265   0x3000, 0x5000, 0x77fe, 0x77ff,
    266   0x319a, 0x52ab, 0x7bfe, 0x7bff,
    267   0x3267, 0x5400, 0x7dfe, 0x7dff,
    268   0x32cd, 0x54ab, 0x7efe, 0x7eff,
    269   0x3300, 0x5500, 0x7f7e, 0x7f7f,
    270   0x331a, 0x552b, 0x7fbe, 0x7fbf,
    271   0x3327, 0x5540, 0x7fde, 0x7fdf,
    272   0x332d, 0x554b, 0x7fee, 0x7fef,
    273   0x3330, 0x5550, 0x7ff6, 0x7ff7,
    274   0x3332, 0x5553, 0x7ffa, 0x7ffb,
    275   0x3333, 0x5554, 0x7ffc, 0x7ffd,
    276   0x3333, 0x5555, 0x7ffd, 0x7ffe,
    277   0x3333, 0x5555, 0x7ffd, 0x7ffe,
    278   0x2aab, 0x3fff, 0x3fff, 0x4000,
    279   0x4000, 0x5ffe, 0x5fff, 0x6000,
    280   0x4aab, 0x6ffe, 0x6fff, 0x7000,
    281   0x5000, 0x77fe, 0x77ff, 0x7800,
    282   0x52ab, 0x7bfe, 0x7bff, 0x7c00,
    283   0x5400, 0x7dfe, 0x7dff, 0x7e00,
    284   0x54ab, 0x7efe, 0x7eff, 0x7f00,
    285   0x5500, 0x7f7e, 0x7f7f, 0x7f80,
    286   0x552b, 0x7fbe, 0x7fbf, 0x7fc0,
    287   0x5540, 0x7fde, 0x7fdf, 0x7fe0,
    288   0x554b, 0x7fee, 0x7fef, 0x7ff0,
    289   0x5550, 0x7ff6, 0x7ff7, 0x7ff8,
    290   0x5553, 0x7ffa, 0x7ffb, 0x7ffc,
    291   0x5554, 0x7ffc, 0x7ffd, 0x7ffe,
    292   0x5555, 0x7ffd, 0x7ffe, 0x7fff,
    293   0x5555, 0x7ffd, 0x7ffe, 0x7fff,
    294   0x3fff, 0x3fff, 0x4000, 0x4000,
    295   0x5ffe, 0x5fff, 0x6000, 0x6000,
    296   0x6ffe, 0x6fff, 0x7000, 0x7000,
    297   0x77fe, 0x77ff, 0x7800, 0x7800,
    298   0x7bfe, 0x7bff, 0x7c00, 0x7c00,
    299   0x7dfe, 0x7dff, 0x7e00, 0x7e00,
    300   0x7efe, 0x7eff, 0x7f00, 0x7f00,
    301   0x7f7e, 0x7f7f, 0x7f80, 0x7f80,
    302   0x7fbe, 0x7fbf, 0x7fc0, 0x7fc0,
    303   0x7fde, 0x7fdf, 0x7fe0, 0x7fe0,
    304   0x7fee, 0x7fef, 0x7ff0, 0x7ff0,
    305   0x7ff6, 0x7ff7, 0x7ff8, 0x7ff8,
    306   0x7ffa, 0x7ffb, 0x7ffc, 0x7ffc,
    307   0x7ffc, 0x7ffd, 0x7ffe, 0x7ffe,
    308   0x7ffd, 0x7ffe, 0x7fff, 0x7fff,
    309   0x7ffd, 0x7ffe, 0x7fff, 0x8000,
    310   0x3fff, 0x4000, 0x4000, 0x4001,
    311   0x5fff, 0x6000, 0x6000, 0x6001,
    312   0x6fff, 0x7000, 0x7000, 0x7001,
    313   0x77ff, 0x7800, 0x7800, 0x7801,
    314   0x7bff, 0x7c00, 0x7c00, 0x7c01,
    315   0x7dff, 0x7e00, 0x7e00, 0x7e01,
    316   0x7eff, 0x7f00, 0x7f00, 0x7f01,
    317   0x7f7f, 0x7f80, 0x7f80, 0x7f81,
    318   0x7fbf, 0x7fc0, 0x7fc0, 0x7fc1,
    319   0x7fdf, 0x7fe0, 0x7fe0, 0x7fe1,
    320   0x7fef, 0x7ff0, 0x7ff0, 0x7ff1,
    321   0x7ff7, 0x7ff8, 0x7ff8, 0x7ff9,
    322   0x7ffb, 0x7ffc, 0x7ffc, 0x7ffd,
    323   0x7ffd, 0x7ffe, 0x7ffe, 0x7fff,
    324   0x7ffe, 0x7fff, 0x7fff, 0x8000,
    325   0x7ffe, 0x7fff, 0x8000, 0x8001,
    326   0x4000, 0x4000, 0x4001, 0x5555,
    327   0x6000, 0x6000, 0x6001, 0x8000,
    328   0x7000, 0x7000, 0x7001, 0x9555,
    329   0x7800, 0x7800, 0x7801, 0xa000,
    330   0x7c00, 0x7c00, 0x7c01, 0xa555,
    331   0x7e00, 0x7e00, 0x7e01, 0xa800,
    332   0x7f00, 0x7f00, 0x7f01, 0xa955,
    333   0x7f80, 0x7f80, 0x7f81, 0xaa00,
    334   0x7fc0, 0x7fc0, 0x7fc1, 0xaa55,
    335   0x7fe0, 0x7fe0, 0x7fe1, 0xaa80,
    336   0x7ff0, 0x7ff0, 0x7ff1, 0xaa95,
    337   0x7ff8, 0x7ff8, 0x7ff9, 0xaaa0,
    338   0x7ffc, 0x7ffc, 0x7ffd, 0xaaa5,
    339   0x7ffe, 0x7ffe, 0x7fff, 0xaaa8,
    340   0x7fff, 0x7fff, 0x8000, 0xaaa9,
    341   0x7fff, 0x8000, 0x8001, 0xaaaa,
    342   0x4000, 0x4001, 0x5555, 0x6666,
    343   0x6000, 0x6001, 0x8000, 0x9999,
    344   0x7000, 0x7001, 0x9555, 0xb333,
    345   0x7800, 0x7801, 0xa000, 0xc000,
    346   0x7c00, 0x7c01, 0xa555, 0xc666,
    347   0x7e00, 0x7e01, 0xa800, 0xc999,
    348   0x7f00, 0x7f01, 0xa955, 0xcb33,
    349   0x7f80, 0x7f81, 0xaa00, 0xcc00,
    350   0x7fc0, 0x7fc1, 0xaa55, 0xcc66,
    351   0x7fe0, 0x7fe1, 0xaa80, 0xcc99,
    352   0x7ff0, 0x7ff1, 0xaa95, 0xccb3,
    353   0x7ff8, 0x7ff9, 0xaaa0, 0xccc0,
    354   0x7ffc, 0x7ffd, 0xaaa5, 0xccc6,
    355   0x7ffe, 0x7fff, 0xaaa8, 0xccc9,
    356   0x7fff, 0x8000, 0xaaa9, 0xcccb,
    357   0x8000, 0x8001, 0xaaaa, 0xcccc,
    358   0x4001, 0x5555, 0x6666, 0x7fc0,
    359   0x6001, 0x8000, 0x9999, 0xbfa0,
    360   0x7001, 0x9555, 0xb333, 0xdf90,
    361   0x7801, 0xa000, 0xc000, 0xef88,
    362   0x7c01, 0xa555, 0xc666, 0xf784,
    363   0x7e01, 0xa800, 0xc999, 0xfb82,
    364   0x7f01, 0xa955, 0xcb33, 0xfd81,
    365   0x7f81, 0xaa00, 0xcc00, 0xfe81,
    366   0x7fc1, 0xaa55, 0xcc66, 0xff01,
    367   0x7fe1, 0xaa80, 0xcc99, 0xff41,
    368   0x7ff1, 0xaa95, 0xccb3, 0xff61,
    369   0x7ff9, 0xaaa0, 0xccc0, 0xff71,
    370   0x7ffd, 0xaaa5, 0xccc6, 0xff79,
    371   0x7fff, 0xaaa8, 0xccc9, 0xff7d,
    372   0x8000, 0xaaa9, 0xcccb, 0xff7f,
    373   0x8001, 0xaaaa, 0xcccc, 0xff80,
    374   0x5555, 0x6666, 0x7fc0, 0x7fc1,
    375   0x8000, 0x9999, 0xbfa0, 0xbfa1,
    376   0x9555, 0xb333, 0xdf90, 0xdf91,
    377   0xa000, 0xc000, 0xef88, 0xef89,
    378   0xa555, 0xc666, 0xf784, 0xf785,
    379   0xa800, 0xc999, 0xfb82, 0xfb83,
    380   0xa955, 0xcb33, 0xfd81, 0xfd82,
    381   0xaa00, 0xcc00, 0xfe81, 0xfe82,
    382   0xaa55, 0xcc66, 0xff01, 0xff02,
    383   0xaa80, 0xcc99, 0xff41, 0xff42,
    384   0xaa95, 0xccb3, 0xff61, 0xff62,
    385   0xaaa0, 0xccc0, 0xff71, 0xff72,
    386   0xaaa5, 0xccc6, 0xff79, 0xff7a,
    387   0xaaa8, 0xccc9, 0xff7d, 0xff7e,
    388   0xaaa9, 0xcccb, 0xff7f, 0xff80,
    389   0xaaaa, 0xcccc, 0xff80, 0xff81,
    390   0x6666, 0x7fc0, 0x7fc1, 0x7fc1,
    391   0x9999, 0xbfa0, 0xbfa1, 0xbfa2,
    392   0xb333, 0xdf90, 0xdf91, 0xdf92,
    393   0xc000, 0xef88, 0xef89, 0xef8a,
    394   0xc666, 0xf784, 0xf785, 0xf786,
    395   0xc999, 0xfb82, 0xfb83, 0xfb84,
    396   0xcb33, 0xfd81, 0xfd82, 0xfd83,
    397   0xcc00, 0xfe81, 0xfe82, 0xfe83,
    398   0xcc66, 0xff01, 0xff02, 0xff03,
    399   0xcc99, 0xff41, 0xff42, 0xff43,
    400   0xccb3, 0xff61, 0xff62, 0xff63,
    401   0xccc0, 0xff71, 0xff72, 0xff73,
    402   0xccc6, 0xff79, 0xff7a, 0xff7b,
    403   0xccc9, 0xff7d, 0xff7e, 0xff7f,
    404   0xcccb, 0xff7f, 0xff80, 0xff81,
    405   0xcccc, 0xff80, 0xff81, 0xff82,
    406   0x7fc0, 0x7fc1, 0x7fc1, 0x7fc2,
    407   0xbfa0, 0xbfa1, 0xbfa2, 0xbfa3,
    408   0xdf90, 0xdf91, 0xdf92, 0xdf93,
    409   0xef88, 0xef89, 0xef8a, 0xef8b,
    410   0xf784, 0xf785, 0xf786, 0xf787,
    411   0xfb82, 0xfb83, 0xfb84, 0xfb85,
    412   0xfd81, 0xfd82, 0xfd83, 0xfd84,
    413   0xfe81, 0xfe82, 0xfe83, 0xfe84,
    414   0xff01, 0xff02, 0xff03, 0xff04,
    415   0xff41, 0xff42, 0xff43, 0xff44,
    416   0xff61, 0xff62, 0xff63, 0xff64,
    417   0xff71, 0xff72, 0xff73, 0xff74,
    418   0xff79, 0xff7a, 0xff7b, 0xff7c,
    419   0xff7d, 0xff7e, 0xff7f, 0xff80,
    420   0xff7f, 0xff80, 0xff81, 0xff82,
    421   0xff80, 0xff81, 0xff82, 0xff83,
    422 };
    423 const unsigned kExpectedCount_NEON_ursra_4H_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_URSRA_4H_2OPIMM_TRACE_A64_H_
    426