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_SHL_8H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SHL_8H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_shl_8H_2OPIMM[] = {
     38   0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff, 0x0000,
     39   0xff02, 0xff04, 0xff06, 0xffe0, 0xfffa, 0xfffc, 0xfffe, 0x0000,
     40   0xfe04, 0xfe08, 0xfe0c, 0xffc0, 0xfff4, 0xfff8, 0xfffc, 0x0000,
     41   0xfc08, 0xfc10, 0xfc18, 0xff80, 0xffe8, 0xfff0, 0xfff8, 0x0000,
     42   0xf810, 0xf820, 0xf830, 0xff00, 0xffd0, 0xffe0, 0xfff0, 0x0000,
     43   0xf020, 0xf040, 0xf060, 0xfe00, 0xffa0, 0xffc0, 0xffe0, 0x0000,
     44   0xe040, 0xe080, 0xe0c0, 0xfc00, 0xff40, 0xff80, 0xffc0, 0x0000,
     45   0xc080, 0xc100, 0xc180, 0xf800, 0xfe80, 0xff00, 0xff80, 0x0000,
     46   0x8100, 0x8200, 0x8300, 0xf000, 0xfd00, 0xfe00, 0xff00, 0x0000,
     47   0x0200, 0x0400, 0x0600, 0xe000, 0xfa00, 0xfc00, 0xfe00, 0x0000,
     48   0x0400, 0x0800, 0x0c00, 0xc000, 0xf400, 0xf800, 0xfc00, 0x0000,
     49   0x0800, 0x1000, 0x1800, 0x8000, 0xe800, 0xf000, 0xf800, 0x0000,
     50   0x1000, 0x2000, 0x3000, 0x0000, 0xd000, 0xe000, 0xf000, 0x0000,
     51   0x2000, 0x4000, 0x6000, 0x0000, 0xa000, 0xc000, 0xe000, 0x0000,
     52   0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0xc000, 0x0000,
     53   0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000,
     54   0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff, 0x0000, 0x0001,
     55   0xff04, 0xff06, 0xffe0, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002,
     56   0xfe08, 0xfe0c, 0xffc0, 0xfff4, 0xfff8, 0xfffc, 0x0000, 0x0004,
     57   0xfc10, 0xfc18, 0xff80, 0xffe8, 0xfff0, 0xfff8, 0x0000, 0x0008,
     58   0xf820, 0xf830, 0xff00, 0xffd0, 0xffe0, 0xfff0, 0x0000, 0x0010,
     59   0xf040, 0xf060, 0xfe00, 0xffa0, 0xffc0, 0xffe0, 0x0000, 0x0020,
     60   0xe080, 0xe0c0, 0xfc00, 0xff40, 0xff80, 0xffc0, 0x0000, 0x0040,
     61   0xc100, 0xc180, 0xf800, 0xfe80, 0xff00, 0xff80, 0x0000, 0x0080,
     62   0x8200, 0x8300, 0xf000, 0xfd00, 0xfe00, 0xff00, 0x0000, 0x0100,
     63   0x0400, 0x0600, 0xe000, 0xfa00, 0xfc00, 0xfe00, 0x0000, 0x0200,
     64   0x0800, 0x0c00, 0xc000, 0xf400, 0xf800, 0xfc00, 0x0000, 0x0400,
     65   0x1000, 0x1800, 0x8000, 0xe800, 0xf000, 0xf800, 0x0000, 0x0800,
     66   0x2000, 0x3000, 0x0000, 0xd000, 0xe000, 0xf000, 0x0000, 0x1000,
     67   0x4000, 0x6000, 0x0000, 0xa000, 0xc000, 0xe000, 0x0000, 0x2000,
     68   0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000,
     69   0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000,
     70   0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff, 0x0000, 0x0001, 0x0002,
     71   0xff06, 0xffe0, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0004,
     72   0xfe0c, 0xffc0, 0xfff4, 0xfff8, 0xfffc, 0x0000, 0x0004, 0x0008,
     73   0xfc18, 0xff80, 0xffe8, 0xfff0, 0xfff8, 0x0000, 0x0008, 0x0010,
     74   0xf830, 0xff00, 0xffd0, 0xffe0, 0xfff0, 0x0000, 0x0010, 0x0020,
     75   0xf060, 0xfe00, 0xffa0, 0xffc0, 0xffe0, 0x0000, 0x0020, 0x0040,
     76   0xe0c0, 0xfc00, 0xff40, 0xff80, 0xffc0, 0x0000, 0x0040, 0x0080,
     77   0xc180, 0xf800, 0xfe80, 0xff00, 0xff80, 0x0000, 0x0080, 0x0100,
     78   0x8300, 0xf000, 0xfd00, 0xfe00, 0xff00, 0x0000, 0x0100, 0x0200,
     79   0x0600, 0xe000, 0xfa00, 0xfc00, 0xfe00, 0x0000, 0x0200, 0x0400,
     80   0x0c00, 0xc000, 0xf400, 0xf800, 0xfc00, 0x0000, 0x0400, 0x0800,
     81   0x1800, 0x8000, 0xe800, 0xf000, 0xf800, 0x0000, 0x0800, 0x1000,
     82   0x3000, 0x0000, 0xd000, 0xe000, 0xf000, 0x0000, 0x1000, 0x2000,
     83   0x6000, 0x0000, 0xa000, 0xc000, 0xe000, 0x0000, 0x2000, 0x4000,
     84   0xc000, 0x0000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000,
     85   0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000,
     86   0xfff0, 0xfffd, 0xfffe, 0xffff, 0x0000, 0x0001, 0x0002, 0x0010,
     87   0xffe0, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0020,
     88   0xffc0, 0xfff4, 0xfff8, 0xfffc, 0x0000, 0x0004, 0x0008, 0x0040,
     89   0xff80, 0xffe8, 0xfff0, 0xfff8, 0x0000, 0x0008, 0x0010, 0x0080,
     90   0xff00, 0xffd0, 0xffe0, 0xfff0, 0x0000, 0x0010, 0x0020, 0x0100,
     91   0xfe00, 0xffa0, 0xffc0, 0xffe0, 0x0000, 0x0020, 0x0040, 0x0200,
     92   0xfc00, 0xff40, 0xff80, 0xffc0, 0x0000, 0x0040, 0x0080, 0x0400,
     93   0xf800, 0xfe80, 0xff00, 0xff80, 0x0000, 0x0080, 0x0100, 0x0800,
     94   0xf000, 0xfd00, 0xfe00, 0xff00, 0x0000, 0x0100, 0x0200, 0x1000,
     95   0xe000, 0xfa00, 0xfc00, 0xfe00, 0x0000, 0x0200, 0x0400, 0x2000,
     96   0xc000, 0xf400, 0xf800, 0xfc00, 0x0000, 0x0400, 0x0800, 0x4000,
     97   0x8000, 0xe800, 0xf000, 0xf800, 0x0000, 0x0800, 0x1000, 0x8000,
     98   0x0000, 0xd000, 0xe000, 0xf000, 0x0000, 0x1000, 0x2000, 0x0000,
     99   0x0000, 0xa000, 0xc000, 0xe000, 0x0000, 0x2000, 0x4000, 0x0000,
    100   0x0000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0x0000,
    101   0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x0000,
    102   0xfffd, 0xfffe, 0xffff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    103   0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0020, 0x00fa,
    104   0xfff4, 0xfff8, 0xfffc, 0x0000, 0x0004, 0x0008, 0x0040, 0x01f4,
    105   0xffe8, 0xfff0, 0xfff8, 0x0000, 0x0008, 0x0010, 0x0080, 0x03e8,
    106   0xffd0, 0xffe0, 0xfff0, 0x0000, 0x0010, 0x0020, 0x0100, 0x07d0,
    107   0xffa0, 0xffc0, 0xffe0, 0x0000, 0x0020, 0x0040, 0x0200, 0x0fa0,
    108   0xff40, 0xff80, 0xffc0, 0x0000, 0x0040, 0x0080, 0x0400, 0x1f40,
    109   0xfe80, 0xff00, 0xff80, 0x0000, 0x0080, 0x0100, 0x0800, 0x3e80,
    110   0xfd00, 0xfe00, 0xff00, 0x0000, 0x0100, 0x0200, 0x1000, 0x7d00,
    111   0xfa00, 0xfc00, 0xfe00, 0x0000, 0x0200, 0x0400, 0x2000, 0xfa00,
    112   0xf400, 0xf800, 0xfc00, 0x0000, 0x0400, 0x0800, 0x4000, 0xf400,
    113   0xe800, 0xf000, 0xf800, 0x0000, 0x0800, 0x1000, 0x8000, 0xe800,
    114   0xd000, 0xe000, 0xf000, 0x0000, 0x1000, 0x2000, 0x0000, 0xd000,
    115   0xa000, 0xc000, 0xe000, 0x0000, 0x2000, 0x4000, 0x0000, 0xa000,
    116   0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0x0000, 0x4000,
    117   0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x0000, 0x8000,
    118   0xfffe, 0xffff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    119   0xfffc, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0020, 0x00fa, 0x00fc,
    120   0xfff8, 0xfffc, 0x0000, 0x0004, 0x0008, 0x0040, 0x01f4, 0x01f8,
    121   0xfff0, 0xfff8, 0x0000, 0x0008, 0x0010, 0x0080, 0x03e8, 0x03f0,
    122   0xffe0, 0xfff0, 0x0000, 0x0010, 0x0020, 0x0100, 0x07d0, 0x07e0,
    123   0xffc0, 0xffe0, 0x0000, 0x0020, 0x0040, 0x0200, 0x0fa0, 0x0fc0,
    124   0xff80, 0xffc0, 0x0000, 0x0040, 0x0080, 0x0400, 0x1f40, 0x1f80,
    125   0xff00, 0xff80, 0x0000, 0x0080, 0x0100, 0x0800, 0x3e80, 0x3f00,
    126   0xfe00, 0xff00, 0x0000, 0x0100, 0x0200, 0x1000, 0x7d00, 0x7e00,
    127   0xfc00, 0xfe00, 0x0000, 0x0200, 0x0400, 0x2000, 0xfa00, 0xfc00,
    128   0xf800, 0xfc00, 0x0000, 0x0400, 0x0800, 0x4000, 0xf400, 0xf800,
    129   0xf000, 0xf800, 0x0000, 0x0800, 0x1000, 0x8000, 0xe800, 0xf000,
    130   0xe000, 0xf000, 0x0000, 0x1000, 0x2000, 0x0000, 0xd000, 0xe000,
    131   0xc000, 0xe000, 0x0000, 0x2000, 0x4000, 0x0000, 0xa000, 0xc000,
    132   0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0x0000, 0x4000, 0x8000,
    133   0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x0000, 0x8000, 0x0000,
    134   0xffff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    135   0xfffe, 0x0000, 0x0002, 0x0004, 0x0020, 0x00fa, 0x00fc, 0x00fe,
    136   0xfffc, 0x0000, 0x0004, 0x0008, 0x0040, 0x01f4, 0x01f8, 0x01fc,
    137   0xfff8, 0x0000, 0x0008, 0x0010, 0x0080, 0x03e8, 0x03f0, 0x03f8,
    138   0xfff0, 0x0000, 0x0010, 0x0020, 0x0100, 0x07d0, 0x07e0, 0x07f0,
    139   0xffe0, 0x0000, 0x0020, 0x0040, 0x0200, 0x0fa0, 0x0fc0, 0x0fe0,
    140   0xffc0, 0x0000, 0x0040, 0x0080, 0x0400, 0x1f40, 0x1f80, 0x1fc0,
    141   0xff80, 0x0000, 0x0080, 0x0100, 0x0800, 0x3e80, 0x3f00, 0x3f80,
    142   0xff00, 0x0000, 0x0100, 0x0200, 0x1000, 0x7d00, 0x7e00, 0x7f00,
    143   0xfe00, 0x0000, 0x0200, 0x0400, 0x2000, 0xfa00, 0xfc00, 0xfe00,
    144   0xfc00, 0x0000, 0x0400, 0x0800, 0x4000, 0xf400, 0xf800, 0xfc00,
    145   0xf800, 0x0000, 0x0800, 0x1000, 0x8000, 0xe800, 0xf000, 0xf800,
    146   0xf000, 0x0000, 0x1000, 0x2000, 0x0000, 0xd000, 0xe000, 0xf000,
    147   0xe000, 0x0000, 0x2000, 0x4000, 0x0000, 0xa000, 0xc000, 0xe000,
    148   0xc000, 0x0000, 0x4000, 0x8000, 0x0000, 0x4000, 0x8000, 0xc000,
    149   0x8000, 0x0000, 0x8000, 0x0000, 0x0000, 0x8000, 0x0000, 0x8000,
    150   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    151   0x0000, 0x0002, 0x0004, 0x0020, 0x00fa, 0x00fc, 0x00fe, 0x6666,
    152   0x0000, 0x0004, 0x0008, 0x0040, 0x01f4, 0x01f8, 0x01fc, 0xcccc,
    153   0x0000, 0x0008, 0x0010, 0x0080, 0x03e8, 0x03f0, 0x03f8, 0x9998,
    154   0x0000, 0x0010, 0x0020, 0x0100, 0x07d0, 0x07e0, 0x07f0, 0x3330,
    155   0x0000, 0x0020, 0x0040, 0x0200, 0x0fa0, 0x0fc0, 0x0fe0, 0x6660,
    156   0x0000, 0x0040, 0x0080, 0x0400, 0x1f40, 0x1f80, 0x1fc0, 0xccc0,
    157   0x0000, 0x0080, 0x0100, 0x0800, 0x3e80, 0x3f00, 0x3f80, 0x9980,
    158   0x0000, 0x0100, 0x0200, 0x1000, 0x7d00, 0x7e00, 0x7f00, 0x3300,
    159   0x0000, 0x0200, 0x0400, 0x2000, 0xfa00, 0xfc00, 0xfe00, 0x6600,
    160   0x0000, 0x0400, 0x0800, 0x4000, 0xf400, 0xf800, 0xfc00, 0xcc00,
    161   0x0000, 0x0800, 0x1000, 0x8000, 0xe800, 0xf000, 0xf800, 0x9800,
    162   0x0000, 0x1000, 0x2000, 0x0000, 0xd000, 0xe000, 0xf000, 0x3000,
    163   0x0000, 0x2000, 0x4000, 0x0000, 0xa000, 0xc000, 0xe000, 0x6000,
    164   0x0000, 0x4000, 0x8000, 0x0000, 0x4000, 0x8000, 0xc000, 0xc000,
    165   0x0000, 0x8000, 0x0000, 0x0000, 0x8000, 0x0000, 0x8000, 0x8000,
    166   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
    167   0x0002, 0x0004, 0x0020, 0x00fa, 0x00fc, 0x00fe, 0x6666, 0xaaaa,
    168   0x0004, 0x0008, 0x0040, 0x01f4, 0x01f8, 0x01fc, 0xcccc, 0x5554,
    169   0x0008, 0x0010, 0x0080, 0x03e8, 0x03f0, 0x03f8, 0x9998, 0xaaa8,
    170   0x0010, 0x0020, 0x0100, 0x07d0, 0x07e0, 0x07f0, 0x3330, 0x5550,
    171   0x0020, 0x0040, 0x0200, 0x0fa0, 0x0fc0, 0x0fe0, 0x6660, 0xaaa0,
    172   0x0040, 0x0080, 0x0400, 0x1f40, 0x1f80, 0x1fc0, 0xccc0, 0x5540,
    173   0x0080, 0x0100, 0x0800, 0x3e80, 0x3f00, 0x3f80, 0x9980, 0xaa80,
    174   0x0100, 0x0200, 0x1000, 0x7d00, 0x7e00, 0x7f00, 0x3300, 0x5500,
    175   0x0200, 0x0400, 0x2000, 0xfa00, 0xfc00, 0xfe00, 0x6600, 0xaa00,
    176   0x0400, 0x0800, 0x4000, 0xf400, 0xf800, 0xfc00, 0xcc00, 0x5400,
    177   0x0800, 0x1000, 0x8000, 0xe800, 0xf000, 0xf800, 0x9800, 0xa800,
    178   0x1000, 0x2000, 0x0000, 0xd000, 0xe000, 0xf000, 0x3000, 0x5000,
    179   0x2000, 0x4000, 0x0000, 0xa000, 0xc000, 0xe000, 0x6000, 0xa000,
    180   0x4000, 0x8000, 0x0000, 0x4000, 0x8000, 0xc000, 0xc000, 0x4000,
    181   0x8000, 0x0000, 0x0000, 0x8000, 0x0000, 0x8000, 0x8000, 0x8000,
    182   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
    183   0x0004, 0x0020, 0x00fa, 0x00fc, 0x00fe, 0x6666, 0xaaaa, 0xfffa,
    184   0x0008, 0x0040, 0x01f4, 0x01f8, 0x01fc, 0xcccc, 0x5554, 0xfff4,
    185   0x0010, 0x0080, 0x03e8, 0x03f0, 0x03f8, 0x9998, 0xaaa8, 0xffe8,
    186   0x0020, 0x0100, 0x07d0, 0x07e0, 0x07f0, 0x3330, 0x5550, 0xffd0,
    187   0x0040, 0x0200, 0x0fa0, 0x0fc0, 0x0fe0, 0x6660, 0xaaa0, 0xffa0,
    188   0x0080, 0x0400, 0x1f40, 0x1f80, 0x1fc0, 0xccc0, 0x5540, 0xff40,
    189   0x0100, 0x0800, 0x3e80, 0x3f00, 0x3f80, 0x9980, 0xaa80, 0xfe80,
    190   0x0200, 0x1000, 0x7d00, 0x7e00, 0x7f00, 0x3300, 0x5500, 0xfd00,
    191   0x0400, 0x2000, 0xfa00, 0xfc00, 0xfe00, 0x6600, 0xaa00, 0xfa00,
    192   0x0800, 0x4000, 0xf400, 0xf800, 0xfc00, 0xcc00, 0x5400, 0xf400,
    193   0x1000, 0x8000, 0xe800, 0xf000, 0xf800, 0x9800, 0xa800, 0xe800,
    194   0x2000, 0x0000, 0xd000, 0xe000, 0xf000, 0x3000, 0x5000, 0xd000,
    195   0x4000, 0x0000, 0xa000, 0xc000, 0xe000, 0x6000, 0xa000, 0xa000,
    196   0x8000, 0x0000, 0x4000, 0x8000, 0xc000, 0xc000, 0x4000, 0x4000,
    197   0x0000, 0x0000, 0x8000, 0x0000, 0x8000, 0x8000, 0x8000, 0x8000,
    198   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
    199   0x0020, 0x00fa, 0x00fc, 0x00fe, 0x6666, 0xaaaa, 0xfffa, 0xfffc,
    200   0x0040, 0x01f4, 0x01f8, 0x01fc, 0xcccc, 0x5554, 0xfff4, 0xfff8,
    201   0x0080, 0x03e8, 0x03f0, 0x03f8, 0x9998, 0xaaa8, 0xffe8, 0xfff0,
    202   0x0100, 0x07d0, 0x07e0, 0x07f0, 0x3330, 0x5550, 0xffd0, 0xffe0,
    203   0x0200, 0x0fa0, 0x0fc0, 0x0fe0, 0x6660, 0xaaa0, 0xffa0, 0xffc0,
    204   0x0400, 0x1f40, 0x1f80, 0x1fc0, 0xccc0, 0x5540, 0xff40, 0xff80,
    205   0x0800, 0x3e80, 0x3f00, 0x3f80, 0x9980, 0xaa80, 0xfe80, 0xff00,
    206   0x1000, 0x7d00, 0x7e00, 0x7f00, 0x3300, 0x5500, 0xfd00, 0xfe00,
    207   0x2000, 0xfa00, 0xfc00, 0xfe00, 0x6600, 0xaa00, 0xfa00, 0xfc00,
    208   0x4000, 0xf400, 0xf800, 0xfc00, 0xcc00, 0x5400, 0xf400, 0xf800,
    209   0x8000, 0xe800, 0xf000, 0xf800, 0x9800, 0xa800, 0xe800, 0xf000,
    210   0x0000, 0xd000, 0xe000, 0xf000, 0x3000, 0x5000, 0xd000, 0xe000,
    211   0x0000, 0xa000, 0xc000, 0xe000, 0x6000, 0xa000, 0xa000, 0xc000,
    212   0x0000, 0x4000, 0x8000, 0xc000, 0xc000, 0x4000, 0x4000, 0x8000,
    213   0x0000, 0x8000, 0x0000, 0x8000, 0x8000, 0x8000, 0x8000, 0x0000,
    214   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
    215   0x00fa, 0x00fc, 0x00fe, 0x6666, 0xaaaa, 0xfffa, 0xfffc, 0xfffe,
    216   0x01f4, 0x01f8, 0x01fc, 0xcccc, 0x5554, 0xfff4, 0xfff8, 0xfffc,
    217   0x03e8, 0x03f0, 0x03f8, 0x9998, 0xaaa8, 0xffe8, 0xfff0, 0xfff8,
    218   0x07d0, 0x07e0, 0x07f0, 0x3330, 0x5550, 0xffd0, 0xffe0, 0xfff0,
    219   0x0fa0, 0x0fc0, 0x0fe0, 0x6660, 0xaaa0, 0xffa0, 0xffc0, 0xffe0,
    220   0x1f40, 0x1f80, 0x1fc0, 0xccc0, 0x5540, 0xff40, 0xff80, 0xffc0,
    221   0x3e80, 0x3f00, 0x3f80, 0x9980, 0xaa80, 0xfe80, 0xff00, 0xff80,
    222   0x7d00, 0x7e00, 0x7f00, 0x3300, 0x5500, 0xfd00, 0xfe00, 0xff00,
    223   0xfa00, 0xfc00, 0xfe00, 0x6600, 0xaa00, 0xfa00, 0xfc00, 0xfe00,
    224   0xf400, 0xf800, 0xfc00, 0xcc00, 0x5400, 0xf400, 0xf800, 0xfc00,
    225   0xe800, 0xf000, 0xf800, 0x9800, 0xa800, 0xe800, 0xf000, 0xf800,
    226   0xd000, 0xe000, 0xf000, 0x3000, 0x5000, 0xd000, 0xe000, 0xf000,
    227   0xa000, 0xc000, 0xe000, 0x6000, 0xa000, 0xa000, 0xc000, 0xe000,
    228   0x4000, 0x8000, 0xc000, 0xc000, 0x4000, 0x4000, 0x8000, 0xc000,
    229   0x8000, 0x0000, 0x8000, 0x8000, 0x8000, 0x8000, 0x0000, 0x8000,
    230   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
    231   0x00fc, 0x00fe, 0x6666, 0xaaaa, 0xfffa, 0xfffc, 0xfffe, 0x0000,
    232   0x01f8, 0x01fc, 0xcccc, 0x5554, 0xfff4, 0xfff8, 0xfffc, 0x0000,
    233   0x03f0, 0x03f8, 0x9998, 0xaaa8, 0xffe8, 0xfff0, 0xfff8, 0x0000,
    234   0x07e0, 0x07f0, 0x3330, 0x5550, 0xffd0, 0xffe0, 0xfff0, 0x0000,
    235   0x0fc0, 0x0fe0, 0x6660, 0xaaa0, 0xffa0, 0xffc0, 0xffe0, 0x0000,
    236   0x1f80, 0x1fc0, 0xccc0, 0x5540, 0xff40, 0xff80, 0xffc0, 0x0000,
    237   0x3f00, 0x3f80, 0x9980, 0xaa80, 0xfe80, 0xff00, 0xff80, 0x0000,
    238   0x7e00, 0x7f00, 0x3300, 0x5500, 0xfd00, 0xfe00, 0xff00, 0x0000,
    239   0xfc00, 0xfe00, 0x6600, 0xaa00, 0xfa00, 0xfc00, 0xfe00, 0x0000,
    240   0xf800, 0xfc00, 0xcc00, 0x5400, 0xf400, 0xf800, 0xfc00, 0x0000,
    241   0xf000, 0xf800, 0x9800, 0xa800, 0xe800, 0xf000, 0xf800, 0x0000,
    242   0xe000, 0xf000, 0x3000, 0x5000, 0xd000, 0xe000, 0xf000, 0x0000,
    243   0xc000, 0xe000, 0x6000, 0xa000, 0xa000, 0xc000, 0xe000, 0x0000,
    244   0x8000, 0xc000, 0xc000, 0x4000, 0x4000, 0x8000, 0xc000, 0x0000,
    245   0x0000, 0x8000, 0x8000, 0x8000, 0x8000, 0x0000, 0x8000, 0x0000,
    246   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
    247   0x00fe, 0x6666, 0xaaaa, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002,
    248   0x01fc, 0xcccc, 0x5554, 0xfff4, 0xfff8, 0xfffc, 0x0000, 0x0004,
    249   0x03f8, 0x9998, 0xaaa8, 0xffe8, 0xfff0, 0xfff8, 0x0000, 0x0008,
    250   0x07f0, 0x3330, 0x5550, 0xffd0, 0xffe0, 0xfff0, 0x0000, 0x0010,
    251   0x0fe0, 0x6660, 0xaaa0, 0xffa0, 0xffc0, 0xffe0, 0x0000, 0x0020,
    252   0x1fc0, 0xccc0, 0x5540, 0xff40, 0xff80, 0xffc0, 0x0000, 0x0040,
    253   0x3f80, 0x9980, 0xaa80, 0xfe80, 0xff00, 0xff80, 0x0000, 0x0080,
    254   0x7f00, 0x3300, 0x5500, 0xfd00, 0xfe00, 0xff00, 0x0000, 0x0100,
    255   0xfe00, 0x6600, 0xaa00, 0xfa00, 0xfc00, 0xfe00, 0x0000, 0x0200,
    256   0xfc00, 0xcc00, 0x5400, 0xf400, 0xf800, 0xfc00, 0x0000, 0x0400,
    257   0xf800, 0x9800, 0xa800, 0xe800, 0xf000, 0xf800, 0x0000, 0x0800,
    258   0xf000, 0x3000, 0x5000, 0xd000, 0xe000, 0xf000, 0x0000, 0x1000,
    259   0xe000, 0x6000, 0xa000, 0xa000, 0xc000, 0xe000, 0x0000, 0x2000,
    260   0xc000, 0xc000, 0x4000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000,
    261   0x8000, 0x8000, 0x8000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000,
    262   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
    263   0x6666, 0xaaaa, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x5554,
    264   0xcccc, 0x5554, 0xfff4, 0xfff8, 0xfffc, 0x0000, 0x0004, 0xaaa8,
    265   0x9998, 0xaaa8, 0xffe8, 0xfff0, 0xfff8, 0x0000, 0x0008, 0x5550,
    266   0x3330, 0x5550, 0xffd0, 0xffe0, 0xfff0, 0x0000, 0x0010, 0xaaa0,
    267   0x6660, 0xaaa0, 0xffa0, 0xffc0, 0xffe0, 0x0000, 0x0020, 0x5540,
    268   0xccc0, 0x5540, 0xff40, 0xff80, 0xffc0, 0x0000, 0x0040, 0xaa80,
    269   0x9980, 0xaa80, 0xfe80, 0xff00, 0xff80, 0x0000, 0x0080, 0x5500,
    270   0x3300, 0x5500, 0xfd00, 0xfe00, 0xff00, 0x0000, 0x0100, 0xaa00,
    271   0x6600, 0xaa00, 0xfa00, 0xfc00, 0xfe00, 0x0000, 0x0200, 0x5400,
    272   0xcc00, 0x5400, 0xf400, 0xf800, 0xfc00, 0x0000, 0x0400, 0xa800,
    273   0x9800, 0xa800, 0xe800, 0xf000, 0xf800, 0x0000, 0x0800, 0x5000,
    274   0x3000, 0x5000, 0xd000, 0xe000, 0xf000, 0x0000, 0x1000, 0xa000,
    275   0x6000, 0xa000, 0xa000, 0xc000, 0xe000, 0x0000, 0x2000, 0x4000,
    276   0xc000, 0x4000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000,
    277   0x8000, 0x8000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000,
    278   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
    279   0xaaaa, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x5554, 0x9998,
    280   0x5554, 0xfff4, 0xfff8, 0xfffc, 0x0000, 0x0004, 0xaaa8, 0x3330,
    281   0xaaa8, 0xffe8, 0xfff0, 0xfff8, 0x0000, 0x0008, 0x5550, 0x6660,
    282   0x5550, 0xffd0, 0xffe0, 0xfff0, 0x0000, 0x0010, 0xaaa0, 0xccc0,
    283   0xaaa0, 0xffa0, 0xffc0, 0xffe0, 0x0000, 0x0020, 0x5540, 0x9980,
    284   0x5540, 0xff40, 0xff80, 0xffc0, 0x0000, 0x0040, 0xaa80, 0x3300,
    285   0xaa80, 0xfe80, 0xff00, 0xff80, 0x0000, 0x0080, 0x5500, 0x6600,
    286   0x5500, 0xfd00, 0xfe00, 0xff00, 0x0000, 0x0100, 0xaa00, 0xcc00,
    287   0xaa00, 0xfa00, 0xfc00, 0xfe00, 0x0000, 0x0200, 0x5400, 0x9800,
    288   0x5400, 0xf400, 0xf800, 0xfc00, 0x0000, 0x0400, 0xa800, 0x3000,
    289   0xa800, 0xe800, 0xf000, 0xf800, 0x0000, 0x0800, 0x5000, 0x6000,
    290   0x5000, 0xd000, 0xe000, 0xf000, 0x0000, 0x1000, 0xa000, 0xc000,
    291   0xa000, 0xa000, 0xc000, 0xe000, 0x0000, 0x2000, 0x4000, 0x8000,
    292   0x4000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0x0000,
    293   0x8000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x0000,
    294   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
    295   0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x5554, 0x9998, 0xff00,
    296   0xfff4, 0xfff8, 0xfffc, 0x0000, 0x0004, 0xaaa8, 0x3330, 0xfe00,
    297   0xffe8, 0xfff0, 0xfff8, 0x0000, 0x0008, 0x5550, 0x6660, 0xfc00,
    298   0xffd0, 0xffe0, 0xfff0, 0x0000, 0x0010, 0xaaa0, 0xccc0, 0xf800,
    299   0xffa0, 0xffc0, 0xffe0, 0x0000, 0x0020, 0x5540, 0x9980, 0xf000,
    300   0xff40, 0xff80, 0xffc0, 0x0000, 0x0040, 0xaa80, 0x3300, 0xe000,
    301   0xfe80, 0xff00, 0xff80, 0x0000, 0x0080, 0x5500, 0x6600, 0xc000,
    302   0xfd00, 0xfe00, 0xff00, 0x0000, 0x0100, 0xaa00, 0xcc00, 0x8000,
    303   0xfa00, 0xfc00, 0xfe00, 0x0000, 0x0200, 0x5400, 0x9800, 0x0000,
    304   0xf400, 0xf800, 0xfc00, 0x0000, 0x0400, 0xa800, 0x3000, 0x0000,
    305   0xe800, 0xf000, 0xf800, 0x0000, 0x0800, 0x5000, 0x6000, 0x0000,
    306   0xd000, 0xe000, 0xf000, 0x0000, 0x1000, 0xa000, 0xc000, 0x0000,
    307   0xa000, 0xc000, 0xe000, 0x0000, 0x2000, 0x4000, 0x8000, 0x0000,
    308   0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0x0000, 0x0000,
    309   0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x0000, 0x0000,
    310   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
    311   0xfffc, 0xfffe, 0x0000, 0x0002, 0x5554, 0x9998, 0xff00, 0xff02,
    312   0xfff8, 0xfffc, 0x0000, 0x0004, 0xaaa8, 0x3330, 0xfe00, 0xfe04,
    313   0xfff0, 0xfff8, 0x0000, 0x0008, 0x5550, 0x6660, 0xfc00, 0xfc08,
    314   0xffe0, 0xfff0, 0x0000, 0x0010, 0xaaa0, 0xccc0, 0xf800, 0xf810,
    315   0xffc0, 0xffe0, 0x0000, 0x0020, 0x5540, 0x9980, 0xf000, 0xf020,
    316   0xff80, 0xffc0, 0x0000, 0x0040, 0xaa80, 0x3300, 0xe000, 0xe040,
    317   0xff00, 0xff80, 0x0000, 0x0080, 0x5500, 0x6600, 0xc000, 0xc080,
    318   0xfe00, 0xff00, 0x0000, 0x0100, 0xaa00, 0xcc00, 0x8000, 0x8100,
    319   0xfc00, 0xfe00, 0x0000, 0x0200, 0x5400, 0x9800, 0x0000, 0x0200,
    320   0xf800, 0xfc00, 0x0000, 0x0400, 0xa800, 0x3000, 0x0000, 0x0400,
    321   0xf000, 0xf800, 0x0000, 0x0800, 0x5000, 0x6000, 0x0000, 0x0800,
    322   0xe000, 0xf000, 0x0000, 0x1000, 0xa000, 0xc000, 0x0000, 0x1000,
    323   0xc000, 0xe000, 0x0000, 0x2000, 0x4000, 0x8000, 0x0000, 0x2000,
    324   0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0x0000, 0x0000, 0x4000,
    325   0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x0000, 0x0000, 0x8000,
    326   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
    327   0xfffe, 0x0000, 0x0002, 0x5554, 0x9998, 0xff00, 0xff02, 0xff04,
    328   0xfffc, 0x0000, 0x0004, 0xaaa8, 0x3330, 0xfe00, 0xfe04, 0xfe08,
    329   0xfff8, 0x0000, 0x0008, 0x5550, 0x6660, 0xfc00, 0xfc08, 0xfc10,
    330   0xfff0, 0x0000, 0x0010, 0xaaa0, 0xccc0, 0xf800, 0xf810, 0xf820,
    331   0xffe0, 0x0000, 0x0020, 0x5540, 0x9980, 0xf000, 0xf020, 0xf040,
    332   0xffc0, 0x0000, 0x0040, 0xaa80, 0x3300, 0xe000, 0xe040, 0xe080,
    333   0xff80, 0x0000, 0x0080, 0x5500, 0x6600, 0xc000, 0xc080, 0xc100,
    334   0xff00, 0x0000, 0x0100, 0xaa00, 0xcc00, 0x8000, 0x8100, 0x8200,
    335   0xfe00, 0x0000, 0x0200, 0x5400, 0x9800, 0x0000, 0x0200, 0x0400,
    336   0xfc00, 0x0000, 0x0400, 0xa800, 0x3000, 0x0000, 0x0400, 0x0800,
    337   0xf800, 0x0000, 0x0800, 0x5000, 0x6000, 0x0000, 0x0800, 0x1000,
    338   0xf000, 0x0000, 0x1000, 0xa000, 0xc000, 0x0000, 0x1000, 0x2000,
    339   0xe000, 0x0000, 0x2000, 0x4000, 0x8000, 0x0000, 0x2000, 0x4000,
    340   0xc000, 0x0000, 0x4000, 0x8000, 0x0000, 0x0000, 0x4000, 0x8000,
    341   0x8000, 0x0000, 0x8000, 0x0000, 0x0000, 0x0000, 0x8000, 0x0000,
    342   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
    343   0x0000, 0x0002, 0x5554, 0x9998, 0xff00, 0xff02, 0xff04, 0xff06,
    344   0x0000, 0x0004, 0xaaa8, 0x3330, 0xfe00, 0xfe04, 0xfe08, 0xfe0c,
    345   0x0000, 0x0008, 0x5550, 0x6660, 0xfc00, 0xfc08, 0xfc10, 0xfc18,
    346   0x0000, 0x0010, 0xaaa0, 0xccc0, 0xf800, 0xf810, 0xf820, 0xf830,
    347   0x0000, 0x0020, 0x5540, 0x9980, 0xf000, 0xf020, 0xf040, 0xf060,
    348   0x0000, 0x0040, 0xaa80, 0x3300, 0xe000, 0xe040, 0xe080, 0xe0c0,
    349   0x0000, 0x0080, 0x5500, 0x6600, 0xc000, 0xc080, 0xc100, 0xc180,
    350   0x0000, 0x0100, 0xaa00, 0xcc00, 0x8000, 0x8100, 0x8200, 0x8300,
    351   0x0000, 0x0200, 0x5400, 0x9800, 0x0000, 0x0200, 0x0400, 0x0600,
    352   0x0000, 0x0400, 0xa800, 0x3000, 0x0000, 0x0400, 0x0800, 0x0c00,
    353   0x0000, 0x0800, 0x5000, 0x6000, 0x0000, 0x0800, 0x1000, 0x1800,
    354   0x0000, 0x1000, 0xa000, 0xc000, 0x0000, 0x1000, 0x2000, 0x3000,
    355   0x0000, 0x2000, 0x4000, 0x8000, 0x0000, 0x2000, 0x4000, 0x6000,
    356   0x0000, 0x4000, 0x8000, 0x0000, 0x0000, 0x4000, 0x8000, 0xc000,
    357   0x0000, 0x8000, 0x0000, 0x0000, 0x0000, 0x8000, 0x0000, 0x8000,
    358   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
    359   0x0002, 0x5554, 0x9998, 0xff00, 0xff02, 0xff04, 0xff06, 0xffe0,
    360   0x0004, 0xaaa8, 0x3330, 0xfe00, 0xfe04, 0xfe08, 0xfe0c, 0xffc0,
    361   0x0008, 0x5550, 0x6660, 0xfc00, 0xfc08, 0xfc10, 0xfc18, 0xff80,
    362   0x0010, 0xaaa0, 0xccc0, 0xf800, 0xf810, 0xf820, 0xf830, 0xff00,
    363   0x0020, 0x5540, 0x9980, 0xf000, 0xf020, 0xf040, 0xf060, 0xfe00,
    364   0x0040, 0xaa80, 0x3300, 0xe000, 0xe040, 0xe080, 0xe0c0, 0xfc00,
    365   0x0080, 0x5500, 0x6600, 0xc000, 0xc080, 0xc100, 0xc180, 0xf800,
    366   0x0100, 0xaa00, 0xcc00, 0x8000, 0x8100, 0x8200, 0x8300, 0xf000,
    367   0x0200, 0x5400, 0x9800, 0x0000, 0x0200, 0x0400, 0x0600, 0xe000,
    368   0x0400, 0xa800, 0x3000, 0x0000, 0x0400, 0x0800, 0x0c00, 0xc000,
    369   0x0800, 0x5000, 0x6000, 0x0000, 0x0800, 0x1000, 0x1800, 0x8000,
    370   0x1000, 0xa000, 0xc000, 0x0000, 0x1000, 0x2000, 0x3000, 0x0000,
    371   0x2000, 0x4000, 0x8000, 0x0000, 0x2000, 0x4000, 0x6000, 0x0000,
    372   0x4000, 0x8000, 0x0000, 0x0000, 0x4000, 0x8000, 0xc000, 0x0000,
    373   0x8000, 0x0000, 0x0000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000,
    374   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd,
    375   0x5554, 0x9998, 0xff00, 0xff02, 0xff04, 0xff06, 0xffe0, 0xfffa,
    376   0xaaa8, 0x3330, 0xfe00, 0xfe04, 0xfe08, 0xfe0c, 0xffc0, 0xfff4,
    377   0x5550, 0x6660, 0xfc00, 0xfc08, 0xfc10, 0xfc18, 0xff80, 0xffe8,
    378   0xaaa0, 0xccc0, 0xf800, 0xf810, 0xf820, 0xf830, 0xff00, 0xffd0,
    379   0x5540, 0x9980, 0xf000, 0xf020, 0xf040, 0xf060, 0xfe00, 0xffa0,
    380   0xaa80, 0x3300, 0xe000, 0xe040, 0xe080, 0xe0c0, 0xfc00, 0xff40,
    381   0x5500, 0x6600, 0xc000, 0xc080, 0xc100, 0xc180, 0xf800, 0xfe80,
    382   0xaa00, 0xcc00, 0x8000, 0x8100, 0x8200, 0x8300, 0xf000, 0xfd00,
    383   0x5400, 0x9800, 0x0000, 0x0200, 0x0400, 0x0600, 0xe000, 0xfa00,
    384   0xa800, 0x3000, 0x0000, 0x0400, 0x0800, 0x0c00, 0xc000, 0xf400,
    385   0x5000, 0x6000, 0x0000, 0x0800, 0x1000, 0x1800, 0x8000, 0xe800,
    386   0xa000, 0xc000, 0x0000, 0x1000, 0x2000, 0x3000, 0x0000, 0xd000,
    387   0x4000, 0x8000, 0x0000, 0x2000, 0x4000, 0x6000, 0x0000, 0xa000,
    388   0x8000, 0x0000, 0x0000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000,
    389   0x0000, 0x0000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000,
    390   0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe,
    391   0x9998, 0xff00, 0xff02, 0xff04, 0xff06, 0xffe0, 0xfffa, 0xfffc,
    392   0x3330, 0xfe00, 0xfe04, 0xfe08, 0xfe0c, 0xffc0, 0xfff4, 0xfff8,
    393   0x6660, 0xfc00, 0xfc08, 0xfc10, 0xfc18, 0xff80, 0xffe8, 0xfff0,
    394   0xccc0, 0xf800, 0xf810, 0xf820, 0xf830, 0xff00, 0xffd0, 0xffe0,
    395   0x9980, 0xf000, 0xf020, 0xf040, 0xf060, 0xfe00, 0xffa0, 0xffc0,
    396   0x3300, 0xe000, 0xe040, 0xe080, 0xe0c0, 0xfc00, 0xff40, 0xff80,
    397   0x6600, 0xc000, 0xc080, 0xc100, 0xc180, 0xf800, 0xfe80, 0xff00,
    398   0xcc00, 0x8000, 0x8100, 0x8200, 0x8300, 0xf000, 0xfd00, 0xfe00,
    399   0x9800, 0x0000, 0x0200, 0x0400, 0x0600, 0xe000, 0xfa00, 0xfc00,
    400   0x3000, 0x0000, 0x0400, 0x0800, 0x0c00, 0xc000, 0xf400, 0xf800,
    401   0x6000, 0x0000, 0x0800, 0x1000, 0x1800, 0x8000, 0xe800, 0xf000,
    402   0xc000, 0x0000, 0x1000, 0x2000, 0x3000, 0x0000, 0xd000, 0xe000,
    403   0x8000, 0x0000, 0x2000, 0x4000, 0x6000, 0x0000, 0xa000, 0xc000,
    404   0x0000, 0x0000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000,
    405   0x0000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000,
    406   0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff,
    407   0xff00, 0xff02, 0xff04, 0xff06, 0xffe0, 0xfffa, 0xfffc, 0xfffe,
    408   0xfe00, 0xfe04, 0xfe08, 0xfe0c, 0xffc0, 0xfff4, 0xfff8, 0xfffc,
    409   0xfc00, 0xfc08, 0xfc10, 0xfc18, 0xff80, 0xffe8, 0xfff0, 0xfff8,
    410   0xf800, 0xf810, 0xf820, 0xf830, 0xff00, 0xffd0, 0xffe0, 0xfff0,
    411   0xf000, 0xf020, 0xf040, 0xf060, 0xfe00, 0xffa0, 0xffc0, 0xffe0,
    412   0xe000, 0xe040, 0xe080, 0xe0c0, 0xfc00, 0xff40, 0xff80, 0xffc0,
    413   0xc000, 0xc080, 0xc100, 0xc180, 0xf800, 0xfe80, 0xff00, 0xff80,
    414   0x8000, 0x8100, 0x8200, 0x8300, 0xf000, 0xfd00, 0xfe00, 0xff00,
    415   0x0000, 0x0200, 0x0400, 0x0600, 0xe000, 0xfa00, 0xfc00, 0xfe00,
    416   0x0000, 0x0400, 0x0800, 0x0c00, 0xc000, 0xf400, 0xf800, 0xfc00,
    417   0x0000, 0x0800, 0x1000, 0x1800, 0x8000, 0xe800, 0xf000, 0xf800,
    418   0x0000, 0x1000, 0x2000, 0x3000, 0x0000, 0xd000, 0xe000, 0xf000,
    419   0x0000, 0x2000, 0x4000, 0x6000, 0x0000, 0xa000, 0xc000, 0xe000,
    420   0x0000, 0x4000, 0x8000, 0xc000, 0x0000, 0x4000, 0x8000, 0xc000,
    421   0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000, 0x0000, 0x8000,
    422 };
    423 const unsigned kExpectedCount_NEON_shl_8H_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_SHL_8H_2OPIMM_TRACE_A64_H_
    426