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_SLI_8H_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_SLI_8H_2OPIMM_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_sli_8H_2OPIMM[] = {
     38   0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff, 0x0000,
     39   0xff03, 0xff04, 0xff07, 0xffe0, 0xfffb, 0xfffc, 0xffff, 0x0000,
     40   0xfe07, 0xfe08, 0xfe0f, 0xffc0, 0xfff7, 0xfff8, 0xffff, 0x0000,
     41   0xfc0f, 0xfc10, 0xfc1f, 0xff80, 0xffef, 0xfff0, 0xffff, 0x0000,
     42   0xf81f, 0xf820, 0xf83f, 0xff00, 0xffdf, 0xffe0, 0xffff, 0x0000,
     43   0xf03f, 0xf040, 0xf07f, 0xfe00, 0xffbf, 0xffc0, 0xffff, 0x0000,
     44   0xe07f, 0xe080, 0xe0ff, 0xfc00, 0xff7f, 0xff80, 0xffff, 0x0000,
     45   0xc0ff, 0xc100, 0xc1ff, 0xf800, 0xfeff, 0xff00, 0xffff, 0x0000,
     46   0x81ff, 0x8200, 0x83ff, 0xf000, 0xfdff, 0xfe00, 0xffff, 0x0000,
     47   0x03ff, 0x0400, 0x07ff, 0xe000, 0xfbff, 0xfc00, 0xffff, 0x0000,
     48   0x07ff, 0x0800, 0x0fff, 0xc000, 0xf7ff, 0xf800, 0xffff, 0x0000,
     49   0x0fff, 0x1000, 0x1fff, 0x8000, 0xefff, 0xf000, 0xffff, 0x0000,
     50   0x1fff, 0x2000, 0x3fff, 0x0000, 0xdfff, 0xe000, 0xffff, 0x0000,
     51   0x3fff, 0x4000, 0x7fff, 0x0000, 0xbfff, 0xc000, 0xffff, 0x0000,
     52   0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0xffff, 0x0000,
     53   0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000,
     54   0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff, 0x0000, 0x0001,
     55   0xff04, 0xff07, 0xffe0, 0xfffb, 0xfffc, 0xffff, 0x0000, 0x0003,
     56   0xfe08, 0xfe0f, 0xffc0, 0xfff7, 0xfff8, 0xffff, 0x0000, 0x0007,
     57   0xfc10, 0xfc1f, 0xff80, 0xffef, 0xfff0, 0xffff, 0x0000, 0x000f,
     58   0xf820, 0xf83f, 0xff00, 0xffdf, 0xffe0, 0xffff, 0x0000, 0x001f,
     59   0xf040, 0xf07f, 0xfe00, 0xffbf, 0xffc0, 0xffff, 0x0000, 0x003f,
     60   0xe080, 0xe0ff, 0xfc00, 0xff7f, 0xff80, 0xffff, 0x0000, 0x007f,
     61   0xc100, 0xc1ff, 0xf800, 0xfeff, 0xff00, 0xffff, 0x0000, 0x00ff,
     62   0x8200, 0x83ff, 0xf000, 0xfdff, 0xfe00, 0xffff, 0x0000, 0x01ff,
     63   0x0400, 0x07ff, 0xe000, 0xfbff, 0xfc00, 0xffff, 0x0000, 0x03ff,
     64   0x0800, 0x0fff, 0xc000, 0xf7ff, 0xf800, 0xffff, 0x0000, 0x07ff,
     65   0x1000, 0x1fff, 0x8000, 0xefff, 0xf000, 0xffff, 0x0000, 0x0fff,
     66   0x2000, 0x3fff, 0x0000, 0xdfff, 0xe000, 0xffff, 0x0000, 0x1fff,
     67   0x4000, 0x7fff, 0x0000, 0xbfff, 0xc000, 0xffff, 0x0000, 0x3fff,
     68   0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff,
     69   0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff,
     70   0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff, 0x0000, 0x0001, 0x0002,
     71   0xff07, 0xffe0, 0xfffb, 0xfffc, 0xffff, 0x0000, 0x0003, 0x0004,
     72   0xfe0f, 0xffc0, 0xfff7, 0xfff8, 0xffff, 0x0000, 0x0007, 0x0008,
     73   0xfc1f, 0xff80, 0xffef, 0xfff0, 0xffff, 0x0000, 0x000f, 0x0010,
     74   0xf83f, 0xff00, 0xffdf, 0xffe0, 0xffff, 0x0000, 0x001f, 0x0020,
     75   0xf07f, 0xfe00, 0xffbf, 0xffc0, 0xffff, 0x0000, 0x003f, 0x0040,
     76   0xe0ff, 0xfc00, 0xff7f, 0xff80, 0xffff, 0x0000, 0x007f, 0x0080,
     77   0xc1ff, 0xf800, 0xfeff, 0xff00, 0xffff, 0x0000, 0x00ff, 0x0100,
     78   0x83ff, 0xf000, 0xfdff, 0xfe00, 0xffff, 0x0000, 0x01ff, 0x0200,
     79   0x07ff, 0xe000, 0xfbff, 0xfc00, 0xffff, 0x0000, 0x03ff, 0x0400,
     80   0x0fff, 0xc000, 0xf7ff, 0xf800, 0xffff, 0x0000, 0x07ff, 0x0800,
     81   0x1fff, 0x8000, 0xefff, 0xf000, 0xffff, 0x0000, 0x0fff, 0x1000,
     82   0x3fff, 0x0000, 0xdfff, 0xe000, 0xffff, 0x0000, 0x1fff, 0x2000,
     83   0x7fff, 0x0000, 0xbfff, 0xc000, 0xffff, 0x0000, 0x3fff, 0x4000,
     84   0xffff, 0x0000, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000,
     85   0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000,
     86   0xfff0, 0xfffd, 0xfffe, 0xffff, 0x0000, 0x0001, 0x0002, 0x0010,
     87   0xffe0, 0xfffb, 0xfffc, 0xffff, 0x0000, 0x0003, 0x0004, 0x0020,
     88   0xffc0, 0xfff7, 0xfff8, 0xffff, 0x0000, 0x0007, 0x0008, 0x0040,
     89   0xff80, 0xffef, 0xfff0, 0xffff, 0x0000, 0x000f, 0x0010, 0x0080,
     90   0xff00, 0xffdf, 0xffe0, 0xffff, 0x0000, 0x001f, 0x0020, 0x0100,
     91   0xfe00, 0xffbf, 0xffc0, 0xffff, 0x0000, 0x003f, 0x0040, 0x0200,
     92   0xfc00, 0xff7f, 0xff80, 0xffff, 0x0000, 0x007f, 0x0080, 0x0400,
     93   0xf800, 0xfeff, 0xff00, 0xffff, 0x0000, 0x00ff, 0x0100, 0x0800,
     94   0xf000, 0xfdff, 0xfe00, 0xffff, 0x0000, 0x01ff, 0x0200, 0x1000,
     95   0xe000, 0xfbff, 0xfc00, 0xffff, 0x0000, 0x03ff, 0x0400, 0x2000,
     96   0xc000, 0xf7ff, 0xf800, 0xffff, 0x0000, 0x07ff, 0x0800, 0x4000,
     97   0x8000, 0xefff, 0xf000, 0xffff, 0x0000, 0x0fff, 0x1000, 0x8000,
     98   0x0000, 0xdfff, 0xe000, 0xffff, 0x0000, 0x1fff, 0x2000, 0x0000,
     99   0x0000, 0xbfff, 0xc000, 0xffff, 0x0000, 0x3fff, 0x4000, 0x0000,
    100   0x0000, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0x0000,
    101   0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000,
    102   0xfffd, 0xfffe, 0xffff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d,
    103   0xfffb, 0xfffc, 0xffff, 0x0000, 0x0003, 0x0004, 0x0020, 0x00fb,
    104   0xfff7, 0xfff8, 0xffff, 0x0000, 0x0007, 0x0008, 0x0040, 0x01f7,
    105   0xffef, 0xfff0, 0xffff, 0x0000, 0x000f, 0x0010, 0x0080, 0x03ef,
    106   0xffdf, 0xffe0, 0xffff, 0x0000, 0x001f, 0x0020, 0x0100, 0x07df,
    107   0xffbf, 0xffc0, 0xffff, 0x0000, 0x003f, 0x0040, 0x0200, 0x0fbf,
    108   0xff7f, 0xff80, 0xffff, 0x0000, 0x007f, 0x0080, 0x0400, 0x1f7f,
    109   0xfeff, 0xff00, 0xffff, 0x0000, 0x00ff, 0x0100, 0x0800, 0x3eff,
    110   0xfdff, 0xfe00, 0xffff, 0x0000, 0x01ff, 0x0200, 0x1000, 0x7dff,
    111   0xfbff, 0xfc00, 0xffff, 0x0000, 0x03ff, 0x0400, 0x2000, 0xfbff,
    112   0xf7ff, 0xf800, 0xffff, 0x0000, 0x07ff, 0x0800, 0x4000, 0xf7ff,
    113   0xefff, 0xf000, 0xffff, 0x0000, 0x0fff, 0x1000, 0x8000, 0xefff,
    114   0xdfff, 0xe000, 0xffff, 0x0000, 0x1fff, 0x2000, 0x0000, 0xdfff,
    115   0xbfff, 0xc000, 0xffff, 0x0000, 0x3fff, 0x4000, 0x0000, 0xbfff,
    116   0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0x0000, 0x7fff,
    117   0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0xffff,
    118   0xfffe, 0xffff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e,
    119   0xfffc, 0xffff, 0x0000, 0x0003, 0x0004, 0x0020, 0x00fb, 0x00fc,
    120   0xfff8, 0xffff, 0x0000, 0x0007, 0x0008, 0x0040, 0x01f7, 0x01f8,
    121   0xfff0, 0xffff, 0x0000, 0x000f, 0x0010, 0x0080, 0x03ef, 0x03f0,
    122   0xffe0, 0xffff, 0x0000, 0x001f, 0x0020, 0x0100, 0x07df, 0x07e0,
    123   0xffc0, 0xffff, 0x0000, 0x003f, 0x0040, 0x0200, 0x0fbf, 0x0fc0,
    124   0xff80, 0xffff, 0x0000, 0x007f, 0x0080, 0x0400, 0x1f7f, 0x1f80,
    125   0xff00, 0xffff, 0x0000, 0x00ff, 0x0100, 0x0800, 0x3eff, 0x3f00,
    126   0xfe00, 0xffff, 0x0000, 0x01ff, 0x0200, 0x1000, 0x7dff, 0x7e00,
    127   0xfc00, 0xffff, 0x0000, 0x03ff, 0x0400, 0x2000, 0xfbff, 0xfc00,
    128   0xf800, 0xffff, 0x0000, 0x07ff, 0x0800, 0x4000, 0xf7ff, 0xf800,
    129   0xf000, 0xffff, 0x0000, 0x0fff, 0x1000, 0x8000, 0xefff, 0xf000,
    130   0xe000, 0xffff, 0x0000, 0x1fff, 0x2000, 0x0000, 0xdfff, 0xe000,
    131   0xc000, 0xffff, 0x0000, 0x3fff, 0x4000, 0x0000, 0xbfff, 0xc000,
    132   0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0x0000, 0x7fff, 0x8000,
    133   0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0xffff, 0x0000,
    134   0xffff, 0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f,
    135   0xffff, 0x0000, 0x0003, 0x0004, 0x0020, 0x00fb, 0x00fc, 0x00ff,
    136   0xffff, 0x0000, 0x0007, 0x0008, 0x0040, 0x01f7, 0x01f8, 0x01ff,
    137   0xffff, 0x0000, 0x000f, 0x0010, 0x0080, 0x03ef, 0x03f0, 0x03ff,
    138   0xffff, 0x0000, 0x001f, 0x0020, 0x0100, 0x07df, 0x07e0, 0x07ff,
    139   0xffff, 0x0000, 0x003f, 0x0040, 0x0200, 0x0fbf, 0x0fc0, 0x0fff,
    140   0xffff, 0x0000, 0x007f, 0x0080, 0x0400, 0x1f7f, 0x1f80, 0x1fff,
    141   0xffff, 0x0000, 0x00ff, 0x0100, 0x0800, 0x3eff, 0x3f00, 0x3fff,
    142   0xffff, 0x0000, 0x01ff, 0x0200, 0x1000, 0x7dff, 0x7e00, 0x7fff,
    143   0xffff, 0x0000, 0x03ff, 0x0400, 0x2000, 0xfbff, 0xfc00, 0xffff,
    144   0xffff, 0x0000, 0x07ff, 0x0800, 0x4000, 0xf7ff, 0xf800, 0xffff,
    145   0xffff, 0x0000, 0x0fff, 0x1000, 0x8000, 0xefff, 0xf000, 0xffff,
    146   0xffff, 0x0000, 0x1fff, 0x2000, 0x0000, 0xdfff, 0xe000, 0xffff,
    147   0xffff, 0x0000, 0x3fff, 0x4000, 0x0000, 0xbfff, 0xc000, 0xffff,
    148   0xffff, 0x0000, 0x7fff, 0x8000, 0x0000, 0x7fff, 0x8000, 0xffff,
    149   0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0xffff, 0x0000, 0xffff,
    150   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    151   0x0000, 0x0003, 0x0004, 0x0020, 0x00fb, 0x00fc, 0x00ff, 0x6667,
    152   0x0000, 0x0007, 0x0008, 0x0040, 0x01f7, 0x01f8, 0x01ff, 0xcccf,
    153   0x0000, 0x000f, 0x0010, 0x0080, 0x03ef, 0x03f0, 0x03ff, 0x999f,
    154   0x0000, 0x001f, 0x0020, 0x0100, 0x07df, 0x07e0, 0x07ff, 0x333f,
    155   0x0000, 0x003f, 0x0040, 0x0200, 0x0fbf, 0x0fc0, 0x0fff, 0x667f,
    156   0x0000, 0x007f, 0x0080, 0x0400, 0x1f7f, 0x1f80, 0x1fff, 0xccff,
    157   0x0000, 0x00ff, 0x0100, 0x0800, 0x3eff, 0x3f00, 0x3fff, 0x99ff,
    158   0x0000, 0x01ff, 0x0200, 0x1000, 0x7dff, 0x7e00, 0x7fff, 0x33ff,
    159   0x0000, 0x03ff, 0x0400, 0x2000, 0xfbff, 0xfc00, 0xffff, 0x67ff,
    160   0x0000, 0x07ff, 0x0800, 0x4000, 0xf7ff, 0xf800, 0xffff, 0xcfff,
    161   0x0000, 0x0fff, 0x1000, 0x8000, 0xefff, 0xf000, 0xffff, 0x9fff,
    162   0x0000, 0x1fff, 0x2000, 0x0000, 0xdfff, 0xe000, 0xffff, 0x3fff,
    163   0x0000, 0x3fff, 0x4000, 0x0000, 0xbfff, 0xc000, 0xffff, 0x7fff,
    164   0x0000, 0x7fff, 0x8000, 0x0000, 0x7fff, 0x8000, 0xffff, 0xffff,
    165   0x0000, 0xffff, 0x0000, 0x0000, 0xffff, 0x0000, 0xffff, 0xffff,
    166   0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555,
    167   0x0003, 0x0004, 0x0020, 0x00fb, 0x00fc, 0x00ff, 0x6667, 0xaaab,
    168   0x0007, 0x0008, 0x0040, 0x01f7, 0x01f8, 0x01ff, 0xcccf, 0x5557,
    169   0x000f, 0x0010, 0x0080, 0x03ef, 0x03f0, 0x03ff, 0x999f, 0xaaaf,
    170   0x001f, 0x0020, 0x0100, 0x07df, 0x07e0, 0x07ff, 0x333f, 0x555f,
    171   0x003f, 0x0040, 0x0200, 0x0fbf, 0x0fc0, 0x0fff, 0x667f, 0xaabf,
    172   0x007f, 0x0080, 0x0400, 0x1f7f, 0x1f80, 0x1fff, 0xccff, 0x557f,
    173   0x00ff, 0x0100, 0x0800, 0x3eff, 0x3f00, 0x3fff, 0x99ff, 0xaaff,
    174   0x01ff, 0x0200, 0x1000, 0x7dff, 0x7e00, 0x7fff, 0x33ff, 0x55ff,
    175   0x03ff, 0x0400, 0x2000, 0xfbff, 0xfc00, 0xffff, 0x67ff, 0xabff,
    176   0x07ff, 0x0800, 0x4000, 0xf7ff, 0xf800, 0xffff, 0xcfff, 0x57ff,
    177   0x0fff, 0x1000, 0x8000, 0xefff, 0xf000, 0xffff, 0x9fff, 0xafff,
    178   0x1fff, 0x2000, 0x0000, 0xdfff, 0xe000, 0xffff, 0x3fff, 0x5fff,
    179   0x3fff, 0x4000, 0x0000, 0xbfff, 0xc000, 0xffff, 0x7fff, 0xbfff,
    180   0x7fff, 0x8000, 0x0000, 0x7fff, 0x8000, 0xffff, 0xffff, 0x7fff,
    181   0xffff, 0x0000, 0x0000, 0xffff, 0x0000, 0xffff, 0xffff, 0xffff,
    182   0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd,
    183   0x0004, 0x0020, 0x00fb, 0x00fc, 0x00ff, 0x6667, 0xaaab, 0xfffb,
    184   0x0008, 0x0040, 0x01f7, 0x01f8, 0x01ff, 0xcccf, 0x5557, 0xfff7,
    185   0x0010, 0x0080, 0x03ef, 0x03f0, 0x03ff, 0x999f, 0xaaaf, 0xffef,
    186   0x0020, 0x0100, 0x07df, 0x07e0, 0x07ff, 0x333f, 0x555f, 0xffdf,
    187   0x0040, 0x0200, 0x0fbf, 0x0fc0, 0x0fff, 0x667f, 0xaabf, 0xffbf,
    188   0x0080, 0x0400, 0x1f7f, 0x1f80, 0x1fff, 0xccff, 0x557f, 0xff7f,
    189   0x0100, 0x0800, 0x3eff, 0x3f00, 0x3fff, 0x99ff, 0xaaff, 0xfeff,
    190   0x0200, 0x1000, 0x7dff, 0x7e00, 0x7fff, 0x33ff, 0x55ff, 0xfdff,
    191   0x0400, 0x2000, 0xfbff, 0xfc00, 0xffff, 0x67ff, 0xabff, 0xfbff,
    192   0x0800, 0x4000, 0xf7ff, 0xf800, 0xffff, 0xcfff, 0x57ff, 0xf7ff,
    193   0x1000, 0x8000, 0xefff, 0xf000, 0xffff, 0x9fff, 0xafff, 0xefff,
    194   0x2000, 0x0000, 0xdfff, 0xe000, 0xffff, 0x3fff, 0x5fff, 0xdfff,
    195   0x4000, 0x0000, 0xbfff, 0xc000, 0xffff, 0x7fff, 0xbfff, 0xbfff,
    196   0x8000, 0x0000, 0x7fff, 0x8000, 0xffff, 0xffff, 0x7fff, 0x7fff,
    197   0x0000, 0x0000, 0xffff, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff,
    198   0x0010, 0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe,
    199   0x0020, 0x00fb, 0x00fc, 0x00ff, 0x6667, 0xaaab, 0xfffb, 0xfffc,
    200   0x0040, 0x01f7, 0x01f8, 0x01ff, 0xcccf, 0x5557, 0xfff7, 0xfff8,
    201   0x0080, 0x03ef, 0x03f0, 0x03ff, 0x999f, 0xaaaf, 0xffef, 0xfff0,
    202   0x0100, 0x07df, 0x07e0, 0x07ff, 0x333f, 0x555f, 0xffdf, 0xffe0,
    203   0x0200, 0x0fbf, 0x0fc0, 0x0fff, 0x667f, 0xaabf, 0xffbf, 0xffc0,
    204   0x0400, 0x1f7f, 0x1f80, 0x1fff, 0xccff, 0x557f, 0xff7f, 0xff80,
    205   0x0800, 0x3eff, 0x3f00, 0x3fff, 0x99ff, 0xaaff, 0xfeff, 0xff00,
    206   0x1000, 0x7dff, 0x7e00, 0x7fff, 0x33ff, 0x55ff, 0xfdff, 0xfe00,
    207   0x2000, 0xfbff, 0xfc00, 0xffff, 0x67ff, 0xabff, 0xfbff, 0xfc00,
    208   0x4000, 0xf7ff, 0xf800, 0xffff, 0xcfff, 0x57ff, 0xf7ff, 0xf800,
    209   0x8000, 0xefff, 0xf000, 0xffff, 0x9fff, 0xafff, 0xefff, 0xf000,
    210   0x0000, 0xdfff, 0xe000, 0xffff, 0x3fff, 0x5fff, 0xdfff, 0xe000,
    211   0x0000, 0xbfff, 0xc000, 0xffff, 0x7fff, 0xbfff, 0xbfff, 0xc000,
    212   0x0000, 0x7fff, 0x8000, 0xffff, 0xffff, 0x7fff, 0x7fff, 0x8000,
    213   0x0000, 0xffff, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000,
    214   0x007d, 0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff,
    215   0x00fb, 0x00fc, 0x00ff, 0x6667, 0xaaab, 0xfffb, 0xfffc, 0xffff,
    216   0x01f7, 0x01f8, 0x01ff, 0xcccf, 0x5557, 0xfff7, 0xfff8, 0xffff,
    217   0x03ef, 0x03f0, 0x03ff, 0x999f, 0xaaaf, 0xffef, 0xfff0, 0xffff,
    218   0x07df, 0x07e0, 0x07ff, 0x333f, 0x555f, 0xffdf, 0xffe0, 0xffff,
    219   0x0fbf, 0x0fc0, 0x0fff, 0x667f, 0xaabf, 0xffbf, 0xffc0, 0xffff,
    220   0x1f7f, 0x1f80, 0x1fff, 0xccff, 0x557f, 0xff7f, 0xff80, 0xffff,
    221   0x3eff, 0x3f00, 0x3fff, 0x99ff, 0xaaff, 0xfeff, 0xff00, 0xffff,
    222   0x7dff, 0x7e00, 0x7fff, 0x33ff, 0x55ff, 0xfdff, 0xfe00, 0xffff,
    223   0xfbff, 0xfc00, 0xffff, 0x67ff, 0xabff, 0xfbff, 0xfc00, 0xffff,
    224   0xf7ff, 0xf800, 0xffff, 0xcfff, 0x57ff, 0xf7ff, 0xf800, 0xffff,
    225   0xefff, 0xf000, 0xffff, 0x9fff, 0xafff, 0xefff, 0xf000, 0xffff,
    226   0xdfff, 0xe000, 0xffff, 0x3fff, 0x5fff, 0xdfff, 0xe000, 0xffff,
    227   0xbfff, 0xc000, 0xffff, 0x7fff, 0xbfff, 0xbfff, 0xc000, 0xffff,
    228   0x7fff, 0x8000, 0xffff, 0xffff, 0x7fff, 0x7fff, 0x8000, 0xffff,
    229   0xffff, 0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0xffff,
    230   0x007e, 0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000,
    231   0x00fc, 0x00ff, 0x6667, 0xaaab, 0xfffb, 0xfffc, 0xffff, 0x0000,
    232   0x01f8, 0x01ff, 0xcccf, 0x5557, 0xfff7, 0xfff8, 0xffff, 0x0000,
    233   0x03f0, 0x03ff, 0x999f, 0xaaaf, 0xffef, 0xfff0, 0xffff, 0x0000,
    234   0x07e0, 0x07ff, 0x333f, 0x555f, 0xffdf, 0xffe0, 0xffff, 0x0000,
    235   0x0fc0, 0x0fff, 0x667f, 0xaabf, 0xffbf, 0xffc0, 0xffff, 0x0000,
    236   0x1f80, 0x1fff, 0xccff, 0x557f, 0xff7f, 0xff80, 0xffff, 0x0000,
    237   0x3f00, 0x3fff, 0x99ff, 0xaaff, 0xfeff, 0xff00, 0xffff, 0x0000,
    238   0x7e00, 0x7fff, 0x33ff, 0x55ff, 0xfdff, 0xfe00, 0xffff, 0x0000,
    239   0xfc00, 0xffff, 0x67ff, 0xabff, 0xfbff, 0xfc00, 0xffff, 0x0000,
    240   0xf800, 0xffff, 0xcfff, 0x57ff, 0xf7ff, 0xf800, 0xffff, 0x0000,
    241   0xf000, 0xffff, 0x9fff, 0xafff, 0xefff, 0xf000, 0xffff, 0x0000,
    242   0xe000, 0xffff, 0x3fff, 0x5fff, 0xdfff, 0xe000, 0xffff, 0x0000,
    243   0xc000, 0xffff, 0x7fff, 0xbfff, 0xbfff, 0xc000, 0xffff, 0x0000,
    244   0x8000, 0xffff, 0xffff, 0x7fff, 0x7fff, 0x8000, 0xffff, 0x0000,
    245   0x0000, 0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0xffff, 0x0000,
    246   0x007f, 0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001,
    247   0x00ff, 0x6667, 0xaaab, 0xfffb, 0xfffc, 0xffff, 0x0000, 0x0003,
    248   0x01ff, 0xcccf, 0x5557, 0xfff7, 0xfff8, 0xffff, 0x0000, 0x0007,
    249   0x03ff, 0x999f, 0xaaaf, 0xffef, 0xfff0, 0xffff, 0x0000, 0x000f,
    250   0x07ff, 0x333f, 0x555f, 0xffdf, 0xffe0, 0xffff, 0x0000, 0x001f,
    251   0x0fff, 0x667f, 0xaabf, 0xffbf, 0xffc0, 0xffff, 0x0000, 0x003f,
    252   0x1fff, 0xccff, 0x557f, 0xff7f, 0xff80, 0xffff, 0x0000, 0x007f,
    253   0x3fff, 0x99ff, 0xaaff, 0xfeff, 0xff00, 0xffff, 0x0000, 0x00ff,
    254   0x7fff, 0x33ff, 0x55ff, 0xfdff, 0xfe00, 0xffff, 0x0000, 0x01ff,
    255   0xffff, 0x67ff, 0xabff, 0xfbff, 0xfc00, 0xffff, 0x0000, 0x03ff,
    256   0xffff, 0xcfff, 0x57ff, 0xf7ff, 0xf800, 0xffff, 0x0000, 0x07ff,
    257   0xffff, 0x9fff, 0xafff, 0xefff, 0xf000, 0xffff, 0x0000, 0x0fff,
    258   0xffff, 0x3fff, 0x5fff, 0xdfff, 0xe000, 0xffff, 0x0000, 0x1fff,
    259   0xffff, 0x7fff, 0xbfff, 0xbfff, 0xc000, 0xffff, 0x0000, 0x3fff,
    260   0xffff, 0xffff, 0x7fff, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff,
    261   0xffff, 0xffff, 0xffff, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff,
    262   0x3333, 0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa,
    263   0x6667, 0xaaab, 0xfffb, 0xfffc, 0xffff, 0x0000, 0x0003, 0x5554,
    264   0xcccf, 0x5557, 0xfff7, 0xfff8, 0xffff, 0x0000, 0x0007, 0xaaa8,
    265   0x999f, 0xaaaf, 0xffef, 0xfff0, 0xffff, 0x0000, 0x000f, 0x5550,
    266   0x333f, 0x555f, 0xffdf, 0xffe0, 0xffff, 0x0000, 0x001f, 0xaaa0,
    267   0x667f, 0xaabf, 0xffbf, 0xffc0, 0xffff, 0x0000, 0x003f, 0x5540,
    268   0xccff, 0x557f, 0xff7f, 0xff80, 0xffff, 0x0000, 0x007f, 0xaa80,
    269   0x99ff, 0xaaff, 0xfeff, 0xff00, 0xffff, 0x0000, 0x00ff, 0x5500,
    270   0x33ff, 0x55ff, 0xfdff, 0xfe00, 0xffff, 0x0000, 0x01ff, 0xaa00,
    271   0x67ff, 0xabff, 0xfbff, 0xfc00, 0xffff, 0x0000, 0x03ff, 0x5400,
    272   0xcfff, 0x57ff, 0xf7ff, 0xf800, 0xffff, 0x0000, 0x07ff, 0xa800,
    273   0x9fff, 0xafff, 0xefff, 0xf000, 0xffff, 0x0000, 0x0fff, 0x5000,
    274   0x3fff, 0x5fff, 0xdfff, 0xe000, 0xffff, 0x0000, 0x1fff, 0xa000,
    275   0x7fff, 0xbfff, 0xbfff, 0xc000, 0xffff, 0x0000, 0x3fff, 0x4000,
    276   0xffff, 0x7fff, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000,
    277   0xffff, 0xffff, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000,
    278   0x5555, 0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc,
    279   0xaaab, 0xfffb, 0xfffc, 0xffff, 0x0000, 0x0003, 0x5554, 0x9998,
    280   0x5557, 0xfff7, 0xfff8, 0xffff, 0x0000, 0x0007, 0xaaa8, 0x3330,
    281   0xaaaf, 0xffef, 0xfff0, 0xffff, 0x0000, 0x000f, 0x5550, 0x6660,
    282   0x555f, 0xffdf, 0xffe0, 0xffff, 0x0000, 0x001f, 0xaaa0, 0xccc0,
    283   0xaabf, 0xffbf, 0xffc0, 0xffff, 0x0000, 0x003f, 0x5540, 0x9980,
    284   0x557f, 0xff7f, 0xff80, 0xffff, 0x0000, 0x007f, 0xaa80, 0x3300,
    285   0xaaff, 0xfeff, 0xff00, 0xffff, 0x0000, 0x00ff, 0x5500, 0x6600,
    286   0x55ff, 0xfdff, 0xfe00, 0xffff, 0x0000, 0x01ff, 0xaa00, 0xcc00,
    287   0xabff, 0xfbff, 0xfc00, 0xffff, 0x0000, 0x03ff, 0x5400, 0x9800,
    288   0x57ff, 0xf7ff, 0xf800, 0xffff, 0x0000, 0x07ff, 0xa800, 0x3000,
    289   0xafff, 0xefff, 0xf000, 0xffff, 0x0000, 0x0fff, 0x5000, 0x6000,
    290   0x5fff, 0xdfff, 0xe000, 0xffff, 0x0000, 0x1fff, 0xa000, 0xc000,
    291   0xbfff, 0xbfff, 0xc000, 0xffff, 0x0000, 0x3fff, 0x4000, 0x8000,
    292   0x7fff, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0x0000,
    293   0xffff, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000,
    294   0x7ffd, 0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80,
    295   0xfffb, 0xfffc, 0xffff, 0x0000, 0x0003, 0x5554, 0x9998, 0xff00,
    296   0xfff7, 0xfff8, 0xffff, 0x0000, 0x0007, 0xaaa8, 0x3330, 0xfe00,
    297   0xffef, 0xfff0, 0xffff, 0x0000, 0x000f, 0x5550, 0x6660, 0xfc00,
    298   0xffdf, 0xffe0, 0xffff, 0x0000, 0x001f, 0xaaa0, 0xccc0, 0xf800,
    299   0xffbf, 0xffc0, 0xffff, 0x0000, 0x003f, 0x5540, 0x9980, 0xf000,
    300   0xff7f, 0xff80, 0xffff, 0x0000, 0x007f, 0xaa80, 0x3300, 0xe000,
    301   0xfeff, 0xff00, 0xffff, 0x0000, 0x00ff, 0x5500, 0x6600, 0xc000,
    302   0xfdff, 0xfe00, 0xffff, 0x0000, 0x01ff, 0xaa00, 0xcc00, 0x8000,
    303   0xfbff, 0xfc00, 0xffff, 0x0000, 0x03ff, 0x5400, 0x9800, 0x0000,
    304   0xf7ff, 0xf800, 0xffff, 0x0000, 0x07ff, 0xa800, 0x3000, 0x0000,
    305   0xefff, 0xf000, 0xffff, 0x0000, 0x0fff, 0x5000, 0x6000, 0x0000,
    306   0xdfff, 0xe000, 0xffff, 0x0000, 0x1fff, 0xa000, 0xc000, 0x0000,
    307   0xbfff, 0xc000, 0xffff, 0x0000, 0x3fff, 0x4000, 0x8000, 0x0000,
    308   0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0x0000, 0x0000,
    309   0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000,
    310   0x7ffe, 0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81,
    311   0xfffc, 0xffff, 0x0000, 0x0003, 0x5554, 0x9998, 0xff00, 0xff03,
    312   0xfff8, 0xffff, 0x0000, 0x0007, 0xaaa8, 0x3330, 0xfe00, 0xfe07,
    313   0xfff0, 0xffff, 0x0000, 0x000f, 0x5550, 0x6660, 0xfc00, 0xfc0f,
    314   0xffe0, 0xffff, 0x0000, 0x001f, 0xaaa0, 0xccc0, 0xf800, 0xf81f,
    315   0xffc0, 0xffff, 0x0000, 0x003f, 0x5540, 0x9980, 0xf000, 0xf03f,
    316   0xff80, 0xffff, 0x0000, 0x007f, 0xaa80, 0x3300, 0xe000, 0xe07f,
    317   0xff00, 0xffff, 0x0000, 0x00ff, 0x5500, 0x6600, 0xc000, 0xc0ff,
    318   0xfe00, 0xffff, 0x0000, 0x01ff, 0xaa00, 0xcc00, 0x8000, 0x81ff,
    319   0xfc00, 0xffff, 0x0000, 0x03ff, 0x5400, 0x9800, 0x0000, 0x03ff,
    320   0xf800, 0xffff, 0x0000, 0x07ff, 0xa800, 0x3000, 0x0000, 0x07ff,
    321   0xf000, 0xffff, 0x0000, 0x0fff, 0x5000, 0x6000, 0x0000, 0x0fff,
    322   0xe000, 0xffff, 0x0000, 0x1fff, 0xa000, 0xc000, 0x0000, 0x1fff,
    323   0xc000, 0xffff, 0x0000, 0x3fff, 0x4000, 0x8000, 0x0000, 0x3fff,
    324   0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0x0000, 0x0000, 0x7fff,
    325   0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0xffff,
    326   0x7fff, 0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82,
    327   0xffff, 0x0000, 0x0003, 0x5554, 0x9998, 0xff00, 0xff03, 0xff04,
    328   0xffff, 0x0000, 0x0007, 0xaaa8, 0x3330, 0xfe00, 0xfe07, 0xfe08,
    329   0xffff, 0x0000, 0x000f, 0x5550, 0x6660, 0xfc00, 0xfc0f, 0xfc10,
    330   0xffff, 0x0000, 0x001f, 0xaaa0, 0xccc0, 0xf800, 0xf81f, 0xf820,
    331   0xffff, 0x0000, 0x003f, 0x5540, 0x9980, 0xf000, 0xf03f, 0xf040,
    332   0xffff, 0x0000, 0x007f, 0xaa80, 0x3300, 0xe000, 0xe07f, 0xe080,
    333   0xffff, 0x0000, 0x00ff, 0x5500, 0x6600, 0xc000, 0xc0ff, 0xc100,
    334   0xffff, 0x0000, 0x01ff, 0xaa00, 0xcc00, 0x8000, 0x81ff, 0x8200,
    335   0xffff, 0x0000, 0x03ff, 0x5400, 0x9800, 0x0000, 0x03ff, 0x0400,
    336   0xffff, 0x0000, 0x07ff, 0xa800, 0x3000, 0x0000, 0x07ff, 0x0800,
    337   0xffff, 0x0000, 0x0fff, 0x5000, 0x6000, 0x0000, 0x0fff, 0x1000,
    338   0xffff, 0x0000, 0x1fff, 0xa000, 0xc000, 0x0000, 0x1fff, 0x2000,
    339   0xffff, 0x0000, 0x3fff, 0x4000, 0x8000, 0x0000, 0x3fff, 0x4000,
    340   0xffff, 0x0000, 0x7fff, 0x8000, 0x0000, 0x0000, 0x7fff, 0x8000,
    341   0xffff, 0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0xffff, 0x0000,
    342   0x8000, 0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83,
    343   0x0000, 0x0003, 0x5554, 0x9998, 0xff00, 0xff03, 0xff04, 0xff07,
    344   0x0000, 0x0007, 0xaaa8, 0x3330, 0xfe00, 0xfe07, 0xfe08, 0xfe0f,
    345   0x0000, 0x000f, 0x5550, 0x6660, 0xfc00, 0xfc0f, 0xfc10, 0xfc1f,
    346   0x0000, 0x001f, 0xaaa0, 0xccc0, 0xf800, 0xf81f, 0xf820, 0xf83f,
    347   0x0000, 0x003f, 0x5540, 0x9980, 0xf000, 0xf03f, 0xf040, 0xf07f,
    348   0x0000, 0x007f, 0xaa80, 0x3300, 0xe000, 0xe07f, 0xe080, 0xe0ff,
    349   0x0000, 0x00ff, 0x5500, 0x6600, 0xc000, 0xc0ff, 0xc100, 0xc1ff,
    350   0x0000, 0x01ff, 0xaa00, 0xcc00, 0x8000, 0x81ff, 0x8200, 0x83ff,
    351   0x0000, 0x03ff, 0x5400, 0x9800, 0x0000, 0x03ff, 0x0400, 0x07ff,
    352   0x0000, 0x07ff, 0xa800, 0x3000, 0x0000, 0x07ff, 0x0800, 0x0fff,
    353   0x0000, 0x0fff, 0x5000, 0x6000, 0x0000, 0x0fff, 0x1000, 0x1fff,
    354   0x0000, 0x1fff, 0xa000, 0xc000, 0x0000, 0x1fff, 0x2000, 0x3fff,
    355   0x0000, 0x3fff, 0x4000, 0x8000, 0x0000, 0x3fff, 0x4000, 0x7fff,
    356   0x0000, 0x7fff, 0x8000, 0x0000, 0x0000, 0x7fff, 0x8000, 0xffff,
    357   0x0000, 0xffff, 0x0000, 0x0000, 0x0000, 0xffff, 0x0000, 0xffff,
    358   0x8001, 0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0,
    359   0x0003, 0x5554, 0x9998, 0xff00, 0xff03, 0xff04, 0xff07, 0xffe0,
    360   0x0007, 0xaaa8, 0x3330, 0xfe00, 0xfe07, 0xfe08, 0xfe0f, 0xffc0,
    361   0x000f, 0x5550, 0x6660, 0xfc00, 0xfc0f, 0xfc10, 0xfc1f, 0xff80,
    362   0x001f, 0xaaa0, 0xccc0, 0xf800, 0xf81f, 0xf820, 0xf83f, 0xff00,
    363   0x003f, 0x5540, 0x9980, 0xf000, 0xf03f, 0xf040, 0xf07f, 0xfe00,
    364   0x007f, 0xaa80, 0x3300, 0xe000, 0xe07f, 0xe080, 0xe0ff, 0xfc00,
    365   0x00ff, 0x5500, 0x6600, 0xc000, 0xc0ff, 0xc100, 0xc1ff, 0xf800,
    366   0x01ff, 0xaa00, 0xcc00, 0x8000, 0x81ff, 0x8200, 0x83ff, 0xf000,
    367   0x03ff, 0x5400, 0x9800, 0x0000, 0x03ff, 0x0400, 0x07ff, 0xe000,
    368   0x07ff, 0xa800, 0x3000, 0x0000, 0x07ff, 0x0800, 0x0fff, 0xc000,
    369   0x0fff, 0x5000, 0x6000, 0x0000, 0x0fff, 0x1000, 0x1fff, 0x8000,
    370   0x1fff, 0xa000, 0xc000, 0x0000, 0x1fff, 0x2000, 0x3fff, 0x0000,
    371   0x3fff, 0x4000, 0x8000, 0x0000, 0x3fff, 0x4000, 0x7fff, 0x0000,
    372   0x7fff, 0x8000, 0x0000, 0x0000, 0x7fff, 0x8000, 0xffff, 0x0000,
    373   0xffff, 0x0000, 0x0000, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000,
    374   0xaaaa, 0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd,
    375   0x5554, 0x9998, 0xff00, 0xff03, 0xff04, 0xff07, 0xffe0, 0xfffb,
    376   0xaaa8, 0x3330, 0xfe00, 0xfe07, 0xfe08, 0xfe0f, 0xffc0, 0xfff7,
    377   0x5550, 0x6660, 0xfc00, 0xfc0f, 0xfc10, 0xfc1f, 0xff80, 0xffef,
    378   0xaaa0, 0xccc0, 0xf800, 0xf81f, 0xf820, 0xf83f, 0xff00, 0xffdf,
    379   0x5540, 0x9980, 0xf000, 0xf03f, 0xf040, 0xf07f, 0xfe00, 0xffbf,
    380   0xaa80, 0x3300, 0xe000, 0xe07f, 0xe080, 0xe0ff, 0xfc00, 0xff7f,
    381   0x5500, 0x6600, 0xc000, 0xc0ff, 0xc100, 0xc1ff, 0xf800, 0xfeff,
    382   0xaa00, 0xcc00, 0x8000, 0x81ff, 0x8200, 0x83ff, 0xf000, 0xfdff,
    383   0x5400, 0x9800, 0x0000, 0x03ff, 0x0400, 0x07ff, 0xe000, 0xfbff,
    384   0xa800, 0x3000, 0x0000, 0x07ff, 0x0800, 0x0fff, 0xc000, 0xf7ff,
    385   0x5000, 0x6000, 0x0000, 0x0fff, 0x1000, 0x1fff, 0x8000, 0xefff,
    386   0xa000, 0xc000, 0x0000, 0x1fff, 0x2000, 0x3fff, 0x0000, 0xdfff,
    387   0x4000, 0x8000, 0x0000, 0x3fff, 0x4000, 0x7fff, 0x0000, 0xbfff,
    388   0x8000, 0x0000, 0x0000, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff,
    389   0x0000, 0x0000, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff,
    390   0xcccc, 0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe,
    391   0x9998, 0xff00, 0xff03, 0xff04, 0xff07, 0xffe0, 0xfffb, 0xfffc,
    392   0x3330, 0xfe00, 0xfe07, 0xfe08, 0xfe0f, 0xffc0, 0xfff7, 0xfff8,
    393   0x6660, 0xfc00, 0xfc0f, 0xfc10, 0xfc1f, 0xff80, 0xffef, 0xfff0,
    394   0xccc0, 0xf800, 0xf81f, 0xf820, 0xf83f, 0xff00, 0xffdf, 0xffe0,
    395   0x9980, 0xf000, 0xf03f, 0xf040, 0xf07f, 0xfe00, 0xffbf, 0xffc0,
    396   0x3300, 0xe000, 0xe07f, 0xe080, 0xe0ff, 0xfc00, 0xff7f, 0xff80,
    397   0x6600, 0xc000, 0xc0ff, 0xc100, 0xc1ff, 0xf800, 0xfeff, 0xff00,
    398   0xcc00, 0x8000, 0x81ff, 0x8200, 0x83ff, 0xf000, 0xfdff, 0xfe00,
    399   0x9800, 0x0000, 0x03ff, 0x0400, 0x07ff, 0xe000, 0xfbff, 0xfc00,
    400   0x3000, 0x0000, 0x07ff, 0x0800, 0x0fff, 0xc000, 0xf7ff, 0xf800,
    401   0x6000, 0x0000, 0x0fff, 0x1000, 0x1fff, 0x8000, 0xefff, 0xf000,
    402   0xc000, 0x0000, 0x1fff, 0x2000, 0x3fff, 0x0000, 0xdfff, 0xe000,
    403   0x8000, 0x0000, 0x3fff, 0x4000, 0x7fff, 0x0000, 0xbfff, 0xc000,
    404   0x0000, 0x0000, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000,
    405   0x0000, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000,
    406   0xff80, 0xff81, 0xff82, 0xff83, 0xfff0, 0xfffd, 0xfffe, 0xffff,
    407   0xff00, 0xff03, 0xff04, 0xff07, 0xffe0, 0xfffb, 0xfffc, 0xffff,
    408   0xfe00, 0xfe07, 0xfe08, 0xfe0f, 0xffc0, 0xfff7, 0xfff8, 0xffff,
    409   0xfc00, 0xfc0f, 0xfc10, 0xfc1f, 0xff80, 0xffef, 0xfff0, 0xffff,
    410   0xf800, 0xf81f, 0xf820, 0xf83f, 0xff00, 0xffdf, 0xffe0, 0xffff,
    411   0xf000, 0xf03f, 0xf040, 0xf07f, 0xfe00, 0xffbf, 0xffc0, 0xffff,
    412   0xe000, 0xe07f, 0xe080, 0xe0ff, 0xfc00, 0xff7f, 0xff80, 0xffff,
    413   0xc000, 0xc0ff, 0xc100, 0xc1ff, 0xf800, 0xfeff, 0xff00, 0xffff,
    414   0x8000, 0x81ff, 0x8200, 0x83ff, 0xf000, 0xfdff, 0xfe00, 0xffff,
    415   0x0000, 0x03ff, 0x0400, 0x07ff, 0xe000, 0xfbff, 0xfc00, 0xffff,
    416   0x0000, 0x07ff, 0x0800, 0x0fff, 0xc000, 0xf7ff, 0xf800, 0xffff,
    417   0x0000, 0x0fff, 0x1000, 0x1fff, 0x8000, 0xefff, 0xf000, 0xffff,
    418   0x0000, 0x1fff, 0x2000, 0x3fff, 0x0000, 0xdfff, 0xe000, 0xffff,
    419   0x0000, 0x3fff, 0x4000, 0x7fff, 0x0000, 0xbfff, 0xc000, 0xffff,
    420   0x0000, 0x7fff, 0x8000, 0xffff, 0x0000, 0x7fff, 0x8000, 0xffff,
    421   0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff, 0x0000, 0xffff,
    422 };
    423 const unsigned kExpectedCount_NEON_sli_8H_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_SLI_8H_2OPIMM_TRACE_A64_H_
    426