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_SQSHRN_4H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SQSHRN_4H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_sqshrn_4H_2OPIMM[] = {
     38   0x0000fffe, 0x0000ffff, 0x0000ffff, 0x00000000,
     39   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     40   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     41   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     42   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     43   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     44   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     45   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     46   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     47   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     48   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     49   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     50   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     51   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     52   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     53   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x00000000,
     54   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     55   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     56   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     57   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     58   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     59   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     60   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     61   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     62   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     63   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     64   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     65   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     66   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     67   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     68   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     69   0x0000ffff, 0x0000ffff, 0x00000000, 0x00000000,
     70   0x0000ffff, 0x00000000, 0x00000000, 0x00000001,
     71   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     72   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     73   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     74   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     75   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     76   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     77   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     78   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     79   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     80   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     81   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     82   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     83   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     84   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     85   0x0000ffff, 0x00000000, 0x00000000, 0x00000000,
     86   0x00000000, 0x00000000, 0x00000001, 0x00000010,
     87   0x00000000, 0x00000000, 0x00000000, 0x00000008,
     88   0x00000000, 0x00000000, 0x00000000, 0x00000004,
     89   0x00000000, 0x00000000, 0x00000000, 0x00000002,
     90   0x00000000, 0x00000000, 0x00000000, 0x00000001,
     91   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     92   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     93   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     94   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     95   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     96   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     97   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     98   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     99   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    100   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    101   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    102   0x00000000, 0x00000001, 0x00000010, 0x0000003e,
    103   0x00000000, 0x00000000, 0x00000008, 0x0000001f,
    104   0x00000000, 0x00000000, 0x00000004, 0x0000000f,
    105   0x00000000, 0x00000000, 0x00000002, 0x00000007,
    106   0x00000000, 0x00000000, 0x00000001, 0x00000003,
    107   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    108   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    109   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    110   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    111   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    112   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    113   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    114   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    115   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    116   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    117   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    118   0x00000001, 0x00000010, 0x0000003e, 0x0000003f,
    119   0x00000000, 0x00000008, 0x0000001f, 0x0000001f,
    120   0x00000000, 0x00000004, 0x0000000f, 0x0000000f,
    121   0x00000000, 0x00000002, 0x00000007, 0x00000007,
    122   0x00000000, 0x00000001, 0x00000003, 0x00000003,
    123   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    124   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    125   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    126   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    127   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    128   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    129   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    130   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    131   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    132   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    133   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    134   0x00000010, 0x0000003e, 0x0000003f, 0x0000003f,
    135   0x00000008, 0x0000001f, 0x0000001f, 0x0000001f,
    136   0x00000004, 0x0000000f, 0x0000000f, 0x0000000f,
    137   0x00000002, 0x00000007, 0x00000007, 0x00000007,
    138   0x00000001, 0x00000003, 0x00000003, 0x00000003,
    139   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    140   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    141   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    142   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    143   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    144   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    145   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    146   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    147   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    148   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    149   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    150   0x0000003e, 0x0000003f, 0x0000003f, 0x00003ffe,
    151   0x0000001f, 0x0000001f, 0x0000001f, 0x00001fff,
    152   0x0000000f, 0x0000000f, 0x0000000f, 0x00000fff,
    153   0x00000007, 0x00000007, 0x00000007, 0x000007ff,
    154   0x00000003, 0x00000003, 0x00000003, 0x000003ff,
    155   0x00000001, 0x00000001, 0x00000001, 0x000001ff,
    156   0x00000000, 0x00000000, 0x00000000, 0x000000ff,
    157   0x00000000, 0x00000000, 0x00000000, 0x0000007f,
    158   0x00000000, 0x00000000, 0x00000000, 0x0000003f,
    159   0x00000000, 0x00000000, 0x00000000, 0x0000001f,
    160   0x00000000, 0x00000000, 0x00000000, 0x0000000f,
    161   0x00000000, 0x00000000, 0x00000000, 0x00000007,
    162   0x00000000, 0x00000000, 0x00000000, 0x00000003,
    163   0x00000000, 0x00000000, 0x00000000, 0x00000001,
    164   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    165   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    166   0x0000003f, 0x0000003f, 0x00003ffe, 0x00003fff,
    167   0x0000001f, 0x0000001f, 0x00001fff, 0x00001fff,
    168   0x0000000f, 0x0000000f, 0x00000fff, 0x00000fff,
    169   0x00000007, 0x00000007, 0x000007ff, 0x000007ff,
    170   0x00000003, 0x00000003, 0x000003ff, 0x000003ff,
    171   0x00000001, 0x00000001, 0x000001ff, 0x000001ff,
    172   0x00000000, 0x00000000, 0x000000ff, 0x000000ff,
    173   0x00000000, 0x00000000, 0x0000007f, 0x0000007f,
    174   0x00000000, 0x00000000, 0x0000003f, 0x0000003f,
    175   0x00000000, 0x00000000, 0x0000001f, 0x0000001f,
    176   0x00000000, 0x00000000, 0x0000000f, 0x0000000f,
    177   0x00000000, 0x00000000, 0x00000007, 0x00000007,
    178   0x00000000, 0x00000000, 0x00000003, 0x00000003,
    179   0x00000000, 0x00000000, 0x00000001, 0x00000001,
    180   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    181   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    182   0x0000003f, 0x00003ffe, 0x00003fff, 0x00003fff,
    183   0x0000001f, 0x00001fff, 0x00001fff, 0x00001fff,
    184   0x0000000f, 0x00000fff, 0x00000fff, 0x00000fff,
    185   0x00000007, 0x000007ff, 0x000007ff, 0x000007ff,
    186   0x00000003, 0x000003ff, 0x000003ff, 0x000003ff,
    187   0x00000001, 0x000001ff, 0x000001ff, 0x000001ff,
    188   0x00000000, 0x000000ff, 0x000000ff, 0x000000ff,
    189   0x00000000, 0x0000007f, 0x0000007f, 0x0000007f,
    190   0x00000000, 0x0000003f, 0x0000003f, 0x0000003f,
    191   0x00000000, 0x0000001f, 0x0000001f, 0x0000001f,
    192   0x00000000, 0x0000000f, 0x0000000f, 0x0000000f,
    193   0x00000000, 0x00000007, 0x00000007, 0x00000007,
    194   0x00000000, 0x00000003, 0x00000003, 0x00000003,
    195   0x00000000, 0x00000001, 0x00000001, 0x00000001,
    196   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    197   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    198   0x00003ffe, 0x00003fff, 0x00003fff, 0x00007fff,
    199   0x00001fff, 0x00001fff, 0x00001fff, 0x00007fff,
    200   0x00000fff, 0x00000fff, 0x00000fff, 0x00007fff,
    201   0x000007ff, 0x000007ff, 0x000007ff, 0x00007fff,
    202   0x000003ff, 0x000003ff, 0x000003ff, 0x00007fff,
    203   0x000001ff, 0x000001ff, 0x000001ff, 0x00007fff,
    204   0x000000ff, 0x000000ff, 0x000000ff, 0x00007fff,
    205   0x0000007f, 0x0000007f, 0x0000007f, 0x00007fff,
    206   0x0000003f, 0x0000003f, 0x0000003f, 0x00007fff,
    207   0x0000001f, 0x0000001f, 0x0000001f, 0x00007fff,
    208   0x0000000f, 0x0000000f, 0x0000000f, 0x00007fff,
    209   0x00000007, 0x00000007, 0x00000007, 0x00007fff,
    210   0x00000003, 0x00000003, 0x00000003, 0x00007fff,
    211   0x00000001, 0x00000001, 0x00000001, 0x00007fff,
    212   0x00000000, 0x00000000, 0x00000000, 0x00006666,
    213   0x00000000, 0x00000000, 0x00000000, 0x00003333,
    214   0x00003fff, 0x00003fff, 0x00007fff, 0x00007fff,
    215   0x00001fff, 0x00001fff, 0x00007fff, 0x00007fff,
    216   0x00000fff, 0x00000fff, 0x00007fff, 0x00007fff,
    217   0x000007ff, 0x000007ff, 0x00007fff, 0x00007fff,
    218   0x000003ff, 0x000003ff, 0x00007fff, 0x00007fff,
    219   0x000001ff, 0x000001ff, 0x00007fff, 0x00007fff,
    220   0x000000ff, 0x000000ff, 0x00007fff, 0x00007fff,
    221   0x0000007f, 0x0000007f, 0x00007fff, 0x00007fff,
    222   0x0000003f, 0x0000003f, 0x00007fff, 0x00007fff,
    223   0x0000001f, 0x0000001f, 0x00007fff, 0x00007fff,
    224   0x0000000f, 0x0000000f, 0x00007fff, 0x00007fff,
    225   0x00000007, 0x00000007, 0x00007fff, 0x00007fff,
    226   0x00000003, 0x00000003, 0x00007fff, 0x00007fff,
    227   0x00000001, 0x00000001, 0x00007fff, 0x00007fff,
    228   0x00000000, 0x00000000, 0x00006666, 0x00007fff,
    229   0x00000000, 0x00000000, 0x00003333, 0x00005555,
    230   0x00003fff, 0x00007fff, 0x00007fff, 0x00007fff,
    231   0x00001fff, 0x00007fff, 0x00007fff, 0x00007fff,
    232   0x00000fff, 0x00007fff, 0x00007fff, 0x00007fff,
    233   0x000007ff, 0x00007fff, 0x00007fff, 0x00007fff,
    234   0x000003ff, 0x00007fff, 0x00007fff, 0x00007fff,
    235   0x000001ff, 0x00007fff, 0x00007fff, 0x00007fff,
    236   0x000000ff, 0x00007fff, 0x00007fff, 0x00007fff,
    237   0x0000007f, 0x00007fff, 0x00007fff, 0x00007fff,
    238   0x0000003f, 0x00007fff, 0x00007fff, 0x00007fff,
    239   0x0000001f, 0x00007fff, 0x00007fff, 0x00007fff,
    240   0x0000000f, 0x00007fff, 0x00007fff, 0x00007fff,
    241   0x00000007, 0x00007fff, 0x00007fff, 0x00007fff,
    242   0x00000003, 0x00007fff, 0x00007fff, 0x00007fff,
    243   0x00000001, 0x00007fff, 0x00007fff, 0x00007fff,
    244   0x00000000, 0x00006666, 0x00007fff, 0x00007fff,
    245   0x00000000, 0x00003333, 0x00005555, 0x00007fff,
    246   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    247   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    248   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    249   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    250   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    251   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    252   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    253   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    254   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    255   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    256   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    257   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    258   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    259   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    260   0x00006666, 0x00007fff, 0x00007fff, 0x00007fff,
    261   0x00003333, 0x00005555, 0x00007fff, 0x00007fff,
    262   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    263   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    264   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    265   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    266   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    267   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    268   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    269   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    270   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    271   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    272   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    273   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    274   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    275   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    276   0x00007fff, 0x00007fff, 0x00007fff, 0x00007fff,
    277   0x00005555, 0x00007fff, 0x00007fff, 0x00007fff,
    278   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    279   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    280   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    281   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    282   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    283   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    284   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    285   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    286   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    287   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    288   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    289   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    290   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    291   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    292   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    293   0x00007fff, 0x00007fff, 0x00007fff, 0x00008000,
    294   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    295   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    296   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    297   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    298   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    299   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    300   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    301   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    302   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    303   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    304   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    305   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    306   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    307   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    308   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    309   0x00007fff, 0x00007fff, 0x00008000, 0x00008000,
    310   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    311   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    312   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    313   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    314   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    315   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    316   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    317   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    318   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    319   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    320   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    321   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    322   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    323   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    324   0x00007fff, 0x00008000, 0x00008000, 0x00008000,
    325   0x00007fff, 0x00008000, 0x00008000, 0x0000aaaa,
    326   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    327   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    328   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    329   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    330   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    331   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    332   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    333   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    334   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    335   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    336   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    337   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    338   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    339   0x00008000, 0x00008000, 0x00008000, 0x00008000,
    340   0x00008000, 0x00008000, 0x00008000, 0x00009999,
    341   0x00008000, 0x00008000, 0x0000aaaa, 0x0000cccc,
    342   0x00008000, 0x00008000, 0x00008000, 0x0000c000,
    343   0x00008000, 0x00008000, 0x00008000, 0x0000e000,
    344   0x00008000, 0x00008000, 0x00008000, 0x0000f000,
    345   0x00008000, 0x00008000, 0x00008000, 0x0000f800,
    346   0x00008000, 0x00008000, 0x00008000, 0x0000fc00,
    347   0x00008000, 0x00008000, 0x00008000, 0x0000fe00,
    348   0x00008000, 0x00008000, 0x00008000, 0x0000ff00,
    349   0x00008000, 0x00008000, 0x00008000, 0x0000ff80,
    350   0x00008000, 0x00008000, 0x00008000, 0x0000ffc0,
    351   0x00008000, 0x00008000, 0x00008000, 0x0000ffe0,
    352   0x00008000, 0x00008000, 0x00008000, 0x0000fff0,
    353   0x00008000, 0x00008000, 0x00008000, 0x0000fff8,
    354   0x00008000, 0x00008000, 0x00008000, 0x0000fffc,
    355   0x00008000, 0x00008000, 0x00008000, 0x0000fffe,
    356   0x00008000, 0x00008000, 0x00009999, 0x0000ffff,
    357   0x00008000, 0x0000aaaa, 0x0000cccc, 0x0000ffff,
    358   0x00008000, 0x00008000, 0x0000c000, 0x0000c000,
    359   0x00008000, 0x00008000, 0x0000e000, 0x0000e000,
    360   0x00008000, 0x00008000, 0x0000f000, 0x0000f000,
    361   0x00008000, 0x00008000, 0x0000f800, 0x0000f800,
    362   0x00008000, 0x00008000, 0x0000fc00, 0x0000fc00,
    363   0x00008000, 0x00008000, 0x0000fe00, 0x0000fe00,
    364   0x00008000, 0x00008000, 0x0000ff00, 0x0000ff00,
    365   0x00008000, 0x00008000, 0x0000ff80, 0x0000ff80,
    366   0x00008000, 0x00008000, 0x0000ffc0, 0x0000ffc0,
    367   0x00008000, 0x00008000, 0x0000ffe0, 0x0000ffe0,
    368   0x00008000, 0x00008000, 0x0000fff0, 0x0000fff0,
    369   0x00008000, 0x00008000, 0x0000fff8, 0x0000fff8,
    370   0x00008000, 0x00008000, 0x0000fffc, 0x0000fffc,
    371   0x00008000, 0x00008000, 0x0000fffe, 0x0000fffe,
    372   0x00008000, 0x00009999, 0x0000ffff, 0x0000ffff,
    373   0x0000aaaa, 0x0000cccc, 0x0000ffff, 0x0000ffff,
    374   0x00008000, 0x0000c000, 0x0000c000, 0x0000c001,
    375   0x00008000, 0x0000e000, 0x0000e000, 0x0000e000,
    376   0x00008000, 0x0000f000, 0x0000f000, 0x0000f000,
    377   0x00008000, 0x0000f800, 0x0000f800, 0x0000f800,
    378   0x00008000, 0x0000fc00, 0x0000fc00, 0x0000fc00,
    379   0x00008000, 0x0000fe00, 0x0000fe00, 0x0000fe00,
    380   0x00008000, 0x0000ff00, 0x0000ff00, 0x0000ff00,
    381   0x00008000, 0x0000ff80, 0x0000ff80, 0x0000ff80,
    382   0x00008000, 0x0000ffc0, 0x0000ffc0, 0x0000ffc0,
    383   0x00008000, 0x0000ffe0, 0x0000ffe0, 0x0000ffe0,
    384   0x00008000, 0x0000fff0, 0x0000fff0, 0x0000fff0,
    385   0x00008000, 0x0000fff8, 0x0000fff8, 0x0000fff8,
    386   0x00008000, 0x0000fffc, 0x0000fffc, 0x0000fffc,
    387   0x00008000, 0x0000fffe, 0x0000fffe, 0x0000fffe,
    388   0x00009999, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    389   0x0000cccc, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    390   0x0000c000, 0x0000c000, 0x0000c001, 0x0000c001,
    391   0x0000e000, 0x0000e000, 0x0000e000, 0x0000e000,
    392   0x0000f000, 0x0000f000, 0x0000f000, 0x0000f000,
    393   0x0000f800, 0x0000f800, 0x0000f800, 0x0000f800,
    394   0x0000fc00, 0x0000fc00, 0x0000fc00, 0x0000fc00,
    395   0x0000fe00, 0x0000fe00, 0x0000fe00, 0x0000fe00,
    396   0x0000ff00, 0x0000ff00, 0x0000ff00, 0x0000ff00,
    397   0x0000ff80, 0x0000ff80, 0x0000ff80, 0x0000ff80,
    398   0x0000ffc0, 0x0000ffc0, 0x0000ffc0, 0x0000ffc0,
    399   0x0000ffe0, 0x0000ffe0, 0x0000ffe0, 0x0000ffe0,
    400   0x0000fff0, 0x0000fff0, 0x0000fff0, 0x0000fff0,
    401   0x0000fff8, 0x0000fff8, 0x0000fff8, 0x0000fff8,
    402   0x0000fffc, 0x0000fffc, 0x0000fffc, 0x0000fffc,
    403   0x0000fffe, 0x0000fffe, 0x0000fffe, 0x0000fffe,
    404   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    405   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    406   0x0000c000, 0x0000c001, 0x0000c001, 0x0000ffc0,
    407   0x0000e000, 0x0000e000, 0x0000e000, 0x0000ffe0,
    408   0x0000f000, 0x0000f000, 0x0000f000, 0x0000fff0,
    409   0x0000f800, 0x0000f800, 0x0000f800, 0x0000fff8,
    410   0x0000fc00, 0x0000fc00, 0x0000fc00, 0x0000fffc,
    411   0x0000fe00, 0x0000fe00, 0x0000fe00, 0x0000fffe,
    412   0x0000ff00, 0x0000ff00, 0x0000ff00, 0x0000ffff,
    413   0x0000ff80, 0x0000ff80, 0x0000ff80, 0x0000ffff,
    414   0x0000ffc0, 0x0000ffc0, 0x0000ffc0, 0x0000ffff,
    415   0x0000ffe0, 0x0000ffe0, 0x0000ffe0, 0x0000ffff,
    416   0x0000fff0, 0x0000fff0, 0x0000fff0, 0x0000ffff,
    417   0x0000fff8, 0x0000fff8, 0x0000fff8, 0x0000ffff,
    418   0x0000fffc, 0x0000fffc, 0x0000fffc, 0x0000ffff,
    419   0x0000fffe, 0x0000fffe, 0x0000fffe, 0x0000ffff,
    420   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    421   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    422   0x0000c001, 0x0000c001, 0x0000ffc0, 0x0000ffc0,
    423   0x0000e000, 0x0000e000, 0x0000ffe0, 0x0000ffe0,
    424   0x0000f000, 0x0000f000, 0x0000fff0, 0x0000fff0,
    425   0x0000f800, 0x0000f800, 0x0000fff8, 0x0000fff8,
    426   0x0000fc00, 0x0000fc00, 0x0000fffc, 0x0000fffc,
    427   0x0000fe00, 0x0000fe00, 0x0000fffe, 0x0000fffe,
    428   0x0000ff00, 0x0000ff00, 0x0000ffff, 0x0000ffff,
    429   0x0000ff80, 0x0000ff80, 0x0000ffff, 0x0000ffff,
    430   0x0000ffc0, 0x0000ffc0, 0x0000ffff, 0x0000ffff,
    431   0x0000ffe0, 0x0000ffe0, 0x0000ffff, 0x0000ffff,
    432   0x0000fff0, 0x0000fff0, 0x0000ffff, 0x0000ffff,
    433   0x0000fff8, 0x0000fff8, 0x0000ffff, 0x0000ffff,
    434   0x0000fffc, 0x0000fffc, 0x0000ffff, 0x0000ffff,
    435   0x0000fffe, 0x0000fffe, 0x0000ffff, 0x0000ffff,
    436   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    437   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    438   0x0000c001, 0x0000ffc0, 0x0000ffc0, 0x0000ffc1,
    439   0x0000e000, 0x0000ffe0, 0x0000ffe0, 0x0000ffe0,
    440   0x0000f000, 0x0000fff0, 0x0000fff0, 0x0000fff0,
    441   0x0000f800, 0x0000fff8, 0x0000fff8, 0x0000fff8,
    442   0x0000fc00, 0x0000fffc, 0x0000fffc, 0x0000fffc,
    443   0x0000fe00, 0x0000fffe, 0x0000fffe, 0x0000fffe,
    444   0x0000ff00, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    445   0x0000ff80, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    446   0x0000ffc0, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    447   0x0000ffe0, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    448   0x0000fff0, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    449   0x0000fff8, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    450   0x0000fffc, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    451   0x0000fffe, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    452   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    453   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    454   0x0000ffc0, 0x0000ffc0, 0x0000ffc1, 0x0000ffc1,
    455   0x0000ffe0, 0x0000ffe0, 0x0000ffe0, 0x0000ffe0,
    456   0x0000fff0, 0x0000fff0, 0x0000fff0, 0x0000fff0,
    457   0x0000fff8, 0x0000fff8, 0x0000fff8, 0x0000fff8,
    458   0x0000fffc, 0x0000fffc, 0x0000fffc, 0x0000fffc,
    459   0x0000fffe, 0x0000fffe, 0x0000fffe, 0x0000fffe,
    460   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    461   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    462   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    463   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    464   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    465   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    466   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    467   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    468   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    469   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    470   0x0000ffc0, 0x0000ffc1, 0x0000ffc1, 0x0000fff0,
    471   0x0000ffe0, 0x0000ffe0, 0x0000ffe0, 0x0000fff8,
    472   0x0000fff0, 0x0000fff0, 0x0000fff0, 0x0000fffc,
    473   0x0000fff8, 0x0000fff8, 0x0000fff8, 0x0000fffe,
    474   0x0000fffc, 0x0000fffc, 0x0000fffc, 0x0000ffff,
    475   0x0000fffe, 0x0000fffe, 0x0000fffe, 0x0000ffff,
    476   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    477   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    478   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    479   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    480   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    481   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    482   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    483   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    484   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    485   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    486   0x0000ffc1, 0x0000ffc1, 0x0000fff0, 0x0000fffe,
    487   0x0000ffe0, 0x0000ffe0, 0x0000fff8, 0x0000ffff,
    488   0x0000fff0, 0x0000fff0, 0x0000fffc, 0x0000ffff,
    489   0x0000fff8, 0x0000fff8, 0x0000fffe, 0x0000ffff,
    490   0x0000fffc, 0x0000fffc, 0x0000ffff, 0x0000ffff,
    491   0x0000fffe, 0x0000fffe, 0x0000ffff, 0x0000ffff,
    492   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    493   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    494   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    495   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    496   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    497   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    498   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    499   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    500   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    501   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    502   0x0000ffc1, 0x0000fff0, 0x0000fffe, 0x0000ffff,
    503   0x0000ffe0, 0x0000fff8, 0x0000ffff, 0x0000ffff,
    504   0x0000fff0, 0x0000fffc, 0x0000ffff, 0x0000ffff,
    505   0x0000fff8, 0x0000fffe, 0x0000ffff, 0x0000ffff,
    506   0x0000fffc, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    507   0x0000fffe, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    508   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    509   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    510   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    511   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    512   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    513   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    514   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    515   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    516   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    517   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    518   0x0000fff0, 0x0000fffe, 0x0000ffff, 0x0000ffff,
    519   0x0000fff8, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    520   0x0000fffc, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    521   0x0000fffe, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    522   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    523   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    524   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    525   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    526   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    527   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    528   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    529   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    530   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    531   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    532   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    533   0x0000ffff, 0x0000ffff, 0x0000ffff, 0x0000ffff,
    534 };
    535 const unsigned kExpectedCount_NEON_sqshrn_4H_2OPIMM = 496;
    536 
    537 #endif  // VIXL_SIM_SQSHRN_4H_2OPIMM_TRACE_A64_H_
    538