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_SADDW_8H_TRACE_A64_H_
     35 #define VIXL_SIM_SADDW_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_saddw_8H[] = {
     38   0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0xff82,
     39   0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0xff83,
     40   0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xffaa,
     41   0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0xffcc,
     42   0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0xfff8,
     43   0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0xfffd,
     44   0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0xfffe,
     45   0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0xffff,
     46   0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000,
     47   0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001,
     48   0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x0002,
     49   0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x0008,
     50   0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033,
     51   0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055,
     52   0x007d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d,
     53   0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e,
     54   0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f,
     55   0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0xff80,
     56   0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0xff81,
     57   0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0xff81, 0xff83,
     58   0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0xff82, 0xff84,
     59   0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xffab,
     60   0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xffaa, 0xffcd,
     61   0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0xffcc, 0xfff9,
     62   0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0xfff8, 0xfffe,
     63   0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0xfffd, 0xffff,
     64   0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0xfffe, 0x0000,
     65   0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0xffff, 0x0001,
     66   0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002,
     67   0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003,
     68   0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x0002, 0x0009,
     69   0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034,
     70   0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056,
     71   0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e,
     72   0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f,
     73   0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080,
     74   0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0xff81,
     75   0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0xff80, 0xff82,
     76   0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0xff80, 0xff82, 0xff84,
     77   0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0xff81, 0xff83, 0xff85,
     78   0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xffac,
     79   0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xffab, 0xffce,
     80   0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xffaa, 0xffcd, 0xfffa,
     81   0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0xffcc, 0xfff9, 0xffff,
     82   0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0xfff8, 0xfffe, 0x0000,
     83   0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0xfffd, 0xffff, 0x0001,
     84   0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0xfffe, 0x0000, 0x0002,
     85   0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003,
     86   0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004,
     87   0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x000a,
     88   0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035,
     89   0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057,
     90   0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f,
     91   0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080,
     92   0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081,
     93   0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0xff82,
     94   0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0xff81, 0xff83,
     95   0x5588, 0x8052, 0x807b, 0x807d, 0x007f, 0xff81, 0xff83, 0xff92,
     96   0x55aa, 0x807a, 0x807c, 0x807e, 0xff80, 0xff82, 0xff84, 0xff93,
     97   0x55d2, 0x807b, 0x807d, 0x7f7f, 0xff81, 0xff83, 0xff85, 0xffba,
     98   0x55d3, 0x807c, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xffac, 0xffdc,
     99   0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xffab, 0xffce, 0x0008,
    100   0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0xffaa, 0xffcd, 0xfffa, 0x000d,
    101   0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0xffcc, 0xfff9, 0xffff, 0x000e,
    102   0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0xfff8, 0xfffe, 0x0000, 0x000f,
    103   0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0xfffd, 0xffff, 0x0001, 0x0010,
    104   0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011,
    105   0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012,
    106   0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0018,
    107   0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043,
    108   0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065,
    109   0x5554, 0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d,
    110   0x5555, 0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e,
    111   0x5556, 0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f,
    112   0x5557, 0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0xff90,
    113   0x555d, 0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0xff82, 0xff91,
    114   0x8030, 0x8053, 0x807c, 0x007e, 0x0080, 0xff82, 0xff91, 0xffff,
    115   0x8052, 0x807b, 0x807d, 0x007f, 0xff81, 0xff83, 0xff92, 0x0000,
    116   0x807a, 0x807c, 0x807e, 0xff80, 0xff82, 0xff84, 0xff93, 0x0027,
    117   0x807b, 0x807d, 0x7f7f, 0xff81, 0xff83, 0xff85, 0xffba, 0x0049,
    118   0x807c, 0x7f7e, 0x7f80, 0xff82, 0xff84, 0xffac, 0xffdc, 0x0075,
    119   0x7f7d, 0x7f7f, 0x7f81, 0xff83, 0xffab, 0xffce, 0x0008, 0x007a,
    120   0x7f7e, 0x7f80, 0x7f82, 0xffaa, 0xffcd, 0xfffa, 0x000d, 0x007b,
    121   0x7f7f, 0x7f81, 0x7fa9, 0xffcc, 0xfff9, 0xffff, 0x000e, 0x007c,
    122   0x7f80, 0x7fa8, 0x7fcb, 0xfff8, 0xfffe, 0x0000, 0x000f, 0x007d,
    123   0x7fa7, 0x7fca, 0x7ff7, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e,
    124   0x7fc9, 0x7ff6, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f,
    125   0x7ff5, 0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x0085,
    126   0x7ffa, 0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0,
    127   0x7ffb, 0x7ffd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2,
    128   0x7ffc, 0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa,
    129   0x7ffd, 0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb,
    130   0x7ffe, 0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc,
    131   0x7fff, 0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0xfffd,
    132   0x8005, 0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0xff90, 0xfffe,
    133   0x8031, 0x8054, 0x007d, 0x007f, 0x0081, 0xff90, 0xfffe, 0x0000,
    134   0x8053, 0x807c, 0x007e, 0x0080, 0xff82, 0xff91, 0xffff, 0x0001,
    135   0x807b, 0x807d, 0x007f, 0xff81, 0xff83, 0xff92, 0x0000, 0x0028,
    136   0x807c, 0x807e, 0xff80, 0xff82, 0xff84, 0xff93, 0x0027, 0x004a,
    137   0x807d, 0x7f7f, 0xff81, 0xff83, 0xff85, 0xffba, 0x0049, 0x0076,
    138   0x7f7e, 0x7f80, 0xff82, 0xff84, 0xffac, 0xffdc, 0x0075, 0x007b,
    139   0x7f7f, 0x7f81, 0xff83, 0xffab, 0xffce, 0x0008, 0x007a, 0x007c,
    140   0x7f80, 0x7f82, 0xffaa, 0xffcd, 0xfffa, 0x000d, 0x007b, 0x007d,
    141   0x7f81, 0x7fa9, 0xffcc, 0xfff9, 0xffff, 0x000e, 0x007c, 0x007e,
    142   0x7fa8, 0x7fcb, 0xfff8, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f,
    143   0x7fca, 0x7ff7, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080,
    144   0x7ff6, 0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x0086,
    145   0x7ffb, 0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1,
    146   0x7ffc, 0x7ffe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3,
    147   0x7ffd, 0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb,
    148   0x7ffe, 0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc,
    149   0x7fff, 0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd,
    150   0x8000, 0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0xfffe,
    151   0x8006, 0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0xfffd, 0xffff,
    152   0x8032, 0x0055, 0x007e, 0x0080, 0x008f, 0xfffd, 0xffff, 0x0001,
    153   0x8054, 0x007d, 0x007f, 0x0081, 0xff90, 0xfffe, 0x0000, 0x0002,
    154   0x807c, 0x007e, 0x0080, 0xff82, 0xff91, 0xffff, 0x0001, 0x0029,
    155   0x807d, 0x007f, 0xff81, 0xff83, 0xff92, 0x0000, 0x0028, 0x004b,
    156   0x807e, 0xff80, 0xff82, 0xff84, 0xff93, 0x0027, 0x004a, 0x0077,
    157   0x7f7f, 0xff81, 0xff83, 0xff85, 0xffba, 0x0049, 0x0076, 0x007c,
    158   0x7f80, 0xff82, 0xff84, 0xffac, 0xffdc, 0x0075, 0x007b, 0x007d,
    159   0x7f81, 0xff83, 0xffab, 0xffce, 0x0008, 0x007a, 0x007c, 0x007e,
    160   0x7f82, 0xffaa, 0xffcd, 0xfffa, 0x000d, 0x007b, 0x007d, 0x007f,
    161   0x7fa9, 0xffcc, 0xfff9, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080,
    162   0x7fcb, 0xfff8, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081,
    163   0x7ff7, 0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x0087,
    164   0x7ffc, 0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2,
    165   0x7ffd, 0xffff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4,
    166   0x7ffe, 0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc,
    167   0x7fff, 0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd,
    168   0x8000, 0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe,
    169   0x8001, 0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0xffff,
    170   0x8007, 0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0xfffe, 0x0000,
    171   0x0033, 0x0056, 0x007f, 0x008e, 0x00fc, 0xfffe, 0x0000, 0x32b5,
    172   0x0055, 0x007e, 0x0080, 0x008f, 0xfffd, 0xffff, 0x0001, 0x32b6,
    173   0x007d, 0x007f, 0x0081, 0xff90, 0xfffe, 0x0000, 0x0002, 0x32dd,
    174   0x007e, 0x0080, 0xff82, 0xff91, 0xffff, 0x0001, 0x0029, 0x32ff,
    175   0x007f, 0xff81, 0xff83, 0xff92, 0x0000, 0x0028, 0x004b, 0x332b,
    176   0xff80, 0xff82, 0xff84, 0xff93, 0x0027, 0x004a, 0x0077, 0x3330,
    177   0xff81, 0xff83, 0xff85, 0xffba, 0x0049, 0x0076, 0x007c, 0x3331,
    178   0xff82, 0xff84, 0xffac, 0xffdc, 0x0075, 0x007b, 0x007d, 0x3332,
    179   0xff83, 0xffab, 0xffce, 0x0008, 0x007a, 0x007c, 0x007e, 0x3333,
    180   0xffaa, 0xffcd, 0xfffa, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334,
    181   0xffcc, 0xfff9, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335,
    182   0xfff8, 0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x333b,
    183   0xfffd, 0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366,
    184   0xfffe, 0x0000, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388,
    185   0xffff, 0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0,
    186   0x0000, 0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1,
    187   0x0001, 0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2,
    188   0x0002, 0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x32b3,
    189   0x0008, 0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0xffff, 0x32b4,
    190   0x0034, 0x0057, 0x008d, 0x00fb, 0x00fd, 0xffff, 0x32b4, 0x54d7,
    191   0x0056, 0x007f, 0x008e, 0x00fc, 0xfffe, 0x0000, 0x32b5, 0x54d8,
    192   0x007e, 0x0080, 0x008f, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x54ff,
    193   0x007f, 0x0081, 0xff90, 0xfffe, 0x0000, 0x0002, 0x32dd, 0x5521,
    194   0x0080, 0xff82, 0xff91, 0xffff, 0x0001, 0x0029, 0x32ff, 0x554d,
    195   0xff81, 0xff83, 0xff92, 0x0000, 0x0028, 0x004b, 0x332b, 0x5552,
    196   0xff82, 0xff84, 0xff93, 0x0027, 0x004a, 0x0077, 0x3330, 0x5553,
    197   0xff83, 0xff85, 0xffba, 0x0049, 0x0076, 0x007c, 0x3331, 0x5554,
    198   0xff84, 0xffac, 0xffdc, 0x0075, 0x007b, 0x007d, 0x3332, 0x5555,
    199   0xffab, 0xffce, 0x0008, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556,
    200   0xffcd, 0xfffa, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557,
    201   0xfff9, 0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x555d,
    202   0xfffe, 0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588,
    203   0xffff, 0x0001, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa,
    204   0x0000, 0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2,
    205   0x0001, 0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3,
    206   0x0002, 0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4,
    207   0x0003, 0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x54d5,
    208   0x0009, 0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x32b3, 0x54d6,
    209   0x0035, 0x0065, 0x00fa, 0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f,
    210   0x0057, 0x008d, 0x00fb, 0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80,
    211   0x007f, 0x008e, 0x00fc, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7,
    212   0x0080, 0x008f, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9,
    213   0x0081, 0xff90, 0xfffe, 0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5,
    214   0xff82, 0xff91, 0xffff, 0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa,
    215   0xff83, 0xff92, 0x0000, 0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb,
    216   0xff84, 0xff93, 0x0027, 0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc,
    217   0xff85, 0xffba, 0x0049, 0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd,
    218   0xffac, 0xffdc, 0x0075, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe,
    219   0xffce, 0x0008, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff,
    220   0xfffa, 0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x8005,
    221   0xffff, 0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030,
    222   0x0000, 0x000f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052,
    223   0x0001, 0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a,
    224   0x0002, 0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b,
    225   0x0003, 0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c,
    226   0x0004, 0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d,
    227   0x000a, 0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e,
    228   0x0043, 0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80,
    229   0x0065, 0x00fa, 0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81,
    230   0x008d, 0x00fb, 0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8,
    231   0x008e, 0x00fc, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca,
    232   0x008f, 0xfffd, 0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6,
    233   0xff90, 0xfffe, 0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb,
    234   0xff91, 0xffff, 0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc,
    235   0xff92, 0x0000, 0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd,
    236   0xff93, 0x0027, 0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe,
    237   0xffba, 0x0049, 0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff,
    238   0xffdc, 0x0075, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000,
    239   0x0008, 0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x8006,
    240   0x000d, 0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031,
    241   0x000e, 0x007c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053,
    242   0x000f, 0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b,
    243   0x0010, 0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c,
    244   0x0011, 0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d,
    245   0x0012, 0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e,
    246   0x0018, 0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f,
    247   0x00b0, 0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81,
    248   0x00d2, 0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82,
    249   0x00fa, 0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9,
    250   0x00fb, 0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb,
    251   0x00fc, 0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7,
    252   0xfffd, 0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc,
    253   0xfffe, 0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd,
    254   0xffff, 0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe,
    255   0x0000, 0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff,
    256   0x0027, 0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000,
    257   0x0049, 0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001,
    258   0x0075, 0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007,
    259   0x007a, 0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032,
    260   0x007b, 0x007d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054,
    261   0x007c, 0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c,
    262   0x007d, 0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d,
    263   0x007e, 0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e,
    264   0x007f, 0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f,
    265   0x0085, 0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80,
    266   0x00b1, 0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0x7f82,
    267   0x00d3, 0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0x7f83,
    268   0x00fb, 0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x7faa,
    269   0x00fc, 0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0x7fcc,
    270   0x00fd, 0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0x7ff8,
    271   0xfffe, 0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0x7ffd,
    272   0xffff, 0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe,
    273   0x0000, 0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0x7fff,
    274   0x0001, 0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000,
    275   0x0028, 0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001,
    276   0x004a, 0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x8002,
    277   0x0076, 0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x8008,
    278   0x007b, 0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033,
    279   0x007c, 0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055,
    280   0x007d, 0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d,
    281   0x007e, 0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e,
    282   0x007f, 0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f,
    283   0x0080, 0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x7f80,
    284   0x0086, 0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0x7f81,
    285   0x00b2, 0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0x7f81, 0x7f83,
    286   0x00d4, 0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0x7f82, 0x7f84,
    287   0x00fc, 0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0x7f83, 0x7fab,
    288   0x00fd, 0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x7faa, 0x7fcd,
    289   0x00fe, 0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0x7fcc, 0x7ff9,
    290   0xffff, 0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe,
    291   0x0000, 0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0x7ffd, 0x7fff,
    292   0x0001, 0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe, 0x8000,
    293   0x0002, 0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0x7fff, 0x8001,
    294   0x0029, 0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002,
    295   0x004b, 0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003,
    296   0x0077, 0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0x8009,
    297   0x007c, 0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034,
    298   0x007d, 0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056,
    299   0x007e, 0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e,
    300   0x007f, 0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f,
    301   0x0080, 0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080,
    302   0x0081, 0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x7f81,
    303   0x0087, 0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x7f80, 0x7f82,
    304   0x3366, 0x55aa, 0x807a, 0x807c, 0x807e, 0x7f80, 0x7f82, 0xaa2c,
    305   0x3388, 0x55d2, 0x807b, 0x807d, 0x7f7f, 0x7f81, 0x7f83, 0xaa2d,
    306   0x33b0, 0x55d3, 0x807c, 0x7f7e, 0x7f80, 0x7f82, 0x7f84, 0xaa54,
    307   0x33b1, 0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0x7f83, 0x7fab, 0xaa76,
    308   0x33b2, 0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x7faa, 0x7fcd, 0xaaa2,
    309   0x32b3, 0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7,
    310   0x32b4, 0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8,
    311   0x32b5, 0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0x7ffd, 0x7fff, 0xaaa9,
    312   0x32b6, 0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe, 0x8000, 0xaaaa,
    313   0x32dd, 0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0xaaab,
    314   0x32ff, 0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac,
    315   0x332b, 0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaab2,
    316   0x3330, 0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd,
    317   0x3331, 0x5554, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff,
    318   0x3332, 0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27,
    319   0x3333, 0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28,
    320   0x3334, 0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29,
    321   0x3335, 0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xaa2a,
    322   0x333b, 0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x7f81, 0xaa2b,
    323   0x5588, 0x8052, 0x807b, 0x807d, 0x807f, 0x7f81, 0xaa2b, 0xcc4e,
    324   0x55aa, 0x807a, 0x807c, 0x807e, 0x7f80, 0x7f82, 0xaa2c, 0xcc4f,
    325   0x55d2, 0x807b, 0x807d, 0x7f7f, 0x7f81, 0x7f83, 0xaa2d, 0xcc76,
    326   0x55d3, 0x807c, 0x7f7e, 0x7f80, 0x7f82, 0x7f84, 0xaa54, 0xcc98,
    327   0x55d4, 0x7f7d, 0x7f7f, 0x7f81, 0x7f83, 0x7fab, 0xaa76, 0xccc4,
    328   0x54d5, 0x7f7e, 0x7f80, 0x7f82, 0x7faa, 0x7fcd, 0xaaa2, 0xccc9,
    329   0x54d6, 0x7f7f, 0x7f81, 0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7, 0xccca,
    330   0x54d7, 0x7f80, 0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8, 0xcccb,
    331   0x54d8, 0x7fa7, 0x7fca, 0x7ff7, 0x7ffd, 0x7fff, 0xaaa9, 0xcccc,
    332   0x54ff, 0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe, 0x8000, 0xaaaa, 0xcccd,
    333   0x5521, 0x7ff5, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0xaaab, 0xccce,
    334   0x554d, 0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccd4,
    335   0x5552, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff,
    336   0x5553, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21,
    337   0x5554, 0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49,
    338   0x5555, 0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a,
    339   0x5556, 0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b,
    340   0x5557, 0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcc4c,
    341   0x555d, 0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xaa2a, 0xcc4d,
    342   0x8030, 0x8053, 0x807c, 0x807e, 0x8080, 0xaa2a, 0xcc4d, 0xff02,
    343   0x8052, 0x807b, 0x807d, 0x807f, 0x7f81, 0xaa2b, 0xcc4e, 0xff03,
    344   0x807a, 0x807c, 0x807e, 0x7f80, 0x7f82, 0xaa2c, 0xcc4f, 0xff2a,
    345   0x807b, 0x807d, 0x7f7f, 0x7f81, 0x7f83, 0xaa2d, 0xcc76, 0xff4c,
    346   0x807c, 0x7f7e, 0x7f80, 0x7f82, 0x7f84, 0xaa54, 0xcc98, 0xff78,
    347   0x7f7d, 0x7f7f, 0x7f81, 0x7f83, 0x7fab, 0xaa76, 0xccc4, 0xff7d,
    348   0x7f7e, 0x7f80, 0x7f82, 0x7faa, 0x7fcd, 0xaaa2, 0xccc9, 0xff7e,
    349   0x7f7f, 0x7f81, 0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7, 0xccca, 0xff7f,
    350   0x7f80, 0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8, 0xcccb, 0xff80,
    351   0x7fa7, 0x7fca, 0x7ff7, 0x7ffd, 0x7fff, 0xaaa9, 0xcccc, 0xff81,
    352   0x7fc9, 0x7ff6, 0x7ffc, 0x7ffe, 0x8000, 0xaaaa, 0xcccd, 0xff82,
    353   0x7ff5, 0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0xaaab, 0xccce, 0xff88,
    354   0x7ffa, 0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3,
    355   0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5,
    356   0x7ffc, 0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd,
    357   0x7ffd, 0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe,
    358   0x7ffe, 0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff,
    359   0x7fff, 0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0xff00,
    360   0x8005, 0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcc4c, 0xff01,
    361   0x8031, 0x8054, 0x807d, 0x807f, 0xab29, 0xcc4c, 0xff01, 0xff03,
    362   0x8053, 0x807c, 0x807e, 0x8080, 0xaa2a, 0xcc4d, 0xff02, 0xff04,
    363   0x807b, 0x807d, 0x807f, 0x7f81, 0xaa2b, 0xcc4e, 0xff03, 0xff2b,
    364   0x807c, 0x807e, 0x7f80, 0x7f82, 0xaa2c, 0xcc4f, 0xff2a, 0xff4d,
    365   0x807d, 0x7f7f, 0x7f81, 0x7f83, 0xaa2d, 0xcc76, 0xff4c, 0xff79,
    366   0x7f7e, 0x7f80, 0x7f82, 0x7f84, 0xaa54, 0xcc98, 0xff78, 0xff7e,
    367   0x7f7f, 0x7f81, 0x7f83, 0x7fab, 0xaa76, 0xccc4, 0xff7d, 0xff7f,
    368   0x7f80, 0x7f82, 0x7faa, 0x7fcd, 0xaaa2, 0xccc9, 0xff7e, 0xff80,
    369   0x7f81, 0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7, 0xccca, 0xff7f, 0xff81,
    370   0x7fa8, 0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8, 0xcccb, 0xff80, 0xff82,
    371   0x7fca, 0x7ff7, 0x7ffd, 0x7fff, 0xaaa9, 0xcccc, 0xff81, 0xff83,
    372   0x7ff6, 0x7ffc, 0x7ffe, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff89,
    373   0x7ffb, 0x7ffd, 0x7fff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4,
    374   0x7ffc, 0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6,
    375   0x7ffd, 0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe,
    376   0x7ffe, 0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff,
    377   0x7fff, 0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000,
    378   0x8000, 0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0xff01,
    379   0x8006, 0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0xff00, 0xff02,
    380   0x8032, 0x8055, 0x807e, 0xab28, 0xcd4b, 0xff00, 0xff02, 0xff04,
    381   0x8054, 0x807d, 0x807f, 0xab29, 0xcc4c, 0xff01, 0xff03, 0xff05,
    382   0x807c, 0x807e, 0x8080, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff2c,
    383   0x807d, 0x807f, 0x7f81, 0xaa2b, 0xcc4e, 0xff03, 0xff2b, 0xff4e,
    384   0x807e, 0x7f80, 0x7f82, 0xaa2c, 0xcc4f, 0xff2a, 0xff4d, 0xff7a,
    385   0x7f7f, 0x7f81, 0x7f83, 0xaa2d, 0xcc76, 0xff4c, 0xff79, 0xff7f,
    386   0x7f80, 0x7f82, 0x7f84, 0xaa54, 0xcc98, 0xff78, 0xff7e, 0xff80,
    387   0x7f81, 0x7f83, 0x7fab, 0xaa76, 0xccc4, 0xff7d, 0xff7f, 0xff81,
    388   0x7f82, 0x7faa, 0x7fcd, 0xaaa2, 0xccc9, 0xff7e, 0xff80, 0xff82,
    389   0x7fa9, 0x7fcc, 0x7ff9, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83,
    390   0x7fcb, 0x7ff8, 0x7ffe, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84,
    391   0x7ff7, 0x7ffd, 0x7fff, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff8a,
    392   0x7ffc, 0x7ffe, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5,
    393   0x7ffd, 0x7fff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7,
    394   0x7ffe, 0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff,
    395   0x7fff, 0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000,
    396   0x8000, 0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001,
    397   0x8001, 0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0xff02,
    398   0x8007, 0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0xff01, 0xff03,
    399   0x8033, 0x8056, 0xab27, 0xcd4a, 0xffff, 0xff01, 0xff03, 0xff05,
    400   0x8055, 0x807e, 0xab28, 0xcd4b, 0xff00, 0xff02, 0xff04, 0xff06,
    401   0x807d, 0x807f, 0xab29, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff2d,
    402   0x807e, 0x8080, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff2c, 0xff4f,
    403   0x807f, 0x7f81, 0xaa2b, 0xcc4e, 0xff03, 0xff2b, 0xff4e, 0xff7b,
    404   0x7f80, 0x7f82, 0xaa2c, 0xcc4f, 0xff2a, 0xff4d, 0xff7a, 0xff80,
    405   0x7f81, 0x7f83, 0xaa2d, 0xcc76, 0xff4c, 0xff79, 0xff7f, 0xff81,
    406   0x7f82, 0x7f84, 0xaa54, 0xcc98, 0xff78, 0xff7e, 0xff80, 0xff82,
    407   0x7f83, 0x7fab, 0xaa76, 0xccc4, 0xff7d, 0xff7f, 0xff81, 0xff83,
    408   0x7faa, 0x7fcd, 0xaaa2, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84,
    409   0x7fcc, 0x7ff9, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85,
    410   0x7ff8, 0x7ffe, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff8b,
    411   0x7ffd, 0x7fff, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6,
    412   0x7ffe, 0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8,
    413   0x7fff, 0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000,
    414   0x8000, 0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001,
    415   0x8001, 0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002,
    416   0x8002, 0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0xff03,
    417   0x8008, 0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0xff02, 0xff04,
    418   0x8034, 0xaaff, 0xcd49, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff72,
    419   0x8056, 0xab27, 0xcd4a, 0xffff, 0xff01, 0xff03, 0xff05, 0xff73,
    420   0x807e, 0xab28, 0xcd4b, 0xff00, 0xff02, 0xff04, 0xff06, 0xff9a,
    421   0x807f, 0xab29, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff2d, 0xffbc,
    422   0x8080, 0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffe8,
    423   0x7f81, 0xaa2b, 0xcc4e, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffed,
    424   0x7f82, 0xaa2c, 0xcc4f, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffee,
    425   0x7f83, 0xaa2d, 0xcc76, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffef,
    426   0x7f84, 0xaa54, 0xcc98, 0xff78, 0xff7e, 0xff80, 0xff82, 0xfff0,
    427   0x7fab, 0xaa76, 0xccc4, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1,
    428   0x7fcd, 0xaaa2, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2,
    429   0x7ff9, 0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0xfff8,
    430   0x7ffe, 0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023,
    431   0x7fff, 0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045,
    432   0x8000, 0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d,
    433   0x8001, 0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e,
    434   0x8002, 0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f,
    435   0x8003, 0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff70,
    436   0x8009, 0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff71,
    437   0xaadd, 0xcd21, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff71, 0xff7f,
    438   0xaaff, 0xcd49, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff72, 0xff80,
    439   0xab27, 0xcd4a, 0xffff, 0xff01, 0xff03, 0xff05, 0xff73, 0xffa7,
    440   0xab28, 0xcd4b, 0xff00, 0xff02, 0xff04, 0xff06, 0xff9a, 0xffc9,
    441   0xab29, 0xcc4c, 0xff01, 0xff03, 0xff05, 0xff2d, 0xffbc, 0xfff5,
    442   0xaa2a, 0xcc4d, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffe8, 0xfffa,
    443   0xaa2b, 0xcc4e, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffed, 0xfffb,
    444   0xaa2c, 0xcc4f, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffee, 0xfffc,
    445   0xaa2d, 0xcc76, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffef, 0xfffd,
    446   0xaa54, 0xcc98, 0xff78, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe,
    447   0xaa76, 0xccc4, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff,
    448   0xaaa2, 0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x0005,
    449   0xaaa7, 0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030,
    450   0xaaa8, 0xcccb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052,
    451   0xaaa9, 0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a,
    452   0xaaaa, 0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b,
    453   0xaaab, 0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c,
    454   0xaaac, 0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0xff7d,
    455   0xaab2, 0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff70, 0xff7e,
    456   0xccff, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff70, 0xff7e, 0xff80,
    457   0xcd21, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff71, 0xff7f, 0xff81,
    458   0xcd49, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff72, 0xff80, 0xffa8,
    459   0xcd4a, 0xffff, 0xff01, 0xff03, 0xff05, 0xff73, 0xffa7, 0xffca,
    460   0xcd4b, 0xff00, 0xff02, 0xff04, 0xff06, 0xff9a, 0xffc9, 0xfff6,
    461   0xcc4c, 0xff01, 0xff03, 0xff05, 0xff2d, 0xffbc, 0xfff5, 0xfffb,
    462   0xcc4d, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffe8, 0xfffa, 0xfffc,
    463   0xcc4e, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffed, 0xfffb, 0xfffd,
    464   0xcc4f, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffee, 0xfffc, 0xfffe,
    465   0xcc76, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffef, 0xfffd, 0xffff,
    466   0xcc98, 0xff78, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe, 0x0000,
    467   0xccc4, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff, 0x0006,
    468   0xccc9, 0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x0005, 0x0031,
    469   0xccca, 0xff7f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030, 0x0053,
    470   0xcccb, 0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052, 0x007b,
    471   0xcccc, 0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a, 0x007c,
    472   0xcccd, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b, 0x007d,
    473   0xccce, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c, 0xff7e,
    474   0xccd4, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0xff7d, 0xff7f,
    475   0xffb3, 0xffd6, 0xffff, 0x0001, 0x006f, 0xff7d, 0xff7f, 0xff81,
    476   0xffd5, 0xfffe, 0x0000, 0x0002, 0xff70, 0xff7e, 0xff80, 0xff82,
    477   0xfffd, 0xffff, 0x0001, 0xff03, 0xff71, 0xff7f, 0xff81, 0xffa9,
    478   0xfffe, 0x0000, 0xff02, 0xff04, 0xff72, 0xff80, 0xffa8, 0xffcb,
    479   0xffff, 0xff01, 0xff03, 0xff05, 0xff73, 0xffa7, 0xffca, 0xfff7,
    480   0xff00, 0xff02, 0xff04, 0xff06, 0xff9a, 0xffc9, 0xfff6, 0xfffc,
    481   0xff01, 0xff03, 0xff05, 0xff2d, 0xffbc, 0xfff5, 0xfffb, 0xfffd,
    482   0xff02, 0xff04, 0xff2c, 0xff4f, 0xffe8, 0xfffa, 0xfffc, 0xfffe,
    483   0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffed, 0xfffb, 0xfffd, 0xffff,
    484   0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffee, 0xfffc, 0xfffe, 0x0000,
    485   0xff4c, 0xff79, 0xff7f, 0xff81, 0xffef, 0xfffd, 0xffff, 0x0001,
    486   0xff78, 0xff7e, 0xff80, 0xff82, 0xfff0, 0xfffe, 0x0000, 0x0007,
    487   0xff7d, 0xff7f, 0xff81, 0xff83, 0xfff1, 0xffff, 0x0006, 0x0032,
    488   0xff7e, 0xff80, 0xff82, 0xff84, 0xfff2, 0x0005, 0x0031, 0x0054,
    489   0xff7f, 0xff81, 0xff83, 0xff85, 0xfff8, 0x0030, 0x0053, 0x007c,
    490   0xff80, 0xff82, 0xff84, 0xff8b, 0x0023, 0x0052, 0x007b, 0x007d,
    491   0xff81, 0xff83, 0xff8a, 0xffb6, 0x0045, 0x007a, 0x007c, 0x007e,
    492   0xff82, 0xff89, 0xffb5, 0xffd8, 0x006d, 0x007b, 0x007d, 0xff7f,
    493   0xff88, 0xffb4, 0xffd7, 0x0000, 0x006e, 0x007c, 0xff7e, 0xff80,
    494 };
    495 const unsigned kExpectedCount_NEON_saddw_8H = 456;
    496 
    497 #endif  // VIXL_SIM_SADDW_8H_TRACE_A64_H_
    498