Home | History | Annotate | Download | only in traces
      1 // Copyright 2015, VIXL authors
      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_SMLAL_2D_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SMLAL_2D_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_smlal_2D[] = {
     38   0x000000003e040000, 0x000000003f010001,
     39   0x000000003e820000, 0x0000003f7e830001,
     40   0x0000003efe860000, 0x0000000000000001,
     41   0x0000000000000000, 0x0000000000007f01,
     42   0x0000000000007e00, 0x000000000000fe01,
     43   0x000000000000fc00, 0x00000000000fe001,
     44   0x00000000000fc000, 0x00000000003e0301,
     45   0x00000000003d8600, 0x00000000003e8201,
     46   0x00000000003e0400, 0x00000000003f0101,
     47   0x00000000003e8200, 0x000000003f7e8301,
     48   0x000000003efe8600, 0x000000003f7f0201,
     49   0x000000003eff0400, 0x000000003f7f8101,
     50   0x000000003eff8200, 0x0000196666664d01,
     51   0x0000193333331a00, 0x00002a5555552b01,
     52   0x000029ffffffd600, 0x00003f7ffffe8301,
     53   0x00003efffffe8600, 0x00003f7fffff0201,
     54   0x00003effffff0400, 0x00003f7fffff8101,
     55   0x00003effffff8200, 0xffffc08000000001,
     56   0xffffc10000000000, 0xffffc08000007f01,
     57   0xffffc10000007e00, 0xffffd5aaaaaa5601,
     58   0xffffd5ffffffac00, 0xffffe69999993401,
     59   0xffffe6cccccc6800, 0xffffffffc0800001,
     60   0xffffffffc1000000, 0xffffffffc0807f01,
     61   0xffffffffc1007e00, 0xffffffffc080fe01,
     62   0xffffffffc100fc00, 0xffffffffc0817d01,
     63   0xffffffffc1017a00, 0xffffffffffc08001,
     64   0xffffffffffc10000, 0xffffffffffc0ff01,
     65   0xffffffffffc17e00, 0xffffffffffc17e01,
     66   0xffffffffffc1fc00, 0xffffffffffc1fd01,
     67   0xffffffffffc27a00, 0xfffffffffff02001,
     68   0xfffffffffff04000, 0xfffffffffffe8301,
     69   0xfffffffffffe8300, 0xffffffffff000601,
     70   0xffffffffffff0200, 0xffffffffff800301,
     71   0xffffffffffff8100, 0x0000000000000001,
     72   0x0000000000000000, 0x00000000007ffd01,
     73   0x0000000000007f00, 0x0000000000fffa01,
     74   0x000000000000fe00, 0x000000000fffa001,
     75   0x00000000000fe000, 0x000000003e7e8901,
     76   0x00000000003e0300, 0x000000003efe8601,
     77   0x00000000003e8200, 0x000000003f7e8301,
     78   0x00000000003f0100, 0x0000003ffd000901,
     79   0x000000003f7e8300, 0x0000003ffd800601,
     80   0x000000003f7f0200, 0x0000003ffe000301,
     81   0x000000003f7f8100, 0x001998ffffe66701,
     82   0x0000196666664d00, 0x002aa9aaaa800101,
     83   0x00002a5555552b00, 0x003ffe7ffe800901,
     84   0x00003f7ffffe8300, 0x003ffe7fff000601,
     85   0x00003f7fffff0200, 0x003ffe7fff800301,
     86   0x00003f7fffff8100, 0xffc0018000000001,
     87   0xffffc08000000000, 0xffc00180007ffd01,
     88   0xffffc08000007f00, 0xffd5565555000201,
     89   0xffffd5aaaaaa5600, 0xffe666ffff999c01,
     90   0xffffe69999993400, 0xffffffc001800001,
     91   0xffffffffc0800000, 0xffffffc001fffd01,
     92   0xffffffffc0807f00, 0xffffffc0027ffa01,
     93   0xffffffffc080fe00, 0xffffffc002fff701,
     94   0xffffffffc0817d00, 0xffffffffc0018001,
     95   0xffffffffffc08000, 0xffffffffc0817d01,
     96   0xffffffffffc0ff00, 0xffffffffc1017a01,
     97   0xffffffffffc17e00, 0xffffffffc1817701,
     98   0xffffffffffc1fd00, 0xfffffffff0006001,
     99   0xfffffffffff02000, 0xfffffffffe800901,
    100   0xfffffffffe800900, 0x0000000000000001,
    101   0xffffffffff000600, 0x0000000000000001,
    102   0xffffffffff800300, 0x0000000000000001,
    103   0x0000000000000000, 0x0000000000000001,
    104   0x00000000007ffd00, 0x0000000000000001,
    105   0x0000000000fffa00, 0x0000000000000001,
    106   0x000000000fffa000, 0x0000000000000001,
    107   0x000000003e7e8900, 0x0000000000000001,
    108   0x000000003efe8600, 0x0000000000000001,
    109   0x000000003f7e8300, 0x0000000000000001,
    110   0x0000003ffd000900, 0x0000000000000001,
    111   0x0000003ffd800600, 0x0000000000000001,
    112   0x0000003ffe000300, 0x0000000000000001,
    113   0x001998ffffe66700, 0x0000000000000001,
    114   0x002aa9aaaa800100, 0x0000000000000001,
    115   0x003ffe7ffe800900, 0x0000000000000001,
    116   0x003ffe7fff000600, 0x0000000000000001,
    117   0x003ffe7fff800300, 0x0000000000000001,
    118   0xffc0018000000000, 0x0000000000000001,
    119   0xffc00180007ffd00, 0x0000000000000001,
    120   0xffd5565555000200, 0x0000000000000001,
    121   0xffe666ffff999c00, 0x0000000000000001,
    122   0xffffffc001800000, 0x0000000000000001,
    123   0xffffffc001fffd00, 0x0000000000000001,
    124   0xffffffc0027ffa00, 0x0000000000000001,
    125   0xffffffc002fff700, 0x0000000000000001,
    126   0xffffffffc0018000, 0x0000000000000001,
    127   0xffffffffc0817d00, 0x0000000000000001,
    128   0xffffffffc1017a00, 0x0000000000000001,
    129   0xffffffffc1817700, 0x0000000000000001,
    130   0xfffffffff0006000, 0x0000000000000001,
    131   0x0000000000000000, 0xffffffffffffffff,
    132   0x0000000000000000, 0x0000000000000000,
    133   0x0000000000000000, 0x0000000000000001,
    134   0x0000000000000000, 0x0000000000000002,
    135   0x0000000000000000, 0x0000000000000003,
    136   0x0000000000000000, 0x0000000000000021,
    137   0x0000000000000000, 0x000000000000007e,
    138   0x0000000000000000, 0x000000000000007f,
    139   0x0000000000000000, 0x0000000000000080,
    140   0x0000000000000000, 0x0000000000007ffe,
    141   0x0000000000000000, 0x0000000000007fff,
    142   0x0000000000000000, 0x0000000000008000,
    143   0x0000000000000000, 0x0000000033333334,
    144   0x0000000000000000, 0x0000000055555556,
    145   0x0000000000000000, 0x000000007ffffffe,
    146   0x0000000000000000, 0x000000007fffffff,
    147   0x0000000000000000, 0x0000000080000000,
    148   0x0000000000000000, 0xffffffff80000001,
    149   0x0000000000000000, 0xffffffff80000002,
    150   0x0000000000000000, 0xffffffffaaaaaaab,
    151   0x0000000000000000, 0xffffffffcccccccd,
    152   0x0000000000000000, 0xffffffffffff8001,
    153   0x0000000000000000, 0xffffffffffff8002,
    154   0x0000000000000000, 0xffffffffffff8003,
    155   0x0000000000000000, 0xffffffffffff8004,
    156   0x0000000000000000, 0xffffffffffffff81,
    157   0x0000000000000000, 0xffffffffffffff82,
    158   0x0000000000000000, 0xffffffffffffff83,
    159   0x0000000000000000, 0xffffffffffffff84,
    160   0x0000000000000000, 0xffffffffffffffe1,
    161   0x0000000000000000, 0xfffffffffffffffe,
    162   0xfffffffffffffffd, 0xfffffffffffffffd,
    163   0xfffffffffffffffe, 0xffffffffffffffff,
    164   0xffffffffffffffff, 0x0000000000000001,
    165   0x0000000000000000, 0x0000000000000003,
    166   0x0000000000000001, 0x0000000000000005,
    167   0x0000000000000002, 0x0000000000000041,
    168   0x0000000000000020, 0x00000000000000fb,
    169   0x000000000000007d, 0x00000000000000fd,
    170   0x000000000000007e, 0x00000000000000ff,
    171   0x000000000000007f, 0x000000000000fffb,
    172   0x0000000000007ffd, 0x000000000000fffd,
    173   0x0000000000007ffe, 0x000000000000ffff,
    174   0x0000000000007fff, 0x0000000066666667,
    175   0x0000000033333333, 0x00000000aaaaaaab,
    176   0x0000000055555555, 0x00000000fffffffb,
    177   0x000000007ffffffd, 0x00000000fffffffd,
    178   0x000000007ffffffe, 0x00000000ffffffff,
    179   0x000000007fffffff, 0xffffffff00000001,
    180   0xffffffff80000000, 0xffffffff00000003,
    181   0xffffffff80000001, 0xffffffff55555555,
    182   0xffffffffaaaaaaaa, 0xffffffff99999999,
    183   0xffffffffcccccccc, 0xffffffffffff0001,
    184   0xffffffffffff8000, 0xffffffffffff0003,
    185   0xffffffffffff8001, 0xffffffffffff0005,
    186   0xffffffffffff8002, 0xffffffffffff0007,
    187   0xffffffffffff8003, 0xffffffffffffff01,
    188   0xffffffffffffff80, 0xffffffffffffff03,
    189   0xffffffffffffff81, 0xffffffffffffff05,
    190   0xffffffffffffff82, 0xffffffffffffff07,
    191   0xffffffffffffff83, 0xffffffffffffffc1,
    192   0xffffffffffffffe0, 0xfffffffffffffffb,
    193   0xfffffffffffffffa, 0xffffffffffffffc1,
    194   0xfffffffffffffffc, 0xffffffffffffffe1,
    195   0xfffffffffffffffe, 0x0000000000000001,
    196   0x0000000000000000, 0x0000000000000021,
    197   0x0000000000000002, 0x0000000000000041,
    198   0x0000000000000004, 0x0000000000000401,
    199   0x0000000000000040, 0x0000000000000fa1,
    200   0x00000000000000fa, 0x0000000000000fc1,
    201   0x00000000000000fc, 0x0000000000000fe1,
    202   0x00000000000000fe, 0x00000000000fffa1,
    203   0x000000000000fffa, 0x00000000000fffc1,
    204   0x000000000000fffc, 0x00000000000fffe1,
    205   0x000000000000fffe, 0x0000000666666661,
    206   0x0000000066666666, 0x0000000aaaaaaaa1,
    207   0x00000000aaaaaaaa, 0x0000000fffffffa1,
    208   0x00000000fffffffa, 0x0000000fffffffc1,
    209   0x00000000fffffffc, 0x0000000fffffffe1,
    210   0x00000000fffffffe, 0xfffffff000000001,
    211   0xffffffff00000000, 0xfffffff000000021,
    212   0xffffffff00000002, 0xfffffff555555541,
    213   0xffffffff55555554, 0xfffffff999999981,
    214   0xffffffff99999998, 0xfffffffffff00001,
    215   0xffffffffffff0000, 0xfffffffffff00021,
    216   0xffffffffffff0002, 0xfffffffffff00041,
    217   0xffffffffffff0004, 0xfffffffffff00061,
    218   0xffffffffffff0006, 0xfffffffffffff001,
    219   0xffffffffffffff00, 0xfffffffffffff021,
    220   0xffffffffffffff02, 0xfffffffffffff041,
    221   0xffffffffffffff04, 0xfffffffffffff061,
    222   0xffffffffffffff06, 0xfffffffffffffc01,
    223   0xffffffffffffffc0, 0xffffffffffffffa1,
    224   0xffffffffffffffa0, 0xffffffffffffff07,
    225   0xffffffffffffffc0, 0xffffffffffffff84,
    226   0xffffffffffffffe0, 0x0000000000000001,
    227   0x0000000000000000, 0x000000000000007e,
    228   0x0000000000000020, 0x00000000000000fb,
    229   0x0000000000000040, 0x0000000000000fa1,
    230   0x0000000000000400, 0x0000000000003d0a,
    231   0x0000000000000fa0, 0x0000000000003d87,
    232   0x0000000000000fc0, 0x0000000000003e04,
    233   0x0000000000000fe0, 0x00000000003e7e8a,
    234   0x00000000000fffa0, 0x00000000003e7f07,
    235   0x00000000000fffc0, 0x00000000003e7f84,
    236   0x00000000000fffe0, 0x00000018ffffffe8,
    237   0x0000000666666660, 0x00000029aaaaaa82,
    238   0x0000000aaaaaaaa0, 0x0000003e7ffffe8a,
    239   0x0000000fffffffa0, 0x0000003e7fffff07,
    240   0x0000000fffffffc0, 0x0000003e7fffff84,
    241   0x0000000fffffffe0, 0xffffffc180000001,
    242   0xfffffff000000000, 0xffffffc18000007e,
    243   0xfffffff000000020, 0xffffffd655555503,
    244   0xfffffff555555540, 0xffffffe6ffffff9d,
    245   0xfffffff999999980, 0xffffffffffc18001,
    246   0xfffffffffff00000, 0xffffffffffc1807e,
    247   0xfffffffffff00020, 0xffffffffffc180fb,
    248   0xfffffffffff00040, 0xffffffffffc18178,
    249   0xfffffffffff00060, 0xffffffffffffc181,
    250   0xfffffffffffff000, 0xffffffffffffc1fe,
    251   0xfffffffffffff020, 0xffffffffffffc27b,
    252   0xfffffffffffff040, 0xffffffffffffc2f8,
    253   0xfffffffffffff060, 0xfffffffffffff061,
    254   0xfffffffffffffc00, 0xfffffffffffffe8a,
    255   0xfffffffffffffe89, 0xffffffffffffff05,
    256   0xffffffffffffff06, 0xffffffffffffff83,
    257   0xffffffffffffff83, 0x0000000000000001,
    258   0x0000000000000000, 0x000000000000007f,
    259   0x000000000000007d, 0x00000000000000fd,
    260   0x00000000000000fa, 0x0000000000000fc1,
    261   0x0000000000000fa0, 0x0000000000003d87,
    262   0x0000000000003d09, 0x0000000000003e05,
    263   0x0000000000003d86, 0x0000000000003e83,
    264   0x0000000000003e03, 0x00000000003efe87,
    265   0x00000000003e7e89, 0x00000000003eff05,
    266   0x00000000003e7f06, 0x00000000003eff83,
    267   0x00000000003e7f83, 0x000000193333331b,
    268   0x00000018ffffffe7, 0x00000029ffffffd7,
    269   0x00000029aaaaaa81, 0x0000003efffffe87,
    270   0x0000003e7ffffe89, 0x0000003effffff05,
    271   0x0000003e7fffff06, 0x0000003effffff83,
    272   0x0000003e7fffff83, 0xffffffc100000001,
    273   0xffffffc180000000, 0xffffffc10000007f,
    274   0xffffffc18000007d, 0xffffffd5ffffffad,
    275   0xffffffd655555502, 0xffffffe6cccccc69,
    276   0xffffffe6ffffff9c, 0xffffffffffc10001,
    277   0xffffffffffc18000, 0xffffffffffc1007f,
    278   0xffffffffffc1807d, 0xffffffffffc100fd,
    279   0xffffffffffc180fa, 0xffffffffffc1017b,
    280   0xffffffffffc18177, 0xffffffffffffc101,
    281   0xffffffffffffc180, 0xffffffffffffc17f,
    282   0xffffffffffffc1fd, 0xffffffffffffc1fd,
    283   0xffffffffffffc27a, 0xffffffffffffc27b,
    284   0xffffffffffffc2f7, 0xfffffffffffff041,
    285   0xfffffffffffff060, 0xfffffffffffffe87,
    286   0xfffffffffffffe86, 0xffffffffffffff03,
    287   0xffffffffffffff04, 0xffffffffffffff82,
    288   0xffffffffffffff82, 0x0000000000000001,
    289   0x0000000000000000, 0x0000000000000080,
    290   0x000000000000007e, 0x00000000000000ff,
    291   0x00000000000000fc, 0x0000000000000fe1,
    292   0x0000000000000fc0, 0x0000000000003e04,
    293   0x0000000000003d86, 0x0000000000003e83,
    294   0x0000000000003e04, 0x0000000000003f02,
    295   0x0000000000003e82, 0x00000000003f7e84,
    296   0x00000000003efe86, 0x00000000003f7f03,
    297   0x00000000003eff04, 0x00000000003f7f82,
    298   0x00000000003eff82, 0x000000196666664e,
    299   0x000000193333331a, 0x0000002a5555552c,
    300   0x00000029ffffffd6, 0x0000003f7ffffe84,
    301   0x0000003efffffe86, 0x0000003f7fffff03,
    302   0x0000003effffff04, 0x0000003f7fffff82,
    303   0x0000003effffff82, 0xffffffc080000001,
    304   0xffffffc100000000, 0xffffffc080000080,
    305   0xffffffc10000007e, 0xffffffd5aaaaaa57,
    306   0xffffffd5ffffffac, 0xffffffe699999935,
    307   0xffffffe6cccccc68, 0xffffffffffc08001,
    308   0xffffffffffc10000, 0xffffffffffc08080,
    309   0xffffffffffc1007e, 0xffffffffffc080ff,
    310   0xffffffffffc100fc, 0xffffffffffc0817e,
    311   0xffffffffffc1017a, 0xffffffffffffc081,
    312   0xffffffffffffc100, 0xffffffffffffc100,
    313   0xffffffffffffc17e, 0xffffffffffffc17f,
    314   0xffffffffffffc1fc, 0xffffffffffffc1fe,
    315   0xffffffffffffc27a, 0xfffffffffffff021,
    316   0xfffffffffffff040, 0xfffffffffffffe84,
    317   0xfffffffffffffe83, 0xffffffffffff0007,
    318   0xffffffffffffff02, 0xffffffffffff8004,
    319   0xffffffffffffff81, 0x0000000000000001,
    320   0x0000000000000000, 0x0000000000007ffe,
    321   0x000000000000007f, 0x000000000000fffb,
    322   0x00000000000000fe, 0x00000000000fffa1,
    323   0x0000000000000fe0, 0x00000000003e7e8a,
    324   0x0000000000003e03, 0x00000000003efe87,
    325   0x0000000000003e82, 0x00000000003f7e84,
    326   0x0000000000003f01, 0x000000003ffd000a,
    327   0x00000000003f7e83, 0x000000003ffd8007,
    328   0x00000000003f7f02, 0x000000003ffe0004,
    329   0x00000000003f7f81, 0x00001998ffffe668,
    330   0x000000196666664d, 0x00002aa9aaaa8002,
    331   0x0000002a5555552b, 0x00003ffe7ffe800a,
    332   0x0000003f7ffffe83, 0x00003ffe7fff0007,
    333   0x0000003f7fffff02, 0x00003ffe7fff8004,
    334   0x0000003f7fffff81, 0xffffc00180000001,
    335   0xffffffc080000000, 0xffffc00180007ffe,
    336   0xffffffc08000007f, 0xffffd55655550003,
    337   0xffffffd5aaaaaa56, 0xffffe666ffff999d,
    338   0xffffffe699999934, 0xffffffffc0018001,
    339   0xffffffffffc08000, 0xffffffffc001fffe,
    340   0xffffffffffc0807f, 0xffffffffc0027ffb,
    341   0xffffffffffc080fe, 0xffffffffc002fff8,
    342   0xffffffffffc0817d, 0xffffffffffc00181,
    343   0xffffffffffffc080, 0xffffffffffc0817e,
    344   0xffffffffffffc0ff, 0xffffffffffc1017b,
    345   0xffffffffffffc17e, 0xffffffffffc18178,
    346   0xffffffffffffc1fd, 0xfffffffffff00061,
    347   0xfffffffffffff020, 0xfffffffffffe800a,
    348   0xfffffffffffe8009, 0xffffffffffff0005,
    349   0xffffffffffff0006, 0xffffffffffff8003,
    350   0xffffffffffff8003, 0x0000000000000001,
    351   0x0000000000000000, 0x0000000000007fff,
    352   0x0000000000007ffd, 0x000000000000fffd,
    353   0x000000000000fffa, 0x00000000000fffc1,
    354   0x00000000000fffa0, 0x00000000003e7f07,
    355   0x00000000003e7e89, 0x00000000003eff05,
    356   0x00000000003efe86, 0x00000000003f7f03,
    357   0x00000000003f7e83, 0x000000003ffd8007,
    358   0x000000003ffd0009, 0x000000003ffe0005,
    359   0x000000003ffd8006, 0x000000003ffe8003,
    360   0x000000003ffe0003, 0x000019993333199b,
    361   0x00001998ffffe667, 0x00002aa9ffffd557,
    362   0x00002aa9aaaa8001, 0x00003ffefffe8007,
    363   0x00003ffe7ffe8009, 0x00003ffeffff0005,
    364   0x00003ffe7fff0006, 0x00003ffeffff8003,
    365   0x00003ffe7fff8003, 0xffffc00100000001,
    366   0xffffc00180000000, 0xffffc00100007fff,
    367   0xffffc00180007ffd, 0xffffd555ffffaaad,
    368   0xffffd55655550002, 0xffffe666cccc6669,
    369   0xffffe666ffff999c, 0xffffffffc0010001,
    370   0xffffffffc0018000, 0xffffffffc0017fff,
    371   0xffffffffc001fffd, 0xffffffffc001fffd,
    372   0xffffffffc0027ffa, 0xffffffffc0027ffb,
    373   0xffffffffc002fff7, 0xffffffffffc00101,
    374   0xffffffffffc00180, 0xffffffffffc080ff,
    375   0xffffffffffc0817d, 0xffffffffffc100fd,
    376   0xffffffffffc1017a, 0xffffffffffc180fb,
    377   0xffffffffffc18177, 0xfffffffffff00041,
    378   0xfffffffffff00060, 0xfffffffffffe8007,
    379   0xfffffffffffe8006, 0xffffffffffff0003,
    380   0xffffffffffff0004, 0xffffffffffff8002,
    381   0xffffffffffff8002, 0x0000000000000001,
    382   0x0000000000000000, 0x0000000000008000,
    383   0x0000000000007ffe, 0x000000000000ffff,
    384   0x000000000000fffc, 0x00000000000fffe1,
    385   0x00000000000fffc0, 0x00000000003e7f84,
    386   0x00000000003e7f06, 0x00000000003eff83,
    387   0x00000000003eff04, 0x00000000003f7f82,
    388   0x00000000003f7f02, 0x000000003ffe0004,
    389   0x000000003ffd8006, 0x000000003ffe8003,
    390   0x000000003ffe0004, 0x000000003fff0002,
    391   0x000000003ffe8002, 0x0000199966664cce,
    392   0x000019993333199a, 0x00002aaa55552aac,
    393   0x00002aa9ffffd556, 0x00003fff7ffe8004,
    394   0x00003ffefffe8006, 0x00003fff7fff0003,
    395   0x00003ffeffff0004, 0x00003fff7fff8002,
    396   0x00003ffeffff8002, 0xffffc00080000001,
    397   0xffffc00100000000, 0xffffc00080008000,
    398   0xffffc00100007ffe, 0xffffd555aaaa5557,
    399   0xffffd555ffffaaac, 0xffffe66699993335,
    400   0xffffe666cccc6668, 0xffffffffc0008001,
    401   0xffffffffc0010000, 0xffffffffc0010000,
    402   0xffffffffc0017ffe, 0xffffffffc0017fff,
    403   0xffffffffc001fffc, 0xffffffffc001fffe,
    404   0xffffffffc0027ffa, 0xffffffffffc00081,
    405   0xffffffffffc00100, 0xffffffffffc08080,
    406   0xffffffffffc080fe, 0xffffffffffc1007f,
    407   0xffffffffffc100fc, 0xffffffffffc1807e,
    408   0xffffffffffc180fa, 0xfffffffffff00021,
    409   0xfffffffffff00040, 0xfffffffffffe8004,
    410   0xfffffffffffe8003, 0xffffffff9999999b,
    411   0xffffffffffff0002, 0xffffffffccccccce,
    412   0xffffffffffff8001, 0x0000000000000001,
    413   0x0000000000000000, 0x0000000033333334,
    414   0x0000000000007fff, 0x0000000066666667,
    415   0x000000000000fffe, 0x0000000666666661,
    416   0x00000000000fffe0, 0x00000018ffffffe8,
    417   0x00000000003e7f83, 0x000000193333331b,
    418   0x00000000003eff82, 0x000000196666664e,
    419   0x00000000003f7f81, 0x00001998ffffe668,
    420   0x000000003ffe0003, 0x000019993333199b,
    421   0x000000003ffe8002, 0x0000199966664cce,
    422   0x000000003fff0001, 0x0a3d70a3c28f5c2a,
    423   0x0000199966664ccd, 0x11111110eeeeeef0,
    424   0x00002aaa55552aab, 0x19999998e6666668,
    425   0x00003fff7ffe8003, 0x199999991999999b,
    426   0x00003fff7fff0002, 0x199999994cccccce,
    427   0x00003fff7fff8001, 0xe666666680000001,
    428   0xffffc00080000000, 0xe6666666b3333334,
    429   0xffffc00080007fff, 0xeeeeeeeedddddddf,
    430   0xffffd555aaaa5556, 0xf5c28f5c0a3d70a5,
    431   0xffffe66699993334, 0xffffe66666668001,
    432   0xffffffffc0008000, 0xffffe6669999b334,
    433   0xffffffffc000ffff, 0xffffe666cccce667,
    434   0xffffffffc0017ffe, 0xffffe6670000199a,
    435   0xffffffffc001fffd, 0xffffffe666666681,
    436   0xffffffffffc00080, 0xffffffe6999999b4,
    437   0xffffffffffc0807f, 0xffffffe6cccccce7,
    438   0xffffffffffc1007e, 0xffffffe70000001a,
    439   0xffffffffffc1807d, 0xfffffff9999999a1,
    440   0xfffffffffff00020, 0xffffffff66666668,
    441   0xffffffff66666667, 0xffffffff55555557,
    442   0xffffffff9999999a, 0xffffffffaaaaaaac,
    443   0xffffffffcccccccd, 0x0000000000000001,
    444   0x0000000000000000, 0x0000000055555556,
    445   0x0000000033333333, 0x00000000aaaaaaab,
    446   0x0000000066666666, 0x0000000aaaaaaaa1,
    447   0x0000000666666660, 0x00000029aaaaaa82,
    448   0x00000018ffffffe7, 0x00000029ffffffd7,
    449   0x000000193333331a, 0x0000002a5555552c,
    450   0x000000196666664d, 0x00002aa9aaaa8002,
    451   0x00001998ffffe667, 0x00002aa9ffffd557,
    452   0x000019993333199a, 0x00002aaa55552aac,
    453   0x0000199966664ccd, 0x11111110eeeeeef0,
    454   0x0a3d70a3c28f5c29, 0x1c71c71c38e38e3a,
    455   0x11111110eeeeeeef, 0x2aaaaaa980000002,
    456   0x19999998e6666667, 0x2aaaaaa9d5555557,
    457   0x199999991999999a, 0x2aaaaaaa2aaaaaac,
    458   0x199999994ccccccd, 0xd555555580000001,
    459   0xe666666680000000, 0xd5555555d5555556,
    460   0xe6666666b3333333, 0xe38e38e371c71c73,
    461   0xeeeeeeeeddddddde, 0xeeeeeeeebbbbbbbd,
    462   0xf5c28f5c0a3d70a4, 0xffffd55555558001,
    463   0xffffe66666668000, 0xffffd555aaaad556,
    464   0xffffe6669999b333, 0xffffd55600002aab,
    465   0xffffe666cccce666, 0xffffd55655558000,
    466   0xffffe66700001999, 0xffffffd555555581,
    467   0xffffffe666666680, 0xffffffd5aaaaaad6,
    468   0xffffffe6999999b3, 0xffffffd60000002b,
    469   0xffffffe6cccccce6, 0xffffffd655555580,
    470   0xffffffe700000019, 0xfffffff555555561,
    471   0xfffffff9999999a0, 0xffffffff00000002,
    472   0xffffffff00000001, 0xffffffff00000007,
    473   0xffffffff55555556, 0xffffffff80000004,
    474   0xffffffffaaaaaaab, 0x0000000000000001,
    475   0x0000000000000000, 0x000000007ffffffe,
    476   0x0000000055555555, 0x00000000fffffffb,
    477   0x00000000aaaaaaaa, 0x0000000fffffffa1,
    478   0x0000000aaaaaaaa0, 0x0000003e7ffffe8a,
    479   0x00000029aaaaaa81, 0x0000003efffffe87,
    480   0x00000029ffffffd6, 0x0000003f7ffffe84,
    481   0x0000002a5555552b, 0x00003ffe7ffe800a,
    482   0x00002aa9aaaa8001, 0x00003ffefffe8007,
    483   0x00002aa9ffffd556, 0x00003fff7ffe8004,
    484   0x00002aaa55552aab, 0x19999998e6666668,
    485   0x11111110eeeeeeef, 0x2aaaaaa980000002,
    486   0x1c71c71c38e38e39, 0x3ffffffd0000000a,
    487   0x2aaaaaa980000001, 0x3ffffffd80000007,
    488   0x2aaaaaa9d5555556, 0x3ffffffe00000004,
    489   0x2aaaaaaa2aaaaaab, 0xc000000180000001,
    490   0xd555555580000000, 0xc0000001fffffffe,
    491   0xd5555555d5555555, 0xd555555600000003,
    492   0xe38e38e371c71c72, 0xe66666669999999d,
    493   0xeeeeeeeebbbbbbbc, 0xffffc00000018001,
    494   0xffffd55555558000, 0xffffc00080017ffe,
    495   0xffffd555aaaad555, 0xffffc00100017ffb,
    496   0xffffd55600002aaa, 0xffffc00180017ff8,
    497   0xffffd55655557fff, 0xffffffc000000181,
    498   0xffffffd555555580, 0xffffffc08000017e,
    499   0xffffffd5aaaaaad5, 0xffffffc10000017b,
    500   0xffffffd60000002a, 0xffffffc180000178,
    501   0xffffffd65555557f, 0xfffffff000000061,
    502   0xfffffff555555560, 0xfffffffe8000000a,
    503   0xfffffffe80000009, 0xffffffff00000005,
    504   0xffffffff00000006, 0xffffffff80000003,
    505   0xffffffff80000003, 0x0000000000000001,
    506   0x0000000000000000, 0x000000007fffffff,
    507   0x000000007ffffffd, 0x00000000fffffffd,
    508   0x00000000fffffffa, 0x0000000fffffffc1,
    509   0x0000000fffffffa0, 0x0000003e7fffff07,
    510   0x0000003e7ffffe89, 0x0000003effffff05,
    511   0x0000003efffffe86, 0x0000003f7fffff03,
    512   0x0000003f7ffffe83, 0x00003ffe7fff0007,
    513   0x00003ffe7ffe8009, 0x00003ffeffff0005,
    514   0x00003ffefffe8006, 0x00003fff7fff0003,
    515   0x00003fff7ffe8003, 0x199999991999999b,
    516   0x19999998e6666667, 0x2aaaaaa9d5555557,
    517   0x2aaaaaa980000001, 0x3ffffffd80000007,
    518   0x3ffffffd00000009, 0x3ffffffe00000005,
    519   0x3ffffffd80000006, 0x3ffffffe80000003,
    520   0x3ffffffe00000003, 0xc000000100000001,
    521   0xc000000180000000, 0xc00000017fffffff,
    522   0xc0000001fffffffd, 0xd5555555aaaaaaad,
    523   0xd555555600000002, 0xe666666666666669,
    524   0xe66666669999999c, 0xffffc00000010001,
    525   0xffffc00000018000, 0xffffc0008000ffff,
    526   0xffffc00080017ffd, 0xffffc0010000fffd,
    527   0xffffc00100017ffa, 0xffffc0018000fffb,
    528   0xffffc00180017ff7, 0xffffffc000000101,
    529   0xffffffc000000180, 0xffffffc0800000ff,
    530   0xffffffc08000017d, 0xffffffc1000000fd,
    531   0xffffffc10000017a, 0xffffffc1800000fb,
    532   0xffffffc180000177, 0xfffffff000000041,
    533   0xfffffff000000060, 0xfffffffe80000007,
    534   0xfffffffe80000006, 0xffffffff00000003,
    535   0xffffffff00000004, 0xffffffff80000002,
    536   0xffffffff80000002, 0x0000000000000001,
    537   0x0000000000000000, 0x0000000080000000,
    538   0x000000007ffffffe, 0x00000000ffffffff,
    539   0x00000000fffffffc, 0x0000000fffffffe1,
    540   0x0000000fffffffc0, 0x0000003e7fffff84,
    541   0x0000003e7fffff06, 0x0000003effffff83,
    542   0x0000003effffff04, 0x0000003f7fffff82,
    543   0x0000003f7fffff02, 0x00003ffe7fff8004,
    544   0x00003ffe7fff0006, 0x00003ffeffff8003,
    545   0x00003ffeffff0004, 0x00003fff7fff8002,
    546   0x00003fff7fff0002, 0x199999994cccccce,
    547   0x199999991999999a, 0x2aaaaaaa2aaaaaac,
    548   0x2aaaaaa9d5555556, 0x3ffffffe00000004,
    549   0x3ffffffd80000006, 0x3ffffffe80000003,
    550   0x3ffffffe00000004, 0x3fffffff00000002,
    551   0x3ffffffe80000002, 0xc000000080000001,
    552   0xc000000100000000, 0xc000000100000000,
    553   0xc00000017ffffffe, 0xd555555555555557,
    554   0xd5555555aaaaaaac, 0xe666666633333335,
    555   0xe666666666666668, 0xffffc00000008001,
    556   0xffffc00000010000, 0xffffc00080008000,
    557   0xffffc0008000fffe, 0xffffc00100007fff,
    558   0xffffc0010000fffc, 0xffffc00180007ffe,
    559   0xffffc0018000fffa, 0xffffffc000000081,
    560   0xffffffc000000100, 0xffffffc080000080,
    561   0xffffffc0800000fe, 0xffffffc10000007f,
    562   0xffffffc1000000fc, 0xffffffc18000007e,
    563   0xffffffc1800000fa, 0xfffffff000000021,
    564   0xfffffff000000040, 0xfffffffe80000004,
    565   0xfffffffe80000003, 0x0000000100000001,
    566   0xffffffff00000002, 0x0000000080000001,
    567   0xffffffff80000001, 0x0000000000000001,
    568   0x0000000000000000, 0xffffffff80000001,
    569   0x000000007fffffff, 0xffffffff00000001,
    570   0x00000000fffffffe, 0xfffffff000000001,
    571   0x0000000fffffffe0, 0xffffffc180000001,
    572   0x0000003e7fffff83, 0xffffffc100000001,
    573   0x0000003effffff82, 0xffffffc080000001,
    574   0x0000003f7fffff81, 0xffffc00180000001,
    575   0x00003ffe7fff8003, 0xffffc00100000001,
    576   0x00003ffeffff8002, 0xffffc00080000001,
    577   0x00003fff7fff8001, 0xe666666680000001,
    578   0x199999994ccccccd, 0xd555555580000001,
    579   0x2aaaaaaa2aaaaaab, 0xc000000180000001,
    580   0x3ffffffe00000003, 0xc000000100000001,
    581   0x3ffffffe80000002, 0xc000000080000001,
    582   0x3fffffff00000001, 0x4000000000000001,
    583   0xc000000080000000, 0x3fffffff80000001,
    584   0xc0000000ffffffff, 0x2aaaaaab00000001,
    585   0xd555555555555556, 0x1999999a00000001,
    586   0xe666666633333334, 0x0000400000000001,
    587   0xffffc00000008000, 0x00003fff80000001,
    588   0xffffc00080007fff, 0x00003fff00000001,
    589   0xffffc00100007ffe, 0x00003ffe80000001,
    590   0xffffc00180007ffd, 0x0000004000000001,
    591   0xffffffc000000080, 0x0000003f80000001,
    592   0xffffffc08000007f, 0x0000003f00000001,
    593   0xffffffc10000007e, 0x0000003e80000001,
    594   0xffffffc18000007d, 0x0000001000000001,
    595   0xfffffff000000020, 0x0000000180000001,
    596   0x0000000180000000, 0x00000000ffffffff,
    597   0x0000000100000000, 0x0000000080000000,
    598   0x0000000080000000, 0x0000000000000001,
    599   0x0000000000000000, 0xffffffff80000002,
    600   0xffffffff80000000, 0xffffffff00000003,
    601   0xffffffff00000000, 0xfffffff000000021,
    602   0xfffffff000000000, 0xffffffc18000007e,
    603   0xffffffc180000000, 0xffffffc10000007f,
    604   0xffffffc100000000, 0xffffffc080000080,
    605   0xffffffc080000000, 0xffffc00180007ffe,
    606   0xffffc00180000000, 0xffffc00100007fff,
    607   0xffffc00100000000, 0xffffc00080008000,
    608   0xffffc00080000000, 0xe6666666b3333334,
    609   0xe666666680000000, 0xd5555555d5555556,
    610   0xd555555580000000, 0xc0000001fffffffe,
    611   0xc000000180000000, 0xc00000017fffffff,
    612   0xc000000100000000, 0xc000000100000000,
    613   0xc000000080000000, 0x3fffffff80000001,
    614   0x4000000000000000, 0x3fffffff00000002,
    615   0x3fffffff80000000, 0x2aaaaaaaaaaaaaab,
    616   0x2aaaaaab00000000, 0x19999999cccccccd,
    617   0x1999999a00000000, 0x00003fffffff8001,
    618   0x0000400000000000, 0x00003fff7fff8002,
    619   0x00003fff80000000, 0x00003ffeffff8003,
    620   0x00003fff00000000, 0x00003ffe7fff8004,
    621   0x00003ffe80000000, 0x0000003fffffff81,
    622   0x0000004000000000, 0x0000003f7fffff82,
    623   0x0000003f80000000, 0x0000003effffff83,
    624   0x0000003f00000000, 0x0000003e7fffff84,
    625   0x0000003e80000000, 0x0000000fffffffe1,
    626   0x0000001000000000, 0x000000017ffffffe,
    627   0x000000017ffffffd, 0x00000000aaaaaaad,
    628   0x00000000fffffffe, 0x0000000055555557,
    629   0x000000007fffffff, 0x0000000000000001,
    630   0x0000000000000000, 0xffffffffaaaaaaab,
    631   0xffffffff80000001, 0xffffffff55555555,
    632   0xffffffff00000002, 0xfffffff555555541,
    633   0xfffffff000000020, 0xffffffd655555503,
    634   0xffffffc18000007d, 0xffffffd5ffffffad,
    635   0xffffffc10000007e, 0xffffffd5aaaaaa57,
    636   0xffffffc08000007f, 0xffffd55655550003,
    637   0xffffc00180007ffd, 0xffffd555ffffaaad,
    638   0xffffc00100007ffe, 0xffffd555aaaa5557,
    639   0xffffc00080007fff, 0xeeeeeeeedddddddf,
    640   0xe6666666b3333333, 0xe38e38e371c71c73,
    641   0xd5555555d5555555, 0xd555555600000003,
    642   0xc0000001fffffffd, 0xd5555555aaaaaaad,
    643   0xc00000017ffffffe, 0xd555555555555557,
    644   0xc0000000ffffffff, 0x2aaaaaab00000001,
    645   0x3fffffff80000000, 0x2aaaaaaaaaaaaaab,
    646   0x3fffffff00000001, 0x1c71c71ce38e38e5,
    647   0x2aaaaaaaaaaaaaaa, 0x1111111177777779,
    648   0x19999999cccccccc, 0x00002aaaaaab0001,
    649   0x00003fffffff8000, 0x00002aaa5555aaab,
    650   0x00003fff7fff8001, 0x00002aaa00005555,
    651   0x00003ffeffff8002, 0x00002aa9aaaaffff,
    652   0x00003ffe7fff8003, 0x0000002aaaaaab01,
    653   0x0000003fffffff80, 0x0000002a555555ab,
    654   0x0000003f7fffff81, 0x0000002a00000055,
    655   0x0000003effffff82, 0x00000029aaaaaaff,
    656   0x0000003e7fffff83, 0x0000000aaaaaaac1,
    657   0x0000000fffffffe0, 0x0000000100000003,
    658   0x0000000100000002, 0x0000000066666669,
    659   0x00000000aaaaaaac, 0x0000000033333335,
    660   0x0000000055555556, 0x0000000000000001,
    661   0x0000000000000000, 0xffffffffcccccccd,
    662   0xffffffffaaaaaaaa, 0xffffffff99999999,
    663   0xffffffff55555554, 0xfffffff999999981,
    664   0xfffffff555555540, 0xffffffe6ffffff9d,
    665   0xffffffd655555502, 0xffffffe6cccccc69,
    666   0xffffffd5ffffffac, 0xffffffe699999935,
    667   0xffffffd5aaaaaa56, 0xffffe666ffff999d,
    668   0xffffd55655550002, 0xffffe666cccc6669,
    669   0xffffd555ffffaaac, 0xffffe66699993335,
    670   0xffffd555aaaa5556, 0xf5c28f5c0a3d70a5,
    671   0xeeeeeeeeddddddde, 0xeeeeeeeebbbbbbbd,
    672   0xe38e38e371c71c72, 0xe66666669999999d,
    673   0xd555555600000002, 0xe666666666666669,
    674   0xd5555555aaaaaaac, 0xe666666633333335,
    675   0xd555555555555556, 0x1999999a00000001,
    676   0x2aaaaaab00000000, 0x19999999cccccccd,
    677   0x2aaaaaaaaaaaaaaa, 0x1111111177777779,
    678   0x1c71c71ce38e38e4, 0x0a3d70a428f5c291,
    679   0x1111111177777778, 0x00001999999a0001,
    680   0x00002aaaaaab0000, 0x000019996666cccd,
    681   0x00002aaa5555aaaa, 0x0000199933339999,
    682   0x00002aaa00005554, 0x0000199900006665,
    683   0x00002aa9aaaafffe, 0x0000001999999a01,
    684   0x0000002aaaaaab00, 0x00000019666666cd,
    685   0x0000002a555555aa, 0x0000001933333399,
    686   0x0000002a00000054, 0x0000001900000065,
    687   0x00000029aaaaaafe, 0x0000000666666681,
    688   0x0000000aaaaaaac0, 0x000000009999999d,
    689   0x000000009999999c, 0x0000000000010001,
    690   0x0000000066666668, 0x0000000000008001,
    691   0x0000000033333334, 0x0000000000000001,
    692   0x0000000000000000, 0xffffffffffff8001,
    693   0xffffffffcccccccc, 0xffffffffffff0001,
    694   0xffffffff99999998, 0xfffffffffff00001,
    695   0xfffffff999999980, 0xffffffffffc18001,
    696   0xffffffe6ffffff9c, 0xffffffffffc10001,
    697   0xffffffe6cccccc68, 0xffffffffffc08001,
    698   0xffffffe699999934, 0xffffffffc0018001,
    699   0xffffe666ffff999c, 0xffffffffc0010001,
    700   0xffffe666cccc6668, 0xffffffffc0008001,
    701   0xffffe66699993334, 0xffffe66666668001,
    702   0xf5c28f5c0a3d70a4, 0xffffd55555558001,
    703   0xeeeeeeeebbbbbbbc, 0xffffc00000018001,
    704   0xe66666669999999c, 0xffffc00000010001,
    705   0xe666666666666668, 0xffffc00000008001,
    706   0xe666666633333334, 0x0000400000000001,
    707   0x1999999a00000000, 0x00003fffffff8001,
    708   0x19999999cccccccc, 0x00002aaaaaab0001,
    709   0x1111111177777778, 0x00001999999a0001,
    710   0x0a3d70a428f5c290, 0x0000000040000001,
    711   0x00001999999a0000, 0x000000003fff8001,
    712   0x000019996666cccc, 0x000000003fff0001,
    713   0x0000199933339998, 0x000000003ffe8001,
    714   0x0000199900006664, 0x0000000000400001,
    715   0x0000001999999a00, 0x00000000003f8001,
    716   0x00000019666666cc, 0x00000000003f0001,
    717   0x0000001933333398, 0x00000000003e8001,
    718   0x0000001900000064, 0x0000000000100001,
    719   0x0000000666666680, 0x0000000000018001,
    720   0x0000000000018000, 0x000000000000ffff,
    721   0x0000000000010000, 0x0000000000008000,
    722   0x0000000000008000, 0x0000000000000001,
    723   0x0000000000000000, 0xffffffffffff8002,
    724   0xffffffffffff8000, 0xffffffffffff0003,
    725   0xffffffffffff0000, 0xfffffffffff00021,
    726   0xfffffffffff00000, 0xffffffffffc1807e,
    727   0xffffffffffc18000, 0xffffffffffc1007f,
    728   0xffffffffffc10000, 0xffffffffffc08080,
    729   0xffffffffffc08000, 0xffffffffc001fffe,
    730   0xffffffffc0018000, 0xffffffffc0017fff,
    731   0xffffffffc0010000, 0xffffffffc0010000,
    732   0xffffffffc0008000, 0xffffe6669999b334,
    733   0xffffe66666668000, 0xffffd555aaaad556,
    734   0xffffd55555558000, 0xffffc00080017ffe,
    735   0xffffc00000018000, 0xffffc0008000ffff,
    736   0xffffc00000010000, 0xffffc00080008000,
    737   0xffffc00000008000, 0x00003fff80000001,
    738   0x0000400000000000, 0x00003fff7fff8002,
    739   0x00003fffffff8000, 0x00002aaa5555aaab,
    740   0x00002aaaaaab0000, 0x000019996666cccd,
    741   0x00001999999a0000, 0x000000003fff8001,
    742   0x0000000040000000, 0x000000003fff0002,
    743   0x000000003fff8000, 0x000000003ffe8003,
    744   0x000000003fff0000, 0x000000003ffe0004,
    745   0x000000003ffe8000, 0x00000000003fff81,
    746   0x0000000000400000, 0x00000000003f7f82,
    747   0x00000000003f8000, 0x00000000003eff83,
    748   0x00000000003f0000, 0x00000000003e7f84,
    749   0x00000000003e8000, 0x00000000000fffe1,
    750   0x0000000000100000, 0x0000000000017ffe,
    751   0x0000000000017ffd, 0x000000000000fffd,
    752   0x000000000000fffe, 0x0000000000007fff,
    753   0x0000000000007fff, 0x0000000000000001,
    754   0x0000000000000000, 0xffffffffffff8003,
    755   0xffffffffffff8001, 0xffffffffffff0005,
    756   0xffffffffffff0002, 0xfffffffffff00041,
    757   0xfffffffffff00020, 0xffffffffffc180fb,
    758   0xffffffffffc1807d, 0xffffffffffc100fd,
    759   0xffffffffffc1007e, 0xffffffffffc080ff,
    760   0xffffffffffc0807f, 0xffffffffc0027ffb,
    761   0xffffffffc001fffd, 0xffffffffc001fffd,
    762   0xffffffffc0017ffe, 0xffffffffc0017fff,
    763   0xffffffffc000ffff, 0xffffe666cccce667,
    764   0xffffe6669999b333, 0xffffd55600002aab,
    765   0xffffd555aaaad555, 0xffffc00100017ffb,
    766   0xffffc00080017ffd, 0xffffc0010000fffd,
    767   0xffffc0008000fffe, 0xffffc00100007fff,
    768   0xffffc00080007fff, 0x00003fff00000001,
    769   0x00003fff80000000, 0x00003ffeffff8003,
    770   0x00003fff7fff8001, 0x00002aaa00005555,
    771   0x00002aaa5555aaaa, 0x0000199933339999,
    772   0x000019996666cccc, 0x000000003fff0001,
    773   0x000000003fff8000, 0x000000003ffe8003,
    774   0x000000003fff0001, 0x000000003ffe0005,
    775   0x000000003ffe8002, 0x000000003ffd8007,
    776   0x000000003ffe0003, 0x00000000003fff01,
    777   0x00000000003fff80, 0x00000000003f7f03,
    778   0x00000000003f7f81, 0x00000000003eff05,
    779   0x00000000003eff82, 0x00000000003e7f07,
    780   0x00000000003e7f83, 0x00000000000fffc1,
    781   0x00000000000fffe0, 0x0000000000017ffb,
    782   0x0000000000017ffa, 0x000000000000fffb,
    783   0x000000000000fffc, 0x0000000000007ffe,
    784   0x0000000000007ffe, 0x0000000000000001,
    785   0x0000000000000000, 0xffffffffffff8004,
    786   0xffffffffffff8002, 0xffffffffffff0007,
    787   0xffffffffffff0004, 0xfffffffffff00061,
    788   0xfffffffffff00040, 0xffffffffffc18178,
    789   0xffffffffffc180fa, 0xffffffffffc1017b,
    790   0xffffffffffc100fc, 0xffffffffffc0817e,
    791   0xffffffffffc080fe, 0xffffffffc002fff8,
    792   0xffffffffc0027ffa, 0xffffffffc0027ffb,
    793   0xffffffffc001fffc, 0xffffffffc001fffe,
    794   0xffffffffc0017ffe, 0xffffe6670000199a,
    795   0xffffe666cccce666, 0xffffd55655558000,
    796   0xffffd55600002aaa, 0xffffc00180017ff8,
    797   0xffffc00100017ffa, 0xffffc0018000fffb,
    798   0xffffc0010000fffc, 0xffffc00180007ffe,
    799   0xffffc00100007ffe, 0x00003ffe80000001,
    800   0x00003fff00000000, 0x00003ffe7fff8004,
    801   0x00003ffeffff8002, 0x00002aa9aaaaffff,
    802   0x00002aaa00005554, 0x0000199900006665,
    803   0x0000199933339998, 0x000000003ffe8001,
    804   0x000000003fff0000, 0x000000003ffe0004,
    805   0x000000003ffe8002, 0x000000003ffd8007,
    806   0x000000003ffe0004, 0x000000003ffd000a,
    807   0x000000003ffd8006, 0x00000000003ffe81,
    808   0x00000000003fff00, 0x00000000003f7e84,
    809   0x00000000003f7f02, 0x00000000003efe87,
    810   0x00000000003eff04, 0x00000000003e7e8a,
    811   0x00000000003e7f06, 0x00000000000fffa1,
    812   0x00000000000fffc0, 0x0000000000017ff8,
    813   0x0000000000017ff7, 0x0000000000000101,
    814   0x000000000000fffa, 0x0000000000000081,
    815   0x0000000000007ffd, 0x0000000000000001,
    816   0x0000000000000000, 0xffffffffffffff81,
    817   0xffffffffffff8003, 0xffffffffffffff01,
    818   0xffffffffffff0006, 0xfffffffffffff001,
    819   0xfffffffffff00060, 0xffffffffffffc181,
    820   0xffffffffffc18177, 0xffffffffffffc101,
    821   0xffffffffffc1017a, 0xffffffffffffc081,
    822   0xffffffffffc0817d, 0xffffffffffc00181,
    823   0xffffffffc002fff7, 0xffffffffffc00101,
    824   0xffffffffc0027ffa, 0xffffffffffc00081,
    825   0xffffffffc001fffd, 0xffffffe666666681,
    826   0xffffe66700001999, 0xffffffd555555581,
    827   0xffffd55655557fff, 0xffffffc000000181,
    828   0xffffc00180017ff7, 0xffffffc000000101,
    829   0xffffc0018000fffa, 0xffffffc000000081,
    830   0xffffc00180007ffd, 0x0000004000000001,
    831   0x00003ffe80000000, 0x0000003fffffff81,
    832   0x00003ffe7fff8003, 0x0000002aaaaaab01,
    833   0x00002aa9aaaafffe, 0x0000001999999a01,
    834   0x0000199900006664, 0x0000000000400001,
    835   0x000000003ffe8000, 0x00000000003fff81,
    836   0x000000003ffe0003, 0x00000000003fff01,
    837   0x000000003ffd8006, 0x00000000003ffe81,
    838   0x000000003ffd0009, 0x0000000000004001,
    839   0x00000000003ffe80, 0x0000000000003f81,
    840   0x00000000003f7e83, 0x0000000000003f01,
    841   0x00000000003efe86, 0x0000000000003e81,
    842   0x00000000003e7e89, 0x0000000000001001,
    843   0x00000000000fffa0, 0x0000000000000181,
    844   0x0000000000000180, 0x00000000000000ff,
    845   0x0000000000000100, 0x0000000000000080,
    846   0x0000000000000080, 0x0000000000000001,
    847   0x0000000000000000, 0xffffffffffffff82,
    848   0xffffffffffffff80, 0xffffffffffffff03,
    849   0xffffffffffffff00, 0xfffffffffffff021,
    850   0xfffffffffffff000, 0xffffffffffffc1fe,
    851   0xffffffffffffc180, 0xffffffffffffc17f,
    852   0xffffffffffffc100, 0xffffffffffffc100,
    853   0xffffffffffffc080, 0xffffffffffc0817e,
    854   0xffffffffffc00180, 0xffffffffffc080ff,
    855   0xffffffffffc00100, 0xffffffffffc08080,
    856   0xffffffffffc00080, 0xffffffe6999999b4,
    857   0xffffffe666666680, 0xffffffd5aaaaaad6,
    858   0xffffffd555555580, 0xffffffc08000017e,
    859   0xffffffc000000180, 0xffffffc0800000ff,
    860   0xffffffc000000100, 0xffffffc080000080,
    861   0xffffffc000000080, 0x0000003f80000001,
    862   0x0000004000000000, 0x0000003f7fffff82,
    863   0x0000003fffffff80, 0x0000002a555555ab,
    864   0x0000002aaaaaab00, 0x00000019666666cd,
    865   0x0000001999999a00, 0x00000000003f8001,
    866   0x0000000000400000, 0x00000000003f7f82,
    867   0x00000000003fff80, 0x00000000003f7f03,
    868   0x00000000003fff00, 0x00000000003f7e84,
    869   0x00000000003ffe80, 0x0000000000003f81,
    870   0x0000000000004000, 0x0000000000003f02,
    871   0x0000000000003f80, 0x0000000000003e83,
    872   0x0000000000003f00, 0x0000000000003e04,
    873   0x0000000000003e80, 0x0000000000000fe1,
    874   0x0000000000001000, 0x000000000000017e,
    875   0x000000000000017d, 0x00000000000000fd,
    876   0x00000000000000fe, 0x000000000000007f,
    877   0x000000000000007f, 0x0000000000000001,
    878   0x0000000000000000, 0xffffffffffffff83,
    879   0xffffffffffffff81, 0xffffffffffffff05,
    880   0xffffffffffffff02, 0xfffffffffffff041,
    881   0xfffffffffffff020, 0xffffffffffffc27b,
    882   0xffffffffffffc1fd, 0xffffffffffffc1fd,
    883   0xffffffffffffc17e, 0xffffffffffffc17f,
    884   0xffffffffffffc0ff, 0xffffffffffc1017b,
    885   0xffffffffffc0817d, 0xffffffffffc100fd,
    886   0xffffffffffc080fe, 0xffffffffffc1007f,
    887   0xffffffffffc0807f, 0xffffffe6cccccce7,
    888   0xffffffe6999999b3, 0xffffffd60000002b,
    889   0xffffffd5aaaaaad5, 0xffffffc10000017b,
    890   0xffffffc08000017d, 0xffffffc1000000fd,
    891   0xffffffc0800000fe, 0xffffffc10000007f,
    892   0xffffffc08000007f, 0x0000003f00000001,
    893   0x0000003f80000000, 0x0000003effffff83,
    894   0x0000003f7fffff81, 0x0000002a00000055,
    895   0x0000002a555555aa, 0x0000001933333399,
    896   0x00000019666666cc, 0x00000000003f0001,
    897   0x00000000003f8000, 0x00000000003eff83,
    898   0x00000000003f7f81, 0x00000000003eff05,
    899   0x00000000003f7f02, 0x00000000003efe87,
    900   0x00000000003f7e83, 0x0000000000003f01,
    901   0x0000000000003f80, 0x0000000000003e83,
    902   0x0000000000003f01, 0x0000000000003e05,
    903   0x0000000000003e82, 0x0000000000003d87,
    904   0x0000000000003e03, 0x0000000000000fc1,
    905   0x0000000000000fe0, 0x000000000000017b,
    906   0x000000000000017a, 0x00000000000000fb,
    907   0x00000000000000fc, 0x000000000000007e,
    908   0x000000000000007e, 0x0000000000000001,
    909   0x0000000000000000, 0xffffffffffffff84,
    910   0xffffffffffffff82, 0xffffffffffffff07,
    911   0xffffffffffffff04, 0xfffffffffffff061,
    912   0xfffffffffffff040, 0xffffffffffffc2f8,
    913   0xffffffffffffc27a, 0xffffffffffffc27b,
    914   0xffffffffffffc1fc, 0xffffffffffffc1fe,
    915   0xffffffffffffc17e, 0xffffffffffc18178,
    916   0xffffffffffc1017a, 0xffffffffffc180fb,
    917   0xffffffffffc100fc, 0xffffffffffc1807e,
    918   0xffffffffffc1007e, 0xffffffe70000001a,
    919   0xffffffe6cccccce6, 0xffffffd655555580,
    920   0xffffffd60000002a, 0xffffffc180000178,
    921   0xffffffc10000017a, 0xffffffc1800000fb,
    922   0xffffffc1000000fc, 0xffffffc18000007e,
    923   0xffffffc10000007e, 0x0000003e80000001,
    924   0x0000003f00000000, 0x0000003e7fffff84,
    925   0x0000003effffff82, 0x00000029aaaaaaff,
    926   0x0000002a00000054, 0x0000001900000065,
    927   0x0000001933333398, 0x00000000003e8001,
    928   0x00000000003f0000, 0x00000000003e7f84,
    929   0x00000000003eff82, 0x00000000003e7f07,
    930   0x00000000003eff04, 0x00000000003e7e8a,
    931   0x00000000003efe86, 0x0000000000003e81,
    932   0x0000000000003f00, 0x0000000000003e04,
    933   0x0000000000003e82, 0x0000000000003d87,
    934   0x0000000000003e04, 0x0000000000003d0a,
    935   0x0000000000003d86, 0x0000000000000fa1,
    936   0x0000000000000fc0, 0x0000000000000178,
    937   0x0000000000000177, 0x0000000000000041,
    938   0x00000000000000fa, 0x0000000000000021,
    939   0x000000000000007d, 0x0000000000000001,
    940   0x0000000000000000, 0xffffffffffffffe1,
    941   0xffffffffffffff83, 0xffffffffffffffc1,
    942   0xffffffffffffff06, 0xfffffffffffffc01,
    943   0xfffffffffffff060, 0xfffffffffffff061,
    944   0xffffffffffffc2f7, 0xfffffffffffff041,
    945   0xffffffffffffc27a, 0xfffffffffffff021,
    946   0xffffffffffffc1fd, 0xfffffffffff00061,
    947   0xffffffffffc18177, 0xfffffffffff00041,
    948   0xffffffffffc180fa, 0xfffffffffff00021,
    949   0xffffffffffc1807d, 0xfffffff9999999a1,
    950   0xffffffe700000019, 0xfffffff555555561,
    951   0xffffffd65555557f, 0xfffffff000000061,
    952   0xffffffc180000177, 0xfffffff000000041,
    953   0xffffffc1800000fa, 0xfffffff000000021,
    954   0xffffffc18000007d, 0x0000001000000001,
    955   0x0000003e80000000, 0x0000000fffffffe1,
    956   0x0000003e7fffff83, 0x0000000aaaaaaac1,
    957   0x00000029aaaaaafe, 0x0000000666666681,
    958   0x0000001900000064, 0x0000000000100001,
    959   0x00000000003e8000, 0x00000000000fffe1,
    960   0x00000000003e7f83, 0x00000000000fffc1,
    961   0x00000000003e7f06, 0x00000000000fffa1,
    962   0x00000000003e7e89, 0x0000000000001001,
    963   0x0000000000003e80, 0x0000000000000fe1,
    964   0x0000000000003e03, 0x0000000000000fc1,
    965   0x0000000000003d86, 0x0000000000000fa1,
    966   0x0000000000003d09, 0x0000000000000401,
    967   0x0000000000000fa0, 0x0000000000000061,
    968   0x0000000000000060, 0x0000000000000007,
    969   0x0000000000000040, 0x0000000000000004,
    970   0x0000000000000020, 0x0000000000000001,
    971   0x0000000000000000, 0xfffffffffffffffe,
    972   0xffffffffffffffe0, 0xfffffffffffffffb,
    973   0xffffffffffffffc0, 0xffffffffffffffa1,
    974   0xfffffffffffffc00, 0xfffffffffffffe8a,
    975   0xfffffffffffff060, 0xfffffffffffffe87,
    976   0xfffffffffffff040, 0xfffffffffffffe84,
    977   0xfffffffffffff020, 0xfffffffffffe800a,
    978   0xfffffffffff00060, 0xfffffffffffe8007,
    979   0xfffffffffff00040, 0xfffffffffffe8004,
    980   0xfffffffffff00020, 0xffffffff66666668,
    981   0xfffffff9999999a0, 0xffffffff00000002,
    982   0xfffffff555555560, 0xfffffffe8000000a,
    983   0xfffffff000000060, 0xfffffffe80000007,
    984   0xfffffff000000040, 0xfffffffe80000004,
    985   0xfffffff000000020, 0x0000000180000001,
    986   0x0000001000000000, 0x000000017ffffffe,
    987   0x0000000fffffffe0, 0x0000000100000003,
    988   0x0000000aaaaaaac0, 0x000000009999999d,
    989   0x0000000666666680, 0x0000000000018001,
    990   0x0000000000100000, 0x0000000000017ffe,
    991   0x00000000000fffe0, 0x0000000000017ffb,
    992   0x00000000000fffc0, 0x0000000000017ff8,
    993   0x00000000000fffa0, 0x0000000000000181,
    994   0x0000000000001000, 0x000000000000017e,
    995   0x0000000000000fe0, 0x000000000000017b,
    996   0x0000000000000fc0, 0x0000000000000178,
    997   0x0000000000000fa0, 0x0000000000000061,
    998   0x0000000000000400, 0x000000000000000a,
    999 };
   1000 const unsigned kExpectedCount_NEON_smlal_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_SMLAL_2D_TRACE_AARCH64_H_
   1003