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