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_URSHR_8H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_URSHR_8H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_urshr_8H_2OPIMM[] = {
     38   0x7fc1, 0x7fc1, 0x7fc2, 0x7ff8, 0x7fff, 0x7fff, 0x8000, 0x0000,
     39   0x3fe0, 0x3fe1, 0x3fe1, 0x3ffc, 0x3fff, 0x4000, 0x4000, 0x0000,
     40   0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 0x2000, 0x2000, 0x2000, 0x0000,
     41   0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 0x1000, 0x1000, 0x1000, 0x0000,
     42   0x07fc, 0x07fc, 0x07fc, 0x0800, 0x0800, 0x0800, 0x0800, 0x0000,
     43   0x03fe, 0x03fe, 0x03fe, 0x0400, 0x0400, 0x0400, 0x0400, 0x0000,
     44   0x01ff, 0x01ff, 0x01ff, 0x0200, 0x0200, 0x0200, 0x0200, 0x0000,
     45   0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0000,
     46   0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0000,
     47   0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0000,
     48   0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0000,
     49   0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0000,
     50   0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0000,
     51   0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0000,
     52   0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0000,
     53   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0000,
     54   0x7fc1, 0x7fc2, 0x7ff8, 0x7fff, 0x7fff, 0x8000, 0x0000, 0x0001,
     55   0x3fe1, 0x3fe1, 0x3ffc, 0x3fff, 0x4000, 0x4000, 0x0000, 0x0000,
     56   0x1ff0, 0x1ff0, 0x1ffe, 0x2000, 0x2000, 0x2000, 0x0000, 0x0000,
     57   0x0ff8, 0x0ff8, 0x0fff, 0x1000, 0x1000, 0x1000, 0x0000, 0x0000,
     58   0x07fc, 0x07fc, 0x0800, 0x0800, 0x0800, 0x0800, 0x0000, 0x0000,
     59   0x03fe, 0x03fe, 0x0400, 0x0400, 0x0400, 0x0400, 0x0000, 0x0000,
     60   0x01ff, 0x01ff, 0x0200, 0x0200, 0x0200, 0x0200, 0x0000, 0x0000,
     61   0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0000, 0x0000,
     62   0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0000, 0x0000,
     63   0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0000, 0x0000,
     64   0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0000, 0x0000,
     65   0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0000, 0x0000,
     66   0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0000, 0x0000,
     67   0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0000, 0x0000,
     68   0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0000, 0x0000,
     69   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0000, 0x0000,
     70   0x7fc2, 0x7ff8, 0x7fff, 0x7fff, 0x8000, 0x0000, 0x0001, 0x0001,
     71   0x3fe1, 0x3ffc, 0x3fff, 0x4000, 0x4000, 0x0000, 0x0000, 0x0001,
     72   0x1ff0, 0x1ffe, 0x2000, 0x2000, 0x2000, 0x0000, 0x0000, 0x0000,
     73   0x0ff8, 0x0fff, 0x1000, 0x1000, 0x1000, 0x0000, 0x0000, 0x0000,
     74   0x07fc, 0x0800, 0x0800, 0x0800, 0x0800, 0x0000, 0x0000, 0x0000,
     75   0x03fe, 0x0400, 0x0400, 0x0400, 0x0400, 0x0000, 0x0000, 0x0000,
     76   0x01ff, 0x0200, 0x0200, 0x0200, 0x0200, 0x0000, 0x0000, 0x0000,
     77   0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0000, 0x0000, 0x0000,
     78   0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0000, 0x0000, 0x0000,
     79   0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0000, 0x0000, 0x0000,
     80   0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0000, 0x0000, 0x0000,
     81   0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0000, 0x0000, 0x0000,
     82   0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0000, 0x0000, 0x0000,
     83   0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0000, 0x0000, 0x0000,
     84   0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0000, 0x0000, 0x0000,
     85   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0000, 0x0000, 0x0000,
     86   0x7ff8, 0x7fff, 0x7fff, 0x8000, 0x0000, 0x0001, 0x0001, 0x0008,
     87   0x3ffc, 0x3fff, 0x4000, 0x4000, 0x0000, 0x0000, 0x0001, 0x0004,
     88   0x1ffe, 0x2000, 0x2000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0002,
     89   0x0fff, 0x1000, 0x1000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0001,
     90   0x0800, 0x0800, 0x0800, 0x0800, 0x0000, 0x0000, 0x0000, 0x0001,
     91   0x0400, 0x0400, 0x0400, 0x0400, 0x0000, 0x0000, 0x0000, 0x0000,
     92   0x0200, 0x0200, 0x0200, 0x0200, 0x0000, 0x0000, 0x0000, 0x0000,
     93   0x0100, 0x0100, 0x0100, 0x0100, 0x0000, 0x0000, 0x0000, 0x0000,
     94   0x0080, 0x0080, 0x0080, 0x0080, 0x0000, 0x0000, 0x0000, 0x0000,
     95   0x0040, 0x0040, 0x0040, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000,
     96   0x0020, 0x0020, 0x0020, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000,
     97   0x0010, 0x0010, 0x0010, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000,
     98   0x0008, 0x0008, 0x0008, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000,
     99   0x0004, 0x0004, 0x0004, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000,
    100   0x0002, 0x0002, 0x0002, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000,
    101   0x0001, 0x0001, 0x0001, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000,
    102   0x7fff, 0x7fff, 0x8000, 0x0000, 0x0001, 0x0001, 0x0008, 0x003f,
    103   0x3fff, 0x4000, 0x4000, 0x0000, 0x0000, 0x0001, 0x0004, 0x001f,
    104   0x2000, 0x2000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0010,
    105   0x1000, 0x1000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0008,
    106   0x0800, 0x0800, 0x0800, 0x0000, 0x0000, 0x0000, 0x0001, 0x0004,
    107   0x0400, 0x0400, 0x0400, 0x0000, 0x0000, 0x0000, 0x0000, 0x0002,
    108   0x0200, 0x0200, 0x0200, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    109   0x0100, 0x0100, 0x0100, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    110   0x0080, 0x0080, 0x0080, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    111   0x0040, 0x0040, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    112   0x0020, 0x0020, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    113   0x0010, 0x0010, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    114   0x0008, 0x0008, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    115   0x0004, 0x0004, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    116   0x0002, 0x0002, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    117   0x0001, 0x0001, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    118   0x7fff, 0x8000, 0x0000, 0x0001, 0x0001, 0x0008, 0x003f, 0x003f,
    119   0x4000, 0x4000, 0x0000, 0x0000, 0x0001, 0x0004, 0x001f, 0x0020,
    120   0x2000, 0x2000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0010, 0x0010,
    121   0x1000, 0x1000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0008, 0x0008,
    122   0x0800, 0x0800, 0x0000, 0x0000, 0x0000, 0x0001, 0x0004, 0x0004,
    123   0x0400, 0x0400, 0x0000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0002,
    124   0x0200, 0x0200, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
    125   0x0100, 0x0100, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    126   0x0080, 0x0080, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    127   0x0040, 0x0040, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    128   0x0020, 0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    129   0x0010, 0x0010, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    130   0x0008, 0x0008, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    131   0x0004, 0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    132   0x0002, 0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    133   0x0001, 0x0001, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    134   0x8000, 0x0000, 0x0001, 0x0001, 0x0008, 0x003f, 0x003f, 0x0040,
    135   0x4000, 0x0000, 0x0000, 0x0001, 0x0004, 0x001f, 0x0020, 0x0020,
    136   0x2000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0010, 0x0010, 0x0010,
    137   0x1000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0008, 0x0008, 0x0008,
    138   0x0800, 0x0000, 0x0000, 0x0000, 0x0001, 0x0004, 0x0004, 0x0004,
    139   0x0400, 0x0000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0002, 0x0002,
    140   0x0200, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
    141   0x0100, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    142   0x0080, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    143   0x0040, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    144   0x0020, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    145   0x0010, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    146   0x0008, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    147   0x0004, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    148   0x0002, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    149   0x0001, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    150   0x0000, 0x0001, 0x0001, 0x0008, 0x003f, 0x003f, 0x0040, 0x199a,
    151   0x0000, 0x0000, 0x0001, 0x0004, 0x001f, 0x0020, 0x0020, 0x0ccd,
    152   0x0000, 0x0000, 0x0000, 0x0002, 0x0010, 0x0010, 0x0010, 0x0666,
    153   0x0000, 0x0000, 0x0000, 0x0001, 0x0008, 0x0008, 0x0008, 0x0333,
    154   0x0000, 0x0000, 0x0000, 0x0001, 0x0004, 0x0004, 0x0004, 0x019a,
    155   0x0000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0002, 0x0002, 0x00cd,
    156   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0066,
    157   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033,
    158   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x001a,
    159   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000d,
    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, 0x0002,
    163   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    164   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    165   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    166   0x0001, 0x0001, 0x0008, 0x003f, 0x003f, 0x0040, 0x199a, 0x2aab,
    167   0x0000, 0x0001, 0x0004, 0x001f, 0x0020, 0x0020, 0x0ccd, 0x1555,
    168   0x0000, 0x0000, 0x0002, 0x0010, 0x0010, 0x0010, 0x0666, 0x0aab,
    169   0x0000, 0x0000, 0x0001, 0x0008, 0x0008, 0x0008, 0x0333, 0x0555,
    170   0x0000, 0x0000, 0x0001, 0x0004, 0x0004, 0x0004, 0x019a, 0x02ab,
    171   0x0000, 0x0000, 0x0000, 0x0002, 0x0002, 0x0002, 0x00cd, 0x0155,
    172   0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0066, 0x00ab,
    173   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055,
    174   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x001a, 0x002b,
    175   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000d, 0x0015,
    176   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000b,
    177   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005,
    178   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0003,
    179   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
    180   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    181   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    182   0x0001, 0x0008, 0x003f, 0x003f, 0x0040, 0x199a, 0x2aab, 0x3fff,
    183   0x0001, 0x0004, 0x001f, 0x0020, 0x0020, 0x0ccd, 0x1555, 0x1fff,
    184   0x0000, 0x0002, 0x0010, 0x0010, 0x0010, 0x0666, 0x0aab, 0x1000,
    185   0x0000, 0x0001, 0x0008, 0x0008, 0x0008, 0x0333, 0x0555, 0x0800,
    186   0x0000, 0x0001, 0x0004, 0x0004, 0x0004, 0x019a, 0x02ab, 0x0400,
    187   0x0000, 0x0000, 0x0002, 0x0002, 0x0002, 0x00cd, 0x0155, 0x0200,
    188   0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0066, 0x00ab, 0x0100,
    189   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x0080,
    190   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x001a, 0x002b, 0x0040,
    191   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x000d, 0x0015, 0x0020,
    192   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000b, 0x0010,
    193   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0008,
    194   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0003, 0x0004,
    195   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0002,
    196   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
    197   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    198   0x0008, 0x003f, 0x003f, 0x0040, 0x199a, 0x2aab, 0x3fff, 0x3fff,
    199   0x0004, 0x001f, 0x0020, 0x0020, 0x0ccd, 0x1555, 0x1fff, 0x2000,
    200   0x0002, 0x0010, 0x0010, 0x0010, 0x0666, 0x0aab, 0x1000, 0x1000,
    201   0x0001, 0x0008, 0x0008, 0x0008, 0x0333, 0x0555, 0x0800, 0x0800,
    202   0x0001, 0x0004, 0x0004, 0x0004, 0x019a, 0x02ab, 0x0400, 0x0400,
    203   0x0000, 0x0002, 0x0002, 0x0002, 0x00cd, 0x0155, 0x0200, 0x0200,
    204   0x0000, 0x0001, 0x0001, 0x0001, 0x0066, 0x00ab, 0x0100, 0x0100,
    205   0x0000, 0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x0080, 0x0080,
    206   0x0000, 0x0000, 0x0000, 0x0000, 0x001a, 0x002b, 0x0040, 0x0040,
    207   0x0000, 0x0000, 0x0000, 0x0000, 0x000d, 0x0015, 0x0020, 0x0020,
    208   0x0000, 0x0000, 0x0000, 0x0000, 0x0006, 0x000b, 0x0010, 0x0010,
    209   0x0000, 0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0008, 0x0008,
    210   0x0000, 0x0000, 0x0000, 0x0000, 0x0002, 0x0003, 0x0004, 0x0004,
    211   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0002, 0x0002,
    212   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
    213   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    214   0x003f, 0x003f, 0x0040, 0x199a, 0x2aab, 0x3fff, 0x3fff, 0x4000,
    215   0x001f, 0x0020, 0x0020, 0x0ccd, 0x1555, 0x1fff, 0x2000, 0x2000,
    216   0x0010, 0x0010, 0x0010, 0x0666, 0x0aab, 0x1000, 0x1000, 0x1000,
    217   0x0008, 0x0008, 0x0008, 0x0333, 0x0555, 0x0800, 0x0800, 0x0800,
    218   0x0004, 0x0004, 0x0004, 0x019a, 0x02ab, 0x0400, 0x0400, 0x0400,
    219   0x0002, 0x0002, 0x0002, 0x00cd, 0x0155, 0x0200, 0x0200, 0x0200,
    220   0x0001, 0x0001, 0x0001, 0x0066, 0x00ab, 0x0100, 0x0100, 0x0100,
    221   0x0000, 0x0000, 0x0000, 0x0033, 0x0055, 0x0080, 0x0080, 0x0080,
    222   0x0000, 0x0000, 0x0000, 0x001a, 0x002b, 0x0040, 0x0040, 0x0040,
    223   0x0000, 0x0000, 0x0000, 0x000d, 0x0015, 0x0020, 0x0020, 0x0020,
    224   0x0000, 0x0000, 0x0000, 0x0006, 0x000b, 0x0010, 0x0010, 0x0010,
    225   0x0000, 0x0000, 0x0000, 0x0003, 0x0005, 0x0008, 0x0008, 0x0008,
    226   0x0000, 0x0000, 0x0000, 0x0002, 0x0003, 0x0004, 0x0004, 0x0004,
    227   0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002,
    228   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001,
    229   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000,
    230   0x003f, 0x0040, 0x199a, 0x2aab, 0x3fff, 0x3fff, 0x4000, 0x4000,
    231   0x0020, 0x0020, 0x0ccd, 0x1555, 0x1fff, 0x2000, 0x2000, 0x2000,
    232   0x0010, 0x0010, 0x0666, 0x0aab, 0x1000, 0x1000, 0x1000, 0x1000,
    233   0x0008, 0x0008, 0x0333, 0x0555, 0x0800, 0x0800, 0x0800, 0x0800,
    234   0x0004, 0x0004, 0x019a, 0x02ab, 0x0400, 0x0400, 0x0400, 0x0400,
    235   0x0002, 0x0002, 0x00cd, 0x0155, 0x0200, 0x0200, 0x0200, 0x0200,
    236   0x0001, 0x0001, 0x0066, 0x00ab, 0x0100, 0x0100, 0x0100, 0x0100,
    237   0x0000, 0x0000, 0x0033, 0x0055, 0x0080, 0x0080, 0x0080, 0x0080,
    238   0x0000, 0x0000, 0x001a, 0x002b, 0x0040, 0x0040, 0x0040, 0x0040,
    239   0x0000, 0x0000, 0x000d, 0x0015, 0x0020, 0x0020, 0x0020, 0x0020,
    240   0x0000, 0x0000, 0x0006, 0x000b, 0x0010, 0x0010, 0x0010, 0x0010,
    241   0x0000, 0x0000, 0x0003, 0x0005, 0x0008, 0x0008, 0x0008, 0x0008,
    242   0x0000, 0x0000, 0x0002, 0x0003, 0x0004, 0x0004, 0x0004, 0x0004,
    243   0x0000, 0x0000, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0002,
    244   0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    245   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001,
    246   0x0040, 0x199a, 0x2aab, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x4001,
    247   0x0020, 0x0ccd, 0x1555, 0x1fff, 0x2000, 0x2000, 0x2000, 0x2000,
    248   0x0010, 0x0666, 0x0aab, 0x1000, 0x1000, 0x1000, 0x1000, 0x1000,
    249   0x0008, 0x0333, 0x0555, 0x0800, 0x0800, 0x0800, 0x0800, 0x0800,
    250   0x0004, 0x019a, 0x02ab, 0x0400, 0x0400, 0x0400, 0x0400, 0x0400,
    251   0x0002, 0x00cd, 0x0155, 0x0200, 0x0200, 0x0200, 0x0200, 0x0200,
    252   0x0001, 0x0066, 0x00ab, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100,
    253   0x0000, 0x0033, 0x0055, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
    254   0x0000, 0x001a, 0x002b, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040,
    255   0x0000, 0x000d, 0x0015, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020,
    256   0x0000, 0x0006, 0x000b, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010,
    257   0x0000, 0x0003, 0x0005, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008,
    258   0x0000, 0x0002, 0x0003, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004,
    259   0x0000, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002,
    260   0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    261   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001,
    262   0x199a, 0x2aab, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x4001, 0x5555,
    263   0x0ccd, 0x1555, 0x1fff, 0x2000, 0x2000, 0x2000, 0x2000, 0x2aab,
    264   0x0666, 0x0aab, 0x1000, 0x1000, 0x1000, 0x1000, 0x1000, 0x1555,
    265   0x0333, 0x0555, 0x0800, 0x0800, 0x0800, 0x0800, 0x0800, 0x0aab,
    266   0x019a, 0x02ab, 0x0400, 0x0400, 0x0400, 0x0400, 0x0400, 0x0555,
    267   0x00cd, 0x0155, 0x0200, 0x0200, 0x0200, 0x0200, 0x0200, 0x02ab,
    268   0x0066, 0x00ab, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0155,
    269   0x0033, 0x0055, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x00ab,
    270   0x001a, 0x002b, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0055,
    271   0x000d, 0x0015, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x002b,
    272   0x0006, 0x000b, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0015,
    273   0x0003, 0x0005, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x000b,
    274   0x0002, 0x0003, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0005,
    275   0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0003,
    276   0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    277   0x0000, 0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001,
    278   0x2aab, 0x3fff, 0x3fff, 0x4000, 0x4000, 0x4001, 0x5555, 0x6666,
    279   0x1555, 0x1fff, 0x2000, 0x2000, 0x2000, 0x2000, 0x2aab, 0x3333,
    280   0x0aab, 0x1000, 0x1000, 0x1000, 0x1000, 0x1000, 0x1555, 0x199a,
    281   0x0555, 0x0800, 0x0800, 0x0800, 0x0800, 0x0800, 0x0aab, 0x0ccd,
    282   0x02ab, 0x0400, 0x0400, 0x0400, 0x0400, 0x0400, 0x0555, 0x0666,
    283   0x0155, 0x0200, 0x0200, 0x0200, 0x0200, 0x0200, 0x02ab, 0x0333,
    284   0x00ab, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0155, 0x019a,
    285   0x0055, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x00ab, 0x00cd,
    286   0x002b, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0055, 0x0066,
    287   0x0015, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x002b, 0x0033,
    288   0x000b, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0015, 0x001a,
    289   0x0005, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x000b, 0x000d,
    290   0x0003, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0005, 0x0006,
    291   0x0001, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0003, 0x0003,
    292   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0002,
    293   0x0000, 0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001,
    294   0x3fff, 0x3fff, 0x4000, 0x4000, 0x4001, 0x5555, 0x6666, 0x7fc0,
    295   0x1fff, 0x2000, 0x2000, 0x2000, 0x2000, 0x2aab, 0x3333, 0x3fe0,
    296   0x1000, 0x1000, 0x1000, 0x1000, 0x1000, 0x1555, 0x199a, 0x1ff0,
    297   0x0800, 0x0800, 0x0800, 0x0800, 0x0800, 0x0aab, 0x0ccd, 0x0ff8,
    298   0x0400, 0x0400, 0x0400, 0x0400, 0x0400, 0x0555, 0x0666, 0x07fc,
    299   0x0200, 0x0200, 0x0200, 0x0200, 0x0200, 0x02ab, 0x0333, 0x03fe,
    300   0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0155, 0x019a, 0x01ff,
    301   0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x00ab, 0x00cd, 0x0100,
    302   0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0055, 0x0066, 0x0080,
    303   0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x002b, 0x0033, 0x0040,
    304   0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0015, 0x001a, 0x0020,
    305   0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x000b, 0x000d, 0x0010,
    306   0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0005, 0x0006, 0x0008,
    307   0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0003, 0x0003, 0x0004,
    308   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0002, 0x0002,
    309   0x0000, 0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    310   0x3fff, 0x4000, 0x4000, 0x4001, 0x5555, 0x6666, 0x7fc0, 0x7fc1,
    311   0x2000, 0x2000, 0x2000, 0x2000, 0x2aab, 0x3333, 0x3fe0, 0x3fe0,
    312   0x1000, 0x1000, 0x1000, 0x1000, 0x1555, 0x199a, 0x1ff0, 0x1ff0,
    313   0x0800, 0x0800, 0x0800, 0x0800, 0x0aab, 0x0ccd, 0x0ff8, 0x0ff8,
    314   0x0400, 0x0400, 0x0400, 0x0400, 0x0555, 0x0666, 0x07fc, 0x07fc,
    315   0x0200, 0x0200, 0x0200, 0x0200, 0x02ab, 0x0333, 0x03fe, 0x03fe,
    316   0x0100, 0x0100, 0x0100, 0x0100, 0x0155, 0x019a, 0x01ff, 0x01ff,
    317   0x0080, 0x0080, 0x0080, 0x0080, 0x00ab, 0x00cd, 0x0100, 0x0100,
    318   0x0040, 0x0040, 0x0040, 0x0040, 0x0055, 0x0066, 0x0080, 0x0080,
    319   0x0020, 0x0020, 0x0020, 0x0020, 0x002b, 0x0033, 0x0040, 0x0040,
    320   0x0010, 0x0010, 0x0010, 0x0010, 0x0015, 0x001a, 0x0020, 0x0020,
    321   0x0008, 0x0008, 0x0008, 0x0008, 0x000b, 0x000d, 0x0010, 0x0010,
    322   0x0004, 0x0004, 0x0004, 0x0004, 0x0005, 0x0006, 0x0008, 0x0008,
    323   0x0002, 0x0002, 0x0002, 0x0002, 0x0003, 0x0003, 0x0004, 0x0004,
    324   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002,
    325   0x0000, 0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    326   0x4000, 0x4000, 0x4001, 0x5555, 0x6666, 0x7fc0, 0x7fc1, 0x7fc1,
    327   0x2000, 0x2000, 0x2000, 0x2aab, 0x3333, 0x3fe0, 0x3fe0, 0x3fe1,
    328   0x1000, 0x1000, 0x1000, 0x1555, 0x199a, 0x1ff0, 0x1ff0, 0x1ff0,
    329   0x0800, 0x0800, 0x0800, 0x0aab, 0x0ccd, 0x0ff8, 0x0ff8, 0x0ff8,
    330   0x0400, 0x0400, 0x0400, 0x0555, 0x0666, 0x07fc, 0x07fc, 0x07fc,
    331   0x0200, 0x0200, 0x0200, 0x02ab, 0x0333, 0x03fe, 0x03fe, 0x03fe,
    332   0x0100, 0x0100, 0x0100, 0x0155, 0x019a, 0x01ff, 0x01ff, 0x01ff,
    333   0x0080, 0x0080, 0x0080, 0x00ab, 0x00cd, 0x0100, 0x0100, 0x0100,
    334   0x0040, 0x0040, 0x0040, 0x0055, 0x0066, 0x0080, 0x0080, 0x0080,
    335   0x0020, 0x0020, 0x0020, 0x002b, 0x0033, 0x0040, 0x0040, 0x0040,
    336   0x0010, 0x0010, 0x0010, 0x0015, 0x001a, 0x0020, 0x0020, 0x0020,
    337   0x0008, 0x0008, 0x0008, 0x000b, 0x000d, 0x0010, 0x0010, 0x0010,
    338   0x0004, 0x0004, 0x0004, 0x0005, 0x0006, 0x0008, 0x0008, 0x0008,
    339   0x0002, 0x0002, 0x0002, 0x0003, 0x0003, 0x0004, 0x0004, 0x0004,
    340   0x0001, 0x0001, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0002,
    341   0x0000, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    342   0x4000, 0x4001, 0x5555, 0x6666, 0x7fc0, 0x7fc1, 0x7fc1, 0x7fc2,
    343   0x2000, 0x2000, 0x2aab, 0x3333, 0x3fe0, 0x3fe0, 0x3fe1, 0x3fe1,
    344   0x1000, 0x1000, 0x1555, 0x199a, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0,
    345   0x0800, 0x0800, 0x0aab, 0x0ccd, 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8,
    346   0x0400, 0x0400, 0x0555, 0x0666, 0x07fc, 0x07fc, 0x07fc, 0x07fc,
    347   0x0200, 0x0200, 0x02ab, 0x0333, 0x03fe, 0x03fe, 0x03fe, 0x03fe,
    348   0x0100, 0x0100, 0x0155, 0x019a, 0x01ff, 0x01ff, 0x01ff, 0x01ff,
    349   0x0080, 0x0080, 0x00ab, 0x00cd, 0x0100, 0x0100, 0x0100, 0x0100,
    350   0x0040, 0x0040, 0x0055, 0x0066, 0x0080, 0x0080, 0x0080, 0x0080,
    351   0x0020, 0x0020, 0x002b, 0x0033, 0x0040, 0x0040, 0x0040, 0x0040,
    352   0x0010, 0x0010, 0x0015, 0x001a, 0x0020, 0x0020, 0x0020, 0x0020,
    353   0x0008, 0x0008, 0x000b, 0x000d, 0x0010, 0x0010, 0x0010, 0x0010,
    354   0x0004, 0x0004, 0x0005, 0x0006, 0x0008, 0x0008, 0x0008, 0x0008,
    355   0x0002, 0x0002, 0x0003, 0x0003, 0x0004, 0x0004, 0x0004, 0x0004,
    356   0x0001, 0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002,
    357   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    358   0x4001, 0x5555, 0x6666, 0x7fc0, 0x7fc1, 0x7fc1, 0x7fc2, 0x7ff8,
    359   0x2000, 0x2aab, 0x3333, 0x3fe0, 0x3fe0, 0x3fe1, 0x3fe1, 0x3ffc,
    360   0x1000, 0x1555, 0x199a, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe,
    361   0x0800, 0x0aab, 0x0ccd, 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff,
    362   0x0400, 0x0555, 0x0666, 0x07fc, 0x07fc, 0x07fc, 0x07fc, 0x0800,
    363   0x0200, 0x02ab, 0x0333, 0x03fe, 0x03fe, 0x03fe, 0x03fe, 0x0400,
    364   0x0100, 0x0155, 0x019a, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x0200,
    365   0x0080, 0x00ab, 0x00cd, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100,
    366   0x0040, 0x0055, 0x0066, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
    367   0x0020, 0x002b, 0x0033, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040,
    368   0x0010, 0x0015, 0x001a, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020,
    369   0x0008, 0x000b, 0x000d, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010,
    370   0x0004, 0x0005, 0x0006, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008,
    371   0x0002, 0x0003, 0x0003, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004,
    372   0x0001, 0x0001, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002,
    373   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    374   0x5555, 0x6666, 0x7fc0, 0x7fc1, 0x7fc1, 0x7fc2, 0x7ff8, 0x7fff,
    375   0x2aab, 0x3333, 0x3fe0, 0x3fe0, 0x3fe1, 0x3fe1, 0x3ffc, 0x3fff,
    376   0x1555, 0x199a, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 0x2000,
    377   0x0aab, 0x0ccd, 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 0x1000,
    378   0x0555, 0x0666, 0x07fc, 0x07fc, 0x07fc, 0x07fc, 0x0800, 0x0800,
    379   0x02ab, 0x0333, 0x03fe, 0x03fe, 0x03fe, 0x03fe, 0x0400, 0x0400,
    380   0x0155, 0x019a, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x0200, 0x0200,
    381   0x00ab, 0x00cd, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100,
    382   0x0055, 0x0066, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
    383   0x002b, 0x0033, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040,
    384   0x0015, 0x001a, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020,
    385   0x000b, 0x000d, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010,
    386   0x0005, 0x0006, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008,
    387   0x0003, 0x0003, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004,
    388   0x0001, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002,
    389   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    390   0x6666, 0x7fc0, 0x7fc1, 0x7fc1, 0x7fc2, 0x7ff8, 0x7fff, 0x7fff,
    391   0x3333, 0x3fe0, 0x3fe0, 0x3fe1, 0x3fe1, 0x3ffc, 0x3fff, 0x4000,
    392   0x199a, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 0x2000, 0x2000,
    393   0x0ccd, 0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 0x1000, 0x1000,
    394   0x0666, 0x07fc, 0x07fc, 0x07fc, 0x07fc, 0x0800, 0x0800, 0x0800,
    395   0x0333, 0x03fe, 0x03fe, 0x03fe, 0x03fe, 0x0400, 0x0400, 0x0400,
    396   0x019a, 0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x0200, 0x0200, 0x0200,
    397   0x00cd, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100,
    398   0x0066, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
    399   0x0033, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040,
    400   0x001a, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020,
    401   0x000d, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010,
    402   0x0006, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008,
    403   0x0003, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004,
    404   0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002,
    405   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    406   0x7fc0, 0x7fc1, 0x7fc1, 0x7fc2, 0x7ff8, 0x7fff, 0x7fff, 0x8000,
    407   0x3fe0, 0x3fe0, 0x3fe1, 0x3fe1, 0x3ffc, 0x3fff, 0x4000, 0x4000,
    408   0x1ff0, 0x1ff0, 0x1ff0, 0x1ff0, 0x1ffe, 0x2000, 0x2000, 0x2000,
    409   0x0ff8, 0x0ff8, 0x0ff8, 0x0ff8, 0x0fff, 0x1000, 0x1000, 0x1000,
    410   0x07fc, 0x07fc, 0x07fc, 0x07fc, 0x0800, 0x0800, 0x0800, 0x0800,
    411   0x03fe, 0x03fe, 0x03fe, 0x03fe, 0x0400, 0x0400, 0x0400, 0x0400,
    412   0x01ff, 0x01ff, 0x01ff, 0x01ff, 0x0200, 0x0200, 0x0200, 0x0200,
    413   0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100, 0x0100,
    414   0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080, 0x0080,
    415   0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040, 0x0040,
    416   0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020, 0x0020,
    417   0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010, 0x0010,
    418   0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008, 0x0008,
    419   0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004, 0x0004,
    420   0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002, 0x0002,
    421   0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001, 0x0001,
    422 };
    423 const unsigned kExpectedCount_NEON_urshr_8H_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_URSHR_8H_2OPIMM_TRACE_A64_H_
    426