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_SMULL_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SMULL_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_smull_4S[] = {
     38   0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39,
     39   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
     40   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
     41   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
     42   0x003efe86, 0x003f7f02, 0x19994ccd, 0x00000000,
     43   0x003eff04, 0x003f7f81, 0x00000000, 0x00005555,
     44   0x003eff82, 0x00000000, 0x00003333, 0x0000aaaa,
     45   0x00000000, 0x0000007f, 0x00006666, 0x00055550,
     46   0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
     47   0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
     48   0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
     49   0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
     50   0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39,
     51   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
     52   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
     53   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
     54   0x003efe86, 0x003f7f02, 0x19994ccd, 0xd5558000,
     55   0x003eff04, 0x003f7f81, 0xe6668000, 0xd555d555,
     56   0x003eff82, 0xffc08000, 0xe666b333, 0xe38e1c72,
     57   0xffc10000, 0xffc0807f, 0xeeeeddde, 0xeeeebbbc,
     58   0xffc1007e, 0xffd5aa56, 0xf5c270a4, 0xffd55580,
     59   0xffd5ffac, 0xffe69934, 0xffe66680, 0xffd5aad5,
     60   0xffe6cc68, 0xffffc080, 0xffe699b3, 0xffd6002a,
     61   0xffffc100, 0xffffc0ff, 0xffe6cce6, 0xffd6557f,
     62   0xffffc0ff, 0xffe6cce6, 0xffd6557f, 0xfff80030,
     63   0xffffc17e, 0xffe70019, 0xfffaaab0, 0xfffe8009,
     64   0xffffc1fd, 0xfffcccd0, 0xffff0001, 0xffff0006,
     65   0xfffff810, 0xffff6667, 0xffff5556, 0xffff8003,
     66   0xfffffe83, 0xffff999a, 0xffffaaab, 0x00000000,
     67   0xffffff02, 0xffffcccd, 0x00000000, 0x00007ffd,
     68   0xffffff81, 0x00000000, 0x00005555, 0x0000fffa,
     69   0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
     70   0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
     71   0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
     72   0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
     73   0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
     74   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
     75   0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009,
     76   0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
     77   0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
     78   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0xc0018000,
     79   0x003f7f02, 0x19994ccd, 0xd5558000, 0xc001fffd,
     80   0x003f7f81, 0xe6668000, 0xd555d555, 0xd5560002,
     81   0xffc08000, 0xe666b333, 0xe38e1c72, 0xe666999c,
     82   0xffc0807f, 0xeeeeddde, 0xeeeebbbc, 0xffc00180,
     83   0xffd5aa56, 0xf5c270a4, 0xffd55580, 0xffc0817d,
     84   0xffe69934, 0xffe66680, 0xffd5aad5, 0xffc1017a,
     85   0xffffc080, 0xffe699b3, 0xffd6002a, 0xffc18177,
     86   0xffe699b3, 0xffd6002a, 0xffc18177, 0xfff80020,
     87   0xffe6cce6, 0xffd6557f, 0xfff80030, 0xfffe8006,
     88   0xffe70019, 0xfffaaab0, 0xfffe8009, 0xffff0004,
     89   0xfffcccd0, 0xffff0001, 0xffff0006, 0xffff8002,
     90   0xffff6667, 0xffff5556, 0xffff8003, 0x00000000,
     91   0xffff999a, 0xffffaaab, 0x00000000, 0x00007ffe,
     92   0xffffcccd, 0x00000000, 0x00007ffd, 0x0000fffc,
     93   0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
     94   0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
     95   0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
     96   0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
     97   0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
     98   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
     99   0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
    100   0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x3ffe0004,
    101   0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
    102   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0xc0010000,
    103   0x1999199a, 0x2aaa2aab, 0xc0018000, 0xc0017ffe,
    104   0x19994ccd, 0xd5558000, 0xc001fffd, 0xd555aaac,
    105   0xe6668000, 0xd555d555, 0xd5560002, 0xe6666668,
    106   0xe666b333, 0xe38e1c72, 0xe666999c, 0xffc00100,
    107   0xeeeeddde, 0xeeeebbbc, 0xffc00180, 0xffc080fe,
    108   0xf5c270a4, 0xffd55580, 0xffc0817d, 0xffc100fc,
    109   0xffe66680, 0xffd5aad5, 0xffc1017a, 0xffc180fa,
    110   0xffd5aad5, 0xffc1017a, 0xffc180fa, 0xfff80010,
    111   0xffd6002a, 0xffc18177, 0xfff80020, 0xfffe8003,
    112   0xffd6557f, 0xfff80030, 0xfffe8006, 0xffff0002,
    113   0xfffaaab0, 0xfffe8009, 0xffff0004, 0xffff8001,
    114   0xffff0001, 0xffff0006, 0xffff8002, 0x00000000,
    115   0xffff5556, 0xffff8003, 0x00000000, 0x00007fff,
    116   0xffffaaab, 0x00000000, 0x00007ffe, 0x0000fffe,
    117   0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
    118   0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
    119   0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
    120   0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
    121   0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
    122   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
    123   0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
    124   0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
    125   0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x3fff0001,
    126   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0xc0008000,
    127   0x2aa9d556, 0x3ffe0003, 0xc0010000, 0xc000ffff,
    128   0x2aaa2aab, 0xc0018000, 0xc0017ffe, 0xd5555556,
    129   0xd5558000, 0xc001fffd, 0xd555aaac, 0xe6663334,
    130   0xd555d555, 0xd5560002, 0xe6666668, 0xffc00080,
    131   0xe38e1c72, 0xe666999c, 0xffc00100, 0xffc0807f,
    132   0xeeeebbbc, 0xffc00180, 0xffc080fe, 0xffc1007e,
    133   0xffd55580, 0xffc0817d, 0xffc100fc, 0xffc1807d,
    134   0xffc0817d, 0xffc100fc, 0xffc1807d, 0x00000000,
    135   0xffc1017a, 0xffc180fa, 0xfff80010, 0x00000000,
    136   0xffc18177, 0xfff80020, 0xfffe8003, 0x00000000,
    137   0xfff80030, 0xfffe8006, 0xffff0002, 0x00000000,
    138   0xfffe8009, 0xffff0004, 0xffff8001, 0x00000000,
    139   0xffff0006, 0xffff8002, 0x00000000, 0x00000000,
    140   0xffff8003, 0x00000000, 0x00007fff, 0x00000000,
    141   0x00000000, 0x00007ffe, 0x0000fffe, 0x00000000,
    142   0x00007ffd, 0x0000fffc, 0x0007fff0, 0x00000000,
    143   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0x00000000,
    144   0x0007ffd0, 0x003e7f06, 0x003eff82, 0x00000000,
    145   0x003e7e89, 0x003eff04, 0x003f7f81, 0x00000000,
    146   0x003efe86, 0x003f7f02, 0x19994ccd, 0x00000000,
    147   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0x00000000,
    148   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0x00000000,
    149   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0x00000000,
    150   0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x00000000,
    151   0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x00000000,
    152   0x3ffe0003, 0xc0010000, 0xc000ffff, 0x00000000,
    153   0xc0018000, 0xc0017ffe, 0xd5555556, 0x00000000,
    154   0xc001fffd, 0xd555aaac, 0xe6663334, 0x00000000,
    155   0xd5560002, 0xe6666668, 0xffc00080, 0x00000000,
    156   0xe666999c, 0xffc00100, 0xffc0807f, 0x00000000,
    157   0xffc00180, 0xffc080fe, 0xffc1007e, 0x00000000,
    158   0xffc080fe, 0xffc1007e, 0x00000000, 0xfffffff0,
    159   0xffc100fc, 0xffc1807d, 0x00000000, 0xfffffffd,
    160   0xffc180fa, 0xfff80010, 0x00000000, 0xfffffffe,
    161   0xfff80020, 0xfffe8003, 0x00000000, 0xffffffff,
    162   0xfffe8006, 0xffff0002, 0x00000000, 0x00000000,
    163   0xffff0004, 0xffff8001, 0x00000000, 0x00000001,
    164   0xffff8002, 0x00000000, 0x00000000, 0x00000002,
    165   0x00000000, 0x00007fff, 0x00000000, 0x00000010,
    166   0x00007ffe, 0x0000fffe, 0x00000000, 0x0000007d,
    167   0x0000fffc, 0x0007fff0, 0x00000000, 0x0000007e,
    168   0x0007ffe0, 0x003e7f83, 0x00000000, 0x0000007f,
    169   0x003e7f06, 0x003eff82, 0x00000000, 0x00003333,
    170   0x003eff04, 0x003f7f81, 0x00000000, 0x00005555,
    171   0x003f7f02, 0x19994ccd, 0x00000000, 0x00007ffd,
    172   0x1999199a, 0x2aaa2aab, 0x00000000, 0x00007ffe,
    173   0x2aa9d556, 0x3ffe0003, 0x00000000, 0x00007fff,
    174   0x3ffd8006, 0x3ffe8002, 0x00000000, 0xffff8000,
    175   0x3ffe0004, 0x3fff0001, 0x00000000, 0xffff8001,
    176   0x3ffe8002, 0xc0008000, 0x00000000, 0xffffaaaa,
    177   0xc0010000, 0xc000ffff, 0x00000000, 0xffffcccc,
    178   0xc0017ffe, 0xd5555556, 0x00000000, 0xffffff80,
    179   0xd555aaac, 0xe6663334, 0x00000000, 0xffffff81,
    180   0xe6666668, 0xffc00080, 0x00000000, 0xffffff82,
    181   0xffc00100, 0xffc0807f, 0x00000000, 0xffffff83,
    182   0xffc0807f, 0x00000000, 0xffffff83, 0xffffffe0,
    183   0xffc1007e, 0x00000000, 0xfffffff0, 0xfffffffa,
    184   0xffc1807d, 0x00000000, 0xfffffffd, 0xfffffffc,
    185   0xfff80010, 0x00000000, 0xfffffffe, 0xfffffffe,
    186   0xfffe8003, 0x00000000, 0xffffffff, 0x00000000,
    187   0xffff0002, 0x00000000, 0x00000000, 0x00000002,
    188   0xffff8001, 0x00000000, 0x00000001, 0x00000004,
    189   0x00000000, 0x00000000, 0x00000002, 0x00000020,
    190   0x00007fff, 0x00000000, 0x00000010, 0x000000fa,
    191   0x0000fffe, 0x00000000, 0x0000007d, 0x000000fc,
    192   0x0007fff0, 0x00000000, 0x0000007e, 0x000000fe,
    193   0x003e7f83, 0x00000000, 0x0000007f, 0x00006666,
    194   0x003eff82, 0x00000000, 0x00003333, 0x0000aaaa,
    195   0x003f7f81, 0x00000000, 0x00005555, 0x0000fffa,
    196   0x19994ccd, 0x00000000, 0x00007ffd, 0x0000fffc,
    197   0x2aaa2aab, 0x00000000, 0x00007ffe, 0x0000fffe,
    198   0x3ffe0003, 0x00000000, 0x00007fff, 0xffff0000,
    199   0x3ffe8002, 0x00000000, 0xffff8000, 0xffff0002,
    200   0x3fff0001, 0x00000000, 0xffff8001, 0xffff5554,
    201   0xc0008000, 0x00000000, 0xffffaaaa, 0xffff9998,
    202   0xc000ffff, 0x00000000, 0xffffcccc, 0xffffff00,
    203   0xd5555556, 0x00000000, 0xffffff80, 0xffffff02,
    204   0xe6663334, 0x00000000, 0xffffff81, 0xffffff04,
    205   0xffc00080, 0x00000000, 0xffffff82, 0xffffff06,
    206   0x00000000, 0xffffff82, 0xffffff06, 0xffffff00,
    207   0x00000000, 0xffffff83, 0xffffffe0, 0xffffffd0,
    208   0x00000000, 0xfffffff0, 0xfffffffa, 0xffffffe0,
    209   0x00000000, 0xfffffffd, 0xfffffffc, 0xfffffff0,
    210   0x00000000, 0xfffffffe, 0xfffffffe, 0x00000000,
    211   0x00000000, 0xffffffff, 0x00000000, 0x00000010,
    212   0x00000000, 0x00000000, 0x00000002, 0x00000020,
    213   0x00000000, 0x00000001, 0x00000004, 0x00000100,
    214   0x00000000, 0x00000002, 0x00000020, 0x000007d0,
    215   0x00000000, 0x00000010, 0x000000fa, 0x000007e0,
    216   0x00000000, 0x0000007d, 0x000000fc, 0x000007f0,
    217   0x00000000, 0x0000007e, 0x000000fe, 0x00033330,
    218   0x00000000, 0x0000007f, 0x00006666, 0x00055550,
    219   0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
    220   0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
    221   0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
    222   0x00000000, 0x00007ffe, 0x0000fffe, 0xfff80000,
    223   0x00000000, 0x00007fff, 0xffff0000, 0xfff80010,
    224   0x00000000, 0xffff8000, 0xffff0002, 0xfffaaaa0,
    225   0x00000000, 0xffff8001, 0xffff5554, 0xfffcccc0,
    226   0x00000000, 0xffffaaaa, 0xffff9998, 0xfffff800,
    227   0x00000000, 0xffffcccc, 0xffffff00, 0xfffff810,
    228   0x00000000, 0xffffff80, 0xffffff02, 0xfffff820,
    229   0x00000000, 0xffffff81, 0xffffff04, 0xfffff830,
    230   0xffffff81, 0xffffff04, 0xfffff830, 0xfffff830,
    231   0xffffff82, 0xffffff06, 0xffffff00, 0xfffffe89,
    232   0xffffff83, 0xffffffe0, 0xffffffd0, 0xffffff06,
    233   0xfffffff0, 0xfffffffa, 0xffffffe0, 0xffffff83,
    234   0xfffffffd, 0xfffffffc, 0xfffffff0, 0x00000000,
    235   0xfffffffe, 0xfffffffe, 0x00000000, 0x0000007d,
    236   0xffffffff, 0x00000000, 0x00000010, 0x000000fa,
    237   0x00000000, 0x00000002, 0x00000020, 0x000007d0,
    238   0x00000001, 0x00000004, 0x00000100, 0x00003d09,
    239   0x00000002, 0x00000020, 0x000007d0, 0x00003d86,
    240   0x00000010, 0x000000fa, 0x000007e0, 0x00003e03,
    241   0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7,
    242   0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
    243   0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
    244   0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
    245   0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
    246   0x00007ffd, 0x0000fffc, 0x0007fff0, 0xffc18000,
    247   0x00007ffe, 0x0000fffe, 0xfff80000, 0xffc1807d,
    248   0x00007fff, 0xffff0000, 0xfff80010, 0xffd65502,
    249   0xffff8000, 0xffff0002, 0xfffaaaa0, 0xffe6ff9c,
    250   0xffff8001, 0xffff5554, 0xfffcccc0, 0xffffc180,
    251   0xffffaaaa, 0xffff9998, 0xfffff800, 0xffffc1fd,
    252   0xffffcccc, 0xffffff00, 0xfffff810, 0xffffc27a,
    253   0xffffff80, 0xffffff02, 0xfffff820, 0xffffc2f7,
    254   0xffffff02, 0xfffff820, 0xffffc2f7, 0xfffff820,
    255   0xffffff04, 0xfffff830, 0xfffff830, 0xfffffe86,
    256   0xffffff06, 0xffffff00, 0xfffffe89, 0xffffff04,
    257   0xffffffe0, 0xffffffd0, 0xffffff06, 0xffffff82,
    258   0xfffffffa, 0xffffffe0, 0xffffff83, 0x00000000,
    259   0xfffffffc, 0xfffffff0, 0x00000000, 0x0000007e,
    260   0xfffffffe, 0x00000000, 0x0000007d, 0x000000fc,
    261   0x00000000, 0x00000010, 0x000000fa, 0x000007e0,
    262   0x00000002, 0x00000020, 0x000007d0, 0x00003d86,
    263   0x00000004, 0x00000100, 0x00003d09, 0x00003e04,
    264   0x00000020, 0x000007d0, 0x00003d86, 0x00003e82,
    265   0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a,
    266   0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
    267   0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
    268   0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
    269   0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
    270   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0xffc10000,
    271   0x0000fffc, 0x0007fff0, 0xffc18000, 0xffc1007e,
    272   0x0000fffe, 0xfff80000, 0xffc1807d, 0xffd5ffac,
    273   0xffff0000, 0xfff80010, 0xffd65502, 0xffe6cc68,
    274   0xffff0002, 0xfffaaaa0, 0xffe6ff9c, 0xffffc100,
    275   0xffff5554, 0xfffcccc0, 0xffffc180, 0xffffc17e,
    276   0xffff9998, 0xfffff800, 0xffffc1fd, 0xffffc1fc,
    277   0xffffff00, 0xfffff810, 0xffffc27a, 0xffffc27a,
    278   0xfffff810, 0xffffc27a, 0xffffc27a, 0xfffff810,
    279   0xfffff820, 0xffffc2f7, 0xfffff820, 0xfffffe83,
    280   0xfffff830, 0xfffff830, 0xfffffe86, 0xffffff02,
    281   0xffffff00, 0xfffffe89, 0xffffff04, 0xffffff81,
    282   0xffffffd0, 0xffffff06, 0xffffff82, 0x00000000,
    283   0xffffffe0, 0xffffff83, 0x00000000, 0x0000007f,
    284   0xfffffff0, 0x00000000, 0x0000007e, 0x000000fe,
    285   0x00000000, 0x0000007d, 0x000000fc, 0x000007f0,
    286   0x00000010, 0x000000fa, 0x000007e0, 0x00003e03,
    287   0x00000020, 0x000007d0, 0x00003d86, 0x00003e82,
    288   0x00000100, 0x00003d09, 0x00003e04, 0x00003f01,
    289   0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d,
    290   0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
    291   0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
    292   0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
    293   0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
    294   0x0007ffd0, 0x003e7f06, 0x003eff82, 0xffc08000,
    295   0x0007ffe0, 0x003e7f83, 0xffc10000, 0xffc0807f,
    296   0x0007fff0, 0xffc18000, 0xffc1007e, 0xffd5aa56,
    297   0xfff80000, 0xffc1807d, 0xffd5ffac, 0xffe69934,
    298   0xfff80010, 0xffd65502, 0xffe6cc68, 0xffffc080,
    299   0xfffaaaa0, 0xffe6ff9c, 0xffffc100, 0xffffc0ff,
    300   0xfffcccc0, 0xffffc180, 0xffffc17e, 0xffffc17e,
    301   0xfffff800, 0xffffc1fd, 0xffffc1fc, 0xffffc1fd,
    302   0xffffc1fd, 0xffffc1fc, 0xffffc1fd, 0xfffcccd0,
    303   0xffffc27a, 0xffffc27a, 0xfffff810, 0xffff6667,
    304   0xffffc2f7, 0xfffff820, 0xfffffe83, 0xffff999a,
    305   0xfffff830, 0xfffffe86, 0xffffff02, 0xffffcccd,
    306   0xfffffe89, 0xffffff04, 0xffffff81, 0x00000000,
    307   0xffffff06, 0xffffff82, 0x00000000, 0x00003333,
    308   0xffffff83, 0x00000000, 0x0000007f, 0x00006666,
    309   0x00000000, 0x0000007e, 0x000000fe, 0x00033330,
    310   0x0000007d, 0x000000fc, 0x000007f0, 0x0018ffe7,
    311   0x000000fa, 0x000007e0, 0x00003e03, 0x0019331a,
    312   0x000007d0, 0x00003d86, 0x00003e82, 0x0019664d,
    313   0x00003d09, 0x00003e04, 0x00003f01, 0x0a3d5c29,
    314   0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
    315   0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
    316   0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
    317   0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
    318   0x003e7e89, 0x003eff04, 0x003f7f81, 0xe6668000,
    319   0x003e7f06, 0x003eff82, 0xffc08000, 0xe666b333,
    320   0x003e7f83, 0xffc10000, 0xffc0807f, 0xeeeeddde,
    321   0xffc18000, 0xffc1007e, 0xffd5aa56, 0xf5c270a4,
    322   0xffc1807d, 0xffd5ffac, 0xffe69934, 0xffe66680,
    323   0xffd65502, 0xffe6cc68, 0xffffc080, 0xffe699b3,
    324   0xffe6ff9c, 0xffffc100, 0xffffc0ff, 0xffe6cce6,
    325   0xffffc180, 0xffffc17e, 0xffffc17e, 0xffe70019,
    326   0xffffc17e, 0xffffc17e, 0xffe70019, 0xfffaaab0,
    327   0xffffc1fc, 0xffffc1fd, 0xfffcccd0, 0xffff0001,
    328   0xffffc27a, 0xfffff810, 0xffff6667, 0xffff5556,
    329   0xfffff820, 0xfffffe83, 0xffff999a, 0xffffaaab,
    330   0xfffffe86, 0xffffff02, 0xffffcccd, 0x00000000,
    331   0xffffff04, 0xffffff81, 0x00000000, 0x00005555,
    332   0xffffff82, 0x00000000, 0x00003333, 0x0000aaaa,
    333   0x00000000, 0x0000007f, 0x00006666, 0x00055550,
    334   0x0000007e, 0x000000fe, 0x00033330, 0x0029aa81,
    335   0x000000fc, 0x000007f0, 0x0018ffe7, 0x0029ffd6,
    336   0x000007e0, 0x00003e03, 0x0019331a, 0x002a552b,
    337   0x00003d86, 0x00003e82, 0x0019664d, 0x1110eeef,
    338   0x00003e04, 0x00003f01, 0x0a3d5c29, 0x1c718e39,
    339   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
    340   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
    341   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
    342   0x003efe86, 0x003f7f02, 0x19994ccd, 0xd5558000,
    343   0x003eff04, 0x003f7f81, 0xe6668000, 0xd555d555,
    344   0x003eff82, 0xffc08000, 0xe666b333, 0xe38e1c72,
    345   0xffc10000, 0xffc0807f, 0xeeeeddde, 0xeeeebbbc,
    346   0xffc1007e, 0xffd5aa56, 0xf5c270a4, 0xffd55580,
    347   0xffd5ffac, 0xffe69934, 0xffe66680, 0xffd5aad5,
    348   0xffe6cc68, 0xffffc080, 0xffe699b3, 0xffd6002a,
    349   0xffffc100, 0xffffc0ff, 0xffe6cce6, 0xffd6557f,
    350   0xffffc0ff, 0xffe6cce6, 0xffd6557f, 0xfff80030,
    351   0xffffc17e, 0xffe70019, 0xfffaaab0, 0xfffe8009,
    352   0xffffc1fd, 0xfffcccd0, 0xffff0001, 0xffff0006,
    353   0xfffff810, 0xffff6667, 0xffff5556, 0xffff8003,
    354   0xfffffe83, 0xffff999a, 0xffffaaab, 0x00000000,
    355   0xffffff02, 0xffffcccd, 0x00000000, 0x00007ffd,
    356   0xffffff81, 0x00000000, 0x00005555, 0x0000fffa,
    357   0x00000000, 0x00003333, 0x0000aaaa, 0x0007ffd0,
    358   0x0000007f, 0x00006666, 0x00055550, 0x003e7e89,
    359   0x000000fe, 0x00033330, 0x0029aa81, 0x003efe86,
    360   0x000007f0, 0x0018ffe7, 0x0029ffd6, 0x003f7e83,
    361   0x00003e03, 0x0019331a, 0x002a552b, 0x1998e667,
    362   0x00003e82, 0x0019664d, 0x1110eeef, 0x2aa98001,
    363   0x00003f01, 0x0a3d5c29, 0x1c718e39, 0x3ffd0009,
    364   0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
    365   0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
    366   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0xc0018000,
    367   0x003f7f02, 0x19994ccd, 0xd5558000, 0xc001fffd,
    368   0x003f7f81, 0xe6668000, 0xd555d555, 0xd5560002,
    369   0xffc08000, 0xe666b333, 0xe38e1c72, 0xe666999c,
    370   0xffc0807f, 0xeeeeddde, 0xeeeebbbc, 0xffc00180,
    371   0xffd5aa56, 0xf5c270a4, 0xffd55580, 0xffc0817d,
    372   0xffe69934, 0xffe66680, 0xffd5aad5, 0xffc1017a,
    373   0xffffc080, 0xffe699b3, 0xffd6002a, 0xffc18177,
    374   0xffe699b3, 0xffd6002a, 0xffc18177, 0xfff80020,
    375   0xffe6cce6, 0xffd6557f, 0xfff80030, 0xfffe8006,
    376   0xffe70019, 0xfffaaab0, 0xfffe8009, 0xffff0004,
    377   0xfffcccd0, 0xffff0001, 0xffff0006, 0xffff8002,
    378   0xffff6667, 0xffff5556, 0xffff8003, 0x00000000,
    379   0xffff999a, 0xffffaaab, 0x00000000, 0x00007ffe,
    380   0xffffcccd, 0x00000000, 0x00007ffd, 0x0000fffc,
    381   0x00000000, 0x00005555, 0x0000fffa, 0x0007ffe0,
    382   0x00003333, 0x0000aaaa, 0x0007ffd0, 0x003e7f06,
    383   0x00006666, 0x00055550, 0x003e7e89, 0x003eff04,
    384   0x00033330, 0x0029aa81, 0x003efe86, 0x003f7f02,
    385   0x0018ffe7, 0x0029ffd6, 0x003f7e83, 0x1999199a,
    386   0x0019331a, 0x002a552b, 0x1998e667, 0x2aa9d556,
    387   0x0019664d, 0x1110eeef, 0x2aa98001, 0x3ffd8006,
    388   0x0a3d5c29, 0x1c718e39, 0x3ffd0009, 0x3ffe0004,
    389   0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
    390   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0xc0010000,
    391   0x1999199a, 0x2aaa2aab, 0xc0018000, 0xc0017ffe,
    392   0x19994ccd, 0xd5558000, 0xc001fffd, 0xd555aaac,
    393   0xe6668000, 0xd555d555, 0xd5560002, 0xe6666668,
    394   0xe666b333, 0xe38e1c72, 0xe666999c, 0xffc00100,
    395   0xeeeeddde, 0xeeeebbbc, 0xffc00180, 0xffc080fe,
    396   0xf5c270a4, 0xffd55580, 0xffc0817d, 0xffc100fc,
    397   0xffe66680, 0xffd5aad5, 0xffc1017a, 0xffc180fa,
    398   0xffd5aad5, 0xffc1017a, 0xffc180fa, 0xfff80010,
    399   0xffd6002a, 0xffc18177, 0xfff80020, 0xfffe8003,
    400   0xffd6557f, 0xfff80030, 0xfffe8006, 0xffff0002,
    401   0xfffaaab0, 0xfffe8009, 0xffff0004, 0xffff8001,
    402   0xffff0001, 0xffff0006, 0xffff8002, 0x00000000,
    403   0xffff5556, 0xffff8003, 0x00000000, 0x00007fff,
    404   0xffffaaab, 0x00000000, 0x00007ffe, 0x0000fffe,
    405   0x00000000, 0x00007ffd, 0x0000fffc, 0x0007fff0,
    406   0x00005555, 0x0000fffa, 0x0007ffe0, 0x003e7f83,
    407   0x0000aaaa, 0x0007ffd0, 0x003e7f06, 0x003eff82,
    408   0x00055550, 0x003e7e89, 0x003eff04, 0x003f7f81,
    409   0x0029aa81, 0x003efe86, 0x003f7f02, 0x19994ccd,
    410   0x0029ffd6, 0x003f7e83, 0x1999199a, 0x2aaa2aab,
    411   0x002a552b, 0x1998e667, 0x2aa9d556, 0x3ffe0003,
    412   0x1110eeef, 0x2aa98001, 0x3ffd8006, 0x3ffe8002,
    413   0x1c718e39, 0x3ffd0009, 0x3ffe0004, 0x3fff0001,
    414   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0xc0008000,
    415   0x2aa9d556, 0x3ffe0003, 0xc0010000, 0xc000ffff,
    416   0x2aaa2aab, 0xc0018000, 0xc0017ffe, 0xd5555556,
    417   0xd5558000, 0xc001fffd, 0xd555aaac, 0xe6663334,
    418   0xd555d555, 0xd5560002, 0xe6666668, 0xffc00080,
    419   0xe38e1c72, 0xe666999c, 0xffc00100, 0xffc0807f,
    420   0xeeeebbbc, 0xffc00180, 0xffc080fe, 0xffc1007e,
    421   0xffd55580, 0xffc0817d, 0xffc100fc, 0xffc1807d,
    422   0xffc0817d, 0xffc100fc, 0xffc1807d, 0x00080000,
    423   0xffc1017a, 0xffc180fa, 0xfff80010, 0x00018000,
    424   0xffc18177, 0xfff80020, 0xfffe8003, 0x00010000,
    425   0xfff80030, 0xfffe8006, 0xffff0002, 0x00008000,
    426   0xfffe8009, 0xffff0004, 0xffff8001, 0x00000000,
    427   0xffff0006, 0xffff8002, 0x00000000, 0xffff8000,
    428   0xffff8003, 0x00000000, 0x00007fff, 0xffff0000,
    429   0x00000000, 0x00007ffe, 0x0000fffe, 0xfff80000,
    430   0x00007ffd, 0x0000fffc, 0x0007fff0, 0xffc18000,
    431   0x0000fffa, 0x0007ffe0, 0x003e7f83, 0xffc10000,
    432   0x0007ffd0, 0x003e7f06, 0x003eff82, 0xffc08000,
    433   0x003e7e89, 0x003eff04, 0x003f7f81, 0xe6668000,
    434   0x003efe86, 0x003f7f02, 0x19994ccd, 0xd5558000,
    435   0x003f7e83, 0x1999199a, 0x2aaa2aab, 0xc0018000,
    436   0x1998e667, 0x2aa9d556, 0x3ffe0003, 0xc0010000,
    437   0x2aa98001, 0x3ffd8006, 0x3ffe8002, 0xc0008000,
    438   0x3ffd0009, 0x3ffe0004, 0x3fff0001, 0x40000000,
    439   0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x3fff8000,
    440   0x3ffe0003, 0xc0010000, 0xc000ffff, 0x2aab0000,
    441   0xc0018000, 0xc0017ffe, 0xd5555556, 0x199a0000,
    442   0xc001fffd, 0xd555aaac, 0xe6663334, 0x00400000,
    443   0xd5560002, 0xe6666668, 0xffc00080, 0x003f8000,
    444   0xe666999c, 0xffc00100, 0xffc0807f, 0x003f0000,
    445   0xffc00180, 0xffc080fe, 0xffc1007e, 0x003e8000,
    446   0xffc080fe, 0xffc1007e, 0x003e8000, 0x0007fff0,
    447   0xffc100fc, 0xffc1807d, 0x00080000, 0x00017ffd,
    448   0xffc180fa, 0xfff80010, 0x00018000, 0x0000fffe,
    449   0xfff80020, 0xfffe8003, 0x00010000, 0x00007fff,
    450   0xfffe8006, 0xffff0002, 0x00008000, 0x00000000,
    451   0xffff0004, 0xffff8001, 0x00000000, 0xffff8001,
    452   0xffff8002, 0x00000000, 0xffff8000, 0xffff0002,
    453   0x00000000, 0x00007fff, 0xffff0000, 0xfff80010,
    454   0x00007ffe, 0x0000fffe, 0xfff80000, 0xffc1807d,
    455   0x0000fffc, 0x0007fff0, 0xffc18000, 0xffc1007e,
    456   0x0007ffe0, 0x003e7f83, 0xffc10000, 0xffc0807f,
    457   0x003e7f06, 0x003eff82, 0xffc08000, 0xe666b333,
    458   0x003eff04, 0x003f7f81, 0xe6668000, 0xd555d555,
    459   0x003f7f02, 0x19994ccd, 0xd5558000, 0xc001fffd,
    460   0x1999199a, 0x2aaa2aab, 0xc0018000, 0xc0017ffe,
    461   0x2aa9d556, 0x3ffe0003, 0xc0010000, 0xc000ffff,
    462   0x3ffd8006, 0x3ffe8002, 0xc0008000, 0x3fff8000,
    463   0x3ffe0004, 0x3fff0001, 0x40000000, 0x3fff0001,
    464   0x3ffe8002, 0xc0008000, 0x3fff8000, 0x2aaaaaaa,
    465   0xc0010000, 0xc000ffff, 0x2aab0000, 0x1999cccc,
    466   0xc0017ffe, 0xd5555556, 0x199a0000, 0x003fff80,
    467   0xd555aaac, 0xe6663334, 0x00400000, 0x003f7f81,
    468   0xe6666668, 0xffc00080, 0x003f8000, 0x003eff82,
    469   0xffc00100, 0xffc0807f, 0x003f0000, 0x003e7f83,
    470   0xffc0807f, 0x003f0000, 0x003e7f83, 0x00055560,
    471   0xffc1007e, 0x003e8000, 0x0007fff0, 0x00010002,
    472   0xffc1807d, 0x00080000, 0x00017ffd, 0x0000aaac,
    473   0xfff80010, 0x00018000, 0x0000fffe, 0x00005556,
    474   0xfffe8003, 0x00010000, 0x00007fff, 0x00000000,
    475   0xffff0002, 0x00008000, 0x00000000, 0xffffaaaa,
    476   0xffff8001, 0x00000000, 0xffff8001, 0xffff5554,
    477   0x00000000, 0xffff8000, 0xffff0002, 0xfffaaaa0,
    478   0x00007fff, 0xffff0000, 0xfff80010, 0xffd65502,
    479   0x0000fffe, 0xfff80000, 0xffc1807d, 0xffd5ffac,
    480   0x0007fff0, 0xffc18000, 0xffc1007e, 0xffd5aa56,
    481   0x003e7f83, 0xffc10000, 0xffc0807f, 0xeeeeddde,
    482   0x003eff82, 0xffc08000, 0xe666b333, 0xe38e1c72,
    483   0x003f7f81, 0xe6668000, 0xd555d555, 0xd5560002,
    484   0x19994ccd, 0xd5558000, 0xc001fffd, 0xd555aaac,
    485   0x2aaa2aab, 0xc0018000, 0xc0017ffe, 0xd5555556,
    486   0x3ffe0003, 0xc0010000, 0xc000ffff, 0x2aab0000,
    487   0x3ffe8002, 0xc0008000, 0x3fff8000, 0x2aaaaaaa,
    488   0x3fff0001, 0x40000000, 0x3fff0001, 0x1c7238e4,
    489   0xc0008000, 0x3fff8000, 0x2aaaaaaa, 0x11117778,
    490   0xc000ffff, 0x2aab0000, 0x1999cccc, 0x002aab00,
    491   0xd5555556, 0x199a0000, 0x003fff80, 0x002a55aa,
    492   0xe6663334, 0x00400000, 0x003f7f81, 0x002a0054,
    493   0xffc00080, 0x003f8000, 0x003eff82, 0x0029aafe,
    494   0x003f8000, 0x003eff82, 0x0029aafe, 0x00033340,
    495   0x003f0000, 0x003e7f83, 0x00055560, 0x0000999c,
    496   0x003e8000, 0x0007fff0, 0x00010002, 0x00006668,
    497   0x00080000, 0x00017ffd, 0x0000aaac, 0x00003334,
    498   0x00018000, 0x0000fffe, 0x00005556, 0x00000000,
    499   0x00010000, 0x00007fff, 0x00000000, 0xffffcccc,
    500   0x00008000, 0x00000000, 0xffffaaaa, 0xffff9998,
    501   0x00000000, 0xffff8001, 0xffff5554, 0xfffcccc0,
    502   0xffff8000, 0xffff0002, 0xfffaaaa0, 0xffe6ff9c,
    503   0xffff0000, 0xfff80010, 0xffd65502, 0xffe6cc68,
    504   0xfff80000, 0xffc1807d, 0xffd5ffac, 0xffe69934,
    505   0xffc18000, 0xffc1007e, 0xffd5aa56, 0xf5c270a4,
    506   0xffc10000, 0xffc0807f, 0xeeeeddde, 0xeeeebbbc,
    507   0xffc08000, 0xe666b333, 0xe38e1c72, 0xe666999c,
    508   0xe6668000, 0xd555d555, 0xd5560002, 0xe6666668,
    509   0xd5558000, 0xc001fffd, 0xd555aaac, 0xe6663334,
    510   0xc0018000, 0xc0017ffe, 0xd5555556, 0x199a0000,
    511   0xc0010000, 0xc000ffff, 0x2aab0000, 0x1999cccc,
    512   0xc0008000, 0x3fff8000, 0x2aaaaaaa, 0x11117778,
    513   0x40000000, 0x3fff0001, 0x1c7238e4, 0x0a3dc290,
    514   0x3fff8000, 0x2aaaaaaa, 0x11117778, 0x00199a00,
    515   0x2aab0000, 0x1999cccc, 0x002aab00, 0x001966cc,
    516   0x199a0000, 0x003fff80, 0x002a55aa, 0x00193398,
    517   0x00400000, 0x003f7f81, 0x002a0054, 0x00190064,
    518   0x003f7f81, 0x002a0054, 0x00190064, 0x00000800,
    519   0x003eff82, 0x0029aafe, 0x00033340, 0x00000180,
    520   0x003e7f83, 0x00055560, 0x0000999c, 0x00000100,
    521   0x0007fff0, 0x00010002, 0x00006668, 0x00000080,
    522   0x00017ffd, 0x0000aaac, 0x00003334, 0x00000000,
    523   0x0000fffe, 0x00005556, 0x00000000, 0xffffff80,
    524   0x00007fff, 0x00000000, 0xffffcccc, 0xffffff00,
    525   0x00000000, 0xffffaaaa, 0xffff9998, 0xfffff800,
    526   0xffff8001, 0xffff5554, 0xfffcccc0, 0xffffc180,
    527   0xffff0002, 0xfffaaaa0, 0xffe6ff9c, 0xffffc100,
    528   0xfff80010, 0xffd65502, 0xffe6cc68, 0xffffc080,
    529   0xffc1807d, 0xffd5ffac, 0xffe69934, 0xffe66680,
    530   0xffc1007e, 0xffd5aa56, 0xf5c270a4, 0xffd55580,
    531   0xffc0807f, 0xeeeeddde, 0xeeeebbbc, 0xffc00180,
    532   0xe666b333, 0xe38e1c72, 0xe666999c, 0xffc00100,
    533   0xd555d555, 0xd5560002, 0xe6666668, 0xffc00080,
    534   0xc001fffd, 0xd555aaac, 0xe6663334, 0x00400000,
    535   0xc0017ffe, 0xd5555556, 0x199a0000, 0x003fff80,
    536   0xc000ffff, 0x2aab0000, 0x1999cccc, 0x002aab00,
    537   0x3fff8000, 0x2aaaaaaa, 0x11117778, 0x00199a00,
    538   0x3fff0001, 0x1c7238e4, 0x0a3dc290, 0x00004000,
    539   0x2aaaaaaa, 0x11117778, 0x00199a00, 0x00003f80,
    540   0x1999cccc, 0x002aab00, 0x001966cc, 0x00003f00,
    541   0x003fff80, 0x002a55aa, 0x00193398, 0x00003e80,
    542   0x002a55aa, 0x00193398, 0x00003e80, 0x000007f0,
    543   0x002a0054, 0x00190064, 0x00000800, 0x0000017d,
    544   0x0029aafe, 0x00033340, 0x00000180, 0x000000fe,
    545   0x00055560, 0x0000999c, 0x00000100, 0x0000007f,
    546   0x00010002, 0x00006668, 0x00000080, 0x00000000,
    547   0x0000aaac, 0x00003334, 0x00000000, 0xffffff81,
    548   0x00005556, 0x00000000, 0xffffff80, 0xffffff02,
    549   0x00000000, 0xffffcccc, 0xffffff00, 0xfffff810,
    550   0xffffaaaa, 0xffff9998, 0xfffff800, 0xffffc1fd,
    551   0xffff5554, 0xfffcccc0, 0xffffc180, 0xffffc17e,
    552   0xfffaaaa0, 0xffe6ff9c, 0xffffc100, 0xffffc0ff,
    553   0xffd65502, 0xffe6cc68, 0xffffc080, 0xffe699b3,
    554   0xffd5ffac, 0xffe69934, 0xffe66680, 0xffd5aad5,
    555   0xffd5aa56, 0xf5c270a4, 0xffd55580, 0xffc0817d,
    556   0xeeeeddde, 0xeeeebbbc, 0xffc00180, 0xffc080fe,
    557   0xe38e1c72, 0xe666999c, 0xffc00100, 0xffc0807f,
    558   0xd5560002, 0xe6666668, 0xffc00080, 0x003f8000,
    559   0xd555aaac, 0xe6663334, 0x00400000, 0x003f7f81,
    560   0xd5555556, 0x199a0000, 0x003fff80, 0x002a55aa,
    561   0x2aab0000, 0x1999cccc, 0x002aab00, 0x001966cc,
    562   0x2aaaaaaa, 0x11117778, 0x00199a00, 0x00003f80,
    563   0x1c7238e4, 0x0a3dc290, 0x00004000, 0x00003f01,
    564   0x11117778, 0x00199a00, 0x00003f80, 0x00003e82,
    565   0x002aab00, 0x001966cc, 0x00003f00, 0x00003e03,
    566   0x001966cc, 0x00003f00, 0x00003e03, 0x000007e0,
    567   0x00193398, 0x00003e80, 0x000007f0, 0x0000017a,
    568   0x00190064, 0x00000800, 0x0000017d, 0x000000fc,
    569   0x00033340, 0x00000180, 0x000000fe, 0x0000007e,
    570   0x0000999c, 0x00000100, 0x0000007f, 0x00000000,
    571   0x00006668, 0x00000080, 0x00000000, 0xffffff82,
    572   0x00003334, 0x00000000, 0xffffff81, 0xffffff04,
    573   0x00000000, 0xffffff80, 0xffffff02, 0xfffff820,
    574   0xffffcccc, 0xffffff00, 0xfffff810, 0xffffc27a,
    575   0xffff9998, 0xfffff800, 0xffffc1fd, 0xffffc1fc,
    576   0xfffcccc0, 0xffffc180, 0xffffc17e, 0xffffc17e,
    577   0xffe6ff9c, 0xffffc100, 0xffffc0ff, 0xffe6cce6,
    578   0xffe6cc68, 0xffffc080, 0xffe699b3, 0xffd6002a,
    579   0xffe69934, 0xffe66680, 0xffd5aad5, 0xffc1017a,
    580   0xf5c270a4, 0xffd55580, 0xffc0817d, 0xffc100fc,
    581   0xeeeebbbc, 0xffc00180, 0xffc080fe, 0xffc1007e,
    582   0xe666999c, 0xffc00100, 0xffc0807f, 0x003f0000,
    583   0xe6666668, 0xffc00080, 0x003f8000, 0x003eff82,
    584   0xe6663334, 0x00400000, 0x003f7f81, 0x002a0054,
    585   0x199a0000, 0x003fff80, 0x002a55aa, 0x00193398,
    586   0x1999cccc, 0x002aab00, 0x001966cc, 0x00003f00,
    587   0x11117778, 0x00199a00, 0x00003f80, 0x00003e82,
    588   0x0a3dc290, 0x00004000, 0x00003f01, 0x00003e04,
    589   0x00199a00, 0x00003f80, 0x00003e82, 0x00003d86,
    590   0x00003f80, 0x00003e82, 0x00003d86, 0x000007d0,
    591   0x00003f00, 0x00003e03, 0x000007e0, 0x00000177,
    592   0x00003e80, 0x000007f0, 0x0000017a, 0x000000fa,
    593   0x00000800, 0x0000017d, 0x000000fc, 0x0000007d,
    594   0x00000180, 0x000000fe, 0x0000007e, 0x00000000,
    595   0x00000100, 0x0000007f, 0x00000000, 0xffffff83,
    596   0x00000080, 0x00000000, 0xffffff82, 0xffffff06,
    597   0x00000000, 0xffffff81, 0xffffff04, 0xfffff830,
    598   0xffffff80, 0xffffff02, 0xfffff820, 0xffffc2f7,
    599   0xffffff00, 0xfffff810, 0xffffc27a, 0xffffc27a,
    600   0xfffff800, 0xffffc1fd, 0xffffc1fc, 0xffffc1fd,
    601   0xffffc180, 0xffffc17e, 0xffffc17e, 0xffe70019,
    602   0xffffc100, 0xffffc0ff, 0xffe6cce6, 0xffd6557f,
    603   0xffffc080, 0xffe699b3, 0xffd6002a, 0xffc18177,
    604   0xffe66680, 0xffd5aad5, 0xffc1017a, 0xffc180fa,
    605   0xffd55580, 0xffc0817d, 0xffc100fc, 0xffc1807d,
    606   0xffc00180, 0xffc080fe, 0xffc1007e, 0x003e8000,
    607   0xffc00100, 0xffc0807f, 0x003f0000, 0x003e7f83,
    608   0xffc00080, 0x003f8000, 0x003eff82, 0x0029aafe,
    609   0x00400000, 0x003f7f81, 0x002a0054, 0x00190064,
    610   0x003fff80, 0x002a55aa, 0x00193398, 0x00003e80,
    611   0x002aab00, 0x001966cc, 0x00003f00, 0x00003e03,
    612   0x00199a00, 0x00003f80, 0x00003e82, 0x00003d86,
    613   0x00004000, 0x00003f01, 0x00003e04, 0x00003d09,
    614 };
    615 const unsigned kExpectedCount_NEON_smull_4S = 576;
    616 
    617 #endif  // VIXL_SIM_SMULL_4S_TRACE_A64_H_
    618