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_SSUBL2_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SSUBL2_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_ssubl2_4S[] = {
     38   0x00000000, 0x00000000, 0x00000000, 0x00000000,
     39   0xffffffff, 0xffffffff, 0x00007fff, 0xffffffff,
     40   0xfffffffe, 0x00007ffe, 0x00007ffe, 0xfffffffe,
     41   0x00007ffd, 0x00007ffd, 0x00007ffd, 0xfffffff0,
     42   0x00007ffc, 0x00007ffc, 0x00007fef, 0xffffff83,
     43   0x00007ffb, 0x00007fee, 0x00007f82, 0xffffff82,
     44   0x00007fed, 0x00007f81, 0x00007f81, 0xffffff81,
     45   0x00007f80, 0x00007f80, 0x00007f80, 0xffffcccd,
     46   0x00007f7f, 0x00007f7f, 0x00004ccc, 0xffffaaab,
     47   0x00007f7e, 0x00004ccb, 0x00002aaa, 0xffff8003,
     48   0x00004cca, 0x00002aa9, 0x00000002, 0xffff8002,
     49   0x00002aa8, 0x00000001, 0x00000001, 0xffff8001,
     50   0x00000000, 0x00000000, 0x00000000, 0x00008000,
     51   0xffffffff, 0xffffffff, 0x0000ffff, 0x00007fff,
     52   0xfffffffe, 0x0000fffe, 0x0000fffe, 0x00005556,
     53   0x0000fffd, 0x0000fffd, 0x0000d555, 0x00003334,
     54   0x0000fffc, 0x0000d554, 0x0000b333, 0x00000080,
     55   0x0000d553, 0x0000b332, 0x0000807f, 0x0000007f,
     56   0x0000b331, 0x0000807e, 0x0000807e, 0x0000007e,
     57   0x0000807d, 0x0000807d, 0x0000807d, 0x0000007d,
     58   0x0000807c, 0x0000807c, 0x0000807c, 0x00000010,
     59   0x0000807b, 0x0000807b, 0x0000800f, 0x00000003,
     60   0x0000807a, 0x0000800e, 0x00008002, 0x00000002,
     61   0x0000800d, 0x00008001, 0x00008001, 0x00000001,
     62   0x00008001, 0x00008001, 0x00000001, 0x00000001,
     63   0x00008000, 0x00008000, 0x00000000, 0x00000000,
     64   0x00007fff, 0x00007fff, 0xffffffff, 0xffffffff,
     65   0x00007ffe, 0x00007ffe, 0xfffffffe, 0xfffffff1,
     66   0x00007ffd, 0x00007ffd, 0xfffffff0, 0xffffff84,
     67   0x00007ffc, 0x00007fef, 0xffffff83, 0xffffff83,
     68   0x00007fee, 0x00007f82, 0xffffff82, 0xffffff82,
     69   0x00007f81, 0x00007f81, 0xffffff81, 0xffffccce,
     70   0x00007f80, 0x00007f80, 0xffffcccd, 0xffffaaac,
     71   0x00007f7f, 0x00004ccc, 0xffffaaab, 0xffff8004,
     72   0x00004ccb, 0x00002aaa, 0xffff8003, 0xffff8003,
     73   0x00002aa9, 0x00000002, 0xffff8002, 0xffff8002,
     74   0x00000001, 0x00000001, 0xffff8001, 0x00008001,
     75   0x00000000, 0x00000000, 0x00008000, 0x00008000,
     76   0xffffffff, 0x0000ffff, 0x00007fff, 0x00005557,
     77   0x0000fffe, 0x0000fffe, 0x00005556, 0x00003335,
     78   0x0000fffd, 0x0000d555, 0x00003334, 0x00000081,
     79   0x0000d554, 0x0000b333, 0x00000080, 0x00000080,
     80   0x0000b332, 0x0000807f, 0x0000007f, 0x0000007f,
     81   0x0000807e, 0x0000807e, 0x0000007e, 0x0000007e,
     82   0x0000807d, 0x0000807d, 0x0000007d, 0x00000011,
     83   0x0000807c, 0x0000807c, 0x00000010, 0x00000004,
     84   0x0000807b, 0x0000800f, 0x00000003, 0x00000003,
     85   0x0000800e, 0x00008002, 0x00000002, 0x00000002,
     86   0x00008002, 0x00000002, 0x00000002, 0x00000002,
     87   0x00008001, 0x00000001, 0x00000001, 0x00000001,
     88   0x00008000, 0x00000000, 0x00000000, 0x00000000,
     89   0x00007fff, 0xffffffff, 0xffffffff, 0xfffffff2,
     90   0x00007ffe, 0xfffffffe, 0xfffffff1, 0xffffff85,
     91   0x00007ffd, 0xfffffff0, 0xffffff84, 0xffffff84,
     92   0x00007fef, 0xffffff83, 0xffffff83, 0xffffff83,
     93   0x00007f82, 0xffffff82, 0xffffff82, 0xffffcccf,
     94   0x00007f81, 0xffffff81, 0xffffccce, 0xffffaaad,
     95   0x00007f80, 0xffffcccd, 0xffffaaac, 0xffff8005,
     96   0x00004ccc, 0xffffaaab, 0xffff8004, 0xffff8004,
     97   0x00002aaa, 0xffff8003, 0xffff8003, 0xffff8003,
     98   0x00000002, 0xffff8002, 0xffff8002, 0x00008002,
     99   0x00000001, 0xffff8001, 0x00008001, 0x00008001,
    100   0x00000000, 0x00008000, 0x00008000, 0x00005558,
    101   0x0000ffff, 0x00007fff, 0x00005557, 0x00003336,
    102   0x0000fffe, 0x00005556, 0x00003335, 0x00000082,
    103   0x0000d555, 0x00003334, 0x00000081, 0x00000081,
    104   0x0000b333, 0x00000080, 0x00000080, 0x00000080,
    105   0x0000807f, 0x0000007f, 0x0000007f, 0x0000007f,
    106   0x0000807e, 0x0000007e, 0x0000007e, 0x00000012,
    107   0x0000807d, 0x0000007d, 0x00000011, 0x00000005,
    108   0x0000807c, 0x00000010, 0x00000004, 0x00000004,
    109   0x0000800f, 0x00000003, 0x00000003, 0x00000003,
    110   0x00000003, 0x00000003, 0x00000003, 0x00000010,
    111   0x00000002, 0x00000002, 0x00000002, 0x0000000f,
    112   0x00000001, 0x00000001, 0x00000001, 0x0000000e,
    113   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    114   0xffffffff, 0xffffffff, 0xfffffff2, 0xffffff93,
    115   0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffff92,
    116   0xfffffff0, 0xffffff84, 0xffffff84, 0xffffff91,
    117   0xffffff83, 0xffffff83, 0xffffff83, 0xffffccdd,
    118   0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaabb,
    119   0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8013,
    120   0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8012,
    121   0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8011,
    122   0xffff8003, 0xffff8003, 0xffff8003, 0x00008010,
    123   0xffff8002, 0xffff8002, 0x00008002, 0x0000800f,
    124   0xffff8001, 0x00008001, 0x00008001, 0x00005566,
    125   0x00008000, 0x00008000, 0x00005558, 0x00003344,
    126   0x00007fff, 0x00005557, 0x00003336, 0x00000090,
    127   0x00005556, 0x00003335, 0x00000082, 0x0000008f,
    128   0x00003334, 0x00000081, 0x00000081, 0x0000008e,
    129   0x00000080, 0x00000080, 0x00000080, 0x0000008d,
    130   0x0000007f, 0x0000007f, 0x0000007f, 0x00000020,
    131   0x0000007e, 0x0000007e, 0x00000012, 0x00000013,
    132   0x0000007d, 0x00000011, 0x00000005, 0x00000012,
    133   0x00000010, 0x00000004, 0x00000004, 0x00000011,
    134   0x00000004, 0x00000004, 0x00000011, 0x0000007d,
    135   0x00000003, 0x00000003, 0x00000010, 0x0000007c,
    136   0x00000002, 0x00000002, 0x0000000f, 0x0000007b,
    137   0x00000001, 0x00000001, 0x0000000e, 0x0000006d,
    138   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    139   0xffffffff, 0xfffffff2, 0xffffff93, 0xffffffff,
    140   0xfffffff1, 0xffffff85, 0xffffff92, 0xfffffffe,
    141   0xffffff84, 0xffffff84, 0xffffff91, 0xffffcd4a,
    142   0xffffff83, 0xffffff83, 0xffffccdd, 0xffffab28,
    143   0xffffff82, 0xffffcccf, 0xffffaabb, 0xffff8080,
    144   0xffffccce, 0xffffaaad, 0xffff8013, 0xffff807f,
    145   0xffffaaac, 0xffff8005, 0xffff8012, 0xffff807e,
    146   0xffff8004, 0xffff8004, 0xffff8011, 0x0000807d,
    147   0xffff8003, 0xffff8003, 0x00008010, 0x0000807c,
    148   0xffff8002, 0x00008002, 0x0000800f, 0x000055d3,
    149   0x00008001, 0x00008001, 0x00005566, 0x000033b1,
    150   0x00008000, 0x00005558, 0x00003344, 0x000000fd,
    151   0x00005557, 0x00003336, 0x00000090, 0x000000fc,
    152   0x00003335, 0x00000082, 0x0000008f, 0x000000fb,
    153   0x00000081, 0x00000081, 0x0000008e, 0x000000fa,
    154   0x00000080, 0x00000080, 0x0000008d, 0x0000008d,
    155   0x0000007f, 0x0000007f, 0x00000020, 0x00000080,
    156   0x0000007e, 0x00000012, 0x00000013, 0x0000007f,
    157   0x00000011, 0x00000005, 0x00000012, 0x0000007e,
    158   0x00000005, 0x00000012, 0x0000007e, 0x0000007e,
    159   0x00000004, 0x00000011, 0x0000007d, 0x0000007d,
    160   0x00000003, 0x00000010, 0x0000007c, 0x0000007c,
    161   0x00000002, 0x0000000f, 0x0000007b, 0x0000006e,
    162   0x00000001, 0x0000000e, 0x0000006d, 0x00000001,
    163   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    164   0xfffffff2, 0xffffff93, 0xffffffff, 0xffffffff,
    165   0xffffff85, 0xffffff92, 0xfffffffe, 0xffffcd4b,
    166   0xffffff84, 0xffffff91, 0xffffcd4a, 0xffffab29,
    167   0xffffff83, 0xffffccdd, 0xffffab28, 0xffff8081,
    168   0xffffcccf, 0xffffaabb, 0xffff8080, 0xffff8080,
    169   0xffffaaad, 0xffff8013, 0xffff807f, 0xffff807f,
    170   0xffff8005, 0xffff8012, 0xffff807e, 0x0000807e,
    171   0xffff8004, 0xffff8011, 0x0000807d, 0x0000807d,
    172   0xffff8003, 0x00008010, 0x0000807c, 0x000055d4,
    173   0x00008002, 0x0000800f, 0x000055d3, 0x000033b2,
    174   0x00008001, 0x00005566, 0x000033b1, 0x000000fe,
    175   0x00005558, 0x00003344, 0x000000fd, 0x000000fd,
    176   0x00003336, 0x00000090, 0x000000fc, 0x000000fc,
    177   0x00000082, 0x0000008f, 0x000000fb, 0x000000fb,
    178   0x00000081, 0x0000008e, 0x000000fa, 0x0000008e,
    179   0x00000080, 0x0000008d, 0x0000008d, 0x00000081,
    180   0x0000007f, 0x00000020, 0x00000080, 0x00000080,
    181   0x00000012, 0x00000013, 0x0000007f, 0x0000007f,
    182   0x00000013, 0x0000007f, 0x0000007f, 0x0000007f,
    183   0x00000012, 0x0000007e, 0x0000007e, 0x0000007e,
    184   0x00000011, 0x0000007d, 0x0000007d, 0x0000007d,
    185   0x00000010, 0x0000007c, 0x0000007c, 0x0000006f,
    186   0x0000000f, 0x0000007b, 0x0000006e, 0x00000002,
    187   0x0000000e, 0x0000006d, 0x00000001, 0x00000001,
    188   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    189   0xffffff93, 0xffffffff, 0xffffffff, 0xffffcd4c,
    190   0xffffff92, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
    191   0xffffff91, 0xffffcd4a, 0xffffab29, 0xffff8082,
    192   0xffffccdd, 0xffffab28, 0xffff8081, 0xffff8081,
    193   0xffffaabb, 0xffff8080, 0xffff8080, 0xffff8080,
    194   0xffff8013, 0xffff807f, 0xffff807f, 0x0000807f,
    195   0xffff8012, 0xffff807e, 0x0000807e, 0x0000807e,
    196   0xffff8011, 0x0000807d, 0x0000807d, 0x000055d5,
    197   0x00008010, 0x0000807c, 0x000055d4, 0x000033b3,
    198   0x0000800f, 0x000055d3, 0x000033b2, 0x000000ff,
    199   0x00005566, 0x000033b1, 0x000000fe, 0x000000fe,
    200   0x00003344, 0x000000fd, 0x000000fd, 0x000000fd,
    201   0x00000090, 0x000000fc, 0x000000fc, 0x000000fc,
    202   0x0000008f, 0x000000fb, 0x000000fb, 0x0000008f,
    203   0x0000008e, 0x000000fa, 0x0000008e, 0x00000082,
    204   0x0000008d, 0x0000008d, 0x00000081, 0x00000081,
    205   0x00000020, 0x00000080, 0x00000080, 0x00000080,
    206   0x00000080, 0x00000080, 0x00000080, 0x00003333,
    207   0x0000007f, 0x0000007f, 0x0000007f, 0x00003332,
    208   0x0000007e, 0x0000007e, 0x0000007e, 0x00003331,
    209   0x0000007d, 0x0000007d, 0x0000007d, 0x00003323,
    210   0x0000007c, 0x0000007c, 0x0000006f, 0x000032b6,
    211   0x0000007b, 0x0000006e, 0x00000002, 0x000032b5,
    212   0x0000006d, 0x00000001, 0x00000001, 0x000032b4,
    213   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    214   0xffffffff, 0xffffffff, 0xffffcd4c, 0xffffddde,
    215   0xfffffffe, 0xffffcd4b, 0xffffab2a, 0xffffb336,
    216   0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffb335,
    217   0xffffab28, 0xffff8081, 0xffff8081, 0xffffb334,
    218   0xffff8080, 0xffff8080, 0xffff8080, 0x0000b333,
    219   0xffff807f, 0xffff807f, 0x0000807f, 0x0000b332,
    220   0xffff807e, 0x0000807e, 0x0000807e, 0x00008889,
    221   0x0000807d, 0x0000807d, 0x000055d5, 0x00006667,
    222   0x0000807c, 0x000055d4, 0x000033b3, 0x000033b3,
    223   0x000055d3, 0x000033b2, 0x000000ff, 0x000033b2,
    224   0x000033b1, 0x000000fe, 0x000000fe, 0x000033b1,
    225   0x000000fd, 0x000000fd, 0x000000fd, 0x000033b0,
    226   0x000000fc, 0x000000fc, 0x000000fc, 0x00003343,
    227   0x000000fb, 0x000000fb, 0x0000008f, 0x00003336,
    228   0x000000fa, 0x0000008e, 0x00000082, 0x00003335,
    229   0x0000008d, 0x00000081, 0x00000081, 0x00003334,
    230   0x00000081, 0x00000081, 0x00003334, 0x00005555,
    231   0x00000080, 0x00000080, 0x00003333, 0x00005554,
    232   0x0000007f, 0x0000007f, 0x00003332, 0x00005553,
    233   0x0000007e, 0x0000007e, 0x00003331, 0x00005545,
    234   0x0000007d, 0x0000007d, 0x00003323, 0x000054d8,
    235   0x0000007c, 0x0000006f, 0x000032b6, 0x000054d7,
    236   0x0000006e, 0x00000002, 0x000032b5, 0x000054d6,
    237   0x00000001, 0x00000001, 0x000032b4, 0x00002222,
    238   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    239   0xffffffff, 0xffffcd4c, 0xffffddde, 0xffffd558,
    240   0xffffcd4b, 0xffffab2a, 0xffffb336, 0xffffd557,
    241   0xffffab29, 0xffff8082, 0xffffb335, 0xffffd556,
    242   0xffff8081, 0xffff8081, 0xffffb334, 0x0000d555,
    243   0xffff8080, 0xffff8080, 0x0000b333, 0x0000d554,
    244   0xffff807f, 0x0000807f, 0x0000b332, 0x0000aaab,
    245   0x0000807e, 0x0000807e, 0x00008889, 0x00008889,
    246   0x0000807d, 0x000055d5, 0x00006667, 0x000055d5,
    247   0x000055d4, 0x000033b3, 0x000033b3, 0x000055d4,
    248   0x000033b2, 0x000000ff, 0x000033b2, 0x000055d3,
    249   0x000000fe, 0x000000fe, 0x000033b1, 0x000055d2,
    250   0x000000fd, 0x000000fd, 0x000033b0, 0x00005565,
    251   0x000000fc, 0x000000fc, 0x00003343, 0x00005558,
    252   0x000000fb, 0x0000008f, 0x00003336, 0x00005557,
    253   0x0000008e, 0x00000082, 0x00003335, 0x00005556,
    254   0x00000082, 0x00003335, 0x00005556, 0x00007ffd,
    255   0x00000081, 0x00003334, 0x00005555, 0x00007ffc,
    256   0x00000080, 0x00003333, 0x00005554, 0x00007ffb,
    257   0x0000007f, 0x00003332, 0x00005553, 0x00007fed,
    258   0x0000007e, 0x00003331, 0x00005545, 0x00007f80,
    259   0x0000007d, 0x00003323, 0x000054d8, 0x00007f7f,
    260   0x0000006f, 0x000032b6, 0x000054d7, 0x00007f7e,
    261   0x00000002, 0x000032b5, 0x000054d6, 0x00004cca,
    262   0x00000001, 0x000032b4, 0x00002222, 0x00002aa8,
    263   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    264   0xffffcd4c, 0xffffddde, 0xffffd558, 0xffffffff,
    265   0xffffab2a, 0xffffb336, 0xffffd557, 0xfffffffe,
    266   0xffff8082, 0xffffb335, 0xffffd556, 0x0000fffd,
    267   0xffff8081, 0xffffb334, 0x0000d555, 0x0000fffc,
    268   0xffff8080, 0x0000b333, 0x0000d554, 0x0000d553,
    269   0x0000807f, 0x0000b332, 0x0000aaab, 0x0000b331,
    270   0x0000807e, 0x00008889, 0x00008889, 0x0000807d,
    271   0x000055d5, 0x00006667, 0x000055d5, 0x0000807c,
    272   0x000033b3, 0x000033b3, 0x000055d4, 0x0000807b,
    273   0x000000ff, 0x000033b2, 0x000055d3, 0x0000807a,
    274   0x000000fe, 0x000033b1, 0x000055d2, 0x0000800d,
    275   0x000000fd, 0x000033b0, 0x00005565, 0x00008000,
    276   0x000000fc, 0x00003343, 0x00005558, 0x00007fff,
    277   0x0000008f, 0x00003336, 0x00005557, 0x00007ffe,
    278   0x00003336, 0x00005557, 0x00007ffe, 0x00007ffe,
    279   0x00003335, 0x00005556, 0x00007ffd, 0x00007ffd,
    280   0x00003334, 0x00005555, 0x00007ffc, 0x00007ffc,
    281   0x00003333, 0x00005554, 0x00007ffb, 0x00007fee,
    282   0x00003332, 0x00005553, 0x00007fed, 0x00007f81,
    283   0x00003331, 0x00005545, 0x00007f80, 0x00007f80,
    284   0x00003323, 0x000054d8, 0x00007f7f, 0x00007f7f,
    285   0x000032b6, 0x000054d7, 0x00007f7e, 0x00004ccb,
    286   0x000032b5, 0x000054d6, 0x00004cca, 0x00002aa9,
    287   0x000032b4, 0x00002222, 0x00002aa8, 0x00000001,
    288   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    289   0xffffddde, 0xffffd558, 0xffffffff, 0xffffffff,
    290   0xffffb336, 0xffffd557, 0xfffffffe, 0x0000fffe,
    291   0xffffb335, 0xffffd556, 0x0000fffd, 0x0000fffd,
    292   0xffffb334, 0x0000d555, 0x0000fffc, 0x0000d554,
    293   0x0000b333, 0x0000d554, 0x0000d553, 0x0000b332,
    294   0x0000b332, 0x0000aaab, 0x0000b331, 0x0000807e,
    295   0x00008889, 0x00008889, 0x0000807d, 0x0000807d,
    296   0x00006667, 0x000055d5, 0x0000807c, 0x0000807c,
    297   0x000033b3, 0x000055d4, 0x0000807b, 0x0000807b,
    298   0x000033b2, 0x000055d3, 0x0000807a, 0x0000800e,
    299   0x000033b1, 0x000055d2, 0x0000800d, 0x00008001,
    300   0x000033b0, 0x00005565, 0x00008000, 0x00008000,
    301   0x00003343, 0x00005558, 0x00007fff, 0x00007fff,
    302   0x00005558, 0x00007fff, 0x00007fff, 0x00007fff,
    303   0x00005557, 0x00007ffe, 0x00007ffe, 0x00007ffe,
    304   0x00005556, 0x00007ffd, 0x00007ffd, 0x00007ffd,
    305   0x00005555, 0x00007ffc, 0x00007ffc, 0x00007fef,
    306   0x00005554, 0x00007ffb, 0x00007fee, 0x00007f82,
    307   0x00005553, 0x00007fed, 0x00007f81, 0x00007f81,
    308   0x00005545, 0x00007f80, 0x00007f80, 0x00007f80,
    309   0x000054d8, 0x00007f7f, 0x00007f7f, 0x00004ccc,
    310   0x000054d7, 0x00007f7e, 0x00004ccb, 0x00002aaa,
    311   0x000054d6, 0x00004cca, 0x00002aa9, 0x00000002,
    312   0x00002222, 0x00002aa8, 0x00000001, 0x00000001,
    313   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    314   0xffffd558, 0xffffffff, 0xffffffff, 0x0000ffff,
    315   0xffffd557, 0xfffffffe, 0x0000fffe, 0x0000fffe,
    316   0xffffd556, 0x0000fffd, 0x0000fffd, 0x0000d555,
    317   0x0000d555, 0x0000fffc, 0x0000d554, 0x0000b333,
    318   0x0000d554, 0x0000d553, 0x0000b332, 0x0000807f,
    319   0x0000aaab, 0x0000b331, 0x0000807e, 0x0000807e,
    320   0x00008889, 0x0000807d, 0x0000807d, 0x0000807d,
    321   0x000055d5, 0x0000807c, 0x0000807c, 0x0000807c,
    322   0x000055d4, 0x0000807b, 0x0000807b, 0x0000800f,
    323   0x000055d3, 0x0000807a, 0x0000800e, 0x00008002,
    324   0x000055d2, 0x0000800d, 0x00008001, 0x00008001,
    325   0x00005565, 0x00008000, 0x00008000, 0x00008000,
    326   0x00008000, 0x00008000, 0x00008000, 0xffff8000,
    327   0x00007fff, 0x00007fff, 0x00007fff, 0xffff7fff,
    328   0x00007ffe, 0x00007ffe, 0x00007ffe, 0xffff7ffe,
    329   0x00007ffd, 0x00007ffd, 0x00007ffd, 0xffff7ff0,
    330   0x00007ffc, 0x00007ffc, 0x00007fef, 0xffff7f83,
    331   0x00007ffb, 0x00007fee, 0x00007f82, 0xffff7f82,
    332   0x00007fed, 0x00007f81, 0x00007f81, 0xffff7f81,
    333   0x00007f80, 0x00007f80, 0x00007f80, 0xffff4ccd,
    334   0x00007f7f, 0x00007f7f, 0x00004ccc, 0xffff2aab,
    335   0x00007f7e, 0x00004ccb, 0x00002aaa, 0xffff0003,
    336   0x00004cca, 0x00002aa9, 0x00000002, 0xffff0002,
    337   0x00002aa8, 0x00000001, 0x00000001, 0xffff0001,
    338   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    339   0xffffffff, 0xffffffff, 0x0000ffff, 0xffffffff,
    340   0xfffffffe, 0x0000fffe, 0x0000fffe, 0xffffd556,
    341   0x0000fffd, 0x0000fffd, 0x0000d555, 0xffffb334,
    342   0x0000fffc, 0x0000d554, 0x0000b333, 0xffff8080,
    343   0x0000d553, 0x0000b332, 0x0000807f, 0xffff807f,
    344   0x0000b331, 0x0000807e, 0x0000807e, 0xffff807e,
    345   0x0000807d, 0x0000807d, 0x0000807d, 0xffff807d,
    346   0x0000807c, 0x0000807c, 0x0000807c, 0xffff8010,
    347   0x0000807b, 0x0000807b, 0x0000800f, 0xffff8003,
    348   0x0000807a, 0x0000800e, 0x00008002, 0xffff8002,
    349   0x0000800d, 0x00008001, 0x00008001, 0xffff8001,
    350   0x00008001, 0x00008001, 0xffff8001, 0xffff8001,
    351   0x00008000, 0x00008000, 0xffff8000, 0xffff8000,
    352   0x00007fff, 0x00007fff, 0xffff7fff, 0xffff7fff,
    353   0x00007ffe, 0x00007ffe, 0xffff7ffe, 0xffff7ff1,
    354   0x00007ffd, 0x00007ffd, 0xffff7ff0, 0xffff7f84,
    355   0x00007ffc, 0x00007fef, 0xffff7f83, 0xffff7f83,
    356   0x00007fee, 0x00007f82, 0xffff7f82, 0xffff7f82,
    357   0x00007f81, 0x00007f81, 0xffff7f81, 0xffff4cce,
    358   0x00007f80, 0x00007f80, 0xffff4ccd, 0xffff2aac,
    359   0x00007f7f, 0x00004ccc, 0xffff2aab, 0xffff0004,
    360   0x00004ccb, 0x00002aaa, 0xffff0003, 0xffff0003,
    361   0x00002aa9, 0x00000002, 0xffff0002, 0xffff0002,
    362   0x00000001, 0x00000001, 0xffff0001, 0x00000001,
    363   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    364   0xffffffff, 0x0000ffff, 0xffffffff, 0xffffd557,
    365   0x0000fffe, 0x0000fffe, 0xffffd556, 0xffffb335,
    366   0x0000fffd, 0x0000d555, 0xffffb334, 0xffff8081,
    367   0x0000d554, 0x0000b333, 0xffff8080, 0xffff8080,
    368   0x0000b332, 0x0000807f, 0xffff807f, 0xffff807f,
    369   0x0000807e, 0x0000807e, 0xffff807e, 0xffff807e,
    370   0x0000807d, 0x0000807d, 0xffff807d, 0xffff8011,
    371   0x0000807c, 0x0000807c, 0xffff8010, 0xffff8004,
    372   0x0000807b, 0x0000800f, 0xffff8003, 0xffff8003,
    373   0x0000800e, 0x00008002, 0xffff8002, 0xffff8002,
    374   0x00008002, 0xffff8002, 0xffff8002, 0xffffaaaa,
    375   0x00008001, 0xffff8001, 0xffff8001, 0xffffaaa9,
    376   0x00008000, 0xffff8000, 0xffff8000, 0xffffaaa8,
    377   0x00007fff, 0xffff7fff, 0xffff7fff, 0xffffaa9a,
    378   0x00007ffe, 0xffff7ffe, 0xffff7ff1, 0xffffaa2d,
    379   0x00007ffd, 0xffff7ff0, 0xffff7f84, 0xffffaa2c,
    380   0x00007fef, 0xffff7f83, 0xffff7f83, 0xffffaa2b,
    381   0x00007f82, 0xffff7f82, 0xffff7f82, 0xffff7777,
    382   0x00007f81, 0xffff7f81, 0xffff4cce, 0xffff5555,
    383   0x00007f80, 0xffff4ccd, 0xffff2aac, 0xffff2aad,
    384   0x00004ccc, 0xffff2aab, 0xffff0004, 0xffff2aac,
    385   0x00002aaa, 0xffff0003, 0xffff0003, 0xffff2aab,
    386   0x00000002, 0xffff0002, 0xffff0002, 0x00002aaa,
    387   0x00000001, 0xffff0001, 0x00000001, 0x00002aa9,
    388   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    389   0x0000ffff, 0xffffffff, 0xffffd557, 0xffffddde,
    390   0x0000fffe, 0xffffd556, 0xffffb335, 0xffffab2a,
    391   0x0000d555, 0xffffb334, 0xffff8081, 0xffffab29,
    392   0x0000b333, 0xffff8080, 0xffff8080, 0xffffab28,
    393   0x0000807f, 0xffff807f, 0xffff807f, 0xffffab27,
    394   0x0000807e, 0xffff807e, 0xffff807e, 0xffffaaba,
    395   0x0000807d, 0xffff807d, 0xffff8011, 0xffffaaad,
    396   0x0000807c, 0xffff8010, 0xffff8004, 0xffffaaac,
    397   0x0000800f, 0xffff8003, 0xffff8003, 0xffffaaab,
    398   0xffff8003, 0xffff8003, 0xffffaaab, 0xffffcccc,
    399   0xffff8002, 0xffff8002, 0xffffaaaa, 0xffffcccb,
    400   0xffff8001, 0xffff8001, 0xffffaaa9, 0xffffccca,
    401   0xffff8000, 0xffff8000, 0xffffaaa8, 0xffffccbc,
    402   0xffff7fff, 0xffff7fff, 0xffffaa9a, 0xffffcc4f,
    403   0xffff7ffe, 0xffff7ff1, 0xffffaa2d, 0xffffcc4e,
    404   0xffff7ff0, 0xffff7f84, 0xffffaa2c, 0xffffcc4d,
    405   0xffff7f83, 0xffff7f83, 0xffffaa2b, 0xffff9999,
    406   0xffff7f82, 0xffff7f82, 0xffff7777, 0xffff7777,
    407   0xffff7f81, 0xffff4cce, 0xffff5555, 0xffff4ccf,
    408   0xffff4ccd, 0xffff2aac, 0xffff2aad, 0xffff4cce,
    409   0xffff2aab, 0xffff0004, 0xffff2aac, 0xffff4ccd,
    410   0xffff0003, 0xffff0003, 0xffff2aab, 0x00004ccc,
    411   0xffff0002, 0xffff0002, 0x00002aaa, 0x00004ccb,
    412   0xffff0001, 0x00000001, 0x00002aa9, 0x00002222,
    413   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    414   0xffffffff, 0xffffd557, 0xffffddde, 0xffffcd4c,
    415   0xffffd556, 0xffffb335, 0xffffab2a, 0xffffcd4b,
    416   0xffffb334, 0xffff8081, 0xffffab29, 0xffffcd4a,
    417   0xffff8080, 0xffff8080, 0xffffab28, 0xffffcd49,
    418   0xffff807f, 0xffff807f, 0xffffab27, 0xffffccdc,
    419   0xffff807e, 0xffff807e, 0xffffaaba, 0xffffcccf,
    420   0xffff807d, 0xffff8011, 0xffffaaad, 0xffffccce,
    421   0xffff8010, 0xffff8004, 0xffffaaac, 0xffffcccd,
    422   0xffff8004, 0xffffaaac, 0xffffcccd, 0xffffff80,
    423   0xffff8003, 0xffffaaab, 0xffffcccc, 0xffffff7f,
    424   0xffff8002, 0xffffaaaa, 0xffffcccb, 0xffffff7e,
    425   0xffff8001, 0xffffaaa9, 0xffffccca, 0xffffff70,
    426   0xffff8000, 0xffffaaa8, 0xffffccbc, 0xffffff03,
    427   0xffff7fff, 0xffffaa9a, 0xffffcc4f, 0xffffff02,
    428   0xffff7ff1, 0xffffaa2d, 0xffffcc4e, 0xffffff01,
    429   0xffff7f84, 0xffffaa2c, 0xffffcc4d, 0xffffcc4d,
    430   0xffff7f83, 0xffffaa2b, 0xffff9999, 0xffffaa2b,
    431   0xffff7f82, 0xffff7777, 0xffff7777, 0xffff7f83,
    432   0xffff4cce, 0xffff5555, 0xffff4ccf, 0xffff7f82,
    433   0xffff2aac, 0xffff2aad, 0xffff4cce, 0xffff7f81,
    434   0xffff0004, 0xffff2aac, 0xffff4ccd, 0x00007f80,
    435   0xffff0003, 0xffff2aab, 0x00004ccc, 0x00007f7f,
    436   0xffff0002, 0x00002aaa, 0x00004ccb, 0x000054d6,
    437   0x00000001, 0x00002aa9, 0x00002222, 0x000032b4,
    438   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    439   0xffffd557, 0xffffddde, 0xffffcd4c, 0xffffffff,
    440   0xffffb335, 0xffffab2a, 0xffffcd4b, 0xfffffffe,
    441   0xffff8081, 0xffffab29, 0xffffcd4a, 0xfffffffd,
    442   0xffff8080, 0xffffab28, 0xffffcd49, 0xffffff90,
    443   0xffff807f, 0xffffab27, 0xffffccdc, 0xffffff83,
    444   0xffff807e, 0xffffaaba, 0xffffcccf, 0xffffff82,
    445   0xffff8011, 0xffffaaad, 0xffffccce, 0xffffff81,
    446   0xffffaaad, 0xffffccce, 0xffffff81, 0xffffff81,
    447   0xffffaaac, 0xffffcccd, 0xffffff80, 0xffffff80,
    448   0xffffaaab, 0xffffcccc, 0xffffff7f, 0xffffff7f,
    449   0xffffaaaa, 0xffffcccb, 0xffffff7e, 0xffffff71,
    450   0xffffaaa9, 0xffffccca, 0xffffff70, 0xffffff04,
    451   0xffffaaa8, 0xffffccbc, 0xffffff03, 0xffffff03,
    452   0xffffaa9a, 0xffffcc4f, 0xffffff02, 0xffffff02,
    453   0xffffaa2d, 0xffffcc4e, 0xffffff01, 0xffffcc4e,
    454   0xffffaa2c, 0xffffcc4d, 0xffffcc4d, 0xffffaa2c,
    455   0xffffaa2b, 0xffff9999, 0xffffaa2b, 0xffff7f84,
    456   0xffff7777, 0xffff7777, 0xffff7f83, 0xffff7f83,
    457   0xffff5555, 0xffff4ccf, 0xffff7f82, 0xffff7f82,
    458   0xffff2aad, 0xffff4cce, 0xffff7f81, 0x00007f81,
    459   0xffff2aac, 0xffff4ccd, 0x00007f80, 0x00007f80,
    460   0xffff2aab, 0x00004ccc, 0x00007f7f, 0x000054d7,
    461   0x00002aaa, 0x00004ccb, 0x000054d6, 0x000032b5,
    462   0x00002aa9, 0x00002222, 0x000032b4, 0x00000001,
    463   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    464   0xffffddde, 0xffffcd4c, 0xffffffff, 0xffffffff,
    465   0xffffab2a, 0xffffcd4b, 0xfffffffe, 0xfffffffe,
    466   0xffffab29, 0xffffcd4a, 0xfffffffd, 0xffffff91,
    467   0xffffab28, 0xffffcd49, 0xffffff90, 0xffffff84,
    468   0xffffab27, 0xffffccdc, 0xffffff83, 0xffffff83,
    469   0xffffaaba, 0xffffcccf, 0xffffff82, 0xffffff82,
    470   0xffffcccf, 0xffffff82, 0xffffff82, 0xffffff82,
    471   0xffffccce, 0xffffff81, 0xffffff81, 0xffffff81,
    472   0xffffcccd, 0xffffff80, 0xffffff80, 0xffffff80,
    473   0xffffcccc, 0xffffff7f, 0xffffff7f, 0xffffff72,
    474   0xffffcccb, 0xffffff7e, 0xffffff71, 0xffffff05,
    475   0xffffccca, 0xffffff70, 0xffffff04, 0xffffff04,
    476   0xffffccbc, 0xffffff03, 0xffffff03, 0xffffff03,
    477   0xffffcc4f, 0xffffff02, 0xffffff02, 0xffffcc4f,
    478   0xffffcc4e, 0xffffff01, 0xffffcc4e, 0xffffaa2d,
    479   0xffffcc4d, 0xffffcc4d, 0xffffaa2c, 0xffff7f85,
    480   0xffff9999, 0xffffaa2b, 0xffff7f84, 0xffff7f84,
    481   0xffff7777, 0xffff7f83, 0xffff7f83, 0xffff7f83,
    482   0xffff4ccf, 0xffff7f82, 0xffff7f82, 0x00007f82,
    483   0xffff4cce, 0xffff7f81, 0x00007f81, 0x00007f81,
    484   0xffff4ccd, 0x00007f80, 0x00007f80, 0x000054d8,
    485   0x00004ccc, 0x00007f7f, 0x000054d7, 0x000032b6,
    486   0x00004ccb, 0x000054d6, 0x000032b5, 0x00000002,
    487   0x00002222, 0x000032b4, 0x00000001, 0x00000001,
    488   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    489   0xffffcd4c, 0xffffffff, 0xffffffff, 0xffffffff,
    490   0xffffcd4b, 0xfffffffe, 0xfffffffe, 0xffffff92,
    491   0xffffcd4a, 0xfffffffd, 0xffffff91, 0xffffff85,
    492   0xffffcd49, 0xffffff90, 0xffffff84, 0xffffff84,
    493   0xffffccdc, 0xffffff83, 0xffffff83, 0xffffff83,
    494   0xffffff83, 0xffffff83, 0xffffff83, 0xffffff83,
    495   0xffffff82, 0xffffff82, 0xffffff82, 0xffffff82,
    496   0xffffff81, 0xffffff81, 0xffffff81, 0xffffff81,
    497   0xffffff80, 0xffffff80, 0xffffff80, 0xffffff73,
    498   0xffffff7f, 0xffffff7f, 0xffffff72, 0xffffff06,
    499   0xffffff7e, 0xffffff71, 0xffffff05, 0xffffff05,
    500   0xffffff70, 0xffffff04, 0xffffff04, 0xffffff04,
    501   0xffffff03, 0xffffff03, 0xffffff03, 0xffffcc50,
    502   0xffffff02, 0xffffff02, 0xffffcc4f, 0xffffaa2e,
    503   0xffffff01, 0xffffcc4e, 0xffffaa2d, 0xffff7f86,
    504   0xffffcc4d, 0xffffaa2c, 0xffff7f85, 0xffff7f85,
    505   0xffffaa2b, 0xffff7f84, 0xffff7f84, 0xffff7f84,
    506   0xffff7f83, 0xffff7f83, 0xffff7f83, 0x00007f83,
    507   0xffff7f82, 0xffff7f82, 0x00007f82, 0x00007f82,
    508   0xffff7f81, 0x00007f81, 0x00007f81, 0x000054d9,
    509   0x00007f80, 0x00007f80, 0x000054d8, 0x000032b7,
    510   0x00007f7f, 0x000054d7, 0x000032b6, 0x00000003,
    511   0x000054d6, 0x000032b5, 0x00000002, 0x00000002,
    512   0x000032b4, 0x00000001, 0x00000001, 0x00000001,
    513   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    514   0xffffffff, 0xffffffff, 0xffffffff, 0xffffff93,
    515   0xfffffffe, 0xfffffffe, 0xffffff92, 0xffffff86,
    516   0xfffffffd, 0xffffff91, 0xffffff85, 0xffffff85,
    517   0xffffff90, 0xffffff84, 0xffffff84, 0xffffff84,
    518   0xffffff84, 0xffffff84, 0xffffff84, 0xfffffff0,
    519   0xffffff83, 0xffffff83, 0xffffff83, 0xffffffef,
    520   0xffffff82, 0xffffff82, 0xffffff82, 0xffffffee,
    521   0xffffff81, 0xffffff81, 0xffffff81, 0xffffffe0,
    522   0xffffff80, 0xffffff80, 0xffffff73, 0xffffff73,
    523   0xffffff7f, 0xffffff72, 0xffffff06, 0xffffff72,
    524   0xffffff71, 0xffffff05, 0xffffff05, 0xffffff71,
    525   0xffffff04, 0xffffff04, 0xffffff04, 0xffffccbd,
    526   0xffffff03, 0xffffff03, 0xffffcc50, 0xffffaa9b,
    527   0xffffff02, 0xffffcc4f, 0xffffaa2e, 0xffff7ff3,
    528   0xffffcc4e, 0xffffaa2d, 0xffff7f86, 0xffff7ff2,
    529   0xffffaa2c, 0xffff7f85, 0xffff7f85, 0xffff7ff1,
    530   0xffff7f84, 0xffff7f84, 0xffff7f84, 0x00007ff0,
    531   0xffff7f83, 0xffff7f83, 0x00007f83, 0x00007fef,
    532   0xffff7f82, 0x00007f82, 0x00007f82, 0x00005546,
    533   0x00007f81, 0x00007f81, 0x000054d9, 0x00003324,
    534   0x00007f80, 0x000054d8, 0x000032b7, 0x00000070,
    535   0x000054d7, 0x000032b6, 0x00000003, 0x0000006f,
    536   0x000032b5, 0x00000002, 0x00000002, 0x0000006e,
    537   0x00000001, 0x00000001, 0x00000001, 0x0000006d,
    538   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    539   0xffffffff, 0xffffffff, 0xffffff93, 0xfffffff3,
    540   0xfffffffe, 0xffffff92, 0xffffff86, 0xfffffff2,
    541   0xffffff91, 0xffffff85, 0xffffff85, 0xfffffff1,
    542   0xffffff85, 0xffffff85, 0xfffffff1, 0xfffffffd,
    543   0xffffff84, 0xffffff84, 0xfffffff0, 0xfffffffc,
    544   0xffffff83, 0xffffff83, 0xffffffef, 0xfffffffb,
    545   0xffffff82, 0xffffff82, 0xffffffee, 0xffffffed,
    546   0xffffff81, 0xffffff81, 0xffffffe0, 0xffffff80,
    547   0xffffff80, 0xffffff73, 0xffffff73, 0xffffff7f,
    548   0xffffff72, 0xffffff06, 0xffffff72, 0xffffff7e,
    549   0xffffff05, 0xffffff05, 0xffffff71, 0xffffccca,
    550   0xffffff04, 0xffffff04, 0xffffccbd, 0xffffaaa8,
    551   0xffffff03, 0xffffcc50, 0xffffaa9b, 0xffff8000,
    552   0xffffcc4f, 0xffffaa2e, 0xffff7ff3, 0xffff7fff,
    553   0xffffaa2d, 0xffff7f86, 0xffff7ff2, 0xffff7ffe,
    554   0xffff7f85, 0xffff7f85, 0xffff7ff1, 0x00007ffd,
    555   0xffff7f84, 0xffff7f84, 0x00007ff0, 0x00007ffc,
    556   0xffff7f83, 0x00007f83, 0x00007fef, 0x00005553,
    557   0x00007f82, 0x00007f82, 0x00005546, 0x00003331,
    558   0x00007f81, 0x000054d9, 0x00003324, 0x0000007d,
    559   0x000054d8, 0x000032b7, 0x00000070, 0x0000007c,
    560   0x000032b6, 0x00000003, 0x0000006f, 0x0000007b,
    561   0x00000002, 0x00000002, 0x0000006e, 0x0000007a,
    562   0x00000001, 0x00000001, 0x0000006d, 0x0000000d,
    563   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    564   0xffffffff, 0xffffff93, 0xfffffff3, 0xffffffff,
    565   0xffffff92, 0xffffff86, 0xfffffff2, 0xfffffffe,
    566   0xffffff86, 0xfffffff2, 0xfffffffe, 0xfffffffe,
    567   0xffffff85, 0xfffffff1, 0xfffffffd, 0xfffffffd,
    568   0xffffff84, 0xfffffff0, 0xfffffffc, 0xfffffffc,
    569   0xffffff83, 0xffffffef, 0xfffffffb, 0xffffffee,
    570   0xffffff82, 0xffffffee, 0xffffffed, 0xffffff81,
    571   0xffffff81, 0xffffffe0, 0xffffff80, 0xffffff80,
    572   0xffffff73, 0xffffff73, 0xffffff7f, 0xffffff7f,
    573   0xffffff06, 0xffffff72, 0xffffff7e, 0xffffcccb,
    574   0xffffff05, 0xffffff71, 0xffffccca, 0xffffaaa9,
    575   0xffffff04, 0xffffccbd, 0xffffaaa8, 0xffff8001,
    576   0xffffcc50, 0xffffaa9b, 0xffff8000, 0xffff8000,
    577   0xffffaa2e, 0xffff7ff3, 0xffff7fff, 0xffff7fff,
    578   0xffff7f86, 0xffff7ff2, 0xffff7ffe, 0x00007ffe,
    579   0xffff7f85, 0xffff7ff1, 0x00007ffd, 0x00007ffd,
    580   0xffff7f84, 0x00007ff0, 0x00007ffc, 0x00005554,
    581   0x00007f83, 0x00007fef, 0x00005553, 0x00003332,
    582   0x00007f82, 0x00005546, 0x00003331, 0x0000007e,
    583   0x000054d9, 0x00003324, 0x0000007d, 0x0000007d,
    584   0x000032b7, 0x00000070, 0x0000007c, 0x0000007c,
    585   0x00000003, 0x0000006f, 0x0000007b, 0x0000007b,
    586   0x00000002, 0x0000006e, 0x0000007a, 0x0000000e,
    587   0x00000001, 0x0000006d, 0x0000000d, 0x00000001,
    588   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    589   0xffffff93, 0xfffffff3, 0xffffffff, 0xffffffff,
    590   0xfffffff3, 0xffffffff, 0xffffffff, 0xffffffff,
    591   0xfffffff2, 0xfffffffe, 0xfffffffe, 0xfffffffe,
    592   0xfffffff1, 0xfffffffd, 0xfffffffd, 0xfffffffd,
    593   0xfffffff0, 0xfffffffc, 0xfffffffc, 0xffffffef,
    594   0xffffffef, 0xfffffffb, 0xffffffee, 0xffffff82,
    595   0xffffffee, 0xffffffed, 0xffffff81, 0xffffff81,
    596   0xffffffe0, 0xffffff80, 0xffffff80, 0xffffff80,
    597   0xffffff73, 0xffffff7f, 0xffffff7f, 0xffffcccc,
    598   0xffffff72, 0xffffff7e, 0xffffcccb, 0xffffaaaa,
    599   0xffffff71, 0xffffccca, 0xffffaaa9, 0xffff8002,
    600   0xffffccbd, 0xffffaaa8, 0xffff8001, 0xffff8001,
    601   0xffffaa9b, 0xffff8000, 0xffff8000, 0xffff8000,
    602   0xffff7ff3, 0xffff7fff, 0xffff7fff, 0x00007fff,
    603   0xffff7ff2, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
    604   0xffff7ff1, 0x00007ffd, 0x00007ffd, 0x00005555,
    605   0x00007ff0, 0x00007ffc, 0x00005554, 0x00003333,
    606   0x00007fef, 0x00005553, 0x00003332, 0x0000007f,
    607   0x00005546, 0x00003331, 0x0000007e, 0x0000007e,
    608   0x00003324, 0x0000007d, 0x0000007d, 0x0000007d,
    609   0x00000070, 0x0000007c, 0x0000007c, 0x0000007c,
    610   0x0000006f, 0x0000007b, 0x0000007b, 0x0000000f,
    611   0x0000006e, 0x0000007a, 0x0000000e, 0x00000002,
    612   0x0000006d, 0x0000000d, 0x00000001, 0x00000001,
    613   0x00000000, 0x00000000, 0x00000000, 0x00000000,
    614 };
    615 const unsigned kExpectedCount_NEON_ssubl2_4S = 576;
    616 
    617 #endif  // VIXL_SIM_SSUBL2_4S_TRACE_A64_H_
    618