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_USRA_4H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_USRA_4H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_usra_4H_2OPIMM[] = {
     38   0x7fc0, 0x7fc1, 0x7fc1, 0x7ff8,
     39   0xbfa0, 0xbfa1, 0xbfa1, 0xbff4,
     40   0xdf90, 0xdf91, 0xdf91, 0xdff2,
     41   0xef88, 0xef89, 0xef89, 0xeff1,
     42   0xf784, 0xf785, 0xf785, 0xf7f0,
     43   0xfb82, 0xfb83, 0xfb83, 0xfbef,
     44   0xfd81, 0xfd82, 0xfd82, 0xfdee,
     45   0xfe80, 0xfe81, 0xfe81, 0xfeed,
     46   0xfeff, 0xff00, 0xff00, 0xff6c,
     47   0xff3e, 0xff3f, 0xff3f, 0xffab,
     48   0xff5d, 0xff5e, 0xff5e, 0xffca,
     49   0xff6c, 0xff6d, 0xff6d, 0xffd9,
     50   0xff73, 0xff74, 0xff74, 0xffe0,
     51   0xff76, 0xff77, 0xff77, 0xffe3,
     52   0xff77, 0xff78, 0xff78, 0xffe4,
     53   0xff77, 0xff78, 0xff78, 0xffe4,
     54   0x7fc1, 0x7fc1, 0x7ff8, 0x7ffe,
     55   0xbfa1, 0xbfa1, 0xbff4, 0xbffd,
     56   0xdf91, 0xdf91, 0xdff2, 0xdffc,
     57   0xef89, 0xef89, 0xeff1, 0xeffb,
     58   0xf785, 0xf785, 0xf7f0, 0xf7fa,
     59   0xfb83, 0xfb83, 0xfbef, 0xfbf9,
     60   0xfd82, 0xfd82, 0xfdee, 0xfdf8,
     61   0xfe81, 0xfe81, 0xfeed, 0xfef7,
     62   0xff00, 0xff00, 0xff6c, 0xff76,
     63   0xff3f, 0xff3f, 0xffab, 0xffb5,
     64   0xff5e, 0xff5e, 0xffca, 0xffd4,
     65   0xff6d, 0xff6d, 0xffd9, 0xffe3,
     66   0xff74, 0xff74, 0xffe0, 0xffea,
     67   0xff77, 0xff77, 0xffe3, 0xffed,
     68   0xff78, 0xff78, 0xffe4, 0xffee,
     69   0xff78, 0xff78, 0xffe4, 0xffee,
     70   0x7fc1, 0x7ff8, 0x7ffe, 0x7fff,
     71   0xbfa1, 0xbff4, 0xbffd, 0xbffe,
     72   0xdf91, 0xdff2, 0xdffc, 0xdffd,
     73   0xef89, 0xeff1, 0xeffb, 0xeffc,
     74   0xf785, 0xf7f0, 0xf7fa, 0xf7fb,
     75   0xfb83, 0xfbef, 0xfbf9, 0xfbfa,
     76   0xfd82, 0xfdee, 0xfdf8, 0xfdf9,
     77   0xfe81, 0xfeed, 0xfef7, 0xfef8,
     78   0xff00, 0xff6c, 0xff76, 0xff77,
     79   0xff3f, 0xffab, 0xffb5, 0xffb6,
     80   0xff5e, 0xffca, 0xffd4, 0xffd5,
     81   0xff6d, 0xffd9, 0xffe3, 0xffe4,
     82   0xff74, 0xffe0, 0xffea, 0xffeb,
     83   0xff77, 0xffe3, 0xffed, 0xffee,
     84   0xff78, 0xffe4, 0xffee, 0xffef,
     85   0xff78, 0xffe4, 0xffee, 0xffef,
     86   0x7ff8, 0x7ffe, 0x7fff, 0x7fff,
     87   0xbff4, 0xbffd, 0xbffe, 0xbffe,
     88   0xdff2, 0xdffc, 0xdffd, 0xdffd,
     89   0xeff1, 0xeffb, 0xeffc, 0xeffc,
     90   0xf7f0, 0xf7fa, 0xf7fb, 0xf7fb,
     91   0xfbef, 0xfbf9, 0xfbfa, 0xfbfa,
     92   0xfdee, 0xfdf8, 0xfdf9, 0xfdf9,
     93   0xfeed, 0xfef7, 0xfef8, 0xfef8,
     94   0xff6c, 0xff76, 0xff77, 0xff77,
     95   0xffab, 0xffb5, 0xffb6, 0xffb6,
     96   0xffca, 0xffd4, 0xffd5, 0xffd5,
     97   0xffd9, 0xffe3, 0xffe4, 0xffe4,
     98   0xffe0, 0xffea, 0xffeb, 0xffeb,
     99   0xffe3, 0xffed, 0xffee, 0xffee,
    100   0xffe4, 0xffee, 0xffef, 0xffef,
    101   0xffe4, 0xffee, 0xffef, 0xffef,
    102   0x7ffe, 0x7fff, 0x7fff, 0x0000,
    103   0xbffd, 0xbffe, 0xbffe, 0x0000,
    104   0xdffc, 0xdffd, 0xdffd, 0x0000,
    105   0xeffb, 0xeffc, 0xeffc, 0x0000,
    106   0xf7fa, 0xf7fb, 0xf7fb, 0x0000,
    107   0xfbf9, 0xfbfa, 0xfbfa, 0x0000,
    108   0xfdf8, 0xfdf9, 0xfdf9, 0x0000,
    109   0xfef7, 0xfef8, 0xfef8, 0x0000,
    110   0xff76, 0xff77, 0xff77, 0x0000,
    111   0xffb5, 0xffb6, 0xffb6, 0x0000,
    112   0xffd4, 0xffd5, 0xffd5, 0x0000,
    113   0xffe3, 0xffe4, 0xffe4, 0x0000,
    114   0xffea, 0xffeb, 0xffeb, 0x0000,
    115   0xffed, 0xffee, 0xffee, 0x0000,
    116   0xffee, 0xffef, 0xffef, 0x0000,
    117   0xffee, 0xffef, 0xffef, 0x0000,
    118   0x7fff, 0x7fff, 0x0000, 0x0000,
    119   0xbffe, 0xbffe, 0x0000, 0x0000,
    120   0xdffd, 0xdffd, 0x0000, 0x0000,
    121   0xeffc, 0xeffc, 0x0000, 0x0000,
    122   0xf7fb, 0xf7fb, 0x0000, 0x0000,
    123   0xfbfa, 0xfbfa, 0x0000, 0x0000,
    124   0xfdf9, 0xfdf9, 0x0000, 0x0000,
    125   0xfef8, 0xfef8, 0x0000, 0x0000,
    126   0xff77, 0xff77, 0x0000, 0x0000,
    127   0xffb6, 0xffb6, 0x0000, 0x0000,
    128   0xffd5, 0xffd5, 0x0000, 0x0000,
    129   0xffe4, 0xffe4, 0x0000, 0x0000,
    130   0xffeb, 0xffeb, 0x0000, 0x0000,
    131   0xffee, 0xffee, 0x0000, 0x0000,
    132   0xffef, 0xffef, 0x0000, 0x0000,
    133   0xffef, 0xffef, 0x0000, 0x0000,
    134   0x7fff, 0x0000, 0x0000, 0x0001,
    135   0xbffe, 0x0000, 0x0000, 0x0001,
    136   0xdffd, 0x0000, 0x0000, 0x0001,
    137   0xeffc, 0x0000, 0x0000, 0x0001,
    138   0xf7fb, 0x0000, 0x0000, 0x0001,
    139   0xfbfa, 0x0000, 0x0000, 0x0001,
    140   0xfdf9, 0x0000, 0x0000, 0x0001,
    141   0xfef8, 0x0000, 0x0000, 0x0001,
    142   0xff77, 0x0000, 0x0000, 0x0001,
    143   0xffb6, 0x0000, 0x0000, 0x0001,
    144   0xffd5, 0x0000, 0x0000, 0x0001,
    145   0xffe4, 0x0000, 0x0000, 0x0001,
    146   0xffeb, 0x0000, 0x0000, 0x0001,
    147   0xffee, 0x0000, 0x0000, 0x0001,
    148   0xffef, 0x0000, 0x0000, 0x0001,
    149   0xffef, 0x0000, 0x0000, 0x0001,
    150   0x0000, 0x0000, 0x0001, 0x0008,
    151   0x0000, 0x0000, 0x0001, 0x000c,
    152   0x0000, 0x0000, 0x0001, 0x000e,
    153   0x0000, 0x0000, 0x0001, 0x000f,
    154   0x0000, 0x0000, 0x0001, 0x000f,
    155   0x0000, 0x0000, 0x0001, 0x000f,
    156   0x0000, 0x0000, 0x0001, 0x000f,
    157   0x0000, 0x0000, 0x0001, 0x000f,
    158   0x0000, 0x0000, 0x0001, 0x000f,
    159   0x0000, 0x0000, 0x0001, 0x000f,
    160   0x0000, 0x0000, 0x0001, 0x000f,
    161   0x0000, 0x0000, 0x0001, 0x000f,
    162   0x0000, 0x0000, 0x0001, 0x000f,
    163   0x0000, 0x0000, 0x0001, 0x000f,
    164   0x0000, 0x0000, 0x0001, 0x000f,
    165   0x0000, 0x0000, 0x0001, 0x000f,
    166   0x0000, 0x0001, 0x0008, 0x003e,
    167   0x0000, 0x0001, 0x000c, 0x005d,
    168   0x0000, 0x0001, 0x000e, 0x006c,
    169   0x0000, 0x0001, 0x000f, 0x0073,
    170   0x0000, 0x0001, 0x000f, 0x0076,
    171   0x0000, 0x0001, 0x000f, 0x0077,
    172   0x0000, 0x0001, 0x000f, 0x0077,
    173   0x0000, 0x0001, 0x000f, 0x0077,
    174   0x0000, 0x0001, 0x000f, 0x0077,
    175   0x0000, 0x0001, 0x000f, 0x0077,
    176   0x0000, 0x0001, 0x000f, 0x0077,
    177   0x0000, 0x0001, 0x000f, 0x0077,
    178   0x0000, 0x0001, 0x000f, 0x0077,
    179   0x0000, 0x0001, 0x000f, 0x0077,
    180   0x0000, 0x0001, 0x000f, 0x0077,
    181   0x0000, 0x0001, 0x000f, 0x0077,
    182   0x0001, 0x0008, 0x003e, 0x003f,
    183   0x0001, 0x000c, 0x005d, 0x005e,
    184   0x0001, 0x000e, 0x006c, 0x006d,
    185   0x0001, 0x000f, 0x0073, 0x0074,
    186   0x0001, 0x000f, 0x0076, 0x0077,
    187   0x0001, 0x000f, 0x0077, 0x0078,
    188   0x0001, 0x000f, 0x0077, 0x0078,
    189   0x0001, 0x000f, 0x0077, 0x0078,
    190   0x0001, 0x000f, 0x0077, 0x0078,
    191   0x0001, 0x000f, 0x0077, 0x0078,
    192   0x0001, 0x000f, 0x0077, 0x0078,
    193   0x0001, 0x000f, 0x0077, 0x0078,
    194   0x0001, 0x000f, 0x0077, 0x0078,
    195   0x0001, 0x000f, 0x0077, 0x0078,
    196   0x0001, 0x000f, 0x0077, 0x0078,
    197   0x0001, 0x000f, 0x0077, 0x0078,
    198   0x0008, 0x003e, 0x003f, 0x003f,
    199   0x000c, 0x005d, 0x005e, 0x005e,
    200   0x000e, 0x006c, 0x006d, 0x006d,
    201   0x000f, 0x0073, 0x0074, 0x0074,
    202   0x000f, 0x0076, 0x0077, 0x0077,
    203   0x000f, 0x0077, 0x0078, 0x0078,
    204   0x000f, 0x0077, 0x0078, 0x0078,
    205   0x000f, 0x0077, 0x0078, 0x0078,
    206   0x000f, 0x0077, 0x0078, 0x0078,
    207   0x000f, 0x0077, 0x0078, 0x0078,
    208   0x000f, 0x0077, 0x0078, 0x0078,
    209   0x000f, 0x0077, 0x0078, 0x0078,
    210   0x000f, 0x0077, 0x0078, 0x0078,
    211   0x000f, 0x0077, 0x0078, 0x0078,
    212   0x000f, 0x0077, 0x0078, 0x0078,
    213   0x000f, 0x0077, 0x0078, 0x0078,
    214   0x003e, 0x003f, 0x003f, 0x1999,
    215   0x005d, 0x005e, 0x005e, 0x2665,
    216   0x006c, 0x006d, 0x006d, 0x2ccb,
    217   0x0073, 0x0074, 0x0074, 0x2ffe,
    218   0x0076, 0x0077, 0x0077, 0x3197,
    219   0x0077, 0x0078, 0x0078, 0x3263,
    220   0x0077, 0x0078, 0x0078, 0x32c9,
    221   0x0077, 0x0078, 0x0078, 0x32fc,
    222   0x0077, 0x0078, 0x0078, 0x3315,
    223   0x0077, 0x0078, 0x0078, 0x3321,
    224   0x0077, 0x0078, 0x0078, 0x3327,
    225   0x0077, 0x0078, 0x0078, 0x332a,
    226   0x0077, 0x0078, 0x0078, 0x332b,
    227   0x0077, 0x0078, 0x0078, 0x332b,
    228   0x0077, 0x0078, 0x0078, 0x332b,
    229   0x0077, 0x0078, 0x0078, 0x332b,
    230   0x003f, 0x003f, 0x1999, 0x2aaa,
    231   0x005e, 0x005e, 0x2665, 0x3fff,
    232   0x006d, 0x006d, 0x2ccb, 0x4aa9,
    233   0x0074, 0x0074, 0x2ffe, 0x4ffe,
    234   0x0077, 0x0077, 0x3197, 0x52a8,
    235   0x0078, 0x0078, 0x3263, 0x53fd,
    236   0x0078, 0x0078, 0x32c9, 0x54a7,
    237   0x0078, 0x0078, 0x32fc, 0x54fc,
    238   0x0078, 0x0078, 0x3315, 0x5526,
    239   0x0078, 0x0078, 0x3321, 0x553b,
    240   0x0078, 0x0078, 0x3327, 0x5545,
    241   0x0078, 0x0078, 0x332a, 0x554a,
    242   0x0078, 0x0078, 0x332b, 0x554c,
    243   0x0078, 0x0078, 0x332b, 0x554d,
    244   0x0078, 0x0078, 0x332b, 0x554d,
    245   0x0078, 0x0078, 0x332b, 0x554d,
    246   0x003f, 0x1999, 0x2aaa, 0x3ffe,
    247   0x005e, 0x2665, 0x3fff, 0x5ffd,
    248   0x006d, 0x2ccb, 0x4aa9, 0x6ffc,
    249   0x0074, 0x2ffe, 0x4ffe, 0x77fb,
    250   0x0077, 0x3197, 0x52a8, 0x7bfa,
    251   0x0078, 0x3263, 0x53fd, 0x7df9,
    252   0x0078, 0x32c9, 0x54a7, 0x7ef8,
    253   0x0078, 0x32fc, 0x54fc, 0x7f77,
    254   0x0078, 0x3315, 0x5526, 0x7fb6,
    255   0x0078, 0x3321, 0x553b, 0x7fd5,
    256   0x0078, 0x3327, 0x5545, 0x7fe4,
    257   0x0078, 0x332a, 0x554a, 0x7feb,
    258   0x0078, 0x332b, 0x554c, 0x7fee,
    259   0x0078, 0x332b, 0x554d, 0x7fef,
    260   0x0078, 0x332b, 0x554d, 0x7fef,
    261   0x0078, 0x332b, 0x554d, 0x7fef,
    262   0x1999, 0x2aaa, 0x3ffe, 0x3fff,
    263   0x2665, 0x3fff, 0x5ffd, 0x5ffe,
    264   0x2ccb, 0x4aa9, 0x6ffc, 0x6ffd,
    265   0x2ffe, 0x4ffe, 0x77fb, 0x77fc,
    266   0x3197, 0x52a8, 0x7bfa, 0x7bfb,
    267   0x3263, 0x53fd, 0x7df9, 0x7dfa,
    268   0x32c9, 0x54a7, 0x7ef8, 0x7ef9,
    269   0x32fc, 0x54fc, 0x7f77, 0x7f78,
    270   0x3315, 0x5526, 0x7fb6, 0x7fb7,
    271   0x3321, 0x553b, 0x7fd5, 0x7fd6,
    272   0x3327, 0x5545, 0x7fe4, 0x7fe5,
    273   0x332a, 0x554a, 0x7feb, 0x7fec,
    274   0x332b, 0x554c, 0x7fee, 0x7fef,
    275   0x332b, 0x554d, 0x7fef, 0x7ff0,
    276   0x332b, 0x554d, 0x7fef, 0x7ff0,
    277   0x332b, 0x554d, 0x7fef, 0x7ff0,
    278   0x2aaa, 0x3ffe, 0x3fff, 0x3fff,
    279   0x3fff, 0x5ffd, 0x5ffe, 0x5ffe,
    280   0x4aa9, 0x6ffc, 0x6ffd, 0x6ffd,
    281   0x4ffe, 0x77fb, 0x77fc, 0x77fc,
    282   0x52a8, 0x7bfa, 0x7bfb, 0x7bfb,
    283   0x53fd, 0x7df9, 0x7dfa, 0x7dfa,
    284   0x54a7, 0x7ef8, 0x7ef9, 0x7ef9,
    285   0x54fc, 0x7f77, 0x7f78, 0x7f78,
    286   0x5526, 0x7fb6, 0x7fb7, 0x7fb7,
    287   0x553b, 0x7fd5, 0x7fd6, 0x7fd6,
    288   0x5545, 0x7fe4, 0x7fe5, 0x7fe5,
    289   0x554a, 0x7feb, 0x7fec, 0x7fec,
    290   0x554c, 0x7fee, 0x7fef, 0x7fef,
    291   0x554d, 0x7fef, 0x7ff0, 0x7ff0,
    292   0x554d, 0x7fef, 0x7ff0, 0x7ff0,
    293   0x554d, 0x7fef, 0x7ff0, 0x7ff0,
    294   0x3ffe, 0x3fff, 0x3fff, 0x4000,
    295   0x5ffd, 0x5ffe, 0x5ffe, 0x6000,
    296   0x6ffc, 0x6ffd, 0x6ffd, 0x7000,
    297   0x77fb, 0x77fc, 0x77fc, 0x7800,
    298   0x7bfa, 0x7bfb, 0x7bfb, 0x7c00,
    299   0x7df9, 0x7dfa, 0x7dfa, 0x7e00,
    300   0x7ef8, 0x7ef9, 0x7ef9, 0x7f00,
    301   0x7f77, 0x7f78, 0x7f78, 0x7f80,
    302   0x7fb6, 0x7fb7, 0x7fb7, 0x7fc0,
    303   0x7fd5, 0x7fd6, 0x7fd6, 0x7fe0,
    304   0x7fe4, 0x7fe5, 0x7fe5, 0x7ff0,
    305   0x7feb, 0x7fec, 0x7fec, 0x7ff8,
    306   0x7fee, 0x7fef, 0x7fef, 0x7ffc,
    307   0x7fef, 0x7ff0, 0x7ff0, 0x7ffe,
    308   0x7fef, 0x7ff0, 0x7ff0, 0x7fff,
    309   0x7fef, 0x7ff0, 0x7ff0, 0x7fff,
    310   0x3fff, 0x3fff, 0x4000, 0x4000,
    311   0x5ffe, 0x5ffe, 0x6000, 0x6000,
    312   0x6ffd, 0x6ffd, 0x7000, 0x7000,
    313   0x77fc, 0x77fc, 0x7800, 0x7800,
    314   0x7bfb, 0x7bfb, 0x7c00, 0x7c00,
    315   0x7dfa, 0x7dfa, 0x7e00, 0x7e00,
    316   0x7ef9, 0x7ef9, 0x7f00, 0x7f00,
    317   0x7f78, 0x7f78, 0x7f80, 0x7f80,
    318   0x7fb7, 0x7fb7, 0x7fc0, 0x7fc0,
    319   0x7fd6, 0x7fd6, 0x7fe0, 0x7fe0,
    320   0x7fe5, 0x7fe5, 0x7ff0, 0x7ff0,
    321   0x7fec, 0x7fec, 0x7ff8, 0x7ff8,
    322   0x7fef, 0x7fef, 0x7ffc, 0x7ffc,
    323   0x7ff0, 0x7ff0, 0x7ffe, 0x7ffe,
    324   0x7ff0, 0x7ff0, 0x7fff, 0x7fff,
    325   0x7ff0, 0x7ff0, 0x7fff, 0x7fff,
    326   0x3fff, 0x4000, 0x4000, 0x5555,
    327   0x5ffe, 0x6000, 0x6000, 0x7fff,
    328   0x6ffd, 0x7000, 0x7000, 0x9554,
    329   0x77fc, 0x7800, 0x7800, 0x9ffe,
    330   0x7bfb, 0x7c00, 0x7c00, 0xa553,
    331   0x7dfa, 0x7e00, 0x7e00, 0xa7fd,
    332   0x7ef9, 0x7f00, 0x7f00, 0xa952,
    333   0x7f78, 0x7f80, 0x7f80, 0xa9fc,
    334   0x7fb7, 0x7fc0, 0x7fc0, 0xaa51,
    335   0x7fd6, 0x7fe0, 0x7fe0, 0xaa7b,
    336   0x7fe5, 0x7ff0, 0x7ff0, 0xaa90,
    337   0x7fec, 0x7ff8, 0x7ff8, 0xaa9a,
    338   0x7fef, 0x7ffc, 0x7ffc, 0xaa9f,
    339   0x7ff0, 0x7ffe, 0x7ffe, 0xaaa1,
    340   0x7ff0, 0x7fff, 0x7fff, 0xaaa2,
    341   0x7ff0, 0x7fff, 0x7fff, 0xaaa2,
    342   0x4000, 0x4000, 0x5555, 0x6666,
    343   0x6000, 0x6000, 0x7fff, 0x9999,
    344   0x7000, 0x7000, 0x9554, 0xb332,
    345   0x7800, 0x7800, 0x9ffe, 0xbffe,
    346   0x7c00, 0x7c00, 0xa553, 0xc664,
    347   0x7e00, 0x7e00, 0xa7fd, 0xc997,
    348   0x7f00, 0x7f00, 0xa952, 0xcb30,
    349   0x7f80, 0x7f80, 0xa9fc, 0xcbfc,
    350   0x7fc0, 0x7fc0, 0xaa51, 0xcc62,
    351   0x7fe0, 0x7fe0, 0xaa7b, 0xcc95,
    352   0x7ff0, 0x7ff0, 0xaa90, 0xccae,
    353   0x7ff8, 0x7ff8, 0xaa9a, 0xccba,
    354   0x7ffc, 0x7ffc, 0xaa9f, 0xccc0,
    355   0x7ffe, 0x7ffe, 0xaaa1, 0xccc3,
    356   0x7fff, 0x7fff, 0xaaa2, 0xccc4,
    357   0x7fff, 0x7fff, 0xaaa2, 0xccc4,
    358   0x4000, 0x5555, 0x6666, 0x7fc0,
    359   0x6000, 0x7fff, 0x9999, 0xbfa0,
    360   0x7000, 0x9554, 0xb332, 0xdf90,
    361   0x7800, 0x9ffe, 0xbffe, 0xef88,
    362   0x7c00, 0xa553, 0xc664, 0xf784,
    363   0x7e00, 0xa7fd, 0xc997, 0xfb82,
    364   0x7f00, 0xa952, 0xcb30, 0xfd81,
    365   0x7f80, 0xa9fc, 0xcbfc, 0xfe80,
    366   0x7fc0, 0xaa51, 0xcc62, 0xfeff,
    367   0x7fe0, 0xaa7b, 0xcc95, 0xff3e,
    368   0x7ff0, 0xaa90, 0xccae, 0xff5d,
    369   0x7ff8, 0xaa9a, 0xccba, 0xff6c,
    370   0x7ffc, 0xaa9f, 0xccc0, 0xff73,
    371   0x7ffe, 0xaaa1, 0xccc3, 0xff76,
    372   0x7fff, 0xaaa2, 0xccc4, 0xff77,
    373   0x7fff, 0xaaa2, 0xccc4, 0xff77,
    374   0x5555, 0x6666, 0x7fc0, 0x7fc0,
    375   0x7fff, 0x9999, 0xbfa0, 0xbfa0,
    376   0x9554, 0xb332, 0xdf90, 0xdf90,
    377   0x9ffe, 0xbffe, 0xef88, 0xef88,
    378   0xa553, 0xc664, 0xf784, 0xf784,
    379   0xa7fd, 0xc997, 0xfb82, 0xfb82,
    380   0xa952, 0xcb30, 0xfd81, 0xfd81,
    381   0xa9fc, 0xcbfc, 0xfe80, 0xfe80,
    382   0xaa51, 0xcc62, 0xfeff, 0xfeff,
    383   0xaa7b, 0xcc95, 0xff3e, 0xff3e,
    384   0xaa90, 0xccae, 0xff5d, 0xff5d,
    385   0xaa9a, 0xccba, 0xff6c, 0xff6c,
    386   0xaa9f, 0xccc0, 0xff73, 0xff73,
    387   0xaaa1, 0xccc3, 0xff76, 0xff76,
    388   0xaaa2, 0xccc4, 0xff77, 0xff77,
    389   0xaaa2, 0xccc4, 0xff77, 0xff77,
    390   0x6666, 0x7fc0, 0x7fc0, 0x7fc1,
    391   0x9999, 0xbfa0, 0xbfa0, 0xbfa1,
    392   0xb332, 0xdf90, 0xdf90, 0xdf91,
    393   0xbffe, 0xef88, 0xef88, 0xef89,
    394   0xc664, 0xf784, 0xf784, 0xf785,
    395   0xc997, 0xfb82, 0xfb82, 0xfb83,
    396   0xcb30, 0xfd81, 0xfd81, 0xfd82,
    397   0xcbfc, 0xfe80, 0xfe80, 0xfe81,
    398   0xcc62, 0xfeff, 0xfeff, 0xff00,
    399   0xcc95, 0xff3e, 0xff3e, 0xff3f,
    400   0xccae, 0xff5d, 0xff5d, 0xff5e,
    401   0xccba, 0xff6c, 0xff6c, 0xff6d,
    402   0xccc0, 0xff73, 0xff73, 0xff74,
    403   0xccc3, 0xff76, 0xff76, 0xff77,
    404   0xccc4, 0xff77, 0xff77, 0xff78,
    405   0xccc4, 0xff77, 0xff77, 0xff78,
    406   0x7fc0, 0x7fc0, 0x7fc1, 0x7fc1,
    407   0xbfa0, 0xbfa0, 0xbfa1, 0xbfa1,
    408   0xdf90, 0xdf90, 0xdf91, 0xdf91,
    409   0xef88, 0xef88, 0xef89, 0xef89,
    410   0xf784, 0xf784, 0xf785, 0xf785,
    411   0xfb82, 0xfb82, 0xfb83, 0xfb83,
    412   0xfd81, 0xfd81, 0xfd82, 0xfd82,
    413   0xfe80, 0xfe80, 0xfe81, 0xfe81,
    414   0xfeff, 0xfeff, 0xff00, 0xff00,
    415   0xff3e, 0xff3e, 0xff3f, 0xff3f,
    416   0xff5d, 0xff5d, 0xff5e, 0xff5e,
    417   0xff6c, 0xff6c, 0xff6d, 0xff6d,
    418   0xff73, 0xff73, 0xff74, 0xff74,
    419   0xff76, 0xff76, 0xff77, 0xff77,
    420   0xff77, 0xff77, 0xff78, 0xff78,
    421   0xff77, 0xff77, 0xff78, 0xff78,
    422 };
    423 const unsigned kExpectedCount_NEON_usra_4H_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_USRA_4H_2OPIMM_TRACE_A64_H_
    426