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_UADDW2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_UADDW2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_uaddw2_4S[] = {
     38   0x0000fdfd, 0x0000fefe, 0x00807cff, 0x00000000,
     39   0x0000fdfe, 0x0000feff, 0x007ffd00, 0x00000001,
     40   0x0000fdff, 0x00007f00, 0x007ffd01, 0x00000002,
     41   0x00007e00, 0x00007f01, 0x007ffd02, 0x00000010,
     42   0x00007e01, 0x00007f02, 0x007ffd10, 0x0000007d,
     43   0x00007e02, 0x00007f10, 0x007ffd7d, 0x0000007e,
     44   0x00007e10, 0x00007f7d, 0x007ffd7e, 0x0000007f,
     45   0x00007e7d, 0x00007f7e, 0x007ffd7f, 0x00003333,
     46   0x00007e7e, 0x00007f7f, 0x00803033, 0x00005555,
     47   0x00007e7f, 0x0000b233, 0x00805255, 0x00007ffd,
     48   0x0000b133, 0x0000d455, 0x00807cfd, 0x00007ffe,
     49   0x0000d355, 0x0000fefd, 0x00807cfe, 0x00007fff,
     50   0x0000fdfd, 0x0000fefe, 0x00807cff, 0x00008000,
     51   0x0000fdfe, 0x0000feff, 0x00807d00, 0x00008001,
     52   0x0000fdff, 0x0000ff00, 0x00807d01, 0x0000aaaa,
     53   0x0000fe00, 0x0000ff01, 0x0080a7aa, 0x0000cccc,
     54   0x0000fe01, 0x000129aa, 0x0080c9cc, 0x0000ff80,
     55   0x000128aa, 0x00014bcc, 0x0080fc80, 0x0000ff81,
     56   0x00014acc, 0x00017e80, 0x0080fc81, 0x0000ff82,
     57   0x00017d80, 0x00017e81, 0x0080fc82, 0x0000ff83,
     58   0x00017d81, 0x00017e82, 0x0080fc83, 0x0000fff0,
     59   0x00017d82, 0x00017e83, 0x0080fcf0, 0x0000fffd,
     60   0x00017d83, 0x00017ef0, 0x0080fcfd, 0x0000fffe,
     61   0x00017df0, 0x00017efd, 0x0080fcfe, 0x0000ffff,
     62   0x00017efd, 0x0080fcfe, 0x0000ffff, 0x00000001,
     63   0x00017efe, 0x0080fcff, 0x00000000, 0x00000002,
     64   0x00017eff, 0x007ffd00, 0x00000001, 0x00000003,
     65   0x00007f00, 0x007ffd01, 0x00000002, 0x00000011,
     66   0x00007f01, 0x007ffd02, 0x00000010, 0x0000007e,
     67   0x00007f02, 0x007ffd10, 0x0000007d, 0x0000007f,
     68   0x00007f10, 0x007ffd7d, 0x0000007e, 0x00000080,
     69   0x00007f7d, 0x007ffd7e, 0x0000007f, 0x00003334,
     70   0x00007f7e, 0x007ffd7f, 0x00003333, 0x00005556,
     71   0x00007f7f, 0x00803033, 0x00005555, 0x00007ffe,
     72   0x0000b233, 0x00805255, 0x00007ffd, 0x00007fff,
     73   0x0000d455, 0x00807cfd, 0x00007ffe, 0x00008000,
     74   0x0000fefd, 0x00807cfe, 0x00007fff, 0x00008001,
     75   0x0000fefe, 0x00807cff, 0x00008000, 0x00008002,
     76   0x0000feff, 0x00807d00, 0x00008001, 0x0000aaab,
     77   0x0000ff00, 0x00807d01, 0x0000aaaa, 0x0000cccd,
     78   0x0000ff01, 0x0080a7aa, 0x0000cccc, 0x0000ff81,
     79   0x000129aa, 0x0080c9cc, 0x0000ff80, 0x0000ff82,
     80   0x00014bcc, 0x0080fc80, 0x0000ff81, 0x0000ff83,
     81   0x00017e80, 0x0080fc81, 0x0000ff82, 0x0000ff84,
     82   0x00017e81, 0x0080fc82, 0x0000ff83, 0x0000fff1,
     83   0x00017e82, 0x0080fc83, 0x0000fff0, 0x0000fffe,
     84   0x00017e83, 0x0080fcf0, 0x0000fffd, 0x0000ffff,
     85   0x00017ef0, 0x0080fcfd, 0x0000fffe, 0x00010000,
     86   0x0080fcfd, 0x0000fffe, 0x00010000, 0x00000002,
     87   0x0080fcfe, 0x0000ffff, 0x00000001, 0x00000003,
     88   0x0080fcff, 0x00000000, 0x00000002, 0x00000004,
     89   0x007ffd00, 0x00000001, 0x00000003, 0x00000012,
     90   0x007ffd01, 0x00000002, 0x00000011, 0x0000007f,
     91   0x007ffd02, 0x00000010, 0x0000007e, 0x00000080,
     92   0x007ffd10, 0x0000007d, 0x0000007f, 0x00000081,
     93   0x007ffd7d, 0x0000007e, 0x00000080, 0x00003335,
     94   0x007ffd7e, 0x0000007f, 0x00003334, 0x00005557,
     95   0x007ffd7f, 0x00003333, 0x00005556, 0x00007fff,
     96   0x00803033, 0x00005555, 0x00007ffe, 0x00008000,
     97   0x00805255, 0x00007ffd, 0x00007fff, 0x00008001,
     98   0x00807cfd, 0x00007ffe, 0x00008000, 0x00008002,
     99   0x00807cfe, 0x00007fff, 0x00008001, 0x00008003,
    100   0x00807cff, 0x00008000, 0x00008002, 0x0000aaac,
    101   0x00807d00, 0x00008001, 0x0000aaab, 0x0000ccce,
    102   0x00807d01, 0x0000aaaa, 0x0000cccd, 0x0000ff82,
    103   0x0080a7aa, 0x0000cccc, 0x0000ff81, 0x0000ff83,
    104   0x0080c9cc, 0x0000ff80, 0x0000ff82, 0x0000ff84,
    105   0x0080fc80, 0x0000ff81, 0x0000ff83, 0x0000ff85,
    106   0x0080fc81, 0x0000ff82, 0x0000ff84, 0x0000fff2,
    107   0x0080fc82, 0x0000ff83, 0x0000fff1, 0x0000ffff,
    108   0x0080fc83, 0x0000fff0, 0x0000fffe, 0x00010000,
    109   0x0080fcf0, 0x0000fffd, 0x0000ffff, 0x00010001,
    110   0x0000fffd, 0x0000ffff, 0x00010001, 0x00000020,
    111   0x0000fffe, 0x00010000, 0x00000002, 0x00000021,
    112   0x0000ffff, 0x00000001, 0x00000003, 0x00000022,
    113   0x00000000, 0x00000002, 0x00000004, 0x00000030,
    114   0x00000001, 0x00000003, 0x00000012, 0x0000009d,
    115   0x00000002, 0x00000011, 0x0000007f, 0x0000009e,
    116   0x00000010, 0x0000007e, 0x00000080, 0x0000009f,
    117   0x0000007d, 0x0000007f, 0x00000081, 0x00003353,
    118   0x0000007e, 0x00000080, 0x00003335, 0x00005575,
    119   0x0000007f, 0x00003334, 0x00005557, 0x0000801d,
    120   0x00003333, 0x00005556, 0x00007fff, 0x0000801e,
    121   0x00005555, 0x00007ffe, 0x00008000, 0x0000801f,
    122   0x00007ffd, 0x00007fff, 0x00008001, 0x00008020,
    123   0x00007ffe, 0x00008000, 0x00008002, 0x00008021,
    124   0x00007fff, 0x00008001, 0x00008003, 0x0000aaca,
    125   0x00008000, 0x00008002, 0x0000aaac, 0x0000ccec,
    126   0x00008001, 0x0000aaab, 0x0000ccce, 0x0000ffa0,
    127   0x0000aaaa, 0x0000cccd, 0x0000ff82, 0x0000ffa1,
    128   0x0000cccc, 0x0000ff81, 0x0000ff83, 0x0000ffa2,
    129   0x0000ff80, 0x0000ff82, 0x0000ff84, 0x0000ffa3,
    130   0x0000ff81, 0x0000ff83, 0x0000ff85, 0x00010010,
    131   0x0000ff82, 0x0000ff84, 0x0000fff2, 0x0001001d,
    132   0x0000ff83, 0x0000fff1, 0x0000ffff, 0x0001001e,
    133   0x0000fff0, 0x0000fffe, 0x00010000, 0x0001001f,
    134   0x0000fffe, 0x00010000, 0x0001001f, 0x0000007d,
    135   0x0000ffff, 0x00010001, 0x00000020, 0x0000007e,
    136   0x00010000, 0x00000002, 0x00000021, 0x0000007f,
    137   0x00000001, 0x00000003, 0x00000022, 0x0000008d,
    138   0x00000002, 0x00000004, 0x00000030, 0x000000fa,
    139   0x00000003, 0x00000012, 0x0000009d, 0x000000fb,
    140   0x00000011, 0x0000007f, 0x0000009e, 0x000000fc,
    141   0x0000007e, 0x00000080, 0x0000009f, 0x000033b0,
    142   0x0000007f, 0x00000081, 0x00003353, 0x000055d2,
    143   0x00000080, 0x00003335, 0x00005575, 0x0000807a,
    144   0x00003334, 0x00005557, 0x0000801d, 0x0000807b,
    145   0x00005556, 0x00007fff, 0x0000801e, 0x0000807c,
    146   0x00007ffe, 0x00008000, 0x0000801f, 0x0000807d,
    147   0x00007fff, 0x00008001, 0x00008020, 0x0000807e,
    148   0x00008000, 0x00008002, 0x00008021, 0x0000ab27,
    149   0x00008001, 0x00008003, 0x0000aaca, 0x0000cd49,
    150   0x00008002, 0x0000aaac, 0x0000ccec, 0x0000fffd,
    151   0x0000aaab, 0x0000ccce, 0x0000ffa0, 0x0000fffe,
    152   0x0000cccd, 0x0000ff82, 0x0000ffa1, 0x0000ffff,
    153   0x0000ff81, 0x0000ff83, 0x0000ffa2, 0x00010000,
    154   0x0000ff82, 0x0000ff84, 0x0000ffa3, 0x0001006d,
    155   0x0000ff83, 0x0000ff85, 0x00010010, 0x0001007a,
    156   0x0000ff84, 0x0000fff2, 0x0001001d, 0x0001007b,
    157   0x0000fff1, 0x0000ffff, 0x0001001e, 0x0001007c,
    158   0x0000ffff, 0x0001001e, 0x0001007c, 0x0000007e,
    159   0x00010000, 0x0001001f, 0x0000007d, 0x0000007f,
    160   0x00010001, 0x00000020, 0x0000007e, 0x00000080,
    161   0x00000002, 0x00000021, 0x0000007f, 0x0000008e,
    162   0x00000003, 0x00000022, 0x0000008d, 0x000000fb,
    163   0x00000004, 0x00000030, 0x000000fa, 0x000000fc,
    164   0x00000012, 0x0000009d, 0x000000fb, 0x000000fd,
    165   0x0000007f, 0x0000009e, 0x000000fc, 0x000033b1,
    166   0x00000080, 0x0000009f, 0x000033b0, 0x000055d3,
    167   0x00000081, 0x00003353, 0x000055d2, 0x0000807b,
    168   0x00003335, 0x00005575, 0x0000807a, 0x0000807c,
    169   0x00005557, 0x0000801d, 0x0000807b, 0x0000807d,
    170   0x00007fff, 0x0000801e, 0x0000807c, 0x0000807e,
    171   0x00008000, 0x0000801f, 0x0000807d, 0x0000807f,
    172   0x00008001, 0x00008020, 0x0000807e, 0x0000ab28,
    173   0x00008002, 0x00008021, 0x0000ab27, 0x0000cd4a,
    174   0x00008003, 0x0000aaca, 0x0000cd49, 0x0000fffe,
    175   0x0000aaac, 0x0000ccec, 0x0000fffd, 0x0000ffff,
    176   0x0000ccce, 0x0000ffa0, 0x0000fffe, 0x00010000,
    177   0x0000ff82, 0x0000ffa1, 0x0000ffff, 0x00010001,
    178   0x0000ff83, 0x0000ffa2, 0x00010000, 0x0001006e,
    179   0x0000ff84, 0x0000ffa3, 0x0001006d, 0x0001007b,
    180   0x0000ff85, 0x00010010, 0x0001007a, 0x0001007c,
    181   0x0000fff2, 0x0001001d, 0x0001007b, 0x0001007d,
    182   0x0001001d, 0x0001007b, 0x0001007d, 0x0000007f,
    183   0x0001001e, 0x0001007c, 0x0000007e, 0x00000080,
    184   0x0001001f, 0x0000007d, 0x0000007f, 0x00000081,
    185   0x00000020, 0x0000007e, 0x00000080, 0x0000008f,
    186   0x00000021, 0x0000007f, 0x0000008e, 0x000000fc,
    187   0x00000022, 0x0000008d, 0x000000fb, 0x000000fd,
    188   0x00000030, 0x000000fa, 0x000000fc, 0x000000fe,
    189   0x0000009d, 0x000000fb, 0x000000fd, 0x000033b2,
    190   0x0000009e, 0x000000fc, 0x000033b1, 0x000055d4,
    191   0x0000009f, 0x000033b0, 0x000055d3, 0x0000807c,
    192   0x00003353, 0x000055d2, 0x0000807b, 0x0000807d,
    193   0x00005575, 0x0000807a, 0x0000807c, 0x0000807e,
    194   0x0000801d, 0x0000807b, 0x0000807d, 0x0000807f,
    195   0x0000801e, 0x0000807c, 0x0000807e, 0x00008080,
    196   0x0000801f, 0x0000807d, 0x0000807f, 0x0000ab29,
    197   0x00008020, 0x0000807e, 0x0000ab28, 0x0000cd4b,
    198   0x00008021, 0x0000ab27, 0x0000cd4a, 0x0000ffff,
    199   0x0000aaca, 0x0000cd49, 0x0000fffe, 0x00010000,
    200   0x0000ccec, 0x0000fffd, 0x0000ffff, 0x00010001,
    201   0x0000ffa0, 0x0000fffe, 0x00010000, 0x00010002,
    202   0x0000ffa1, 0x0000ffff, 0x00010001, 0x0001006f,
    203   0x0000ffa2, 0x00010000, 0x0001006e, 0x0001007c,
    204   0x0000ffa3, 0x0001006d, 0x0001007b, 0x0001007d,
    205   0x00010010, 0x0001007a, 0x0001007c, 0x0001007e,
    206   0x0001007a, 0x0001007c, 0x0001007e, 0x00007ffd,
    207   0x0001007b, 0x0001007d, 0x0000007f, 0x00007ffe,
    208   0x0001007c, 0x0000007e, 0x00000080, 0x00007fff,
    209   0x0000007d, 0x0000007f, 0x00000081, 0x0000800d,
    210   0x0000007e, 0x00000080, 0x0000008f, 0x0000807a,
    211   0x0000007f, 0x0000008e, 0x000000fc, 0x0000807b,
    212   0x0000008d, 0x000000fb, 0x000000fd, 0x0000807c,
    213   0x000000fa, 0x000000fc, 0x000000fe, 0x0000b330,
    214   0x000000fb, 0x000000fd, 0x000033b2, 0x0000d552,
    215   0x000000fc, 0x000033b1, 0x000055d4, 0x0000fffa,
    216   0x000033b0, 0x000055d3, 0x0000807c, 0x0000fffb,
    217   0x000055d2, 0x0000807b, 0x0000807d, 0x0000fffc,
    218   0x0000807a, 0x0000807c, 0x0000807e, 0x0000fffd,
    219   0x0000807b, 0x0000807d, 0x0000807f, 0x0000fffe,
    220   0x0000807c, 0x0000807e, 0x00008080, 0x00012aa7,
    221   0x0000807d, 0x0000807f, 0x0000ab29, 0x00014cc9,
    222   0x0000807e, 0x0000ab28, 0x0000cd4b, 0x00017f7d,
    223   0x0000ab27, 0x0000cd4a, 0x0000ffff, 0x00017f7e,
    224   0x0000cd49, 0x0000fffe, 0x00010000, 0x00017f7f,
    225   0x0000fffd, 0x0000ffff, 0x00010001, 0x00017f80,
    226   0x0000fffe, 0x00010000, 0x00010002, 0x00017fed,
    227   0x0000ffff, 0x00010001, 0x0001006f, 0x00017ffa,
    228   0x00010000, 0x0001006e, 0x0001007c, 0x00017ffb,
    229   0x0001006d, 0x0001007b, 0x0001007d, 0x00017ffc,
    230   0x0001007b, 0x0001007d, 0x00017ffc, 0x00007ffe,
    231   0x0001007c, 0x0001007e, 0x00007ffd, 0x00007fff,
    232   0x0001007d, 0x0000007f, 0x00007ffe, 0x00008000,
    233   0x0000007e, 0x00000080, 0x00007fff, 0x0000800e,
    234   0x0000007f, 0x00000081, 0x0000800d, 0x0000807b,
    235   0x00000080, 0x0000008f, 0x0000807a, 0x0000807c,
    236   0x0000008e, 0x000000fc, 0x0000807b, 0x0000807d,
    237   0x000000fb, 0x000000fd, 0x0000807c, 0x0000b331,
    238   0x000000fc, 0x000000fe, 0x0000b330, 0x0000d553,
    239   0x000000fd, 0x000033b2, 0x0000d552, 0x0000fffb,
    240   0x000033b1, 0x000055d4, 0x0000fffa, 0x0000fffc,
    241   0x000055d3, 0x0000807c, 0x0000fffb, 0x0000fffd,
    242   0x0000807b, 0x0000807d, 0x0000fffc, 0x0000fffe,
    243   0x0000807c, 0x0000807e, 0x0000fffd, 0x0000ffff,
    244   0x0000807d, 0x0000807f, 0x0000fffe, 0x00012aa8,
    245   0x0000807e, 0x00008080, 0x00012aa7, 0x00014cca,
    246   0x0000807f, 0x0000ab29, 0x00014cc9, 0x00017f7e,
    247   0x0000ab28, 0x0000cd4b, 0x00017f7d, 0x00017f7f,
    248   0x0000cd4a, 0x0000ffff, 0x00017f7e, 0x00017f80,
    249   0x0000fffe, 0x00010000, 0x00017f7f, 0x00017f81,
    250   0x0000ffff, 0x00010001, 0x00017f80, 0x00017fee,
    251   0x00010000, 0x00010002, 0x00017fed, 0x00017ffb,
    252   0x00010001, 0x0001006f, 0x00017ffa, 0x00017ffc,
    253   0x0001006e, 0x0001007c, 0x00017ffb, 0x00017ffd,
    254   0x0001007c, 0x00017ffb, 0x00017ffd, 0x00007fff,
    255   0x0001007d, 0x00017ffc, 0x00007ffe, 0x00008000,
    256   0x0001007e, 0x00007ffd, 0x00007fff, 0x00008001,
    257   0x0000007f, 0x00007ffe, 0x00008000, 0x0000800f,
    258   0x00000080, 0x00007fff, 0x0000800e, 0x0000807c,
    259   0x00000081, 0x0000800d, 0x0000807b, 0x0000807d,
    260   0x0000008f, 0x0000807a, 0x0000807c, 0x0000807e,
    261   0x000000fc, 0x0000807b, 0x0000807d, 0x0000b332,
    262   0x000000fd, 0x0000807c, 0x0000b331, 0x0000d554,
    263   0x000000fe, 0x0000b330, 0x0000d553, 0x0000fffc,
    264   0x000033b2, 0x0000d552, 0x0000fffb, 0x0000fffd,
    265   0x000055d4, 0x0000fffa, 0x0000fffc, 0x0000fffe,
    266   0x0000807c, 0x0000fffb, 0x0000fffd, 0x0000ffff,
    267   0x0000807d, 0x0000fffc, 0x0000fffe, 0x00010000,
    268   0x0000807e, 0x0000fffd, 0x0000ffff, 0x00012aa9,
    269   0x0000807f, 0x0000fffe, 0x00012aa8, 0x00014ccb,
    270   0x00008080, 0x00012aa7, 0x00014cca, 0x00017f7f,
    271   0x0000ab29, 0x00014cc9, 0x00017f7e, 0x00017f80,
    272   0x0000cd4b, 0x00017f7d, 0x00017f7f, 0x00017f81,
    273   0x0000ffff, 0x00017f7e, 0x00017f80, 0x00017f82,
    274   0x00010000, 0x00017f7f, 0x00017f81, 0x00017fef,
    275   0x00010001, 0x00017f80, 0x00017fee, 0x00017ffc,
    276   0x00010002, 0x00017fed, 0x00017ffb, 0x00017ffd,
    277   0x0001006f, 0x00017ffa, 0x00017ffc, 0x00017ffe,
    278   0x00017ffa, 0x00017ffc, 0x00017ffe, 0x33333333,
    279   0x00017ffb, 0x00017ffd, 0x00007fff, 0x33333334,
    280   0x00017ffc, 0x00007ffe, 0x00008000, 0x33333335,
    281   0x00007ffd, 0x00007fff, 0x00008001, 0x33333343,
    282   0x00007ffe, 0x00008000, 0x0000800f, 0x333333b0,
    283   0x00007fff, 0x0000800e, 0x0000807c, 0x333333b1,
    284   0x0000800d, 0x0000807b, 0x0000807d, 0x333333b2,
    285   0x0000807a, 0x0000807c, 0x0000807e, 0x33336666,
    286   0x0000807b, 0x0000807d, 0x0000b332, 0x33338888,
    287   0x0000807c, 0x0000b331, 0x0000d554, 0x3333b330,
    288   0x0000b330, 0x0000d553, 0x0000fffc, 0x3333b331,
    289   0x0000d552, 0x0000fffb, 0x0000fffd, 0x3333b332,
    290   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x3333b333,
    291   0x0000fffb, 0x0000fffd, 0x0000ffff, 0x3333b334,
    292   0x0000fffc, 0x0000fffe, 0x00010000, 0x3333dddd,
    293   0x0000fffd, 0x0000ffff, 0x00012aa9, 0x3333ffff,
    294   0x0000fffe, 0x00012aa8, 0x00014ccb, 0x333432b3,
    295   0x00012aa7, 0x00014cca, 0x00017f7f, 0x333432b4,
    296   0x00014cc9, 0x00017f7e, 0x00017f80, 0x333432b5,
    297   0x00017f7d, 0x00017f7f, 0x00017f81, 0x333432b6,
    298   0x00017f7e, 0x00017f80, 0x00017f82, 0x33343323,
    299   0x00017f7f, 0x00017f81, 0x00017fef, 0x33343330,
    300   0x00017f80, 0x00017fee, 0x00017ffc, 0x33343331,
    301   0x00017fed, 0x00017ffb, 0x00017ffd, 0x33343332,
    302   0x00017ffb, 0x00017ffd, 0x33343332, 0x55555555,
    303   0x00017ffc, 0x00017ffe, 0x33333333, 0x55555556,
    304   0x00017ffd, 0x00007fff, 0x33333334, 0x55555557,
    305   0x00007ffe, 0x00008000, 0x33333335, 0x55555565,
    306   0x00007fff, 0x00008001, 0x33333343, 0x555555d2,
    307   0x00008000, 0x0000800f, 0x333333b0, 0x555555d3,
    308   0x0000800e, 0x0000807c, 0x333333b1, 0x555555d4,
    309   0x0000807b, 0x0000807d, 0x333333b2, 0x55558888,
    310   0x0000807c, 0x0000807e, 0x33336666, 0x5555aaaa,
    311   0x0000807d, 0x0000b332, 0x33338888, 0x5555d552,
    312   0x0000b331, 0x0000d554, 0x3333b330, 0x5555d553,
    313   0x0000d553, 0x0000fffc, 0x3333b331, 0x5555d554,
    314   0x0000fffb, 0x0000fffd, 0x3333b332, 0x5555d555,
    315   0x0000fffc, 0x0000fffe, 0x3333b333, 0x5555d556,
    316   0x0000fffd, 0x0000ffff, 0x3333b334, 0x5555ffff,
    317   0x0000fffe, 0x00010000, 0x3333dddd, 0x55562221,
    318   0x0000ffff, 0x00012aa9, 0x3333ffff, 0x555654d5,
    319   0x00012aa8, 0x00014ccb, 0x333432b3, 0x555654d6,
    320   0x00014cca, 0x00017f7f, 0x333432b4, 0x555654d7,
    321   0x00017f7e, 0x00017f80, 0x333432b5, 0x555654d8,
    322   0x00017f7f, 0x00017f81, 0x333432b6, 0x55565545,
    323   0x00017f80, 0x00017f82, 0x33343323, 0x55565552,
    324   0x00017f81, 0x00017fef, 0x33343330, 0x55565553,
    325   0x00017fee, 0x00017ffc, 0x33343331, 0x55565554,
    326   0x00017ffc, 0x33343331, 0x55565554, 0x7ffffffd,
    327   0x00017ffd, 0x33343332, 0x55555555, 0x7ffffffe,
    328   0x00017ffe, 0x33333333, 0x55555556, 0x7fffffff,
    329   0x00007fff, 0x33333334, 0x55555557, 0x8000000d,
    330   0x00008000, 0x33333335, 0x55555565, 0x8000007a,
    331   0x00008001, 0x33333343, 0x555555d2, 0x8000007b,
    332   0x0000800f, 0x333333b0, 0x555555d3, 0x8000007c,
    333   0x0000807c, 0x333333b1, 0x555555d4, 0x80003330,
    334   0x0000807d, 0x333333b2, 0x55558888, 0x80005552,
    335   0x0000807e, 0x33336666, 0x5555aaaa, 0x80007ffa,
    336   0x0000b332, 0x33338888, 0x5555d552, 0x80007ffb,
    337   0x0000d554, 0x3333b330, 0x5555d553, 0x80007ffc,
    338   0x0000fffc, 0x3333b331, 0x5555d554, 0x80007ffd,
    339   0x0000fffd, 0x3333b332, 0x5555d555, 0x80007ffe,
    340   0x0000fffe, 0x3333b333, 0x5555d556, 0x8000aaa7,
    341   0x0000ffff, 0x3333b334, 0x5555ffff, 0x8000ccc9,
    342   0x00010000, 0x3333dddd, 0x55562221, 0x8000ff7d,
    343   0x00012aa9, 0x3333ffff, 0x555654d5, 0x8000ff7e,
    344   0x00014ccb, 0x333432b3, 0x555654d6, 0x8000ff7f,
    345   0x00017f7f, 0x333432b4, 0x555654d7, 0x8000ff80,
    346   0x00017f80, 0x333432b5, 0x555654d8, 0x8000ffed,
    347   0x00017f81, 0x333432b6, 0x55565545, 0x8000fffa,
    348   0x00017f82, 0x33343323, 0x55565552, 0x8000fffb,
    349   0x00017fef, 0x33343330, 0x55565553, 0x8000fffc,
    350   0x33343330, 0x55565553, 0x8000fffc, 0x7ffffffe,
    351   0x33343331, 0x55565554, 0x7ffffffd, 0x7fffffff,
    352   0x33343332, 0x55555555, 0x7ffffffe, 0x80000000,
    353   0x33333333, 0x55555556, 0x7fffffff, 0x8000000e,
    354   0x33333334, 0x55555557, 0x8000000d, 0x8000007b,
    355   0x33333335, 0x55555565, 0x8000007a, 0x8000007c,
    356   0x33333343, 0x555555d2, 0x8000007b, 0x8000007d,
    357   0x333333b0, 0x555555d3, 0x8000007c, 0x80003331,
    358   0x333333b1, 0x555555d4, 0x80003330, 0x80005553,
    359   0x333333b2, 0x55558888, 0x80005552, 0x80007ffb,
    360   0x33336666, 0x5555aaaa, 0x80007ffa, 0x80007ffc,
    361   0x33338888, 0x5555d552, 0x80007ffb, 0x80007ffd,
    362   0x3333b330, 0x5555d553, 0x80007ffc, 0x80007ffe,
    363   0x3333b331, 0x5555d554, 0x80007ffd, 0x80007fff,
    364   0x3333b332, 0x5555d555, 0x80007ffe, 0x8000aaa8,
    365   0x3333b333, 0x5555d556, 0x8000aaa7, 0x8000ccca,
    366   0x3333b334, 0x5555ffff, 0x8000ccc9, 0x8000ff7e,
    367   0x3333dddd, 0x55562221, 0x8000ff7d, 0x8000ff7f,
    368   0x3333ffff, 0x555654d5, 0x8000ff7e, 0x8000ff80,
    369   0x333432b3, 0x555654d6, 0x8000ff7f, 0x8000ff81,
    370   0x333432b4, 0x555654d7, 0x8000ff80, 0x8000ffee,
    371   0x333432b5, 0x555654d8, 0x8000ffed, 0x8000fffb,
    372   0x333432b6, 0x55565545, 0x8000fffa, 0x8000fffc,
    373   0x33343323, 0x55565552, 0x8000fffb, 0x8000fffd,
    374   0x55565552, 0x8000fffb, 0x8000fffd, 0x7fffffff,
    375   0x55565553, 0x8000fffc, 0x7ffffffe, 0x80000000,
    376   0x55565554, 0x7ffffffd, 0x7fffffff, 0x80000001,
    377   0x55555555, 0x7ffffffe, 0x80000000, 0x8000000f,
    378   0x55555556, 0x7fffffff, 0x8000000e, 0x8000007c,
    379   0x55555557, 0x8000000d, 0x8000007b, 0x8000007d,
    380   0x55555565, 0x8000007a, 0x8000007c, 0x8000007e,
    381   0x555555d2, 0x8000007b, 0x8000007d, 0x80003332,
    382   0x555555d3, 0x8000007c, 0x80003331, 0x80005554,
    383   0x555555d4, 0x80003330, 0x80005553, 0x80007ffc,
    384   0x55558888, 0x80005552, 0x80007ffb, 0x80007ffd,
    385   0x5555aaaa, 0x80007ffa, 0x80007ffc, 0x80007ffe,
    386   0x5555d552, 0x80007ffb, 0x80007ffd, 0x80007fff,
    387   0x5555d553, 0x80007ffc, 0x80007ffe, 0x80008000,
    388   0x5555d554, 0x80007ffd, 0x80007fff, 0x8000aaa9,
    389   0x5555d555, 0x80007ffe, 0x8000aaa8, 0x8000cccb,
    390   0x5555d556, 0x8000aaa7, 0x8000ccca, 0x8000ff7f,
    391   0x5555ffff, 0x8000ccc9, 0x8000ff7e, 0x8000ff80,
    392   0x55562221, 0x8000ff7d, 0x8000ff7f, 0x8000ff81,
    393   0x555654d5, 0x8000ff7e, 0x8000ff80, 0x8000ff82,
    394   0x555654d6, 0x8000ff7f, 0x8000ff81, 0x8000ffef,
    395   0x555654d7, 0x8000ff80, 0x8000ffee, 0x8000fffc,
    396   0x555654d8, 0x8000ffed, 0x8000fffb, 0x8000fffd,
    397   0x55565545, 0x8000fffa, 0x8000fffc, 0x8000fffe,
    398   0x8000fffa, 0x8000fffc, 0x8000fffe, 0x80000000,
    399   0x8000fffb, 0x8000fffd, 0x7fffffff, 0x80000001,
    400   0x8000fffc, 0x7ffffffe, 0x80000000, 0x80000002,
    401   0x7ffffffd, 0x7fffffff, 0x80000001, 0x80000010,
    402   0x7ffffffe, 0x80000000, 0x8000000f, 0x8000007d,
    403   0x7fffffff, 0x8000000e, 0x8000007c, 0x8000007e,
    404   0x8000000d, 0x8000007b, 0x8000007d, 0x8000007f,
    405   0x8000007a, 0x8000007c, 0x8000007e, 0x80003333,
    406   0x8000007b, 0x8000007d, 0x80003332, 0x80005555,
    407   0x8000007c, 0x80003331, 0x80005554, 0x80007ffd,
    408   0x80003330, 0x80005553, 0x80007ffc, 0x80007ffe,
    409   0x80005552, 0x80007ffb, 0x80007ffd, 0x80007fff,
    410   0x80007ffa, 0x80007ffc, 0x80007ffe, 0x80008000,
    411   0x80007ffb, 0x80007ffd, 0x80007fff, 0x80008001,
    412   0x80007ffc, 0x80007ffe, 0x80008000, 0x8000aaaa,
    413   0x80007ffd, 0x80007fff, 0x8000aaa9, 0x8000cccc,
    414   0x80007ffe, 0x8000aaa8, 0x8000cccb, 0x8000ff80,
    415   0x8000aaa7, 0x8000ccca, 0x8000ff7f, 0x8000ff81,
    416   0x8000ccc9, 0x8000ff7e, 0x8000ff80, 0x8000ff82,
    417   0x8000ff7d, 0x8000ff7f, 0x8000ff81, 0x8000ff83,
    418   0x8000ff7e, 0x8000ff80, 0x8000ff82, 0x8000fff0,
    419   0x8000ff7f, 0x8000ff81, 0x8000ffef, 0x8000fffd,
    420   0x8000ff80, 0x8000ffee, 0x8000fffc, 0x8000fffe,
    421   0x8000ffed, 0x8000fffb, 0x8000fffd, 0x8000ffff,
    422   0x8000fffb, 0x8000fffd, 0x8000ffff, 0x80000001,
    423   0x8000fffc, 0x8000fffe, 0x80000000, 0x80000002,
    424   0x8000fffd, 0x7fffffff, 0x80000001, 0x80000003,
    425   0x7ffffffe, 0x80000000, 0x80000002, 0x80000011,
    426   0x7fffffff, 0x80000001, 0x80000010, 0x8000007e,
    427   0x80000000, 0x8000000f, 0x8000007d, 0x8000007f,
    428   0x8000000e, 0x8000007c, 0x8000007e, 0x80000080,
    429   0x8000007b, 0x8000007d, 0x8000007f, 0x80003334,
    430   0x8000007c, 0x8000007e, 0x80003333, 0x80005556,
    431   0x8000007d, 0x80003332, 0x80005555, 0x80007ffe,
    432   0x80003331, 0x80005554, 0x80007ffd, 0x80007fff,
    433   0x80005553, 0x80007ffc, 0x80007ffe, 0x80008000,
    434   0x80007ffb, 0x80007ffd, 0x80007fff, 0x80008001,
    435   0x80007ffc, 0x80007ffe, 0x80008000, 0x80008002,
    436   0x80007ffd, 0x80007fff, 0x80008001, 0x8000aaab,
    437   0x80007ffe, 0x80008000, 0x8000aaaa, 0x8000cccd,
    438   0x80007fff, 0x8000aaa9, 0x8000cccc, 0x8000ff81,
    439   0x8000aaa8, 0x8000cccb, 0x8000ff80, 0x8000ff82,
    440   0x8000ccca, 0x8000ff7f, 0x8000ff81, 0x8000ff83,
    441   0x8000ff7e, 0x8000ff80, 0x8000ff82, 0x8000ff84,
    442   0x8000ff7f, 0x8000ff81, 0x8000ff83, 0x8000fff1,
    443   0x8000ff80, 0x8000ff82, 0x8000fff0, 0x8000fffe,
    444   0x8000ff81, 0x8000ffef, 0x8000fffd, 0x8000ffff,
    445   0x8000ffee, 0x8000fffc, 0x8000fffe, 0x80010000,
    446   0x8000fffc, 0x8000fffe, 0x80010000, 0xaaaaaaaa,
    447   0x8000fffd, 0x8000ffff, 0x80000001, 0xaaaaaaab,
    448   0x8000fffe, 0x80000000, 0x80000002, 0xaaaaaaac,
    449   0x7fffffff, 0x80000001, 0x80000003, 0xaaaaaaba,
    450   0x80000000, 0x80000002, 0x80000011, 0xaaaaab27,
    451   0x80000001, 0x80000010, 0x8000007e, 0xaaaaab28,
    452   0x8000000f, 0x8000007d, 0x8000007f, 0xaaaaab29,
    453   0x8000007c, 0x8000007e, 0x80000080, 0xaaaadddd,
    454   0x8000007d, 0x8000007f, 0x80003334, 0xaaaaffff,
    455   0x8000007e, 0x80003333, 0x80005556, 0xaaab2aa7,
    456   0x80003332, 0x80005555, 0x80007ffe, 0xaaab2aa8,
    457   0x80005554, 0x80007ffd, 0x80007fff, 0xaaab2aa9,
    458   0x80007ffc, 0x80007ffe, 0x80008000, 0xaaab2aaa,
    459   0x80007ffd, 0x80007fff, 0x80008001, 0xaaab2aab,
    460   0x80007ffe, 0x80008000, 0x80008002, 0xaaab5554,
    461   0x80007fff, 0x80008001, 0x8000aaab, 0xaaab7776,
    462   0x80008000, 0x8000aaaa, 0x8000cccd, 0xaaabaa2a,
    463   0x8000aaa9, 0x8000cccc, 0x8000ff81, 0xaaabaa2b,
    464   0x8000cccb, 0x8000ff80, 0x8000ff82, 0xaaabaa2c,
    465   0x8000ff7f, 0x8000ff81, 0x8000ff83, 0xaaabaa2d,
    466   0x8000ff80, 0x8000ff82, 0x8000ff84, 0xaaabaa9a,
    467   0x8000ff81, 0x8000ff83, 0x8000fff1, 0xaaabaaa7,
    468   0x8000ff82, 0x8000fff0, 0x8000fffe, 0xaaabaaa8,
    469   0x8000ffef, 0x8000fffd, 0x8000ffff, 0xaaabaaa9,
    470   0x8000fffd, 0x8000ffff, 0xaaabaaa9, 0xcccccccc,
    471   0x8000fffe, 0x80010000, 0xaaaaaaaa, 0xcccccccd,
    472   0x8000ffff, 0x80000001, 0xaaaaaaab, 0xccccccce,
    473   0x80000000, 0x80000002, 0xaaaaaaac, 0xccccccdc,
    474   0x80000001, 0x80000003, 0xaaaaaaba, 0xcccccd49,
    475   0x80000002, 0x80000011, 0xaaaaab27, 0xcccccd4a,
    476   0x80000010, 0x8000007e, 0xaaaaab28, 0xcccccd4b,
    477   0x8000007d, 0x8000007f, 0xaaaaab29, 0xccccffff,
    478   0x8000007e, 0x80000080, 0xaaaadddd, 0xcccd2221,
    479   0x8000007f, 0x80003334, 0xaaaaffff, 0xcccd4cc9,
    480   0x80003333, 0x80005556, 0xaaab2aa7, 0xcccd4cca,
    481   0x80005555, 0x80007ffe, 0xaaab2aa8, 0xcccd4ccb,
    482   0x80007ffd, 0x80007fff, 0xaaab2aa9, 0xcccd4ccc,
    483   0x80007ffe, 0x80008000, 0xaaab2aaa, 0xcccd4ccd,
    484   0x80007fff, 0x80008001, 0xaaab2aab, 0xcccd7776,
    485   0x80008000, 0x80008002, 0xaaab5554, 0xcccd9998,
    486   0x80008001, 0x8000aaab, 0xaaab7776, 0xcccdcc4c,
    487   0x8000aaaa, 0x8000cccd, 0xaaabaa2a, 0xcccdcc4d,
    488   0x8000cccc, 0x8000ff81, 0xaaabaa2b, 0xcccdcc4e,
    489   0x8000ff80, 0x8000ff82, 0xaaabaa2c, 0xcccdcc4f,
    490   0x8000ff81, 0x8000ff83, 0xaaabaa2d, 0xcccdccbc,
    491   0x8000ff82, 0x8000ff84, 0xaaabaa9a, 0xcccdccc9,
    492   0x8000ff83, 0x8000fff1, 0xaaabaaa7, 0xcccdccca,
    493   0x8000fff0, 0x8000fffe, 0xaaabaaa8, 0xcccdcccb,
    494   0x8000fffe, 0xaaabaaa8, 0xcccdcccb, 0xffff8000,
    495   0x8000ffff, 0xaaabaaa9, 0xcccccccc, 0xffff8001,
    496   0x80010000, 0xaaaaaaaa, 0xcccccccd, 0xffff8002,
    497   0x80000001, 0xaaaaaaab, 0xccccccce, 0xffff8010,
    498   0x80000002, 0xaaaaaaac, 0xccccccdc, 0xffff807d,
    499   0x80000003, 0xaaaaaaba, 0xcccccd49, 0xffff807e,
    500   0x80000011, 0xaaaaab27, 0xcccccd4a, 0xffff807f,
    501   0x8000007e, 0xaaaaab28, 0xcccccd4b, 0xffffb333,
    502   0x8000007f, 0xaaaaab29, 0xccccffff, 0xffffd555,
    503   0x80000080, 0xaaaadddd, 0xcccd2221, 0xfffffffd,
    504   0x80003334, 0xaaaaffff, 0xcccd4cc9, 0xfffffffe,
    505   0x80005556, 0xaaab2aa7, 0xcccd4cca, 0xffffffff,
    506   0x80007ffe, 0xaaab2aa8, 0xcccd4ccb, 0x00000000,
    507   0x80007fff, 0xaaab2aa9, 0xcccd4ccc, 0x00000001,
    508   0x80008000, 0xaaab2aaa, 0xcccd4ccd, 0x00002aaa,
    509   0x80008001, 0xaaab2aab, 0xcccd7776, 0x00004ccc,
    510   0x80008002, 0xaaab5554, 0xcccd9998, 0x00007f80,
    511   0x8000aaab, 0xaaab7776, 0xcccdcc4c, 0x00007f81,
    512   0x8000cccd, 0xaaabaa2a, 0xcccdcc4d, 0x00007f82,
    513   0x8000ff81, 0xaaabaa2b, 0xcccdcc4e, 0x00007f83,
    514   0x8000ff82, 0xaaabaa2c, 0xcccdcc4f, 0x00007ff0,
    515   0x8000ff83, 0xaaabaa2d, 0xcccdccbc, 0x00007ffd,
    516   0x8000ff84, 0xaaabaa9a, 0xcccdccc9, 0x00007ffe,
    517   0x8000fff1, 0xaaabaaa7, 0xcccdccca, 0x00007fff,
    518   0xaaabaaa7, 0xcccdccca, 0x00007fff, 0xffff8001,
    519   0xaaabaaa8, 0xcccdcccb, 0xffff8000, 0xffff8002,
    520   0xaaabaaa9, 0xcccccccc, 0xffff8001, 0xffff8003,
    521   0xaaaaaaaa, 0xcccccccd, 0xffff8002, 0xffff8011,
    522   0xaaaaaaab, 0xccccccce, 0xffff8010, 0xffff807e,
    523   0xaaaaaaac, 0xccccccdc, 0xffff807d, 0xffff807f,
    524   0xaaaaaaba, 0xcccccd49, 0xffff807e, 0xffff8080,
    525   0xaaaaab27, 0xcccccd4a, 0xffff807f, 0xffffb334,
    526   0xaaaaab28, 0xcccccd4b, 0xffffb333, 0xffffd556,
    527   0xaaaaab29, 0xccccffff, 0xffffd555, 0xfffffffe,
    528   0xaaaadddd, 0xcccd2221, 0xfffffffd, 0xffffffff,
    529   0xaaaaffff, 0xcccd4cc9, 0xfffffffe, 0x00000000,
    530   0xaaab2aa7, 0xcccd4cca, 0xffffffff, 0x00000001,
    531   0xaaab2aa8, 0xcccd4ccb, 0x00000000, 0x00000002,
    532   0xaaab2aa9, 0xcccd4ccc, 0x00000001, 0x00002aab,
    533   0xaaab2aaa, 0xcccd4ccd, 0x00002aaa, 0x00004ccd,
    534   0xaaab2aab, 0xcccd7776, 0x00004ccc, 0x00007f81,
    535   0xaaab5554, 0xcccd9998, 0x00007f80, 0x00007f82,
    536   0xaaab7776, 0xcccdcc4c, 0x00007f81, 0x00007f83,
    537   0xaaabaa2a, 0xcccdcc4d, 0x00007f82, 0x00007f84,
    538   0xaaabaa2b, 0xcccdcc4e, 0x00007f83, 0x00007ff1,
    539   0xaaabaa2c, 0xcccdcc4f, 0x00007ff0, 0x00007ffe,
    540   0xaaabaa2d, 0xcccdccbc, 0x00007ffd, 0x00007fff,
    541   0xaaabaa9a, 0xcccdccc9, 0x00007ffe, 0x00008000,
    542   0xcccdccc9, 0x00007ffe, 0x00008000, 0xffff8002,
    543   0xcccdccca, 0x00007fff, 0xffff8001, 0xffff8003,
    544   0xcccdcccb, 0xffff8000, 0xffff8002, 0xffff8004,
    545   0xcccccccc, 0xffff8001, 0xffff8003, 0xffff8012,
    546   0xcccccccd, 0xffff8002, 0xffff8011, 0xffff807f,
    547   0xccccccce, 0xffff8010, 0xffff807e, 0xffff8080,
    548   0xccccccdc, 0xffff807d, 0xffff807f, 0xffff8081,
    549   0xcccccd49, 0xffff807e, 0xffff8080, 0xffffb335,
    550   0xcccccd4a, 0xffff807f, 0xffffb334, 0xffffd557,
    551   0xcccccd4b, 0xffffb333, 0xffffd556, 0xffffffff,
    552   0xccccffff, 0xffffd555, 0xfffffffe, 0x00000000,
    553   0xcccd2221, 0xfffffffd, 0xffffffff, 0x00000001,
    554   0xcccd4cc9, 0xfffffffe, 0x00000000, 0x00000002,
    555   0xcccd4cca, 0xffffffff, 0x00000001, 0x00000003,
    556   0xcccd4ccb, 0x00000000, 0x00000002, 0x00002aac,
    557   0xcccd4ccc, 0x00000001, 0x00002aab, 0x00004cce,
    558   0xcccd4ccd, 0x00002aaa, 0x00004ccd, 0x00007f82,
    559   0xcccd7776, 0x00004ccc, 0x00007f81, 0x00007f83,
    560   0xcccd9998, 0x00007f80, 0x00007f82, 0x00007f84,
    561   0xcccdcc4c, 0x00007f81, 0x00007f83, 0x00007f85,
    562   0xcccdcc4d, 0x00007f82, 0x00007f84, 0x00007ff2,
    563   0xcccdcc4e, 0x00007f83, 0x00007ff1, 0x00007fff,
    564   0xcccdcc4f, 0x00007ff0, 0x00007ffe, 0x00008000,
    565   0xcccdccbc, 0x00007ffd, 0x00007fff, 0x00008001,
    566   0x00007ffd, 0x00007fff, 0x00008001, 0xffff8003,
    567   0x00007ffe, 0x00008000, 0xffff8002, 0xffff8004,
    568   0x00007fff, 0xffff8001, 0xffff8003, 0xffff8005,
    569   0xffff8000, 0xffff8002, 0xffff8004, 0xffff8013,
    570   0xffff8001, 0xffff8003, 0xffff8012, 0xffff8080,
    571   0xffff8002, 0xffff8011, 0xffff807f, 0xffff8081,
    572   0xffff8010, 0xffff807e, 0xffff8080, 0xffff8082,
    573   0xffff807d, 0xffff807f, 0xffff8081, 0xffffb336,
    574   0xffff807e, 0xffff8080, 0xffffb335, 0xffffd558,
    575   0xffff807f, 0xffffb334, 0xffffd557, 0x00000000,
    576   0xffffb333, 0xffffd556, 0xffffffff, 0x00000001,
    577   0xffffd555, 0xfffffffe, 0x00000000, 0x00000002,
    578   0xfffffffd, 0xffffffff, 0x00000001, 0x00000003,
    579   0xfffffffe, 0x00000000, 0x00000002, 0x00000004,
    580   0xffffffff, 0x00000001, 0x00000003, 0x00002aad,
    581   0x00000000, 0x00000002, 0x00002aac, 0x00004ccf,
    582   0x00000001, 0x00002aab, 0x00004cce, 0x00007f83,
    583   0x00002aaa, 0x00004ccd, 0x00007f82, 0x00007f84,
    584   0x00004ccc, 0x00007f81, 0x00007f83, 0x00007f85,
    585   0x00007f80, 0x00007f82, 0x00007f84, 0x00007f86,
    586   0x00007f81, 0x00007f83, 0x00007f85, 0x00007ff3,
    587   0x00007f82, 0x00007f84, 0x00007ff2, 0x00008000,
    588   0x00007f83, 0x00007ff1, 0x00007fff, 0x00008001,
    589   0x00007ff0, 0x00007ffe, 0x00008000, 0x00008002,
    590   0x00007ffe, 0x00008000, 0x00008002, 0xffffff80,
    591   0x00007fff, 0x00008001, 0xffff8003, 0xffffff81,
    592   0x00008000, 0xffff8002, 0xffff8004, 0xffffff82,
    593   0xffff8001, 0xffff8003, 0xffff8005, 0xffffff90,
    594   0xffff8002, 0xffff8004, 0xffff8013, 0xfffffffd,
    595   0xffff8003, 0xffff8012, 0xffff8080, 0xfffffffe,
    596   0xffff8011, 0xffff807f, 0xffff8081, 0xffffffff,
    597   0xffff807e, 0xffff8080, 0xffff8082, 0x000032b3,
    598   0xffff807f, 0xffff8081, 0xffffb336, 0x000054d5,
    599   0xffff8080, 0xffffb335, 0xffffd558, 0x00007f7d,
    600   0xffffb334, 0xffffd557, 0x00000000, 0x00007f7e,
    601   0xffffd556, 0xffffffff, 0x00000001, 0x00007f7f,
    602   0xfffffffe, 0x00000000, 0x00000002, 0x00007f80,
    603   0xffffffff, 0x00000001, 0x00000003, 0x00007f81,
    604   0x00000000, 0x00000002, 0x00000004, 0x0000aa2a,
    605   0x00000001, 0x00000003, 0x00002aad, 0x0000cc4c,
    606   0x00000002, 0x00002aac, 0x00004ccf, 0x0000ff00,
    607   0x00002aab, 0x00004cce, 0x00007f83, 0x0000ff01,
    608   0x00004ccd, 0x00007f82, 0x00007f84, 0x0000ff02,
    609   0x00007f81, 0x00007f83, 0x00007f85, 0x0000ff03,
    610   0x00007f82, 0x00007f84, 0x00007f86, 0x0000ff70,
    611   0x00007f83, 0x00007f85, 0x00007ff3, 0x0000ff7d,
    612   0x00007f84, 0x00007ff2, 0x00008000, 0x0000ff7e,
    613   0x00007ff1, 0x00007fff, 0x00008001, 0x0000ff7f,
    614   0x00007fff, 0x00008001, 0x0000ff7f, 0xffffff81,
    615   0x00008000, 0x00008002, 0xffffff80, 0xffffff82,
    616   0x00008001, 0xffff8003, 0xffffff81, 0xffffff83,
    617   0xffff8002, 0xffff8004, 0xffffff82, 0xffffff91,
    618   0xffff8003, 0xffff8005, 0xffffff90, 0xfffffffe,
    619   0xffff8004, 0xffff8013, 0xfffffffd, 0xffffffff,
    620   0xffff8012, 0xffff8080, 0xfffffffe, 0x00000000,
    621   0xffff807f, 0xffff8081, 0xffffffff, 0x000032b4,
    622   0xffff8080, 0xffff8082, 0x000032b3, 0x000054d6,
    623   0xffff8081, 0xffffb336, 0x000054d5, 0x00007f7e,
    624   0xffffb335, 0xffffd558, 0x00007f7d, 0x00007f7f,
    625   0xffffd557, 0x00000000, 0x00007f7e, 0x00007f80,
    626   0xffffffff, 0x00000001, 0x00007f7f, 0x00007f81,
    627   0x00000000, 0x00000002, 0x00007f80, 0x00007f82,
    628   0x00000001, 0x00000003, 0x00007f81, 0x0000aa2b,
    629   0x00000002, 0x00000004, 0x0000aa2a, 0x0000cc4d,
    630   0x00000003, 0x00002aad, 0x0000cc4c, 0x0000ff01,
    631   0x00002aac, 0x00004ccf, 0x0000ff00, 0x0000ff02,
    632   0x00004cce, 0x00007f83, 0x0000ff01, 0x0000ff03,
    633   0x00007f82, 0x00007f84, 0x0000ff02, 0x0000ff04,
    634   0x00007f83, 0x00007f85, 0x0000ff03, 0x0000ff71,
    635   0x00007f84, 0x00007f86, 0x0000ff70, 0x0000ff7e,
    636   0x00007f85, 0x00007ff3, 0x0000ff7d, 0x0000ff7f,
    637   0x00007ff2, 0x00008000, 0x0000ff7e, 0x0000ff80,
    638   0x00008000, 0x0000ff7e, 0x0000ff80, 0xffffff82,
    639   0x00008001, 0x0000ff7f, 0xffffff81, 0xffffff83,
    640   0x00008002, 0xffffff80, 0xffffff82, 0xffffff84,
    641   0xffff8003, 0xffffff81, 0xffffff83, 0xffffff92,
    642   0xffff8004, 0xffffff82, 0xffffff91, 0xffffffff,
    643   0xffff8005, 0xffffff90, 0xfffffffe, 0x00000000,
    644   0xffff8013, 0xfffffffd, 0xffffffff, 0x00000001,
    645   0xffff8080, 0xfffffffe, 0x00000000, 0x000032b5,
    646   0xffff8081, 0xffffffff, 0x000032b4, 0x000054d7,
    647   0xffff8082, 0x000032b3, 0x000054d6, 0x00007f7f,
    648   0xffffb336, 0x000054d5, 0x00007f7e, 0x00007f80,
    649   0xffffd558, 0x00007f7d, 0x00007f7f, 0x00007f81,
    650   0x00000000, 0x00007f7e, 0x00007f80, 0x00007f82,
    651   0x00000001, 0x00007f7f, 0x00007f81, 0x00007f83,
    652   0x00000002, 0x00007f80, 0x00007f82, 0x0000aa2c,
    653   0x00000003, 0x00007f81, 0x0000aa2b, 0x0000cc4e,
    654   0x00000004, 0x0000aa2a, 0x0000cc4d, 0x0000ff02,
    655   0x00002aad, 0x0000cc4c, 0x0000ff01, 0x0000ff03,
    656   0x00004ccf, 0x0000ff00, 0x0000ff02, 0x0000ff04,
    657   0x00007f83, 0x0000ff01, 0x0000ff03, 0x0000ff05,
    658   0x00007f84, 0x0000ff02, 0x0000ff04, 0x0000ff72,
    659   0x00007f85, 0x0000ff03, 0x0000ff71, 0x0000ff7f,
    660   0x00007f86, 0x0000ff70, 0x0000ff7e, 0x0000ff80,
    661   0x00007ff3, 0x0000ff7d, 0x0000ff7f, 0x0000ff81,
    662   0x0000ff7d, 0x0000ff7f, 0x0000ff81, 0xffffff83,
    663   0x0000ff7e, 0x0000ff80, 0xffffff82, 0xffffff84,
    664   0x0000ff7f, 0xffffff81, 0xffffff83, 0xffffff85,
    665   0xffffff80, 0xffffff82, 0xffffff84, 0xffffff93,
    666   0xffffff81, 0xffffff83, 0xffffff92, 0x00000000,
    667   0xffffff82, 0xffffff91, 0xffffffff, 0x00000001,
    668   0xffffff90, 0xfffffffe, 0x00000000, 0x00000002,
    669   0xfffffffd, 0xffffffff, 0x00000001, 0x000032b6,
    670   0xfffffffe, 0x00000000, 0x000032b5, 0x000054d8,
    671   0xffffffff, 0x000032b4, 0x000054d7, 0x00007f80,
    672   0x000032b3, 0x000054d6, 0x00007f7f, 0x00007f81,
    673   0x000054d5, 0x00007f7e, 0x00007f80, 0x00007f82,
    674   0x00007f7d, 0x00007f7f, 0x00007f81, 0x00007f83,
    675   0x00007f7e, 0x00007f80, 0x00007f82, 0x00007f84,
    676   0x00007f7f, 0x00007f81, 0x00007f83, 0x0000aa2d,
    677   0x00007f80, 0x00007f82, 0x0000aa2c, 0x0000cc4f,
    678   0x00007f81, 0x0000aa2b, 0x0000cc4e, 0x0000ff03,
    679   0x0000aa2a, 0x0000cc4d, 0x0000ff02, 0x0000ff04,
    680   0x0000cc4c, 0x0000ff01, 0x0000ff03, 0x0000ff05,
    681   0x0000ff00, 0x0000ff02, 0x0000ff04, 0x0000ff06,
    682   0x0000ff01, 0x0000ff03, 0x0000ff05, 0x0000ff73,
    683   0x0000ff02, 0x0000ff04, 0x0000ff72, 0x0000ff80,
    684   0x0000ff03, 0x0000ff71, 0x0000ff7f, 0x0000ff81,
    685   0x0000ff70, 0x0000ff7e, 0x0000ff80, 0x0000ff82,
    686   0x0000ff7e, 0x0000ff80, 0x0000ff82, 0xffffffe0,
    687   0x0000ff7f, 0x0000ff81, 0xffffff83, 0xffffffe1,
    688   0x0000ff80, 0xffffff82, 0xffffff84, 0xffffffe2,
    689   0xffffff81, 0xffffff83, 0xffffff85, 0xfffffff0,
    690   0xffffff82, 0xffffff84, 0xffffff93, 0x0000005d,
    691   0xffffff83, 0xffffff92, 0x00000000, 0x0000005e,
    692   0xffffff91, 0xffffffff, 0x00000001, 0x0000005f,
    693   0xfffffffe, 0x00000000, 0x00000002, 0x00003313,
    694   0xffffffff, 0x00000001, 0x000032b6, 0x00005535,
    695   0x00000000, 0x000032b5, 0x000054d8, 0x00007fdd,
    696   0x000032b4, 0x000054d7, 0x00007f80, 0x00007fde,
    697   0x000054d6, 0x00007f7f, 0x00007f81, 0x00007fdf,
    698   0x00007f7e, 0x00007f80, 0x00007f82, 0x00007fe0,
    699   0x00007f7f, 0x00007f81, 0x00007f83, 0x00007fe1,
    700   0x00007f80, 0x00007f82, 0x00007f84, 0x0000aa8a,
    701   0x00007f81, 0x00007f83, 0x0000aa2d, 0x0000ccac,
    702   0x00007f82, 0x0000aa2c, 0x0000cc4f, 0x0000ff60,
    703   0x0000aa2b, 0x0000cc4e, 0x0000ff03, 0x0000ff61,
    704   0x0000cc4d, 0x0000ff02, 0x0000ff04, 0x0000ff62,
    705   0x0000ff01, 0x0000ff03, 0x0000ff05, 0x0000ff63,
    706   0x0000ff02, 0x0000ff04, 0x0000ff06, 0x0000ffd0,
    707   0x0000ff03, 0x0000ff05, 0x0000ff73, 0x0000ffdd,
    708   0x0000ff04, 0x0000ff72, 0x0000ff80, 0x0000ffde,
    709   0x0000ff71, 0x0000ff7f, 0x0000ff81, 0x0000ffdf,
    710   0x0000ff7f, 0x0000ff81, 0x0000ffdf, 0xfffffffd,
    711   0x0000ff80, 0x0000ff82, 0xffffffe0, 0xfffffffe,
    712   0x0000ff81, 0xffffff83, 0xffffffe1, 0xffffffff,
    713   0xffffff82, 0xffffff84, 0xffffffe2, 0x0000000d,
    714   0xffffff83, 0xffffff85, 0xfffffff0, 0x0000007a,
    715   0xffffff84, 0xffffff93, 0x0000005d, 0x0000007b,
    716   0xffffff92, 0x00000000, 0x0000005e, 0x0000007c,
    717   0xffffffff, 0x00000001, 0x0000005f, 0x00003330,
    718   0x00000000, 0x00000002, 0x00003313, 0x00005552,
    719   0x00000001, 0x000032b6, 0x00005535, 0x00007ffa,
    720   0x000032b5, 0x000054d8, 0x00007fdd, 0x00007ffb,
    721   0x000054d7, 0x00007f80, 0x00007fde, 0x00007ffc,
    722   0x00007f7f, 0x00007f81, 0x00007fdf, 0x00007ffd,
    723   0x00007f80, 0x00007f82, 0x00007fe0, 0x00007ffe,
    724   0x00007f81, 0x00007f83, 0x00007fe1, 0x0000aaa7,
    725   0x00007f82, 0x00007f84, 0x0000aa8a, 0x0000ccc9,
    726   0x00007f83, 0x0000aa2d, 0x0000ccac, 0x0000ff7d,
    727   0x0000aa2c, 0x0000cc4f, 0x0000ff60, 0x0000ff7e,
    728   0x0000cc4e, 0x0000ff03, 0x0000ff61, 0x0000ff7f,
    729   0x0000ff02, 0x0000ff04, 0x0000ff62, 0x0000ff80,
    730   0x0000ff03, 0x0000ff05, 0x0000ff63, 0x0000ffed,
    731   0x0000ff04, 0x0000ff06, 0x0000ffd0, 0x0000fffa,
    732   0x0000ff05, 0x0000ff73, 0x0000ffdd, 0x0000fffb,
    733   0x0000ff72, 0x0000ff80, 0x0000ffde, 0x0000fffc,
    734   0x0000ff80, 0x0000ffde, 0x0000fffc, 0xfffffffe,
    735   0x0000ff81, 0x0000ffdf, 0xfffffffd, 0xffffffff,
    736   0x0000ff82, 0xffffffe0, 0xfffffffe, 0x00000000,
    737   0xffffff83, 0xffffffe1, 0xffffffff, 0x0000000e,
    738   0xffffff84, 0xffffffe2, 0x0000000d, 0x0000007b,
    739   0xffffff85, 0xfffffff0, 0x0000007a, 0x0000007c,
    740   0xffffff93, 0x0000005d, 0x0000007b, 0x0000007d,
    741   0x00000000, 0x0000005e, 0x0000007c, 0x00003331,
    742   0x00000001, 0x0000005f, 0x00003330, 0x00005553,
    743   0x00000002, 0x00003313, 0x00005552, 0x00007ffb,
    744   0x000032b6, 0x00005535, 0x00007ffa, 0x00007ffc,
    745   0x000054d8, 0x00007fdd, 0x00007ffb, 0x00007ffd,
    746   0x00007f80, 0x00007fde, 0x00007ffc, 0x00007ffe,
    747   0x00007f81, 0x00007fdf, 0x00007ffd, 0x00007fff,
    748   0x00007f82, 0x00007fe0, 0x00007ffe, 0x0000aaa8,
    749   0x00007f83, 0x00007fe1, 0x0000aaa7, 0x0000ccca,
    750   0x00007f84, 0x0000aa8a, 0x0000ccc9, 0x0000ff7e,
    751   0x0000aa2d, 0x0000ccac, 0x0000ff7d, 0x0000ff7f,
    752   0x0000cc4f, 0x0000ff60, 0x0000ff7e, 0x0000ff80,
    753   0x0000ff03, 0x0000ff61, 0x0000ff7f, 0x0000ff81,
    754   0x0000ff04, 0x0000ff62, 0x0000ff80, 0x0000ffee,
    755   0x0000ff05, 0x0000ff63, 0x0000ffed, 0x0000fffb,
    756   0x0000ff06, 0x0000ffd0, 0x0000fffa, 0x0000fffc,
    757   0x0000ff73, 0x0000ffdd, 0x0000fffb, 0x0000fffd,
    758   0x0000ffdd, 0x0000fffb, 0x0000fffd, 0xffffffff,
    759   0x0000ffde, 0x0000fffc, 0xfffffffe, 0x00000000,
    760   0x0000ffdf, 0xfffffffd, 0xffffffff, 0x00000001,
    761   0xffffffe0, 0xfffffffe, 0x00000000, 0x0000000f,
    762   0xffffffe1, 0xffffffff, 0x0000000e, 0x0000007c,
    763   0xffffffe2, 0x0000000d, 0x0000007b, 0x0000007d,
    764   0xfffffff0, 0x0000007a, 0x0000007c, 0x0000007e,
    765   0x0000005d, 0x0000007b, 0x0000007d, 0x00003332,
    766   0x0000005e, 0x0000007c, 0x00003331, 0x00005554,
    767   0x0000005f, 0x00003330, 0x00005553, 0x00007ffc,
    768   0x00003313, 0x00005552, 0x00007ffb, 0x00007ffd,
    769   0x00005535, 0x00007ffa, 0x00007ffc, 0x00007ffe,
    770   0x00007fdd, 0x00007ffb, 0x00007ffd, 0x00007fff,
    771   0x00007fde, 0x00007ffc, 0x00007ffe, 0x00008000,
    772   0x00007fdf, 0x00007ffd, 0x00007fff, 0x0000aaa9,
    773   0x00007fe0, 0x00007ffe, 0x0000aaa8, 0x0000cccb,
    774   0x00007fe1, 0x0000aaa7, 0x0000ccca, 0x0000ff7f,
    775   0x0000aa8a, 0x0000ccc9, 0x0000ff7e, 0x0000ff80,
    776   0x0000ccac, 0x0000ff7d, 0x0000ff7f, 0x0000ff81,
    777   0x0000ff60, 0x0000ff7e, 0x0000ff80, 0x0000ff82,
    778   0x0000ff61, 0x0000ff7f, 0x0000ff81, 0x0000ffef,
    779   0x0000ff62, 0x0000ff80, 0x0000ffee, 0x0000fffc,
    780   0x0000ff63, 0x0000ffed, 0x0000fffb, 0x0000fffd,
    781   0x0000ffd0, 0x0000fffa, 0x0000fffc, 0x0000fffe,
    782 };
    783 const unsigned kExpectedCount_NEON_uaddw2_4S = 744;
    784 
    785 #endif  // VIXL_SIM_UADDW2_4S_TRACE_A64_H_
    786