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_SSHR_8H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SSHR_8H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_sshr_8H_2OPIMM[] = {
     38   0xffc0, 0xffc1, 0xffc1, 0xfff8, 0xfffe, 0xffff, 0xffff, 0x0000,
     39   0xffe0, 0xffe0, 0xffe0, 0xfffc, 0xffff, 0xffff, 0xffff, 0x0000,
     40   0xfff0, 0xfff0, 0xfff0, 0xfffe, 0xffff, 0xffff, 0xffff, 0x0000,
     41   0xfff8, 0xfff8, 0xfff8, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     42   0xfffc, 0xfffc, 0xfffc, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     43   0xfffe, 0xfffe, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     44   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     45   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     46   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     47   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     48   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     49   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     50   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     51   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     52   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     53   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
     54   0xffc1, 0xffc1, 0xfff8, 0xfffe, 0xffff, 0xffff, 0x0000, 0x0000,
     55   0xffe0, 0xffe0, 0xfffc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     56   0xfff0, 0xfff0, 0xfffe, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     57   0xfff8, 0xfff8, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     58   0xfffc, 0xfffc, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     59   0xfffe, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     60   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     61   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     62   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     63   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     64   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     65   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     66   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     67   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     68   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     69   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000,
     70   0xffc1, 0xfff8, 0xfffe, 0xffff, 0xffff, 0x0000, 0x0000, 0x0001,
     71   0xffe0, 0xfffc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     72   0xfff0, 0xfffe, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     73   0xfff8, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     74   0xfffc, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     75   0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     76   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     77   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     78   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     79   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     80   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     81   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     82   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     83   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     84   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     85   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000,
     86   0xfff8, 0xfffe, 0xffff, 0xffff, 0x0000, 0x0000, 0x0001, 0x0008,
     87   0xfffc, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0004,
     88   0xfffe, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0002,
     89   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0001,
     90   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     91   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     92   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     93   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     94   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     95   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     96   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     97   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     98   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
     99   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    100   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    101   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000,
    102   0xfffe, 0xffff, 0xffff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e,
    103   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f,
    104   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f,
    105   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007,
    106   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003,
    107   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    108   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    109   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    110   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    111   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    112   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    113   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    114   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    115   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    116   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    117   0xffff, 0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    118   0xffff, 0xffff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f,
    119   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f,
    120   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f,
    121   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007,
    122   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003,
    123   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
    124   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    125   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    126   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    127   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    128   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    129   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    130   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    131   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    132   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    133   0xffff, 0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    134   0xffff, 0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f,
    135   0xffff, 0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f,
    136   0xffff, 0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f,
    137   0xffff, 0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007,
    138   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003,
    139   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
    140   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    141   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    142   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    143   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    144   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    145   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    146   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    147   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    148   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    149   0xffff, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    150   0x0000, 0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999,
    151   0x0000, 0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc,
    152   0x0000, 0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666,
    153   0x0000, 0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333,
    154   0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199,
    155   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc,
    156   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066,
    157   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033,
    158   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019,
    159   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c,
    160   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006,
    161   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003,
    162   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    163   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    164   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    165   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    166   0x0000, 0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa,
    167   0x0000, 0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555,
    168   0x0000, 0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa,
    169   0x0000, 0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555,
    170   0x0000, 0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa,
    171   0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155,
    172   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa,
    173   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055,
    174   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a,
    175   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015,
    176   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a,
    177   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005,
    178   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002,
    179   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    180   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    181   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    182   0x0001, 0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe,
    183   0x0000, 0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff,
    184   0x0000, 0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff,
    185   0x0000, 0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff,
    186   0x0000, 0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff,
    187   0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff,
    188   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff,
    189   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f,
    190   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f,
    191   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f,
    192   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f,
    193   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007,
    194   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003,
    195   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
    196   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    197   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    198   0x0008, 0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff,
    199   0x0004, 0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff,
    200   0x0002, 0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff,
    201   0x0001, 0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff,
    202   0x0000, 0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff,
    203   0x0000, 0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff,
    204   0x0000, 0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff,
    205   0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f,
    206   0x0000, 0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f,
    207   0x0000, 0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f,
    208   0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f,
    209   0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007,
    210   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003,
    211   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
    212   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    213   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    214   0x003e, 0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff,
    215   0x001f, 0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff,
    216   0x000f, 0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff,
    217   0x0007, 0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff,
    218   0x0003, 0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff,
    219   0x0001, 0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff,
    220   0x0000, 0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff,
    221   0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f,
    222   0x0000, 0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f,
    223   0x0000, 0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f,
    224   0x0000, 0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f,
    225   0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007,
    226   0x0000, 0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003,
    227   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001,
    228   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    229   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    230   0x003f, 0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0xc000,
    231   0x001f, 0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0xe000,
    232   0x000f, 0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0xf000,
    233   0x0007, 0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0xf800,
    234   0x0003, 0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0xfc00,
    235   0x0001, 0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0xfe00,
    236   0x0000, 0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0xff00,
    237   0x0000, 0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0xff80,
    238   0x0000, 0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0xffc0,
    239   0x0000, 0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0xffe0,
    240   0x0000, 0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0xfff0,
    241   0x0000, 0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0xfff8,
    242   0x0000, 0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0xfffc,
    243   0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0xfffe,
    244   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xffff,
    245   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xffff,
    246   0x003f, 0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0xc000, 0xc000,
    247   0x001f, 0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0xe000, 0xe000,
    248   0x000f, 0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0xf000, 0xf000,
    249   0x0007, 0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0xf800, 0xf800,
    250   0x0003, 0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0xfc00, 0xfc00,
    251   0x0001, 0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0xfe00, 0xfe00,
    252   0x0000, 0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0xff00, 0xff00,
    253   0x0000, 0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0xff80, 0xff80,
    254   0x0000, 0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0xffc0, 0xffc0,
    255   0x0000, 0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0xffe0, 0xffe0,
    256   0x0000, 0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0xfff0, 0xfff0,
    257   0x0000, 0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0xfff8, 0xfff8,
    258   0x0000, 0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0xfffc, 0xfffc,
    259   0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0xfffe, 0xfffe,
    260   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xffff, 0xffff,
    261   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xffff, 0xffff,
    262   0x1999, 0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0xc000, 0xc000, 0xd555,
    263   0x0ccc, 0x1555, 0x1fff, 0x1fff, 0x1fff, 0xe000, 0xe000, 0xeaaa,
    264   0x0666, 0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0xf000, 0xf000, 0xf555,
    265   0x0333, 0x0555, 0x07ff, 0x07ff, 0x07ff, 0xf800, 0xf800, 0xfaaa,
    266   0x0199, 0x02aa, 0x03ff, 0x03ff, 0x03ff, 0xfc00, 0xfc00, 0xfd55,
    267   0x00cc, 0x0155, 0x01ff, 0x01ff, 0x01ff, 0xfe00, 0xfe00, 0xfeaa,
    268   0x0066, 0x00aa, 0x00ff, 0x00ff, 0x00ff, 0xff00, 0xff00, 0xff55,
    269   0x0033, 0x0055, 0x007f, 0x007f, 0x007f, 0xff80, 0xff80, 0xffaa,
    270   0x0019, 0x002a, 0x003f, 0x003f, 0x003f, 0xffc0, 0xffc0, 0xffd5,
    271   0x000c, 0x0015, 0x001f, 0x001f, 0x001f, 0xffe0, 0xffe0, 0xffea,
    272   0x0006, 0x000a, 0x000f, 0x000f, 0x000f, 0xfff0, 0xfff0, 0xfff5,
    273   0x0003, 0x0005, 0x0007, 0x0007, 0x0007, 0xfff8, 0xfff8, 0xfffa,
    274   0x0001, 0x0002, 0x0003, 0x0003, 0x0003, 0xfffc, 0xfffc, 0xfffd,
    275   0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0xfffe, 0xfffe, 0xfffe,
    276   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xffff, 0xffff, 0xffff,
    277   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0xffff, 0xffff, 0xffff,
    278   0x2aaa, 0x3ffe, 0x3fff, 0x3fff, 0xc000, 0xc000, 0xd555, 0xe666,
    279   0x1555, 0x1fff, 0x1fff, 0x1fff, 0xe000, 0xe000, 0xeaaa, 0xf333,
    280   0x0aaa, 0x0fff, 0x0fff, 0x0fff, 0xf000, 0xf000, 0xf555, 0xf999,
    281   0x0555, 0x07ff, 0x07ff, 0x07ff, 0xf800, 0xf800, 0xfaaa, 0xfccc,
    282   0x02aa, 0x03ff, 0x03ff, 0x03ff, 0xfc00, 0xfc00, 0xfd55, 0xfe66,
    283   0x0155, 0x01ff, 0x01ff, 0x01ff, 0xfe00, 0xfe00, 0xfeaa, 0xff33,
    284   0x00aa, 0x00ff, 0x00ff, 0x00ff, 0xff00, 0xff00, 0xff55, 0xff99,
    285   0x0055, 0x007f, 0x007f, 0x007f, 0xff80, 0xff80, 0xffaa, 0xffcc,
    286   0x002a, 0x003f, 0x003f, 0x003f, 0xffc0, 0xffc0, 0xffd5, 0xffe6,
    287   0x0015, 0x001f, 0x001f, 0x001f, 0xffe0, 0xffe0, 0xffea, 0xfff3,
    288   0x000a, 0x000f, 0x000f, 0x000f, 0xfff0, 0xfff0, 0xfff5, 0xfff9,
    289   0x0005, 0x0007, 0x0007, 0x0007, 0xfff8, 0xfff8, 0xfffa, 0xfffc,
    290   0x0002, 0x0003, 0x0003, 0x0003, 0xfffc, 0xfffc, 0xfffd, 0xfffe,
    291   0x0001, 0x0001, 0x0001, 0x0001, 0xfffe, 0xfffe, 0xfffe, 0xffff,
    292   0x0000, 0x0000, 0x0000, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff,
    293   0x0000, 0x0000, 0x0000, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff,
    294   0x3ffe, 0x3fff, 0x3fff, 0xc000, 0xc000, 0xd555, 0xe666, 0xffc0,
    295   0x1fff, 0x1fff, 0x1fff, 0xe000, 0xe000, 0xeaaa, 0xf333, 0xffe0,
    296   0x0fff, 0x0fff, 0x0fff, 0xf000, 0xf000, 0xf555, 0xf999, 0xfff0,
    297   0x07ff, 0x07ff, 0x07ff, 0xf800, 0xf800, 0xfaaa, 0xfccc, 0xfff8,
    298   0x03ff, 0x03ff, 0x03ff, 0xfc00, 0xfc00, 0xfd55, 0xfe66, 0xfffc,
    299   0x01ff, 0x01ff, 0x01ff, 0xfe00, 0xfe00, 0xfeaa, 0xff33, 0xfffe,
    300   0x00ff, 0x00ff, 0x00ff, 0xff00, 0xff00, 0xff55, 0xff99, 0xffff,
    301   0x007f, 0x007f, 0x007f, 0xff80, 0xff80, 0xffaa, 0xffcc, 0xffff,
    302   0x003f, 0x003f, 0x003f, 0xffc0, 0xffc0, 0xffd5, 0xffe6, 0xffff,
    303   0x001f, 0x001f, 0x001f, 0xffe0, 0xffe0, 0xffea, 0xfff3, 0xffff,
    304   0x000f, 0x000f, 0x000f, 0xfff0, 0xfff0, 0xfff5, 0xfff9, 0xffff,
    305   0x0007, 0x0007, 0x0007, 0xfff8, 0xfff8, 0xfffa, 0xfffc, 0xffff,
    306   0x0003, 0x0003, 0x0003, 0xfffc, 0xfffc, 0xfffd, 0xfffe, 0xffff,
    307   0x0001, 0x0001, 0x0001, 0xfffe, 0xfffe, 0xfffe, 0xffff, 0xffff,
    308   0x0000, 0x0000, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    309   0x0000, 0x0000, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    310   0x3fff, 0x3fff, 0xc000, 0xc000, 0xd555, 0xe666, 0xffc0, 0xffc0,
    311   0x1fff, 0x1fff, 0xe000, 0xe000, 0xeaaa, 0xf333, 0xffe0, 0xffe0,
    312   0x0fff, 0x0fff, 0xf000, 0xf000, 0xf555, 0xf999, 0xfff0, 0xfff0,
    313   0x07ff, 0x07ff, 0xf800, 0xf800, 0xfaaa, 0xfccc, 0xfff8, 0xfff8,
    314   0x03ff, 0x03ff, 0xfc00, 0xfc00, 0xfd55, 0xfe66, 0xfffc, 0xfffc,
    315   0x01ff, 0x01ff, 0xfe00, 0xfe00, 0xfeaa, 0xff33, 0xfffe, 0xfffe,
    316   0x00ff, 0x00ff, 0xff00, 0xff00, 0xff55, 0xff99, 0xffff, 0xffff,
    317   0x007f, 0x007f, 0xff80, 0xff80, 0xffaa, 0xffcc, 0xffff, 0xffff,
    318   0x003f, 0x003f, 0xffc0, 0xffc0, 0xffd5, 0xffe6, 0xffff, 0xffff,
    319   0x001f, 0x001f, 0xffe0, 0xffe0, 0xffea, 0xfff3, 0xffff, 0xffff,
    320   0x000f, 0x000f, 0xfff0, 0xfff0, 0xfff5, 0xfff9, 0xffff, 0xffff,
    321   0x0007, 0x0007, 0xfff8, 0xfff8, 0xfffa, 0xfffc, 0xffff, 0xffff,
    322   0x0003, 0x0003, 0xfffc, 0xfffc, 0xfffd, 0xfffe, 0xffff, 0xffff,
    323   0x0001, 0x0001, 0xfffe, 0xfffe, 0xfffe, 0xffff, 0xffff, 0xffff,
    324   0x0000, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    325   0x0000, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    326   0x3fff, 0xc000, 0xc000, 0xd555, 0xe666, 0xffc0, 0xffc0, 0xffc1,
    327   0x1fff, 0xe000, 0xe000, 0xeaaa, 0xf333, 0xffe0, 0xffe0, 0xffe0,
    328   0x0fff, 0xf000, 0xf000, 0xf555, 0xf999, 0xfff0, 0xfff0, 0xfff0,
    329   0x07ff, 0xf800, 0xf800, 0xfaaa, 0xfccc, 0xfff8, 0xfff8, 0xfff8,
    330   0x03ff, 0xfc00, 0xfc00, 0xfd55, 0xfe66, 0xfffc, 0xfffc, 0xfffc,
    331   0x01ff, 0xfe00, 0xfe00, 0xfeaa, 0xff33, 0xfffe, 0xfffe, 0xfffe,
    332   0x00ff, 0xff00, 0xff00, 0xff55, 0xff99, 0xffff, 0xffff, 0xffff,
    333   0x007f, 0xff80, 0xff80, 0xffaa, 0xffcc, 0xffff, 0xffff, 0xffff,
    334   0x003f, 0xffc0, 0xffc0, 0xffd5, 0xffe6, 0xffff, 0xffff, 0xffff,
    335   0x001f, 0xffe0, 0xffe0, 0xffea, 0xfff3, 0xffff, 0xffff, 0xffff,
    336   0x000f, 0xfff0, 0xfff0, 0xfff5, 0xfff9, 0xffff, 0xffff, 0xffff,
    337   0x0007, 0xfff8, 0xfff8, 0xfffa, 0xfffc, 0xffff, 0xffff, 0xffff,
    338   0x0003, 0xfffc, 0xfffc, 0xfffd, 0xfffe, 0xffff, 0xffff, 0xffff,
    339   0x0001, 0xfffe, 0xfffe, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff,
    340   0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    341   0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    342   0xc000, 0xc000, 0xd555, 0xe666, 0xffc0, 0xffc0, 0xffc1, 0xffc1,
    343   0xe000, 0xe000, 0xeaaa, 0xf333, 0xffe0, 0xffe0, 0xffe0, 0xffe0,
    344   0xf000, 0xf000, 0xf555, 0xf999, 0xfff0, 0xfff0, 0xfff0, 0xfff0,
    345   0xf800, 0xf800, 0xfaaa, 0xfccc, 0xfff8, 0xfff8, 0xfff8, 0xfff8,
    346   0xfc00, 0xfc00, 0xfd55, 0xfe66, 0xfffc, 0xfffc, 0xfffc, 0xfffc,
    347   0xfe00, 0xfe00, 0xfeaa, 0xff33, 0xfffe, 0xfffe, 0xfffe, 0xfffe,
    348   0xff00, 0xff00, 0xff55, 0xff99, 0xffff, 0xffff, 0xffff, 0xffff,
    349   0xff80, 0xff80, 0xffaa, 0xffcc, 0xffff, 0xffff, 0xffff, 0xffff,
    350   0xffc0, 0xffc0, 0xffd5, 0xffe6, 0xffff, 0xffff, 0xffff, 0xffff,
    351   0xffe0, 0xffe0, 0xffea, 0xfff3, 0xffff, 0xffff, 0xffff, 0xffff,
    352   0xfff0, 0xfff0, 0xfff5, 0xfff9, 0xffff, 0xffff, 0xffff, 0xffff,
    353   0xfff8, 0xfff8, 0xfffa, 0xfffc, 0xffff, 0xffff, 0xffff, 0xffff,
    354   0xfffc, 0xfffc, 0xfffd, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff,
    355   0xfffe, 0xfffe, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    356   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    357   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    358   0xc000, 0xd555, 0xe666, 0xffc0, 0xffc0, 0xffc1, 0xffc1, 0xfff8,
    359   0xe000, 0xeaaa, 0xf333, 0xffe0, 0xffe0, 0xffe0, 0xffe0, 0xfffc,
    360   0xf000, 0xf555, 0xf999, 0xfff0, 0xfff0, 0xfff0, 0xfff0, 0xfffe,
    361   0xf800, 0xfaaa, 0xfccc, 0xfff8, 0xfff8, 0xfff8, 0xfff8, 0xffff,
    362   0xfc00, 0xfd55, 0xfe66, 0xfffc, 0xfffc, 0xfffc, 0xfffc, 0xffff,
    363   0xfe00, 0xfeaa, 0xff33, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffff,
    364   0xff00, 0xff55, 0xff99, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    365   0xff80, 0xffaa, 0xffcc, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    366   0xffc0, 0xffd5, 0xffe6, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    367   0xffe0, 0xffea, 0xfff3, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    368   0xfff0, 0xfff5, 0xfff9, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    369   0xfff8, 0xfffa, 0xfffc, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    370   0xfffc, 0xfffd, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    371   0xfffe, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    372   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    373   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    374   0xd555, 0xe666, 0xffc0, 0xffc0, 0xffc1, 0xffc1, 0xfff8, 0xfffe,
    375   0xeaaa, 0xf333, 0xffe0, 0xffe0, 0xffe0, 0xffe0, 0xfffc, 0xffff,
    376   0xf555, 0xf999, 0xfff0, 0xfff0, 0xfff0, 0xfff0, 0xfffe, 0xffff,
    377   0xfaaa, 0xfccc, 0xfff8, 0xfff8, 0xfff8, 0xfff8, 0xffff, 0xffff,
    378   0xfd55, 0xfe66, 0xfffc, 0xfffc, 0xfffc, 0xfffc, 0xffff, 0xffff,
    379   0xfeaa, 0xff33, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffff, 0xffff,
    380   0xff55, 0xff99, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    381   0xffaa, 0xffcc, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    382   0xffd5, 0xffe6, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    383   0xffea, 0xfff3, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    384   0xfff5, 0xfff9, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    385   0xfffa, 0xfffc, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    386   0xfffd, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    387   0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    388   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    389   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    390   0xe666, 0xffc0, 0xffc0, 0xffc1, 0xffc1, 0xfff8, 0xfffe, 0xffff,
    391   0xf333, 0xffe0, 0xffe0, 0xffe0, 0xffe0, 0xfffc, 0xffff, 0xffff,
    392   0xf999, 0xfff0, 0xfff0, 0xfff0, 0xfff0, 0xfffe, 0xffff, 0xffff,
    393   0xfccc, 0xfff8, 0xfff8, 0xfff8, 0xfff8, 0xffff, 0xffff, 0xffff,
    394   0xfe66, 0xfffc, 0xfffc, 0xfffc, 0xfffc, 0xffff, 0xffff, 0xffff,
    395   0xff33, 0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffff, 0xffff, 0xffff,
    396   0xff99, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    397   0xffcc, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    398   0xffe6, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    399   0xfff3, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    400   0xfff9, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    401   0xfffc, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    402   0xfffe, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    403   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    404   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    405   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    406   0xffc0, 0xffc0, 0xffc1, 0xffc1, 0xfff8, 0xfffe, 0xffff, 0xffff,
    407   0xffe0, 0xffe0, 0xffe0, 0xffe0, 0xfffc, 0xffff, 0xffff, 0xffff,
    408   0xfff0, 0xfff0, 0xfff0, 0xfff0, 0xfffe, 0xffff, 0xffff, 0xffff,
    409   0xfff8, 0xfff8, 0xfff8, 0xfff8, 0xffff, 0xffff, 0xffff, 0xffff,
    410   0xfffc, 0xfffc, 0xfffc, 0xfffc, 0xffff, 0xffff, 0xffff, 0xffff,
    411   0xfffe, 0xfffe, 0xfffe, 0xfffe, 0xffff, 0xffff, 0xffff, 0xffff,
    412   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    413   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    414   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    415   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    416   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    417   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    418   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    419   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    420   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    421   0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff, 0xffff,
    422 };
    423 const unsigned kExpectedCount_NEON_sshr_8H_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_SSHR_8H_2OPIMM_TRACE_A64_H_
    426