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_SSUBW_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SSUBW_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_ssubw_4S[] = {
     38   0x00007d82, 0x00007e81, 0x007fc9cd, 0xffffaaab,
     39   0x00007d81, 0x00004bcd, 0x007fa7ab, 0xffff8003,
     40   0x00004acd, 0x000029ab, 0x007f7d03, 0xffff8002,
     41   0x000028ab, 0xffffff03, 0x007f7d02, 0xffff8001,
     42   0xfffffe03, 0xffffff02, 0x007f7d01, 0x00000000,
     43   0xfffffe02, 0xffffff01, 0x007ffd00, 0xffffffff,
     44   0xfffffe01, 0x00007f00, 0x007ffcff, 0xfffffffe,
     45   0x00007e00, 0x00007eff, 0x007ffcfe, 0xfffffff0,
     46   0x00007dff, 0x00007efe, 0x007ffcf0, 0xffffff83,
     47   0x00007dfe, 0x00007ef0, 0x007ffc83, 0xffffff82,
     48   0x00007df0, 0x00007e83, 0x007ffc82, 0xffffff81,
     49   0x00007d83, 0x00007e82, 0x007ffc81, 0xffffcccd,
     50   0x00007d82, 0x00007e81, 0x007fc9cd, 0xffffaaab,
     51   0x00007d81, 0x00004bcd, 0x007fa7ab, 0xffff8003,
     52   0x00004acd, 0x000029ab, 0x007f7d03, 0xffff8002,
     53   0x000028ab, 0xffffff03, 0x007f7d02, 0xffff8001,
     54   0xfffffe03, 0xffffff02, 0x007f7d01, 0x00008000,
     55   0xfffffe02, 0xffffff01, 0x00807d00, 0x00007fff,
     56   0xfffffe01, 0x0000ff00, 0x00807cff, 0x00005556,
     57   0x0000fe00, 0x0000feff, 0x00805256, 0x00003334,
     58   0x0000fdff, 0x0000d456, 0x00803034, 0x00000080,
     59   0x0000d356, 0x0000b234, 0x007ffd80, 0x0000007f,
     60   0x0000b134, 0x00007f80, 0x007ffd7f, 0x0000007e,
     61   0x00007e80, 0x00007f7f, 0x007ffd7e, 0x0000007d,
     62   0x00007f7f, 0x007ffd7e, 0x0000007d, 0x00000011,
     63   0x00007f7e, 0x007ffd7d, 0x00000010, 0x00000004,
     64   0x00007f7d, 0x007ffd10, 0x00000003, 0x00000003,
     65   0x00007f10, 0x007ffd03, 0x00000002, 0x00000002,
     66   0x00007f03, 0x007ffd02, 0x00000001, 0x00000001,
     67   0x00007f02, 0x007ffd01, 0x00000000, 0x00000000,
     68   0x00007f01, 0x007ffd00, 0xffffffff, 0xffffffff,
     69   0x00007f00, 0x007ffcff, 0xfffffffe, 0xfffffff1,
     70   0x00007eff, 0x007ffcfe, 0xfffffff0, 0xffffff84,
     71   0x00007efe, 0x007ffcf0, 0xffffff83, 0xffffff83,
     72   0x00007ef0, 0x007ffc83, 0xffffff82, 0xffffff82,
     73   0x00007e83, 0x007ffc82, 0xffffff81, 0xffffccce,
     74   0x00007e82, 0x007ffc81, 0xffffcccd, 0xffffaaac,
     75   0x00007e81, 0x007fc9cd, 0xffffaaab, 0xffff8004,
     76   0x00004bcd, 0x007fa7ab, 0xffff8003, 0xffff8003,
     77   0x000029ab, 0x007f7d03, 0xffff8002, 0xffff8002,
     78   0xffffff03, 0x007f7d02, 0xffff8001, 0x00008001,
     79   0xffffff02, 0x007f7d01, 0x00008000, 0x00008000,
     80   0xffffff01, 0x00807d00, 0x00007fff, 0x00005557,
     81   0x0000ff00, 0x00807cff, 0x00005556, 0x00003335,
     82   0x0000feff, 0x00805256, 0x00003334, 0x00000081,
     83   0x0000d456, 0x00803034, 0x00000080, 0x00000080,
     84   0x0000b234, 0x007ffd80, 0x0000007f, 0x0000007f,
     85   0x00007f80, 0x007ffd7f, 0x0000007e, 0x0000007e,
     86   0x007ffd7f, 0x0000007e, 0x0000007e, 0x00000012,
     87   0x007ffd7e, 0x0000007d, 0x00000011, 0x00000005,
     88   0x007ffd7d, 0x00000010, 0x00000004, 0x00000004,
     89   0x007ffd10, 0x00000003, 0x00000003, 0x00000003,
     90   0x007ffd03, 0x00000002, 0x00000002, 0x00000002,
     91   0x007ffd02, 0x00000001, 0x00000001, 0x00000001,
     92   0x007ffd01, 0x00000000, 0x00000000, 0x00000000,
     93   0x007ffd00, 0xffffffff, 0xffffffff, 0xfffffff2,
     94   0x007ffcff, 0xfffffffe, 0xfffffff1, 0xffffff85,
     95   0x007ffcfe, 0xfffffff0, 0xffffff84, 0xffffff84,
     96   0x007ffcf0, 0xffffff83, 0xffffff83, 0xffffff83,
     97   0x007ffc83, 0xffffff82, 0xffffff82, 0xffffcccf,
     98   0x007ffc82, 0xffffff81, 0xffffccce, 0xffffaaad,
     99   0x007ffc81, 0xffffcccd, 0xffffaaac, 0xffff8005,
    100   0x007fc9cd, 0xffffaaab, 0xffff8004, 0xffff8004,
    101   0x007fa7ab, 0xffff8003, 0xffff8003, 0xffff8003,
    102   0x007f7d03, 0xffff8002, 0xffff8002, 0x00008002,
    103   0x007f7d02, 0xffff8001, 0x00008001, 0x00008001,
    104   0x007f7d01, 0x00008000, 0x00008000, 0x00005558,
    105   0x00807d00, 0x00007fff, 0x00005557, 0x00003336,
    106   0x00807cff, 0x00005556, 0x00003335, 0x00000082,
    107   0x00805256, 0x00003334, 0x00000081, 0x00000081,
    108   0x00803034, 0x00000080, 0x00000080, 0x00000080,
    109   0x007ffd80, 0x0000007f, 0x0000007f, 0x0000007f,
    110   0x0000007f, 0x0000007f, 0x0000007f, 0x00000030,
    111   0x0000007e, 0x0000007e, 0x00000012, 0x00000023,
    112   0x0000007d, 0x00000011, 0x00000005, 0x00000022,
    113   0x00000010, 0x00000004, 0x00000004, 0x00000021,
    114   0x00000003, 0x00000003, 0x00000003, 0x00000020,
    115   0x00000002, 0x00000002, 0x00000002, 0x0000001f,
    116   0x00000001, 0x00000001, 0x00000001, 0x0000001e,
    117   0x00000000, 0x00000000, 0x00000000, 0x00000010,
    118   0xffffffff, 0xffffffff, 0xfffffff2, 0xffffffa3,
    119   0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffffa2,
    120   0xfffffff0, 0xffffff84, 0xffffff84, 0xffffffa1,
    121   0xffffff83, 0xffffff83, 0xffffff83, 0xffffcced,
    122   0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaacb,
    123   0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8023,
    124   0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8022,
    125   0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8021,
    126   0xffff8003, 0xffff8003, 0xffff8003, 0x00008020,
    127   0xffff8002, 0xffff8002, 0x00008002, 0x0000801f,
    128   0xffff8001, 0x00008001, 0x00008001, 0x00005576,
    129   0x00008000, 0x00008000, 0x00005558, 0x00003354,
    130   0x00007fff, 0x00005557, 0x00003336, 0x000000a0,
    131   0x00005556, 0x00003335, 0x00000082, 0x0000009f,
    132   0x00003334, 0x00000081, 0x00000081, 0x0000009e,
    133   0x00000080, 0x00000080, 0x00000080, 0x0000009d,
    134   0x00000080, 0x00000080, 0x0000009d, 0x0000008d,
    135   0x0000007f, 0x0000007f, 0x00000030, 0x00000080,
    136   0x0000007e, 0x00000012, 0x00000023, 0x0000007f,
    137   0x00000011, 0x00000005, 0x00000022, 0x0000007e,
    138   0x00000004, 0x00000004, 0x00000021, 0x0000007d,
    139   0x00000003, 0x00000003, 0x00000020, 0x0000007c,
    140   0x00000002, 0x00000002, 0x0000001f, 0x0000007b,
    141   0x00000001, 0x00000001, 0x0000001e, 0x0000006d,
    142   0x00000000, 0x00000000, 0x00000010, 0x00000000,
    143   0xffffffff, 0xfffffff2, 0xffffffa3, 0xffffffff,
    144   0xfffffff1, 0xffffff85, 0xffffffa2, 0xfffffffe,
    145   0xffffff84, 0xffffff84, 0xffffffa1, 0xffffcd4a,
    146   0xffffff83, 0xffffff83, 0xffffcced, 0xffffab28,
    147   0xffffff82, 0xffffcccf, 0xffffaacb, 0xffff8080,
    148   0xffffccce, 0xffffaaad, 0xffff8023, 0xffff807f,
    149   0xffffaaac, 0xffff8005, 0xffff8022, 0xffff807e,
    150   0xffff8004, 0xffff8004, 0xffff8021, 0x0000807d,
    151   0xffff8003, 0xffff8003, 0x00008020, 0x0000807c,
    152   0xffff8002, 0x00008002, 0x0000801f, 0x000055d3,
    153   0x00008001, 0x00008001, 0x00005576, 0x000033b1,
    154   0x00008000, 0x00005558, 0x00003354, 0x000000fd,
    155   0x00005557, 0x00003336, 0x000000a0, 0x000000fc,
    156   0x00003335, 0x00000082, 0x0000009f, 0x000000fb,
    157   0x00000081, 0x00000081, 0x0000009e, 0x000000fa,
    158   0x00000081, 0x0000009e, 0x000000fa, 0x0000008e,
    159   0x00000080, 0x0000009d, 0x0000008d, 0x00000081,
    160   0x0000007f, 0x00000030, 0x00000080, 0x00000080,
    161   0x00000012, 0x00000023, 0x0000007f, 0x0000007f,
    162   0x00000005, 0x00000022, 0x0000007e, 0x0000007e,
    163   0x00000004, 0x00000021, 0x0000007d, 0x0000007d,
    164   0x00000003, 0x00000020, 0x0000007c, 0x0000007c,
    165   0x00000002, 0x0000001f, 0x0000007b, 0x0000006e,
    166   0x00000001, 0x0000001e, 0x0000006d, 0x00000001,
    167   0x00000000, 0x00000010, 0x00000000, 0x00000000,
    168   0xfffffff2, 0xffffffa3, 0xffffffff, 0xffffffff,
    169   0xffffff85, 0xffffffa2, 0xfffffffe, 0xffffcd4b,
    170   0xffffff84, 0xffffffa1, 0xffffcd4a, 0xffffab29,
    171   0xffffff83, 0xffffcced, 0xffffab28, 0xffff8081,
    172   0xffffcccf, 0xffffaacb, 0xffff8080, 0xffff8080,
    173   0xffffaaad, 0xffff8023, 0xffff807f, 0xffff807f,
    174   0xffff8005, 0xffff8022, 0xffff807e, 0x0000807e,
    175   0xffff8004, 0xffff8021, 0x0000807d, 0x0000807d,
    176   0xffff8003, 0x00008020, 0x0000807c, 0x000055d4,
    177   0x00008002, 0x0000801f, 0x000055d3, 0x000033b2,
    178   0x00008001, 0x00005576, 0x000033b1, 0x000000fe,
    179   0x00005558, 0x00003354, 0x000000fd, 0x000000fd,
    180   0x00003336, 0x000000a0, 0x000000fc, 0x000000fc,
    181   0x00000082, 0x0000009f, 0x000000fb, 0x000000fb,
    182   0x0000009f, 0x000000fb, 0x000000fb, 0x0000008f,
    183   0x0000009e, 0x000000fa, 0x0000008e, 0x00000082,
    184   0x0000009d, 0x0000008d, 0x00000081, 0x00000081,
    185   0x00000030, 0x00000080, 0x00000080, 0x00000080,
    186   0x00000023, 0x0000007f, 0x0000007f, 0x0000007f,
    187   0x00000022, 0x0000007e, 0x0000007e, 0x0000007e,
    188   0x00000021, 0x0000007d, 0x0000007d, 0x0000007d,
    189   0x00000020, 0x0000007c, 0x0000007c, 0x0000006f,
    190   0x0000001f, 0x0000007b, 0x0000006e, 0x00000002,
    191   0x0000001e, 0x0000006d, 0x00000001, 0x00000001,
    192   0x00000010, 0x00000000, 0x00000000, 0x00000000,
    193   0xffffffa3, 0xffffffff, 0xffffffff, 0xffffcd4c,
    194   0xffffffa2, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
    195   0xffffffa1, 0xffffcd4a, 0xffffab29, 0xffff8082,
    196   0xffffcced, 0xffffab28, 0xffff8081, 0xffff8081,
    197   0xffffaacb, 0xffff8080, 0xffff8080, 0xffff8080,
    198   0xffff8023, 0xffff807f, 0xffff807f, 0x0000807f,
    199   0xffff8022, 0xffff807e, 0x0000807e, 0x0000807e,
    200   0xffff8021, 0x0000807d, 0x0000807d, 0x000055d5,
    201   0x00008020, 0x0000807c, 0x000055d4, 0x000033b3,
    202   0x0000801f, 0x000055d3, 0x000033b2, 0x000000ff,
    203   0x00005576, 0x000033b1, 0x000000fe, 0x000000fe,
    204   0x00003354, 0x000000fd, 0x000000fd, 0x000000fd,
    205   0x000000a0, 0x000000fc, 0x000000fc, 0x000000fc,
    206   0x000000fc, 0x000000fc, 0x000000fc, 0x0000800d,
    207   0x000000fb, 0x000000fb, 0x0000008f, 0x00008000,
    208   0x000000fa, 0x0000008e, 0x00000082, 0x00007fff,
    209   0x0000008d, 0x00000081, 0x00000081, 0x00007ffe,
    210   0x00000080, 0x00000080, 0x00000080, 0x00007ffd,
    211   0x0000007f, 0x0000007f, 0x0000007f, 0x00007ffc,
    212   0x0000007e, 0x0000007e, 0x0000007e, 0x00007ffb,
    213   0x0000007d, 0x0000007d, 0x0000007d, 0x00007fed,
    214   0x0000007c, 0x0000007c, 0x0000006f, 0x00007f80,
    215   0x0000007b, 0x0000006e, 0x00000002, 0x00007f7f,
    216   0x0000006d, 0x00000001, 0x00000001, 0x00007f7e,
    217   0x00000000, 0x00000000, 0x00000000, 0x00004cca,
    218   0xffffffff, 0xffffffff, 0xffffcd4c, 0x00002aa8,
    219   0xfffffffe, 0xffffcd4b, 0xffffab2a, 0x00000000,
    220   0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffffff,
    221   0xffffab28, 0xffff8081, 0xffff8081, 0xfffffffe,
    222   0xffff8080, 0xffff8080, 0xffff8080, 0x0000fffd,
    223   0xffff807f, 0xffff807f, 0x0000807f, 0x0000fffc,
    224   0xffff807e, 0x0000807e, 0x0000807e, 0x0000d553,
    225   0x0000807d, 0x0000807d, 0x000055d5, 0x0000b331,
    226   0x0000807c, 0x000055d4, 0x000033b3, 0x0000807d,
    227   0x000055d3, 0x000033b2, 0x000000ff, 0x0000807c,
    228   0x000033b1, 0x000000fe, 0x000000fe, 0x0000807b,
    229   0x000000fd, 0x000000fd, 0x000000fd, 0x0000807a,
    230   0x000000fd, 0x000000fd, 0x0000807a, 0x0000800e,
    231   0x000000fc, 0x000000fc, 0x0000800d, 0x00008001,
    232   0x000000fb, 0x0000008f, 0x00008000, 0x00008000,
    233   0x0000008e, 0x00000082, 0x00007fff, 0x00007fff,
    234   0x00000081, 0x00000081, 0x00007ffe, 0x00007ffe,
    235   0x00000080, 0x00000080, 0x00007ffd, 0x00007ffd,
    236   0x0000007f, 0x0000007f, 0x00007ffc, 0x00007ffc,
    237   0x0000007e, 0x0000007e, 0x00007ffb, 0x00007fee,
    238   0x0000007d, 0x0000007d, 0x00007fed, 0x00007f81,
    239   0x0000007c, 0x0000006f, 0x00007f80, 0x00007f80,
    240   0x0000006e, 0x00000002, 0x00007f7f, 0x00007f7f,
    241   0x00000001, 0x00000001, 0x00007f7e, 0x00004ccb,
    242   0x00000000, 0x00000000, 0x00004cca, 0x00002aa9,
    243   0xffffffff, 0xffffcd4c, 0x00002aa8, 0x00000001,
    244   0xffffcd4b, 0xffffab2a, 0x00000000, 0x00000000,
    245   0xffffab29, 0xffff8082, 0xffffffff, 0xffffffff,
    246   0xffff8081, 0xffff8081, 0xfffffffe, 0x0000fffe,
    247   0xffff8080, 0xffff8080, 0x0000fffd, 0x0000fffd,
    248   0xffff807f, 0x0000807f, 0x0000fffc, 0x0000d554,
    249   0x0000807e, 0x0000807e, 0x0000d553, 0x0000b332,
    250   0x0000807d, 0x000055d5, 0x0000b331, 0x0000807e,
    251   0x000055d4, 0x000033b3, 0x0000807d, 0x0000807d,
    252   0x000033b2, 0x000000ff, 0x0000807c, 0x0000807c,
    253   0x000000fe, 0x000000fe, 0x0000807b, 0x0000807b,
    254   0x000000fe, 0x0000807b, 0x0000807b, 0x0000800f,
    255   0x000000fd, 0x0000807a, 0x0000800e, 0x00008002,
    256   0x000000fc, 0x0000800d, 0x00008001, 0x00008001,
    257   0x0000008f, 0x00008000, 0x00008000, 0x00008000,
    258   0x00000082, 0x00007fff, 0x00007fff, 0x00007fff,
    259   0x00000081, 0x00007ffe, 0x00007ffe, 0x00007ffe,
    260   0x00000080, 0x00007ffd, 0x00007ffd, 0x00007ffd,
    261   0x0000007f, 0x00007ffc, 0x00007ffc, 0x00007fef,
    262   0x0000007e, 0x00007ffb, 0x00007fee, 0x00007f82,
    263   0x0000007d, 0x00007fed, 0x00007f81, 0x00007f81,
    264   0x0000006f, 0x00007f80, 0x00007f80, 0x00007f80,
    265   0x00000002, 0x00007f7f, 0x00007f7f, 0x00004ccc,
    266   0x00000001, 0x00007f7e, 0x00004ccb, 0x00002aaa,
    267   0x00000000, 0x00004cca, 0x00002aa9, 0x00000002,
    268   0xffffcd4c, 0x00002aa8, 0x00000001, 0x00000001,
    269   0xffffab2a, 0x00000000, 0x00000000, 0x00000000,
    270   0xffff8082, 0xffffffff, 0xffffffff, 0x0000ffff,
    271   0xffff8081, 0xfffffffe, 0x0000fffe, 0x0000fffe,
    272   0xffff8080, 0x0000fffd, 0x0000fffd, 0x0000d555,
    273   0x0000807f, 0x0000fffc, 0x0000d554, 0x0000b333,
    274   0x0000807e, 0x0000d553, 0x0000b332, 0x0000807f,
    275   0x000055d5, 0x0000b331, 0x0000807e, 0x0000807e,
    276   0x000033b3, 0x0000807d, 0x0000807d, 0x0000807d,
    277   0x000000ff, 0x0000807c, 0x0000807c, 0x0000807c,
    278   0x0000807c, 0x0000807c, 0x0000807c, 0x33333343,
    279   0x0000807b, 0x0000807b, 0x0000800f, 0x33333336,
    280   0x0000807a, 0x0000800e, 0x00008002, 0x33333335,
    281   0x0000800d, 0x00008001, 0x00008001, 0x33333334,
    282   0x00008000, 0x00008000, 0x00008000, 0x33333333,
    283   0x00007fff, 0x00007fff, 0x00007fff, 0x33333332,
    284   0x00007ffe, 0x00007ffe, 0x00007ffe, 0x33333331,
    285   0x00007ffd, 0x00007ffd, 0x00007ffd, 0x33333323,
    286   0x00007ffc, 0x00007ffc, 0x00007fef, 0x333332b6,
    287   0x00007ffb, 0x00007fee, 0x00007f82, 0x333332b5,
    288   0x00007fed, 0x00007f81, 0x00007f81, 0x333332b4,
    289   0x00007f80, 0x00007f80, 0x00007f80, 0x33330000,
    290   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x3332ddde,
    291   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x3332b336,
    292   0x00004cca, 0x00002aa9, 0x00000002, 0x3332b335,
    293   0x00002aa8, 0x00000001, 0x00000001, 0x3332b334,
    294   0x00000000, 0x00000000, 0x00000000, 0x3333b333,
    295   0xffffffff, 0xffffffff, 0x0000ffff, 0x3333b332,
    296   0xfffffffe, 0x0000fffe, 0x0000fffe, 0x33338889,
    297   0x0000fffd, 0x0000fffd, 0x0000d555, 0x33336667,
    298   0x0000fffc, 0x0000d554, 0x0000b333, 0x333333b3,
    299   0x0000d553, 0x0000b332, 0x0000807f, 0x333333b2,
    300   0x0000b331, 0x0000807e, 0x0000807e, 0x333333b1,
    301   0x0000807d, 0x0000807d, 0x0000807d, 0x333333b0,
    302   0x0000807d, 0x0000807d, 0x333333b0, 0x55555565,
    303   0x0000807c, 0x0000807c, 0x33333343, 0x55555558,
    304   0x0000807b, 0x0000800f, 0x33333336, 0x55555557,
    305   0x0000800e, 0x00008002, 0x33333335, 0x55555556,
    306   0x00008001, 0x00008001, 0x33333334, 0x55555555,
    307   0x00008000, 0x00008000, 0x33333333, 0x55555554,
    308   0x00007fff, 0x00007fff, 0x33333332, 0x55555553,
    309   0x00007ffe, 0x00007ffe, 0x33333331, 0x55555545,
    310   0x00007ffd, 0x00007ffd, 0x33333323, 0x555554d8,
    311   0x00007ffc, 0x00007fef, 0x333332b6, 0x555554d7,
    312   0x00007fee, 0x00007f82, 0x333332b5, 0x555554d6,
    313   0x00007f81, 0x00007f81, 0x333332b4, 0x55552222,
    314   0x00007f80, 0x00007f80, 0x33330000, 0x55550000,
    315   0x00007f7f, 0x00004ccc, 0x3332ddde, 0x5554d558,
    316   0x00004ccb, 0x00002aaa, 0x3332b336, 0x5554d557,
    317   0x00002aa9, 0x00000002, 0x3332b335, 0x5554d556,
    318   0x00000001, 0x00000001, 0x3332b334, 0x5555d555,
    319   0x00000000, 0x00000000, 0x3333b333, 0x5555d554,
    320   0xffffffff, 0x0000ffff, 0x3333b332, 0x5555aaab,
    321   0x0000fffe, 0x0000fffe, 0x33338889, 0x55558889,
    322   0x0000fffd, 0x0000d555, 0x33336667, 0x555555d5,
    323   0x0000d554, 0x0000b333, 0x333333b3, 0x555555d4,
    324   0x0000b332, 0x0000807f, 0x333333b2, 0x555555d3,
    325   0x0000807e, 0x0000807e, 0x333333b1, 0x555555d2,
    326   0x0000807e, 0x333333b1, 0x555555d2, 0x8000000d,
    327   0x0000807d, 0x333333b0, 0x55555565, 0x80000000,
    328   0x0000807c, 0x33333343, 0x55555558, 0x7fffffff,
    329   0x0000800f, 0x33333336, 0x55555557, 0x7ffffffe,
    330   0x00008002, 0x33333335, 0x55555556, 0x7ffffffd,
    331   0x00008001, 0x33333334, 0x55555555, 0x7ffffffc,
    332   0x00008000, 0x33333333, 0x55555554, 0x7ffffffb,
    333   0x00007fff, 0x33333332, 0x55555553, 0x7fffffed,
    334   0x00007ffe, 0x33333331, 0x55555545, 0x7fffff80,
    335   0x00007ffd, 0x33333323, 0x555554d8, 0x7fffff7f,
    336   0x00007fef, 0x333332b6, 0x555554d7, 0x7fffff7e,
    337   0x00007f82, 0x333332b5, 0x555554d6, 0x7fffccca,
    338   0x00007f81, 0x333332b4, 0x55552222, 0x7fffaaa8,
    339   0x00007f80, 0x33330000, 0x55550000, 0x7fff8000,
    340   0x00004ccc, 0x3332ddde, 0x5554d558, 0x7fff7fff,
    341   0x00002aaa, 0x3332b336, 0x5554d557, 0x7fff7ffe,
    342   0x00000002, 0x3332b335, 0x5554d556, 0x80007ffd,
    343   0x00000001, 0x3332b334, 0x5555d555, 0x80007ffc,
    344   0x00000000, 0x3333b333, 0x5555d554, 0x80005553,
    345   0x0000ffff, 0x3333b332, 0x5555aaab, 0x80003331,
    346   0x0000fffe, 0x33338889, 0x55558889, 0x8000007d,
    347   0x0000d555, 0x33336667, 0x555555d5, 0x8000007c,
    348   0x0000b333, 0x333333b3, 0x555555d4, 0x8000007b,
    349   0x0000807f, 0x333333b2, 0x555555d3, 0x8000007a,
    350   0x333333b2, 0x555555d3, 0x8000007a, 0x8000000e,
    351   0x333333b1, 0x555555d2, 0x8000000d, 0x80000001,
    352   0x333333b0, 0x55555565, 0x80000000, 0x80000000,
    353   0x33333343, 0x55555558, 0x7fffffff, 0x7fffffff,
    354   0x33333336, 0x55555557, 0x7ffffffe, 0x7ffffffe,
    355   0x33333335, 0x55555556, 0x7ffffffd, 0x7ffffffd,
    356   0x33333334, 0x55555555, 0x7ffffffc, 0x7ffffffc,
    357   0x33333333, 0x55555554, 0x7ffffffb, 0x7fffffee,
    358   0x33333332, 0x55555553, 0x7fffffed, 0x7fffff81,
    359   0x33333331, 0x55555545, 0x7fffff80, 0x7fffff80,
    360   0x33333323, 0x555554d8, 0x7fffff7f, 0x7fffff7f,
    361   0x333332b6, 0x555554d7, 0x7fffff7e, 0x7fffcccb,
    362   0x333332b5, 0x555554d6, 0x7fffccca, 0x7fffaaa9,
    363   0x333332b4, 0x55552222, 0x7fffaaa8, 0x7fff8001,
    364   0x33330000, 0x55550000, 0x7fff8000, 0x7fff8000,
    365   0x3332ddde, 0x5554d558, 0x7fff7fff, 0x7fff7fff,
    366   0x3332b336, 0x5554d557, 0x7fff7ffe, 0x80007ffe,
    367   0x3332b335, 0x5554d556, 0x80007ffd, 0x80007ffd,
    368   0x3332b334, 0x5555d555, 0x80007ffc, 0x80005554,
    369   0x3333b333, 0x5555d554, 0x80005553, 0x80003332,
    370   0x3333b332, 0x5555aaab, 0x80003331, 0x8000007e,
    371   0x33338889, 0x55558889, 0x8000007d, 0x8000007d,
    372   0x33336667, 0x555555d5, 0x8000007c, 0x8000007c,
    373   0x333333b3, 0x555555d4, 0x8000007b, 0x8000007b,
    374   0x555555d4, 0x8000007b, 0x8000007b, 0x8000000f,
    375   0x555555d3, 0x8000007a, 0x8000000e, 0x80000002,
    376   0x555555d2, 0x8000000d, 0x80000001, 0x80000001,
    377   0x55555565, 0x80000000, 0x80000000, 0x80000000,
    378   0x55555558, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    379   0x55555557, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
    380   0x55555556, 0x7ffffffd, 0x7ffffffd, 0x7ffffffd,
    381   0x55555555, 0x7ffffffc, 0x7ffffffc, 0x7fffffef,
    382   0x55555554, 0x7ffffffb, 0x7fffffee, 0x7fffff82,
    383   0x55555553, 0x7fffffed, 0x7fffff81, 0x7fffff81,
    384   0x55555545, 0x7fffff80, 0x7fffff80, 0x7fffff80,
    385   0x555554d8, 0x7fffff7f, 0x7fffff7f, 0x7fffcccc,
    386   0x555554d7, 0x7fffff7e, 0x7fffcccb, 0x7fffaaaa,
    387   0x555554d6, 0x7fffccca, 0x7fffaaa9, 0x7fff8002,
    388   0x55552222, 0x7fffaaa8, 0x7fff8001, 0x7fff8001,
    389   0x55550000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
    390   0x5554d558, 0x7fff7fff, 0x7fff7fff, 0x80007fff,
    391   0x5554d557, 0x7fff7ffe, 0x80007ffe, 0x80007ffe,
    392   0x5554d556, 0x80007ffd, 0x80007ffd, 0x80005555,
    393   0x5555d555, 0x80007ffc, 0x80005554, 0x80003333,
    394   0x5555d554, 0x80005553, 0x80003332, 0x8000007f,
    395   0x5555aaab, 0x80003331, 0x8000007e, 0x8000007e,
    396   0x55558889, 0x8000007d, 0x8000007d, 0x8000007d,
    397   0x555555d5, 0x8000007c, 0x8000007c, 0x8000007c,
    398   0x8000007c, 0x8000007c, 0x8000007c, 0x80000010,
    399   0x8000007b, 0x8000007b, 0x8000000f, 0x80000003,
    400   0x8000007a, 0x8000000e, 0x80000002, 0x80000002,
    401   0x8000000d, 0x80000001, 0x80000001, 0x80000001,
    402   0x80000000, 0x80000000, 0x80000000, 0x80000000,
    403   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    404   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
    405   0x7ffffffd, 0x7ffffffd, 0x7ffffffd, 0x7ffffff0,
    406   0x7ffffffc, 0x7ffffffc, 0x7fffffef, 0x7fffff83,
    407   0x7ffffffb, 0x7fffffee, 0x7fffff82, 0x7fffff82,
    408   0x7fffffed, 0x7fffff81, 0x7fffff81, 0x7fffff81,
    409   0x7fffff80, 0x7fffff80, 0x7fffff80, 0x7fffcccd,
    410   0x7fffff7f, 0x7fffff7f, 0x7fffcccc, 0x7fffaaab,
    411   0x7fffff7e, 0x7fffcccb, 0x7fffaaaa, 0x7fff8003,
    412   0x7fffccca, 0x7fffaaa9, 0x7fff8002, 0x7fff8002,
    413   0x7fffaaa8, 0x7fff8001, 0x7fff8001, 0x7fff8001,
    414   0x7fff8000, 0x7fff8000, 0x7fff8000, 0x80008000,
    415   0x7fff7fff, 0x7fff7fff, 0x80007fff, 0x80007fff,
    416   0x7fff7ffe, 0x80007ffe, 0x80007ffe, 0x80005556,
    417   0x80007ffd, 0x80007ffd, 0x80005555, 0x80003334,
    418   0x80007ffc, 0x80005554, 0x80003333, 0x80000080,
    419   0x80005553, 0x80003332, 0x8000007f, 0x8000007f,
    420   0x80003331, 0x8000007e, 0x8000007e, 0x8000007e,
    421   0x8000007d, 0x8000007d, 0x8000007d, 0x8000007d,
    422   0x8000007d, 0x8000007d, 0x8000007d, 0x80000011,
    423   0x8000007c, 0x8000007c, 0x80000010, 0x80000004,
    424   0x8000007b, 0x8000000f, 0x80000003, 0x80000003,
    425   0x8000000e, 0x80000002, 0x80000002, 0x80000002,
    426   0x80000001, 0x80000001, 0x80000001, 0x80000001,
    427   0x80000000, 0x80000000, 0x80000000, 0x80000000,
    428   0x7fffffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    429   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffff1,
    430   0x7ffffffd, 0x7ffffffd, 0x7ffffff0, 0x7fffff84,
    431   0x7ffffffc, 0x7fffffef, 0x7fffff83, 0x7fffff83,
    432   0x7fffffee, 0x7fffff82, 0x7fffff82, 0x7fffff82,
    433   0x7fffff81, 0x7fffff81, 0x7fffff81, 0x7fffccce,
    434   0x7fffff80, 0x7fffff80, 0x7fffcccd, 0x7fffaaac,
    435   0x7fffff7f, 0x7fffcccc, 0x7fffaaab, 0x7fff8004,
    436   0x7fffcccb, 0x7fffaaaa, 0x7fff8003, 0x7fff8003,
    437   0x7fffaaa9, 0x7fff8002, 0x7fff8002, 0x7fff8002,
    438   0x7fff8001, 0x7fff8001, 0x7fff8001, 0x80008001,
    439   0x7fff8000, 0x7fff8000, 0x80008000, 0x80008000,
    440   0x7fff7fff, 0x80007fff, 0x80007fff, 0x80005557,
    441   0x80007ffe, 0x80007ffe, 0x80005556, 0x80003335,
    442   0x80007ffd, 0x80005555, 0x80003334, 0x80000081,
    443   0x80005554, 0x80003333, 0x80000080, 0x80000080,
    444   0x80003332, 0x8000007f, 0x8000007f, 0x8000007f,
    445   0x8000007e, 0x8000007e, 0x8000007e, 0x8000007e,
    446   0x8000007e, 0x8000007e, 0x8000007e, 0xaaaaaaba,
    447   0x8000007d, 0x8000007d, 0x80000011, 0xaaaaaaad,
    448   0x8000007c, 0x80000010, 0x80000004, 0xaaaaaaac,
    449   0x8000000f, 0x80000003, 0x80000003, 0xaaaaaaab,
    450   0x80000002, 0x80000002, 0x80000002, 0xaaaaaaaa,
    451   0x80000001, 0x80000001, 0x80000001, 0xaaaaaaa9,
    452   0x80000000, 0x80000000, 0x80000000, 0xaaaaaaa8,
    453   0x7fffffff, 0x7fffffff, 0x7fffffff, 0xaaaaaa9a,
    454   0x7ffffffe, 0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d,
    455   0x7ffffffd, 0x7ffffff0, 0x7fffff84, 0xaaaaaa2c,
    456   0x7fffffef, 0x7fffff83, 0x7fffff83, 0xaaaaaa2b,
    457   0x7fffff82, 0x7fffff82, 0x7fffff82, 0xaaaa7777,
    458   0x7fffff81, 0x7fffff81, 0x7fffccce, 0xaaaa5555,
    459   0x7fffff80, 0x7fffcccd, 0x7fffaaac, 0xaaaa2aad,
    460   0x7fffcccc, 0x7fffaaab, 0x7fff8004, 0xaaaa2aac,
    461   0x7fffaaaa, 0x7fff8003, 0x7fff8003, 0xaaaa2aab,
    462   0x7fff8002, 0x7fff8002, 0x7fff8002, 0xaaab2aaa,
    463   0x7fff8001, 0x7fff8001, 0x80008001, 0xaaab2aa9,
    464   0x7fff8000, 0x80008000, 0x80008000, 0xaaab0000,
    465   0x80007fff, 0x80007fff, 0x80005557, 0xaaaaddde,
    466   0x80007ffe, 0x80005556, 0x80003335, 0xaaaaab2a,
    467   0x80005555, 0x80003334, 0x80000081, 0xaaaaab29,
    468   0x80003333, 0x80000080, 0x80000080, 0xaaaaab28,
    469   0x8000007f, 0x8000007f, 0x8000007f, 0xaaaaab27,
    470   0x8000007f, 0x8000007f, 0xaaaaab27, 0xccccccdc,
    471   0x8000007e, 0x8000007e, 0xaaaaaaba, 0xcccccccf,
    472   0x8000007d, 0x80000011, 0xaaaaaaad, 0xccccccce,
    473   0x80000010, 0x80000004, 0xaaaaaaac, 0xcccccccd,
    474   0x80000003, 0x80000003, 0xaaaaaaab, 0xcccccccc,
    475   0x80000002, 0x80000002, 0xaaaaaaaa, 0xcccccccb,
    476   0x80000001, 0x80000001, 0xaaaaaaa9, 0xccccccca,
    477   0x80000000, 0x80000000, 0xaaaaaaa8, 0xccccccbc,
    478   0x7fffffff, 0x7fffffff, 0xaaaaaa9a, 0xcccccc4f,
    479   0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e,
    480   0x7ffffff0, 0x7fffff84, 0xaaaaaa2c, 0xcccccc4d,
    481   0x7fffff83, 0x7fffff83, 0xaaaaaa2b, 0xcccc9999,
    482   0x7fffff82, 0x7fffff82, 0xaaaa7777, 0xcccc7777,
    483   0x7fffff81, 0x7fffccce, 0xaaaa5555, 0xcccc4ccf,
    484   0x7fffcccd, 0x7fffaaac, 0xaaaa2aad, 0xcccc4cce,
    485   0x7fffaaab, 0x7fff8004, 0xaaaa2aac, 0xcccc4ccd,
    486   0x7fff8003, 0x7fff8003, 0xaaaa2aab, 0xcccd4ccc,
    487   0x7fff8002, 0x7fff8002, 0xaaab2aaa, 0xcccd4ccb,
    488   0x7fff8001, 0x80008001, 0xaaab2aa9, 0xcccd2222,
    489   0x80008000, 0x80008000, 0xaaab0000, 0xcccd0000,
    490   0x80007fff, 0x80005557, 0xaaaaddde, 0xcccccd4c,
    491   0x80005556, 0x80003335, 0xaaaaab2a, 0xcccccd4b,
    492   0x80003334, 0x80000081, 0xaaaaab29, 0xcccccd4a,
    493   0x80000080, 0x80000080, 0xaaaaab28, 0xcccccd49,
    494   0x80000080, 0xaaaaab28, 0xcccccd49, 0xffff8010,
    495   0x8000007f, 0xaaaaab27, 0xccccccdc, 0xffff8003,
    496   0x8000007e, 0xaaaaaaba, 0xcccccccf, 0xffff8002,
    497   0x80000011, 0xaaaaaaad, 0xccccccce, 0xffff8001,
    498   0x80000004, 0xaaaaaaac, 0xcccccccd, 0xffff8000,
    499   0x80000003, 0xaaaaaaab, 0xcccccccc, 0xffff7fff,
    500   0x80000002, 0xaaaaaaaa, 0xcccccccb, 0xffff7ffe,
    501   0x80000001, 0xaaaaaaa9, 0xccccccca, 0xffff7ff0,
    502   0x80000000, 0xaaaaaaa8, 0xccccccbc, 0xffff7f83,
    503   0x7fffffff, 0xaaaaaa9a, 0xcccccc4f, 0xffff7f82,
    504   0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e, 0xffff7f81,
    505   0x7fffff84, 0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd,
    506   0x7fffff83, 0xaaaaaa2b, 0xcccc9999, 0xffff2aab,
    507   0x7fffff82, 0xaaaa7777, 0xcccc7777, 0xffff0003,
    508   0x7fffccce, 0xaaaa5555, 0xcccc4ccf, 0xffff0002,
    509   0x7fffaaac, 0xaaaa2aad, 0xcccc4cce, 0xffff0001,
    510   0x7fff8004, 0xaaaa2aac, 0xcccc4ccd, 0x00000000,
    511   0x7fff8003, 0xaaaa2aab, 0xcccd4ccc, 0xffffffff,
    512   0x7fff8002, 0xaaab2aaa, 0xcccd4ccb, 0xffffd556,
    513   0x80008001, 0xaaab2aa9, 0xcccd2222, 0xffffb334,
    514   0x80008000, 0xaaab0000, 0xcccd0000, 0xffff8080,
    515   0x80005557, 0xaaaaddde, 0xcccccd4c, 0xffff807f,
    516   0x80003335, 0xaaaaab2a, 0xcccccd4b, 0xffff807e,
    517   0x80000081, 0xaaaaab29, 0xcccccd4a, 0xffff807d,
    518   0xaaaaab29, 0xcccccd4a, 0xffff807d, 0xffff8011,
    519   0xaaaaab28, 0xcccccd49, 0xffff8010, 0xffff8004,
    520   0xaaaaab27, 0xccccccdc, 0xffff8003, 0xffff8003,
    521   0xaaaaaaba, 0xcccccccf, 0xffff8002, 0xffff8002,
    522   0xaaaaaaad, 0xccccccce, 0xffff8001, 0xffff8001,
    523   0xaaaaaaac, 0xcccccccd, 0xffff8000, 0xffff8000,
    524   0xaaaaaaab, 0xcccccccc, 0xffff7fff, 0xffff7fff,
    525   0xaaaaaaaa, 0xcccccccb, 0xffff7ffe, 0xffff7ff1,
    526   0xaaaaaaa9, 0xccccccca, 0xffff7ff0, 0xffff7f84,
    527   0xaaaaaaa8, 0xccccccbc, 0xffff7f83, 0xffff7f83,
    528   0xaaaaaa9a, 0xcccccc4f, 0xffff7f82, 0xffff7f82,
    529   0xaaaaaa2d, 0xcccccc4e, 0xffff7f81, 0xffff4cce,
    530   0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd, 0xffff2aac,
    531   0xaaaaaa2b, 0xcccc9999, 0xffff2aab, 0xffff0004,
    532   0xaaaa7777, 0xcccc7777, 0xffff0003, 0xffff0003,
    533   0xaaaa5555, 0xcccc4ccf, 0xffff0002, 0xffff0002,
    534   0xaaaa2aad, 0xcccc4cce, 0xffff0001, 0x00000001,
    535   0xaaaa2aac, 0xcccc4ccd, 0x00000000, 0x00000000,
    536   0xaaaa2aab, 0xcccd4ccc, 0xffffffff, 0xffffd557,
    537   0xaaab2aaa, 0xcccd4ccb, 0xffffd556, 0xffffb335,
    538   0xaaab2aa9, 0xcccd2222, 0xffffb334, 0xffff8081,
    539   0xaaab0000, 0xcccd0000, 0xffff8080, 0xffff8080,
    540   0xaaaaddde, 0xcccccd4c, 0xffff807f, 0xffff807f,
    541   0xaaaaab2a, 0xcccccd4b, 0xffff807e, 0xffff807e,
    542   0xcccccd4b, 0xffff807e, 0xffff807e, 0xffff8012,
    543   0xcccccd4a, 0xffff807d, 0xffff8011, 0xffff8005,
    544   0xcccccd49, 0xffff8010, 0xffff8004, 0xffff8004,
    545   0xccccccdc, 0xffff8003, 0xffff8003, 0xffff8003,
    546   0xcccccccf, 0xffff8002, 0xffff8002, 0xffff8002,
    547   0xccccccce, 0xffff8001, 0xffff8001, 0xffff8001,
    548   0xcccccccd, 0xffff8000, 0xffff8000, 0xffff8000,
    549   0xcccccccc, 0xffff7fff, 0xffff7fff, 0xffff7ff2,
    550   0xcccccccb, 0xffff7ffe, 0xffff7ff1, 0xffff7f85,
    551   0xccccccca, 0xffff7ff0, 0xffff7f84, 0xffff7f84,
    552   0xccccccbc, 0xffff7f83, 0xffff7f83, 0xffff7f83,
    553   0xcccccc4f, 0xffff7f82, 0xffff7f82, 0xffff4ccf,
    554   0xcccccc4e, 0xffff7f81, 0xffff4cce, 0xffff2aad,
    555   0xcccccc4d, 0xffff4ccd, 0xffff2aac, 0xffff0005,
    556   0xcccc9999, 0xffff2aab, 0xffff0004, 0xffff0004,
    557   0xcccc7777, 0xffff0003, 0xffff0003, 0xffff0003,
    558   0xcccc4ccf, 0xffff0002, 0xffff0002, 0x00000002,
    559   0xcccc4cce, 0xffff0001, 0x00000001, 0x00000001,
    560   0xcccc4ccd, 0x00000000, 0x00000000, 0xffffd558,
    561   0xcccd4ccc, 0xffffffff, 0xffffd557, 0xffffb336,
    562   0xcccd4ccb, 0xffffd556, 0xffffb335, 0xffff8082,
    563   0xcccd2222, 0xffffb334, 0xffff8081, 0xffff8081,
    564   0xcccd0000, 0xffff8080, 0xffff8080, 0xffff8080,
    565   0xcccccd4c, 0xffff807f, 0xffff807f, 0xffff807f,
    566   0xffff807f, 0xffff807f, 0xffff807f, 0xffff8013,
    567   0xffff807e, 0xffff807e, 0xffff8012, 0xffff8006,
    568   0xffff807d, 0xffff8011, 0xffff8005, 0xffff8005,
    569   0xffff8010, 0xffff8004, 0xffff8004, 0xffff8004,
    570   0xffff8003, 0xffff8003, 0xffff8003, 0xffff8003,
    571   0xffff8002, 0xffff8002, 0xffff8002, 0xffff8002,
    572   0xffff8001, 0xffff8001, 0xffff8001, 0xffff8001,
    573   0xffff8000, 0xffff8000, 0xffff8000, 0xffff7ff3,
    574   0xffff7fff, 0xffff7fff, 0xffff7ff2, 0xffff7f86,
    575   0xffff7ffe, 0xffff7ff1, 0xffff7f85, 0xffff7f85,
    576   0xffff7ff0, 0xffff7f84, 0xffff7f84, 0xffff7f84,
    577   0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff4cd0,
    578   0xffff7f82, 0xffff7f82, 0xffff4ccf, 0xffff2aae,
    579   0xffff7f81, 0xffff4cce, 0xffff2aad, 0xffff0006,
    580   0xffff4ccd, 0xffff2aac, 0xffff0005, 0xffff0005,
    581   0xffff2aab, 0xffff0004, 0xffff0004, 0xffff0004,
    582   0xffff0003, 0xffff0003, 0xffff0003, 0x00000003,
    583   0xffff0002, 0xffff0002, 0x00000002, 0x00000002,
    584   0xffff0001, 0x00000001, 0x00000001, 0xffffd559,
    585   0x00000000, 0x00000000, 0xffffd558, 0xffffb337,
    586   0xffffffff, 0xffffd557, 0xffffb336, 0xffff8083,
    587   0xffffd556, 0xffffb335, 0xffff8082, 0xffff8082,
    588   0xffffb334, 0xffff8081, 0xffff8081, 0xffff8081,
    589   0xffff8080, 0xffff8080, 0xffff8080, 0xffff8080,
    590   0xffff8080, 0xffff8080, 0xffff8080, 0xffffff90,
    591   0xffff807f, 0xffff807f, 0xffff8013, 0xffffff83,
    592   0xffff807e, 0xffff8012, 0xffff8006, 0xffffff82,
    593   0xffff8011, 0xffff8005, 0xffff8005, 0xffffff81,
    594   0xffff8004, 0xffff8004, 0xffff8004, 0xffffff80,
    595   0xffff8003, 0xffff8003, 0xffff8003, 0xffffff7f,
    596   0xffff8002, 0xffff8002, 0xffff8002, 0xffffff7e,
    597   0xffff8001, 0xffff8001, 0xffff8001, 0xffffff70,
    598   0xffff8000, 0xffff8000, 0xffff7ff3, 0xffffff03,
    599   0xffff7fff, 0xffff7ff2, 0xffff7f86, 0xffffff02,
    600   0xffff7ff1, 0xffff7f85, 0xffff7f85, 0xffffff01,
    601   0xffff7f84, 0xffff7f84, 0xffff7f84, 0xffffcc4d,
    602   0xffff7f83, 0xffff7f83, 0xffff4cd0, 0xffffaa2b,
    603   0xffff7f82, 0xffff4ccf, 0xffff2aae, 0xffff7f83,
    604   0xffff4cce, 0xffff2aad, 0xffff0006, 0xffff7f82,
    605   0xffff2aac, 0xffff0005, 0xffff0005, 0xffff7f81,
    606   0xffff0004, 0xffff0004, 0xffff0004, 0x00007f80,
    607   0xffff0003, 0xffff0003, 0x00000003, 0x00007f7f,
    608   0xffff0002, 0x00000002, 0x00000002, 0x000054d6,
    609   0x00000001, 0x00000001, 0xffffd559, 0x000032b4,
    610   0x00000000, 0xffffd558, 0xffffb337, 0x00000000,
    611   0xffffd557, 0xffffb336, 0xffff8083, 0xffffffff,
    612   0xffffb335, 0xffff8082, 0xffff8082, 0xfffffffe,
    613   0xffff8081, 0xffff8081, 0xffff8081, 0xfffffffd,
    614   0xffff8081, 0xffff8081, 0xfffffffd, 0xffffff91,
    615   0xffff8080, 0xffff8080, 0xffffff90, 0xffffff84,
    616   0xffff807f, 0xffff8013, 0xffffff83, 0xffffff83,
    617   0xffff8012, 0xffff8006, 0xffffff82, 0xffffff82,
    618   0xffff8005, 0xffff8005, 0xffffff81, 0xffffff81,
    619   0xffff8004, 0xffff8004, 0xffffff80, 0xffffff80,
    620   0xffff8003, 0xffff8003, 0xffffff7f, 0xffffff7f,
    621   0xffff8002, 0xffff8002, 0xffffff7e, 0xffffff71,
    622   0xffff8001, 0xffff8001, 0xffffff70, 0xffffff04,
    623   0xffff8000, 0xffff7ff3, 0xffffff03, 0xffffff03,
    624   0xffff7ff2, 0xffff7f86, 0xffffff02, 0xffffff02,
    625   0xffff7f85, 0xffff7f85, 0xffffff01, 0xffffcc4e,
    626   0xffff7f84, 0xffff7f84, 0xffffcc4d, 0xffffaa2c,
    627   0xffff7f83, 0xffff4cd0, 0xffffaa2b, 0xffff7f84,
    628   0xffff4ccf, 0xffff2aae, 0xffff7f83, 0xffff7f83,
    629   0xffff2aad, 0xffff0006, 0xffff7f82, 0xffff7f82,
    630   0xffff0005, 0xffff0005, 0xffff7f81, 0x00007f81,
    631   0xffff0004, 0xffff0004, 0x00007f80, 0x00007f80,
    632   0xffff0003, 0x00000003, 0x00007f7f, 0x000054d7,
    633   0x00000002, 0x00000002, 0x000054d6, 0x000032b5,
    634   0x00000001, 0xffffd559, 0x000032b4, 0x00000001,
    635   0xffffd558, 0xffffb337, 0x00000000, 0x00000000,
    636   0xffffb336, 0xffff8083, 0xffffffff, 0xffffffff,
    637   0xffff8082, 0xffff8082, 0xfffffffe, 0xfffffffe,
    638   0xffff8082, 0xfffffffe, 0xfffffffe, 0xffffff92,
    639   0xffff8081, 0xfffffffd, 0xffffff91, 0xffffff85,
    640   0xffff8080, 0xffffff90, 0xffffff84, 0xffffff84,
    641   0xffff8013, 0xffffff83, 0xffffff83, 0xffffff83,
    642   0xffff8006, 0xffffff82, 0xffffff82, 0xffffff82,
    643   0xffff8005, 0xffffff81, 0xffffff81, 0xffffff81,
    644   0xffff8004, 0xffffff80, 0xffffff80, 0xffffff80,
    645   0xffff8003, 0xffffff7f, 0xffffff7f, 0xffffff72,
    646   0xffff8002, 0xffffff7e, 0xffffff71, 0xffffff05,
    647   0xffff8001, 0xffffff70, 0xffffff04, 0xffffff04,
    648   0xffff7ff3, 0xffffff03, 0xffffff03, 0xffffff03,
    649   0xffff7f86, 0xffffff02, 0xffffff02, 0xffffcc4f,
    650   0xffff7f85, 0xffffff01, 0xffffcc4e, 0xffffaa2d,
    651   0xffff7f84, 0xffffcc4d, 0xffffaa2c, 0xffff7f85,
    652   0xffff4cd0, 0xffffaa2b, 0xffff7f84, 0xffff7f84,
    653   0xffff2aae, 0xffff7f83, 0xffff7f83, 0xffff7f83,
    654   0xffff0006, 0xffff7f82, 0xffff7f82, 0x00007f82,
    655   0xffff0005, 0xffff7f81, 0x00007f81, 0x00007f81,
    656   0xffff0004, 0x00007f80, 0x00007f80, 0x000054d8,
    657   0x00000003, 0x00007f7f, 0x000054d7, 0x000032b6,
    658   0x00000002, 0x000054d6, 0x000032b5, 0x00000002,
    659   0xffffd559, 0x000032b4, 0x00000001, 0x00000001,
    660   0xffffb337, 0x00000000, 0x00000000, 0x00000000,
    661   0xffff8083, 0xffffffff, 0xffffffff, 0xffffffff,
    662   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff93,
    663   0xfffffffe, 0xfffffffe, 0xffffff92, 0xffffff86,
    664   0xfffffffd, 0xffffff91, 0xffffff85, 0xffffff85,
    665   0xffffff90, 0xffffff84, 0xffffff84, 0xffffff84,
    666   0xffffff83, 0xffffff83, 0xffffff83, 0xffffff83,
    667   0xffffff82, 0xffffff82, 0xffffff82, 0xffffff82,
    668   0xffffff81, 0xffffff81, 0xffffff81, 0xffffff81,
    669   0xffffff80, 0xffffff80, 0xffffff80, 0xffffff73,
    670   0xffffff7f, 0xffffff7f, 0xffffff72, 0xffffff06,
    671   0xffffff7e, 0xffffff71, 0xffffff05, 0xffffff05,
    672   0xffffff70, 0xffffff04, 0xffffff04, 0xffffff04,
    673   0xffffff03, 0xffffff03, 0xffffff03, 0xffffcc50,
    674   0xffffff02, 0xffffff02, 0xffffcc4f, 0xffffaa2e,
    675   0xffffff01, 0xffffcc4e, 0xffffaa2d, 0xffff7f86,
    676   0xffffcc4d, 0xffffaa2c, 0xffff7f85, 0xffff7f85,
    677   0xffffaa2b, 0xffff7f84, 0xffff7f84, 0xffff7f84,
    678   0xffff7f83, 0xffff7f83, 0xffff7f83, 0x00007f83,
    679   0xffff7f82, 0xffff7f82, 0x00007f82, 0x00007f82,
    680   0xffff7f81, 0x00007f81, 0x00007f81, 0x000054d9,
    681   0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
    682   0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
    683   0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
    684   0x000032b4, 0x00000001, 0x00000001, 0x00000001,
    685   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    686   0x00000000, 0x00000000, 0x00000000, 0xfffffff0,
    687   0xffffffff, 0xffffffff, 0xffffff93, 0xffffffe3,
    688   0xfffffffe, 0xffffff92, 0xffffff86, 0xffffffe2,
    689   0xffffff91, 0xffffff85, 0xffffff85, 0xffffffe1,
    690   0xffffff84, 0xffffff84, 0xffffff84, 0xffffffe0,
    691   0xffffff83, 0xffffff83, 0xffffff83, 0xffffffdf,
    692   0xffffff82, 0xffffff82, 0xffffff82, 0xffffffde,
    693   0xffffff81, 0xffffff81, 0xffffff81, 0xffffffd0,
    694   0xffffff80, 0xffffff80, 0xffffff73, 0xffffff63,
    695   0xffffff7f, 0xffffff72, 0xffffff06, 0xffffff62,
    696   0xffffff71, 0xffffff05, 0xffffff05, 0xffffff61,
    697   0xffffff04, 0xffffff04, 0xffffff04, 0xffffccad,
    698   0xffffff03, 0xffffff03, 0xffffcc50, 0xffffaa8b,
    699   0xffffff02, 0xffffcc4f, 0xffffaa2e, 0xffff7fe3,
    700   0xffffcc4e, 0xffffaa2d, 0xffff7f86, 0xffff7fe2,
    701   0xffffaa2c, 0xffff7f85, 0xffff7f85, 0xffff7fe1,
    702   0xffff7f84, 0xffff7f84, 0xffff7f84, 0x00007fe0,
    703   0xffff7f83, 0xffff7f83, 0x00007f83, 0x00007fdf,
    704   0xffff7f82, 0x00007f82, 0x00007f82, 0x00005536,
    705   0x00007f81, 0x00007f81, 0x000054d9, 0x00003314,
    706   0x00007f80, 0x000054d8, 0x000032b7, 0x00000060,
    707   0x000054d7, 0x000032b6, 0x00000003, 0x0000005f,
    708   0x000032b5, 0x00000002, 0x00000002, 0x0000005e,
    709   0x00000001, 0x00000001, 0x00000001, 0x0000005d,
    710   0x00000001, 0x00000001, 0x0000005d, 0x0000000d,
    711   0x00000000, 0x00000000, 0xfffffff0, 0x00000000,
    712   0xffffffff, 0xffffff93, 0xffffffe3, 0xffffffff,
    713   0xffffff92, 0xffffff86, 0xffffffe2, 0xfffffffe,
    714   0xffffff85, 0xffffff85, 0xffffffe1, 0xfffffffd,
    715   0xffffff84, 0xffffff84, 0xffffffe0, 0xfffffffc,
    716   0xffffff83, 0xffffff83, 0xffffffdf, 0xfffffffb,
    717   0xffffff82, 0xffffff82, 0xffffffde, 0xffffffed,
    718   0xffffff81, 0xffffff81, 0xffffffd0, 0xffffff80,
    719   0xffffff80, 0xffffff73, 0xffffff63, 0xffffff7f,
    720   0xffffff72, 0xffffff06, 0xffffff62, 0xffffff7e,
    721   0xffffff05, 0xffffff05, 0xffffff61, 0xffffccca,
    722   0xffffff04, 0xffffff04, 0xffffccad, 0xffffaaa8,
    723   0xffffff03, 0xffffcc50, 0xffffaa8b, 0xffff8000,
    724   0xffffcc4f, 0xffffaa2e, 0xffff7fe3, 0xffff7fff,
    725   0xffffaa2d, 0xffff7f86, 0xffff7fe2, 0xffff7ffe,
    726   0xffff7f85, 0xffff7f85, 0xffff7fe1, 0x00007ffd,
    727   0xffff7f84, 0xffff7f84, 0x00007fe0, 0x00007ffc,
    728   0xffff7f83, 0x00007f83, 0x00007fdf, 0x00005553,
    729   0x00007f82, 0x00007f82, 0x00005536, 0x00003331,
    730   0x00007f81, 0x000054d9, 0x00003314, 0x0000007d,
    731   0x000054d8, 0x000032b7, 0x00000060, 0x0000007c,
    732   0x000032b6, 0x00000003, 0x0000005f, 0x0000007b,
    733   0x00000002, 0x00000002, 0x0000005e, 0x0000007a,
    734   0x00000002, 0x0000005e, 0x0000007a, 0x0000000e,
    735   0x00000001, 0x0000005d, 0x0000000d, 0x00000001,
    736   0x00000000, 0xfffffff0, 0x00000000, 0x00000000,
    737   0xffffff93, 0xffffffe3, 0xffffffff, 0xffffffff,
    738   0xffffff86, 0xffffffe2, 0xfffffffe, 0xfffffffe,
    739   0xffffff85, 0xffffffe1, 0xfffffffd, 0xfffffffd,
    740   0xffffff84, 0xffffffe0, 0xfffffffc, 0xfffffffc,
    741   0xffffff83, 0xffffffdf, 0xfffffffb, 0xffffffee,
    742   0xffffff82, 0xffffffde, 0xffffffed, 0xffffff81,
    743   0xffffff81, 0xffffffd0, 0xffffff80, 0xffffff80,
    744   0xffffff73, 0xffffff63, 0xffffff7f, 0xffffff7f,
    745   0xffffff06, 0xffffff62, 0xffffff7e, 0xffffcccb,
    746   0xffffff05, 0xffffff61, 0xffffccca, 0xffffaaa9,
    747   0xffffff04, 0xffffccad, 0xffffaaa8, 0xffff8001,
    748   0xffffcc50, 0xffffaa8b, 0xffff8000, 0xffff8000,
    749   0xffffaa2e, 0xffff7fe3, 0xffff7fff, 0xffff7fff,
    750   0xffff7f86, 0xffff7fe2, 0xffff7ffe, 0x00007ffe,
    751   0xffff7f85, 0xffff7fe1, 0x00007ffd, 0x00007ffd,
    752   0xffff7f84, 0x00007fe0, 0x00007ffc, 0x00005554,
    753   0x00007f83, 0x00007fdf, 0x00005553, 0x00003332,
    754   0x00007f82, 0x00005536, 0x00003331, 0x0000007e,
    755   0x000054d9, 0x00003314, 0x0000007d, 0x0000007d,
    756   0x000032b7, 0x00000060, 0x0000007c, 0x0000007c,
    757   0x00000003, 0x0000005f, 0x0000007b, 0x0000007b,
    758   0x0000005f, 0x0000007b, 0x0000007b, 0x0000000f,
    759   0x0000005e, 0x0000007a, 0x0000000e, 0x00000002,
    760   0x0000005d, 0x0000000d, 0x00000001, 0x00000001,
    761   0xfffffff0, 0x00000000, 0x00000000, 0x00000000,
    762   0xffffffe3, 0xffffffff, 0xffffffff, 0xffffffff,
    763   0xffffffe2, 0xfffffffe, 0xfffffffe, 0xfffffffe,
    764   0xffffffe1, 0xfffffffd, 0xfffffffd, 0xfffffffd,
    765   0xffffffe0, 0xfffffffc, 0xfffffffc, 0xffffffef,
    766   0xffffffdf, 0xfffffffb, 0xffffffee, 0xffffff82,
    767   0xffffffde, 0xffffffed, 0xffffff81, 0xffffff81,
    768   0xffffffd0, 0xffffff80, 0xffffff80, 0xffffff80,
    769   0xffffff63, 0xffffff7f, 0xffffff7f, 0xffffcccc,
    770   0xffffff62, 0xffffff7e, 0xffffcccb, 0xffffaaaa,
    771   0xffffff61, 0xffffccca, 0xffffaaa9, 0xffff8002,
    772   0xffffccad, 0xffffaaa8, 0xffff8001, 0xffff8001,
    773   0xffffaa8b, 0xffff8000, 0xffff8000, 0xffff8000,
    774   0xffff7fe3, 0xffff7fff, 0xffff7fff, 0x00007fff,
    775   0xffff7fe2, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
    776   0xffff7fe1, 0x00007ffd, 0x00007ffd, 0x00005555,
    777   0x00007fe0, 0x00007ffc, 0x00005554, 0x00003333,
    778   0x00007fdf, 0x00005553, 0x00003332, 0x0000007f,
    779   0x00005536, 0x00003331, 0x0000007e, 0x0000007e,
    780   0x00003314, 0x0000007d, 0x0000007d, 0x0000007d,
    781   0x00000060, 0x0000007c, 0x0000007c, 0x0000007c,
    782 };
    783 const unsigned kExpectedCount_NEON_ssubw_4S = 744;
    784 
    785 #endif  // VIXL_SIM_SSUBW_4S_TRACE_A64_H_
    786