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_SSHLL2_2D_2OPIMM_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SSHLL2_2D_2OPIMM_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_sshll2_2D_2OPIMM[] = {
     38   0xffffffffffffffff, 0x0000000000000000,
     39   0xfffffffffffffffe, 0x0000000000000000,
     40   0xfffffffffffffffc, 0x0000000000000000,
     41   0xfffffffffffffff8, 0x0000000000000000,
     42   0xfffffffffffffff0, 0x0000000000000000,
     43   0xffffffffffffffe0, 0x0000000000000000,
     44   0xffffffffffffffc0, 0x0000000000000000,
     45   0xffffffffffffff80, 0x0000000000000000,
     46   0xffffffffffffff00, 0x0000000000000000,
     47   0xfffffffffffffe00, 0x0000000000000000,
     48   0xfffffffffffffc00, 0x0000000000000000,
     49   0xfffffffffffff800, 0x0000000000000000,
     50   0xfffffffffffff000, 0x0000000000000000,
     51   0xffffffffffffe000, 0x0000000000000000,
     52   0xffffffffffffc000, 0x0000000000000000,
     53   0xffffffffffff8000, 0x0000000000000000,
     54   0xffffffffffff0000, 0x0000000000000000,
     55   0xfffffffffffe0000, 0x0000000000000000,
     56   0xfffffffffffc0000, 0x0000000000000000,
     57   0xfffffffffff80000, 0x0000000000000000,
     58   0xfffffffffff00000, 0x0000000000000000,
     59   0xffffffffffe00000, 0x0000000000000000,
     60   0xffffffffffc00000, 0x0000000000000000,
     61   0xffffffffff800000, 0x0000000000000000,
     62   0xffffffffff000000, 0x0000000000000000,
     63   0xfffffffffe000000, 0x0000000000000000,
     64   0xfffffffffc000000, 0x0000000000000000,
     65   0xfffffffff8000000, 0x0000000000000000,
     66   0xfffffffff0000000, 0x0000000000000000,
     67   0xffffffffe0000000, 0x0000000000000000,
     68   0xffffffffc0000000, 0x0000000000000000,
     69   0xffffffff80000000, 0x0000000000000000,
     70   0x0000000000000000, 0x0000000000000001,
     71   0x0000000000000000, 0x0000000000000002,
     72   0x0000000000000000, 0x0000000000000004,
     73   0x0000000000000000, 0x0000000000000008,
     74   0x0000000000000000, 0x0000000000000010,
     75   0x0000000000000000, 0x0000000000000020,
     76   0x0000000000000000, 0x0000000000000040,
     77   0x0000000000000000, 0x0000000000000080,
     78   0x0000000000000000, 0x0000000000000100,
     79   0x0000000000000000, 0x0000000000000200,
     80   0x0000000000000000, 0x0000000000000400,
     81   0x0000000000000000, 0x0000000000000800,
     82   0x0000000000000000, 0x0000000000001000,
     83   0x0000000000000000, 0x0000000000002000,
     84   0x0000000000000000, 0x0000000000004000,
     85   0x0000000000000000, 0x0000000000008000,
     86   0x0000000000000000, 0x0000000000010000,
     87   0x0000000000000000, 0x0000000000020000,
     88   0x0000000000000000, 0x0000000000040000,
     89   0x0000000000000000, 0x0000000000080000,
     90   0x0000000000000000, 0x0000000000100000,
     91   0x0000000000000000, 0x0000000000200000,
     92   0x0000000000000000, 0x0000000000400000,
     93   0x0000000000000000, 0x0000000000800000,
     94   0x0000000000000000, 0x0000000001000000,
     95   0x0000000000000000, 0x0000000002000000,
     96   0x0000000000000000, 0x0000000004000000,
     97   0x0000000000000000, 0x0000000008000000,
     98   0x0000000000000000, 0x0000000010000000,
     99   0x0000000000000000, 0x0000000020000000,
    100   0x0000000000000000, 0x0000000040000000,
    101   0x0000000000000000, 0x0000000080000000,
    102   0x0000000000000001, 0x0000000000000002,
    103   0x0000000000000002, 0x0000000000000004,
    104   0x0000000000000004, 0x0000000000000008,
    105   0x0000000000000008, 0x0000000000000010,
    106   0x0000000000000010, 0x0000000000000020,
    107   0x0000000000000020, 0x0000000000000040,
    108   0x0000000000000040, 0x0000000000000080,
    109   0x0000000000000080, 0x0000000000000100,
    110   0x0000000000000100, 0x0000000000000200,
    111   0x0000000000000200, 0x0000000000000400,
    112   0x0000000000000400, 0x0000000000000800,
    113   0x0000000000000800, 0x0000000000001000,
    114   0x0000000000001000, 0x0000000000002000,
    115   0x0000000000002000, 0x0000000000004000,
    116   0x0000000000004000, 0x0000000000008000,
    117   0x0000000000008000, 0x0000000000010000,
    118   0x0000000000010000, 0x0000000000020000,
    119   0x0000000000020000, 0x0000000000040000,
    120   0x0000000000040000, 0x0000000000080000,
    121   0x0000000000080000, 0x0000000000100000,
    122   0x0000000000100000, 0x0000000000200000,
    123   0x0000000000200000, 0x0000000000400000,
    124   0x0000000000400000, 0x0000000000800000,
    125   0x0000000000800000, 0x0000000001000000,
    126   0x0000000001000000, 0x0000000002000000,
    127   0x0000000002000000, 0x0000000004000000,
    128   0x0000000004000000, 0x0000000008000000,
    129   0x0000000008000000, 0x0000000010000000,
    130   0x0000000010000000, 0x0000000020000000,
    131   0x0000000020000000, 0x0000000040000000,
    132   0x0000000040000000, 0x0000000080000000,
    133   0x0000000080000000, 0x0000000100000000,
    134   0x0000000000000002, 0x0000000000000020,
    135   0x0000000000000004, 0x0000000000000040,
    136   0x0000000000000008, 0x0000000000000080,
    137   0x0000000000000010, 0x0000000000000100,
    138   0x0000000000000020, 0x0000000000000200,
    139   0x0000000000000040, 0x0000000000000400,
    140   0x0000000000000080, 0x0000000000000800,
    141   0x0000000000000100, 0x0000000000001000,
    142   0x0000000000000200, 0x0000000000002000,
    143   0x0000000000000400, 0x0000000000004000,
    144   0x0000000000000800, 0x0000000000008000,
    145   0x0000000000001000, 0x0000000000010000,
    146   0x0000000000002000, 0x0000000000020000,
    147   0x0000000000004000, 0x0000000000040000,
    148   0x0000000000008000, 0x0000000000080000,
    149   0x0000000000010000, 0x0000000000100000,
    150   0x0000000000020000, 0x0000000000200000,
    151   0x0000000000040000, 0x0000000000400000,
    152   0x0000000000080000, 0x0000000000800000,
    153   0x0000000000100000, 0x0000000001000000,
    154   0x0000000000200000, 0x0000000002000000,
    155   0x0000000000400000, 0x0000000004000000,
    156   0x0000000000800000, 0x0000000008000000,
    157   0x0000000001000000, 0x0000000010000000,
    158   0x0000000002000000, 0x0000000020000000,
    159   0x0000000004000000, 0x0000000040000000,
    160   0x0000000008000000, 0x0000000080000000,
    161   0x0000000010000000, 0x0000000100000000,
    162   0x0000000020000000, 0x0000000200000000,
    163   0x0000000040000000, 0x0000000400000000,
    164   0x0000000080000000, 0x0000000800000000,
    165   0x0000000100000000, 0x0000001000000000,
    166   0x0000000000000020, 0x000000000000007d,
    167   0x0000000000000040, 0x00000000000000fa,
    168   0x0000000000000080, 0x00000000000001f4,
    169   0x0000000000000100, 0x00000000000003e8,
    170   0x0000000000000200, 0x00000000000007d0,
    171   0x0000000000000400, 0x0000000000000fa0,
    172   0x0000000000000800, 0x0000000000001f40,
    173   0x0000000000001000, 0x0000000000003e80,
    174   0x0000000000002000, 0x0000000000007d00,
    175   0x0000000000004000, 0x000000000000fa00,
    176   0x0000000000008000, 0x000000000001f400,
    177   0x0000000000010000, 0x000000000003e800,
    178   0x0000000000020000, 0x000000000007d000,
    179   0x0000000000040000, 0x00000000000fa000,
    180   0x0000000000080000, 0x00000000001f4000,
    181   0x0000000000100000, 0x00000000003e8000,
    182   0x0000000000200000, 0x00000000007d0000,
    183   0x0000000000400000, 0x0000000000fa0000,
    184   0x0000000000800000, 0x0000000001f40000,
    185   0x0000000001000000, 0x0000000003e80000,
    186   0x0000000002000000, 0x0000000007d00000,
    187   0x0000000004000000, 0x000000000fa00000,
    188   0x0000000008000000, 0x000000001f400000,
    189   0x0000000010000000, 0x000000003e800000,
    190   0x0000000020000000, 0x000000007d000000,
    191   0x0000000040000000, 0x00000000fa000000,
    192   0x0000000080000000, 0x00000001f4000000,
    193   0x0000000100000000, 0x00000003e8000000,
    194   0x0000000200000000, 0x00000007d0000000,
    195   0x0000000400000000, 0x0000000fa0000000,
    196   0x0000000800000000, 0x0000001f40000000,
    197   0x0000001000000000, 0x0000003e80000000,
    198   0x000000000000007d, 0x000000000000007e,
    199   0x00000000000000fa, 0x00000000000000fc,
    200   0x00000000000001f4, 0x00000000000001f8,
    201   0x00000000000003e8, 0x00000000000003f0,
    202   0x00000000000007d0, 0x00000000000007e0,
    203   0x0000000000000fa0, 0x0000000000000fc0,
    204   0x0000000000001f40, 0x0000000000001f80,
    205   0x0000000000003e80, 0x0000000000003f00,
    206   0x0000000000007d00, 0x0000000000007e00,
    207   0x000000000000fa00, 0x000000000000fc00,
    208   0x000000000001f400, 0x000000000001f800,
    209   0x000000000003e800, 0x000000000003f000,
    210   0x000000000007d000, 0x000000000007e000,
    211   0x00000000000fa000, 0x00000000000fc000,
    212   0x00000000001f4000, 0x00000000001f8000,
    213   0x00000000003e8000, 0x00000000003f0000,
    214   0x00000000007d0000, 0x00000000007e0000,
    215   0x0000000000fa0000, 0x0000000000fc0000,
    216   0x0000000001f40000, 0x0000000001f80000,
    217   0x0000000003e80000, 0x0000000003f00000,
    218   0x0000000007d00000, 0x0000000007e00000,
    219   0x000000000fa00000, 0x000000000fc00000,
    220   0x000000001f400000, 0x000000001f800000,
    221   0x000000003e800000, 0x000000003f000000,
    222   0x000000007d000000, 0x000000007e000000,
    223   0x00000000fa000000, 0x00000000fc000000,
    224   0x00000001f4000000, 0x00000001f8000000,
    225   0x00000003e8000000, 0x00000003f0000000,
    226   0x00000007d0000000, 0x00000007e0000000,
    227   0x0000000fa0000000, 0x0000000fc0000000,
    228   0x0000001f40000000, 0x0000001f80000000,
    229   0x0000003e80000000, 0x0000003f00000000,
    230   0x000000000000007e, 0x000000000000007f,
    231   0x00000000000000fc, 0x00000000000000fe,
    232   0x00000000000001f8, 0x00000000000001fc,
    233   0x00000000000003f0, 0x00000000000003f8,
    234   0x00000000000007e0, 0x00000000000007f0,
    235   0x0000000000000fc0, 0x0000000000000fe0,
    236   0x0000000000001f80, 0x0000000000001fc0,
    237   0x0000000000003f00, 0x0000000000003f80,
    238   0x0000000000007e00, 0x0000000000007f00,
    239   0x000000000000fc00, 0x000000000000fe00,
    240   0x000000000001f800, 0x000000000001fc00,
    241   0x000000000003f000, 0x000000000003f800,
    242   0x000000000007e000, 0x000000000007f000,
    243   0x00000000000fc000, 0x00000000000fe000,
    244   0x00000000001f8000, 0x00000000001fc000,
    245   0x00000000003f0000, 0x00000000003f8000,
    246   0x00000000007e0000, 0x00000000007f0000,
    247   0x0000000000fc0000, 0x0000000000fe0000,
    248   0x0000000001f80000, 0x0000000001fc0000,
    249   0x0000000003f00000, 0x0000000003f80000,
    250   0x0000000007e00000, 0x0000000007f00000,
    251   0x000000000fc00000, 0x000000000fe00000,
    252   0x000000001f800000, 0x000000001fc00000,
    253   0x000000003f000000, 0x000000003f800000,
    254   0x000000007e000000, 0x000000007f000000,
    255   0x00000000fc000000, 0x00000000fe000000,
    256   0x00000001f8000000, 0x00000001fc000000,
    257   0x00000003f0000000, 0x00000003f8000000,
    258   0x00000007e0000000, 0x00000007f0000000,
    259   0x0000000fc0000000, 0x0000000fe0000000,
    260   0x0000001f80000000, 0x0000001fc0000000,
    261   0x0000003f00000000, 0x0000003f80000000,
    262   0x000000000000007f, 0x0000000000007ffd,
    263   0x00000000000000fe, 0x000000000000fffa,
    264   0x00000000000001fc, 0x000000000001fff4,
    265   0x00000000000003f8, 0x000000000003ffe8,
    266   0x00000000000007f0, 0x000000000007ffd0,
    267   0x0000000000000fe0, 0x00000000000fffa0,
    268   0x0000000000001fc0, 0x00000000001fff40,
    269   0x0000000000003f80, 0x00000000003ffe80,
    270   0x0000000000007f00, 0x00000000007ffd00,
    271   0x000000000000fe00, 0x0000000000fffa00,
    272   0x000000000001fc00, 0x0000000001fff400,
    273   0x000000000003f800, 0x0000000003ffe800,
    274   0x000000000007f000, 0x0000000007ffd000,
    275   0x00000000000fe000, 0x000000000fffa000,
    276   0x00000000001fc000, 0x000000001fff4000,
    277   0x00000000003f8000, 0x000000003ffe8000,
    278   0x00000000007f0000, 0x000000007ffd0000,
    279   0x0000000000fe0000, 0x00000000fffa0000,
    280   0x0000000001fc0000, 0x00000001fff40000,
    281   0x0000000003f80000, 0x00000003ffe80000,
    282   0x0000000007f00000, 0x00000007ffd00000,
    283   0x000000000fe00000, 0x0000000fffa00000,
    284   0x000000001fc00000, 0x0000001fff400000,
    285   0x000000003f800000, 0x0000003ffe800000,
    286   0x000000007f000000, 0x0000007ffd000000,
    287   0x00000000fe000000, 0x000000fffa000000,
    288   0x00000001fc000000, 0x000001fff4000000,
    289   0x00000003f8000000, 0x000003ffe8000000,
    290   0x00000007f0000000, 0x000007ffd0000000,
    291   0x0000000fe0000000, 0x00000fffa0000000,
    292   0x0000001fc0000000, 0x00001fff40000000,
    293   0x0000003f80000000, 0x00003ffe80000000,
    294   0x0000000000007ffd, 0x0000000000007ffe,
    295   0x000000000000fffa, 0x000000000000fffc,
    296   0x000000000001fff4, 0x000000000001fff8,
    297   0x000000000003ffe8, 0x000000000003fff0,
    298   0x000000000007ffd0, 0x000000000007ffe0,
    299   0x00000000000fffa0, 0x00000000000fffc0,
    300   0x00000000001fff40, 0x00000000001fff80,
    301   0x00000000003ffe80, 0x00000000003fff00,
    302   0x00000000007ffd00, 0x00000000007ffe00,
    303   0x0000000000fffa00, 0x0000000000fffc00,
    304   0x0000000001fff400, 0x0000000001fff800,
    305   0x0000000003ffe800, 0x0000000003fff000,
    306   0x0000000007ffd000, 0x0000000007ffe000,
    307   0x000000000fffa000, 0x000000000fffc000,
    308   0x000000001fff4000, 0x000000001fff8000,
    309   0x000000003ffe8000, 0x000000003fff0000,
    310   0x000000007ffd0000, 0x000000007ffe0000,
    311   0x00000000fffa0000, 0x00000000fffc0000,
    312   0x00000001fff40000, 0x00000001fff80000,
    313   0x00000003ffe80000, 0x00000003fff00000,
    314   0x00000007ffd00000, 0x00000007ffe00000,
    315   0x0000000fffa00000, 0x0000000fffc00000,
    316   0x0000001fff400000, 0x0000001fff800000,
    317   0x0000003ffe800000, 0x0000003fff000000,
    318   0x0000007ffd000000, 0x0000007ffe000000,
    319   0x000000fffa000000, 0x000000fffc000000,
    320   0x000001fff4000000, 0x000001fff8000000,
    321   0x000003ffe8000000, 0x000003fff0000000,
    322   0x000007ffd0000000, 0x000007ffe0000000,
    323   0x00000fffa0000000, 0x00000fffc0000000,
    324   0x00001fff40000000, 0x00001fff80000000,
    325   0x00003ffe80000000, 0x00003fff00000000,
    326   0x0000000000007ffe, 0x0000000000007fff,
    327   0x000000000000fffc, 0x000000000000fffe,
    328   0x000000000001fff8, 0x000000000001fffc,
    329   0x000000000003fff0, 0x000000000003fff8,
    330   0x000000000007ffe0, 0x000000000007fff0,
    331   0x00000000000fffc0, 0x00000000000fffe0,
    332   0x00000000001fff80, 0x00000000001fffc0,
    333   0x00000000003fff00, 0x00000000003fff80,
    334   0x00000000007ffe00, 0x00000000007fff00,
    335   0x0000000000fffc00, 0x0000000000fffe00,
    336   0x0000000001fff800, 0x0000000001fffc00,
    337   0x0000000003fff000, 0x0000000003fff800,
    338   0x0000000007ffe000, 0x0000000007fff000,
    339   0x000000000fffc000, 0x000000000fffe000,
    340   0x000000001fff8000, 0x000000001fffc000,
    341   0x000000003fff0000, 0x000000003fff8000,
    342   0x000000007ffe0000, 0x000000007fff0000,
    343   0x00000000fffc0000, 0x00000000fffe0000,
    344   0x00000001fff80000, 0x00000001fffc0000,
    345   0x00000003fff00000, 0x00000003fff80000,
    346   0x00000007ffe00000, 0x00000007fff00000,
    347   0x0000000fffc00000, 0x0000000fffe00000,
    348   0x0000001fff800000, 0x0000001fffc00000,
    349   0x0000003fff000000, 0x0000003fff800000,
    350   0x0000007ffe000000, 0x0000007fff000000,
    351   0x000000fffc000000, 0x000000fffe000000,
    352   0x000001fff8000000, 0x000001fffc000000,
    353   0x000003fff0000000, 0x000003fff8000000,
    354   0x000007ffe0000000, 0x000007fff0000000,
    355   0x00000fffc0000000, 0x00000fffe0000000,
    356   0x00001fff80000000, 0x00001fffc0000000,
    357   0x00003fff00000000, 0x00003fff80000000,
    358   0x0000000000007fff, 0x0000000033333333,
    359   0x000000000000fffe, 0x0000000066666666,
    360   0x000000000001fffc, 0x00000000cccccccc,
    361   0x000000000003fff8, 0x0000000199999998,
    362   0x000000000007fff0, 0x0000000333333330,
    363   0x00000000000fffe0, 0x0000000666666660,
    364   0x00000000001fffc0, 0x0000000cccccccc0,
    365   0x00000000003fff80, 0x0000001999999980,
    366   0x00000000007fff00, 0x0000003333333300,
    367   0x0000000000fffe00, 0x0000006666666600,
    368   0x0000000001fffc00, 0x000000cccccccc00,
    369   0x0000000003fff800, 0x0000019999999800,
    370   0x0000000007fff000, 0x0000033333333000,
    371   0x000000000fffe000, 0x0000066666666000,
    372   0x000000001fffc000, 0x00000cccccccc000,
    373   0x000000003fff8000, 0x0000199999998000,
    374   0x000000007fff0000, 0x0000333333330000,
    375   0x00000000fffe0000, 0x0000666666660000,
    376   0x00000001fffc0000, 0x0000cccccccc0000,
    377   0x00000003fff80000, 0x0001999999980000,
    378   0x00000007fff00000, 0x0003333333300000,
    379   0x0000000fffe00000, 0x0006666666600000,
    380   0x0000001fffc00000, 0x000cccccccc00000,
    381   0x0000003fff800000, 0x0019999999800000,
    382   0x0000007fff000000, 0x0033333333000000,
    383   0x000000fffe000000, 0x0066666666000000,
    384   0x000001fffc000000, 0x00cccccccc000000,
    385   0x000003fff8000000, 0x0199999998000000,
    386   0x000007fff0000000, 0x0333333330000000,
    387   0x00000fffe0000000, 0x0666666660000000,
    388   0x00001fffc0000000, 0x0cccccccc0000000,
    389   0x00003fff80000000, 0x1999999980000000,
    390   0x0000000033333333, 0x0000000055555555,
    391   0x0000000066666666, 0x00000000aaaaaaaa,
    392   0x00000000cccccccc, 0x0000000155555554,
    393   0x0000000199999998, 0x00000002aaaaaaa8,
    394   0x0000000333333330, 0x0000000555555550,
    395   0x0000000666666660, 0x0000000aaaaaaaa0,
    396   0x0000000cccccccc0, 0x0000001555555540,
    397   0x0000001999999980, 0x0000002aaaaaaa80,
    398   0x0000003333333300, 0x0000005555555500,
    399   0x0000006666666600, 0x000000aaaaaaaa00,
    400   0x000000cccccccc00, 0x0000015555555400,
    401   0x0000019999999800, 0x000002aaaaaaa800,
    402   0x0000033333333000, 0x0000055555555000,
    403   0x0000066666666000, 0x00000aaaaaaaa000,
    404   0x00000cccccccc000, 0x0000155555554000,
    405   0x0000199999998000, 0x00002aaaaaaa8000,
    406   0x0000333333330000, 0x0000555555550000,
    407   0x0000666666660000, 0x0000aaaaaaaa0000,
    408   0x0000cccccccc0000, 0x0001555555540000,
    409   0x0001999999980000, 0x0002aaaaaaa80000,
    410   0x0003333333300000, 0x0005555555500000,
    411   0x0006666666600000, 0x000aaaaaaaa00000,
    412   0x000cccccccc00000, 0x0015555555400000,
    413   0x0019999999800000, 0x002aaaaaaa800000,
    414   0x0033333333000000, 0x0055555555000000,
    415   0x0066666666000000, 0x00aaaaaaaa000000,
    416   0x00cccccccc000000, 0x0155555554000000,
    417   0x0199999998000000, 0x02aaaaaaa8000000,
    418   0x0333333330000000, 0x0555555550000000,
    419   0x0666666660000000, 0x0aaaaaaaa0000000,
    420   0x0cccccccc0000000, 0x1555555540000000,
    421   0x1999999980000000, 0x2aaaaaaa80000000,
    422   0x0000000055555555, 0x000000007ffffffd,
    423   0x00000000aaaaaaaa, 0x00000000fffffffa,
    424   0x0000000155555554, 0x00000001fffffff4,
    425   0x00000002aaaaaaa8, 0x00000003ffffffe8,
    426   0x0000000555555550, 0x00000007ffffffd0,
    427   0x0000000aaaaaaaa0, 0x0000000fffffffa0,
    428   0x0000001555555540, 0x0000001fffffff40,
    429   0x0000002aaaaaaa80, 0x0000003ffffffe80,
    430   0x0000005555555500, 0x0000007ffffffd00,
    431   0x000000aaaaaaaa00, 0x000000fffffffa00,
    432   0x0000015555555400, 0x000001fffffff400,
    433   0x000002aaaaaaa800, 0x000003ffffffe800,
    434   0x0000055555555000, 0x000007ffffffd000,
    435   0x00000aaaaaaaa000, 0x00000fffffffa000,
    436   0x0000155555554000, 0x00001fffffff4000,
    437   0x00002aaaaaaa8000, 0x00003ffffffe8000,
    438   0x0000555555550000, 0x00007ffffffd0000,
    439   0x0000aaaaaaaa0000, 0x0000fffffffa0000,
    440   0x0001555555540000, 0x0001fffffff40000,
    441   0x0002aaaaaaa80000, 0x0003ffffffe80000,
    442   0x0005555555500000, 0x0007ffffffd00000,
    443   0x000aaaaaaaa00000, 0x000fffffffa00000,
    444   0x0015555555400000, 0x001fffffff400000,
    445   0x002aaaaaaa800000, 0x003ffffffe800000,
    446   0x0055555555000000, 0x007ffffffd000000,
    447   0x00aaaaaaaa000000, 0x00fffffffa000000,
    448   0x0155555554000000, 0x01fffffff4000000,
    449   0x02aaaaaaa8000000, 0x03ffffffe8000000,
    450   0x0555555550000000, 0x07ffffffd0000000,
    451   0x0aaaaaaaa0000000, 0x0fffffffa0000000,
    452   0x1555555540000000, 0x1fffffff40000000,
    453   0x2aaaaaaa80000000, 0x3ffffffe80000000,
    454   0x000000007ffffffd, 0x000000007ffffffe,
    455   0x00000000fffffffa, 0x00000000fffffffc,
    456   0x00000001fffffff4, 0x00000001fffffff8,
    457   0x00000003ffffffe8, 0x00000003fffffff0,
    458   0x00000007ffffffd0, 0x00000007ffffffe0,
    459   0x0000000fffffffa0, 0x0000000fffffffc0,
    460   0x0000001fffffff40, 0x0000001fffffff80,
    461   0x0000003ffffffe80, 0x0000003fffffff00,
    462   0x0000007ffffffd00, 0x0000007ffffffe00,
    463   0x000000fffffffa00, 0x000000fffffffc00,
    464   0x000001fffffff400, 0x000001fffffff800,
    465   0x000003ffffffe800, 0x000003fffffff000,
    466   0x000007ffffffd000, 0x000007ffffffe000,
    467   0x00000fffffffa000, 0x00000fffffffc000,
    468   0x00001fffffff4000, 0x00001fffffff8000,
    469   0x00003ffffffe8000, 0x00003fffffff0000,
    470   0x00007ffffffd0000, 0x00007ffffffe0000,
    471   0x0000fffffffa0000, 0x0000fffffffc0000,
    472   0x0001fffffff40000, 0x0001fffffff80000,
    473   0x0003ffffffe80000, 0x0003fffffff00000,
    474   0x0007ffffffd00000, 0x0007ffffffe00000,
    475   0x000fffffffa00000, 0x000fffffffc00000,
    476   0x001fffffff400000, 0x001fffffff800000,
    477   0x003ffffffe800000, 0x003fffffff000000,
    478   0x007ffffffd000000, 0x007ffffffe000000,
    479   0x00fffffffa000000, 0x00fffffffc000000,
    480   0x01fffffff4000000, 0x01fffffff8000000,
    481   0x03ffffffe8000000, 0x03fffffff0000000,
    482   0x07ffffffd0000000, 0x07ffffffe0000000,
    483   0x0fffffffa0000000, 0x0fffffffc0000000,
    484   0x1fffffff40000000, 0x1fffffff80000000,
    485   0x3ffffffe80000000, 0x3fffffff00000000,
    486   0x000000007ffffffe, 0x000000007fffffff,
    487   0x00000000fffffffc, 0x00000000fffffffe,
    488   0x00000001fffffff8, 0x00000001fffffffc,
    489   0x00000003fffffff0, 0x00000003fffffff8,
    490   0x00000007ffffffe0, 0x00000007fffffff0,
    491   0x0000000fffffffc0, 0x0000000fffffffe0,
    492   0x0000001fffffff80, 0x0000001fffffffc0,
    493   0x0000003fffffff00, 0x0000003fffffff80,
    494   0x0000007ffffffe00, 0x0000007fffffff00,
    495   0x000000fffffffc00, 0x000000fffffffe00,
    496   0x000001fffffff800, 0x000001fffffffc00,
    497   0x000003fffffff000, 0x000003fffffff800,
    498   0x000007ffffffe000, 0x000007fffffff000,
    499   0x00000fffffffc000, 0x00000fffffffe000,
    500   0x00001fffffff8000, 0x00001fffffffc000,
    501   0x00003fffffff0000, 0x00003fffffff8000,
    502   0x00007ffffffe0000, 0x00007fffffff0000,
    503   0x0000fffffffc0000, 0x0000fffffffe0000,
    504   0x0001fffffff80000, 0x0001fffffffc0000,
    505   0x0003fffffff00000, 0x0003fffffff80000,
    506   0x0007ffffffe00000, 0x0007fffffff00000,
    507   0x000fffffffc00000, 0x000fffffffe00000,
    508   0x001fffffff800000, 0x001fffffffc00000,
    509   0x003fffffff000000, 0x003fffffff800000,
    510   0x007ffffffe000000, 0x007fffffff000000,
    511   0x00fffffffc000000, 0x00fffffffe000000,
    512   0x01fffffff8000000, 0x01fffffffc000000,
    513   0x03fffffff0000000, 0x03fffffff8000000,
    514   0x07ffffffe0000000, 0x07fffffff0000000,
    515   0x0fffffffc0000000, 0x0fffffffe0000000,
    516   0x1fffffff80000000, 0x1fffffffc0000000,
    517   0x3fffffff00000000, 0x3fffffff80000000,
    518   0x000000007fffffff, 0xffffffff80000000,
    519   0x00000000fffffffe, 0xffffffff00000000,
    520   0x00000001fffffffc, 0xfffffffe00000000,
    521   0x00000003fffffff8, 0xfffffffc00000000,
    522   0x00000007fffffff0, 0xfffffff800000000,
    523   0x0000000fffffffe0, 0xfffffff000000000,
    524   0x0000001fffffffc0, 0xffffffe000000000,
    525   0x0000003fffffff80, 0xffffffc000000000,
    526   0x0000007fffffff00, 0xffffff8000000000,
    527   0x000000fffffffe00, 0xffffff0000000000,
    528   0x000001fffffffc00, 0xfffffe0000000000,
    529   0x000003fffffff800, 0xfffffc0000000000,
    530   0x000007fffffff000, 0xfffff80000000000,
    531   0x00000fffffffe000, 0xfffff00000000000,
    532   0x00001fffffffc000, 0xffffe00000000000,
    533   0x00003fffffff8000, 0xffffc00000000000,
    534   0x00007fffffff0000, 0xffff800000000000,
    535   0x0000fffffffe0000, 0xffff000000000000,
    536   0x0001fffffffc0000, 0xfffe000000000000,
    537   0x0003fffffff80000, 0xfffc000000000000,
    538   0x0007fffffff00000, 0xfff8000000000000,
    539   0x000fffffffe00000, 0xfff0000000000000,
    540   0x001fffffffc00000, 0xffe0000000000000,
    541   0x003fffffff800000, 0xffc0000000000000,
    542   0x007fffffff000000, 0xff80000000000000,
    543   0x00fffffffe000000, 0xff00000000000000,
    544   0x01fffffffc000000, 0xfe00000000000000,
    545   0x03fffffff8000000, 0xfc00000000000000,
    546   0x07fffffff0000000, 0xf800000000000000,
    547   0x0fffffffe0000000, 0xf000000000000000,
    548   0x1fffffffc0000000, 0xe000000000000000,
    549   0x3fffffff80000000, 0xc000000000000000,
    550   0xffffffff80000000, 0xffffffff80000001,
    551   0xffffffff00000000, 0xffffffff00000002,
    552   0xfffffffe00000000, 0xfffffffe00000004,
    553   0xfffffffc00000000, 0xfffffffc00000008,
    554   0xfffffff800000000, 0xfffffff800000010,
    555   0xfffffff000000000, 0xfffffff000000020,
    556   0xffffffe000000000, 0xffffffe000000040,
    557   0xffffffc000000000, 0xffffffc000000080,
    558   0xffffff8000000000, 0xffffff8000000100,
    559   0xffffff0000000000, 0xffffff0000000200,
    560   0xfffffe0000000000, 0xfffffe0000000400,
    561   0xfffffc0000000000, 0xfffffc0000000800,
    562   0xfffff80000000000, 0xfffff80000001000,
    563   0xfffff00000000000, 0xfffff00000002000,
    564   0xffffe00000000000, 0xffffe00000004000,
    565   0xffffc00000000000, 0xffffc00000008000,
    566   0xffff800000000000, 0xffff800000010000,
    567   0xffff000000000000, 0xffff000000020000,
    568   0xfffe000000000000, 0xfffe000000040000,
    569   0xfffc000000000000, 0xfffc000000080000,
    570   0xfff8000000000000, 0xfff8000000100000,
    571   0xfff0000000000000, 0xfff0000000200000,
    572   0xffe0000000000000, 0xffe0000000400000,
    573   0xffc0000000000000, 0xffc0000000800000,
    574   0xff80000000000000, 0xff80000001000000,
    575   0xff00000000000000, 0xff00000002000000,
    576   0xfe00000000000000, 0xfe00000004000000,
    577   0xfc00000000000000, 0xfc00000008000000,
    578   0xf800000000000000, 0xf800000010000000,
    579   0xf000000000000000, 0xf000000020000000,
    580   0xe000000000000000, 0xe000000040000000,
    581   0xc000000000000000, 0xc000000080000000,
    582   0xffffffff80000001, 0xffffffffaaaaaaaa,
    583   0xffffffff00000002, 0xffffffff55555554,
    584   0xfffffffe00000004, 0xfffffffeaaaaaaa8,
    585   0xfffffffc00000008, 0xfffffffd55555550,
    586   0xfffffff800000010, 0xfffffffaaaaaaaa0,
    587   0xfffffff000000020, 0xfffffff555555540,
    588   0xffffffe000000040, 0xffffffeaaaaaaa80,
    589   0xffffffc000000080, 0xffffffd555555500,
    590   0xffffff8000000100, 0xffffffaaaaaaaa00,
    591   0xffffff0000000200, 0xffffff5555555400,
    592   0xfffffe0000000400, 0xfffffeaaaaaaa800,
    593   0xfffffc0000000800, 0xfffffd5555555000,
    594   0xfffff80000001000, 0xfffffaaaaaaaa000,
    595   0xfffff00000002000, 0xfffff55555554000,
    596   0xffffe00000004000, 0xffffeaaaaaaa8000,
    597   0xffffc00000008000, 0xffffd55555550000,
    598   0xffff800000010000, 0xffffaaaaaaaa0000,
    599   0xffff000000020000, 0xffff555555540000,
    600   0xfffe000000040000, 0xfffeaaaaaaa80000,
    601   0xfffc000000080000, 0xfffd555555500000,
    602   0xfff8000000100000, 0xfffaaaaaaaa00000,
    603   0xfff0000000200000, 0xfff5555555400000,
    604   0xffe0000000400000, 0xffeaaaaaaa800000,
    605   0xffc0000000800000, 0xffd5555555000000,
    606   0xff80000001000000, 0xffaaaaaaaa000000,
    607   0xff00000002000000, 0xff55555554000000,
    608   0xfe00000004000000, 0xfeaaaaaaa8000000,
    609   0xfc00000008000000, 0xfd55555550000000,
    610   0xf800000010000000, 0xfaaaaaaaa0000000,
    611   0xf000000020000000, 0xf555555540000000,
    612   0xe000000040000000, 0xeaaaaaaa80000000,
    613   0xc000000080000000, 0xd555555500000000,
    614   0xffffffffaaaaaaaa, 0xffffffffcccccccc,
    615   0xffffffff55555554, 0xffffffff99999998,
    616   0xfffffffeaaaaaaa8, 0xffffffff33333330,
    617   0xfffffffd55555550, 0xfffffffe66666660,
    618   0xfffffffaaaaaaaa0, 0xfffffffcccccccc0,
    619   0xfffffff555555540, 0xfffffff999999980,
    620   0xffffffeaaaaaaa80, 0xfffffff333333300,
    621   0xffffffd555555500, 0xffffffe666666600,
    622   0xffffffaaaaaaaa00, 0xffffffcccccccc00,
    623   0xffffff5555555400, 0xffffff9999999800,
    624   0xfffffeaaaaaaa800, 0xffffff3333333000,
    625   0xfffffd5555555000, 0xfffffe6666666000,
    626   0xfffffaaaaaaaa000, 0xfffffcccccccc000,
    627   0xfffff55555554000, 0xfffff99999998000,
    628   0xffffeaaaaaaa8000, 0xfffff33333330000,
    629   0xffffd55555550000, 0xffffe66666660000,
    630   0xffffaaaaaaaa0000, 0xffffcccccccc0000,
    631   0xffff555555540000, 0xffff999999980000,
    632   0xfffeaaaaaaa80000, 0xffff333333300000,
    633   0xfffd555555500000, 0xfffe666666600000,
    634   0xfffaaaaaaaa00000, 0xfffcccccccc00000,
    635   0xfff5555555400000, 0xfff9999999800000,
    636   0xffeaaaaaaa800000, 0xfff3333333000000,
    637   0xffd5555555000000, 0xffe6666666000000,
    638   0xffaaaaaaaa000000, 0xffcccccccc000000,
    639   0xff55555554000000, 0xff99999998000000,
    640   0xfeaaaaaaa8000000, 0xff33333330000000,
    641   0xfd55555550000000, 0xfe66666660000000,
    642   0xfaaaaaaaa0000000, 0xfcccccccc0000000,
    643   0xf555555540000000, 0xf999999980000000,
    644   0xeaaaaaaa80000000, 0xf333333300000000,
    645   0xd555555500000000, 0xe666666600000000,
    646   0xffffffffcccccccc, 0xffffffffffff8000,
    647   0xffffffff99999998, 0xffffffffffff0000,
    648   0xffffffff33333330, 0xfffffffffffe0000,
    649   0xfffffffe66666660, 0xfffffffffffc0000,
    650   0xfffffffcccccccc0, 0xfffffffffff80000,
    651   0xfffffff999999980, 0xfffffffffff00000,
    652   0xfffffff333333300, 0xffffffffffe00000,
    653   0xffffffe666666600, 0xffffffffffc00000,
    654   0xffffffcccccccc00, 0xffffffffff800000,
    655   0xffffff9999999800, 0xffffffffff000000,
    656   0xffffff3333333000, 0xfffffffffe000000,
    657   0xfffffe6666666000, 0xfffffffffc000000,
    658   0xfffffcccccccc000, 0xfffffffff8000000,
    659   0xfffff99999998000, 0xfffffffff0000000,
    660   0xfffff33333330000, 0xffffffffe0000000,
    661   0xffffe66666660000, 0xffffffffc0000000,
    662   0xffffcccccccc0000, 0xffffffff80000000,
    663   0xffff999999980000, 0xffffffff00000000,
    664   0xffff333333300000, 0xfffffffe00000000,
    665   0xfffe666666600000, 0xfffffffc00000000,
    666   0xfffcccccccc00000, 0xfffffff800000000,
    667   0xfff9999999800000, 0xfffffff000000000,
    668   0xfff3333333000000, 0xffffffe000000000,
    669   0xffe6666666000000, 0xffffffc000000000,
    670   0xffcccccccc000000, 0xffffff8000000000,
    671   0xff99999998000000, 0xffffff0000000000,
    672   0xff33333330000000, 0xfffffe0000000000,
    673   0xfe66666660000000, 0xfffffc0000000000,
    674   0xfcccccccc0000000, 0xfffff80000000000,
    675   0xf999999980000000, 0xfffff00000000000,
    676   0xf333333300000000, 0xffffe00000000000,
    677   0xe666666600000000, 0xffffc00000000000,
    678   0xffffffffffff8000, 0xffffffffffff8001,
    679   0xffffffffffff0000, 0xffffffffffff0002,
    680   0xfffffffffffe0000, 0xfffffffffffe0004,
    681   0xfffffffffffc0000, 0xfffffffffffc0008,
    682   0xfffffffffff80000, 0xfffffffffff80010,
    683   0xfffffffffff00000, 0xfffffffffff00020,
    684   0xffffffffffe00000, 0xffffffffffe00040,
    685   0xffffffffffc00000, 0xffffffffffc00080,
    686   0xffffffffff800000, 0xffffffffff800100,
    687   0xffffffffff000000, 0xffffffffff000200,
    688   0xfffffffffe000000, 0xfffffffffe000400,
    689   0xfffffffffc000000, 0xfffffffffc000800,
    690   0xfffffffff8000000, 0xfffffffff8001000,
    691   0xfffffffff0000000, 0xfffffffff0002000,
    692   0xffffffffe0000000, 0xffffffffe0004000,
    693   0xffffffffc0000000, 0xffffffffc0008000,
    694   0xffffffff80000000, 0xffffffff80010000,
    695   0xffffffff00000000, 0xffffffff00020000,
    696   0xfffffffe00000000, 0xfffffffe00040000,
    697   0xfffffffc00000000, 0xfffffffc00080000,
    698   0xfffffff800000000, 0xfffffff800100000,
    699   0xfffffff000000000, 0xfffffff000200000,
    700   0xffffffe000000000, 0xffffffe000400000,
    701   0xffffffc000000000, 0xffffffc000800000,
    702   0xffffff8000000000, 0xffffff8001000000,
    703   0xffffff0000000000, 0xffffff0002000000,
    704   0xfffffe0000000000, 0xfffffe0004000000,
    705   0xfffffc0000000000, 0xfffffc0008000000,
    706   0xfffff80000000000, 0xfffff80010000000,
    707   0xfffff00000000000, 0xfffff00020000000,
    708   0xffffe00000000000, 0xffffe00040000000,
    709   0xffffc00000000000, 0xffffc00080000000,
    710   0xffffffffffff8001, 0xffffffffffff8002,
    711   0xffffffffffff0002, 0xffffffffffff0004,
    712   0xfffffffffffe0004, 0xfffffffffffe0008,
    713   0xfffffffffffc0008, 0xfffffffffffc0010,
    714   0xfffffffffff80010, 0xfffffffffff80020,
    715   0xfffffffffff00020, 0xfffffffffff00040,
    716   0xffffffffffe00040, 0xffffffffffe00080,
    717   0xffffffffffc00080, 0xffffffffffc00100,
    718   0xffffffffff800100, 0xffffffffff800200,
    719   0xffffffffff000200, 0xffffffffff000400,
    720   0xfffffffffe000400, 0xfffffffffe000800,
    721   0xfffffffffc000800, 0xfffffffffc001000,
    722   0xfffffffff8001000, 0xfffffffff8002000,
    723   0xfffffffff0002000, 0xfffffffff0004000,
    724   0xffffffffe0004000, 0xffffffffe0008000,
    725   0xffffffffc0008000, 0xffffffffc0010000,
    726   0xffffffff80010000, 0xffffffff80020000,
    727   0xffffffff00020000, 0xffffffff00040000,
    728   0xfffffffe00040000, 0xfffffffe00080000,
    729   0xfffffffc00080000, 0xfffffffc00100000,
    730   0xfffffff800100000, 0xfffffff800200000,
    731   0xfffffff000200000, 0xfffffff000400000,
    732   0xffffffe000400000, 0xffffffe000800000,
    733   0xffffffc000800000, 0xffffffc001000000,
    734   0xffffff8001000000, 0xffffff8002000000,
    735   0xffffff0002000000, 0xffffff0004000000,
    736   0xfffffe0004000000, 0xfffffe0008000000,
    737   0xfffffc0008000000, 0xfffffc0010000000,
    738   0xfffff80010000000, 0xfffff80020000000,
    739   0xfffff00020000000, 0xfffff00040000000,
    740   0xffffe00040000000, 0xffffe00080000000,
    741   0xffffc00080000000, 0xffffc00100000000,
    742   0xffffffffffff8002, 0xffffffffffff8003,
    743   0xffffffffffff0004, 0xffffffffffff0006,
    744   0xfffffffffffe0008, 0xfffffffffffe000c,
    745   0xfffffffffffc0010, 0xfffffffffffc0018,
    746   0xfffffffffff80020, 0xfffffffffff80030,
    747   0xfffffffffff00040, 0xfffffffffff00060,
    748   0xffffffffffe00080, 0xffffffffffe000c0,
    749   0xffffffffffc00100, 0xffffffffffc00180,
    750   0xffffffffff800200, 0xffffffffff800300,
    751   0xffffffffff000400, 0xffffffffff000600,
    752   0xfffffffffe000800, 0xfffffffffe000c00,
    753   0xfffffffffc001000, 0xfffffffffc001800,
    754   0xfffffffff8002000, 0xfffffffff8003000,
    755   0xfffffffff0004000, 0xfffffffff0006000,
    756   0xffffffffe0008000, 0xffffffffe000c000,
    757   0xffffffffc0010000, 0xffffffffc0018000,
    758   0xffffffff80020000, 0xffffffff80030000,
    759   0xffffffff00040000, 0xffffffff00060000,
    760   0xfffffffe00080000, 0xfffffffe000c0000,
    761   0xfffffffc00100000, 0xfffffffc00180000,
    762   0xfffffff800200000, 0xfffffff800300000,
    763   0xfffffff000400000, 0xfffffff000600000,
    764   0xffffffe000800000, 0xffffffe000c00000,
    765   0xffffffc001000000, 0xffffffc001800000,
    766   0xffffff8002000000, 0xffffff8003000000,
    767   0xffffff0004000000, 0xffffff0006000000,
    768   0xfffffe0008000000, 0xfffffe000c000000,
    769   0xfffffc0010000000, 0xfffffc0018000000,
    770   0xfffff80020000000, 0xfffff80030000000,
    771   0xfffff00040000000, 0xfffff00060000000,
    772   0xffffe00080000000, 0xffffe000c0000000,
    773   0xffffc00100000000, 0xffffc00180000000,
    774   0xffffffffffff8003, 0xffffffffffffff80,
    775   0xffffffffffff0006, 0xffffffffffffff00,
    776   0xfffffffffffe000c, 0xfffffffffffffe00,
    777   0xfffffffffffc0018, 0xfffffffffffffc00,
    778   0xfffffffffff80030, 0xfffffffffffff800,
    779   0xfffffffffff00060, 0xfffffffffffff000,
    780   0xffffffffffe000c0, 0xffffffffffffe000,
    781   0xffffffffffc00180, 0xffffffffffffc000,
    782   0xffffffffff800300, 0xffffffffffff8000,
    783   0xffffffffff000600, 0xffffffffffff0000,
    784   0xfffffffffe000c00, 0xfffffffffffe0000,
    785   0xfffffffffc001800, 0xfffffffffffc0000,
    786   0xfffffffff8003000, 0xfffffffffff80000,
    787   0xfffffffff0006000, 0xfffffffffff00000,
    788   0xffffffffe000c000, 0xffffffffffe00000,
    789   0xffffffffc0018000, 0xffffffffffc00000,
    790   0xffffffff80030000, 0xffffffffff800000,
    791   0xffffffff00060000, 0xffffffffff000000,
    792   0xfffffffe000c0000, 0xfffffffffe000000,
    793   0xfffffffc00180000, 0xfffffffffc000000,
    794   0xfffffff800300000, 0xfffffffff8000000,
    795   0xfffffff000600000, 0xfffffffff0000000,
    796   0xffffffe000c00000, 0xffffffffe0000000,
    797   0xffffffc001800000, 0xffffffffc0000000,
    798   0xffffff8003000000, 0xffffffff80000000,
    799   0xffffff0006000000, 0xffffffff00000000,
    800   0xfffffe000c000000, 0xfffffffe00000000,
    801   0xfffffc0018000000, 0xfffffffc00000000,
    802   0xfffff80030000000, 0xfffffff800000000,
    803   0xfffff00060000000, 0xfffffff000000000,
    804   0xffffe000c0000000, 0xffffffe000000000,
    805   0xffffc00180000000, 0xffffffc000000000,
    806   0xffffffffffffff80, 0xffffffffffffff81,
    807   0xffffffffffffff00, 0xffffffffffffff02,
    808   0xfffffffffffffe00, 0xfffffffffffffe04,
    809   0xfffffffffffffc00, 0xfffffffffffffc08,
    810   0xfffffffffffff800, 0xfffffffffffff810,
    811   0xfffffffffffff000, 0xfffffffffffff020,
    812   0xffffffffffffe000, 0xffffffffffffe040,
    813   0xffffffffffffc000, 0xffffffffffffc080,
    814   0xffffffffffff8000, 0xffffffffffff8100,
    815   0xffffffffffff0000, 0xffffffffffff0200,
    816   0xfffffffffffe0000, 0xfffffffffffe0400,
    817   0xfffffffffffc0000, 0xfffffffffffc0800,
    818   0xfffffffffff80000, 0xfffffffffff81000,
    819   0xfffffffffff00000, 0xfffffffffff02000,
    820   0xffffffffffe00000, 0xffffffffffe04000,
    821   0xffffffffffc00000, 0xffffffffffc08000,
    822   0xffffffffff800000, 0xffffffffff810000,
    823   0xffffffffff000000, 0xffffffffff020000,
    824   0xfffffffffe000000, 0xfffffffffe040000,
    825   0xfffffffffc000000, 0xfffffffffc080000,
    826   0xfffffffff8000000, 0xfffffffff8100000,
    827   0xfffffffff0000000, 0xfffffffff0200000,
    828   0xffffffffe0000000, 0xffffffffe0400000,
    829   0xffffffffc0000000, 0xffffffffc0800000,
    830   0xffffffff80000000, 0xffffffff81000000,
    831   0xffffffff00000000, 0xffffffff02000000,
    832   0xfffffffe00000000, 0xfffffffe04000000,
    833   0xfffffffc00000000, 0xfffffffc08000000,
    834   0xfffffff800000000, 0xfffffff810000000,
    835   0xfffffff000000000, 0xfffffff020000000,
    836   0xffffffe000000000, 0xffffffe040000000,
    837   0xffffffc000000000, 0xffffffc080000000,
    838   0xffffffffffffff81, 0xffffffffffffff82,
    839   0xffffffffffffff02, 0xffffffffffffff04,
    840   0xfffffffffffffe04, 0xfffffffffffffe08,
    841   0xfffffffffffffc08, 0xfffffffffffffc10,
    842   0xfffffffffffff810, 0xfffffffffffff820,
    843   0xfffffffffffff020, 0xfffffffffffff040,
    844   0xffffffffffffe040, 0xffffffffffffe080,
    845   0xffffffffffffc080, 0xffffffffffffc100,
    846   0xffffffffffff8100, 0xffffffffffff8200,
    847   0xffffffffffff0200, 0xffffffffffff0400,
    848   0xfffffffffffe0400, 0xfffffffffffe0800,
    849   0xfffffffffffc0800, 0xfffffffffffc1000,
    850   0xfffffffffff81000, 0xfffffffffff82000,
    851   0xfffffffffff02000, 0xfffffffffff04000,
    852   0xffffffffffe04000, 0xffffffffffe08000,
    853   0xffffffffffc08000, 0xffffffffffc10000,
    854   0xffffffffff810000, 0xffffffffff820000,
    855   0xffffffffff020000, 0xffffffffff040000,
    856   0xfffffffffe040000, 0xfffffffffe080000,
    857   0xfffffffffc080000, 0xfffffffffc100000,
    858   0xfffffffff8100000, 0xfffffffff8200000,
    859   0xfffffffff0200000, 0xfffffffff0400000,
    860   0xffffffffe0400000, 0xffffffffe0800000,
    861   0xffffffffc0800000, 0xffffffffc1000000,
    862   0xffffffff81000000, 0xffffffff82000000,
    863   0xffffffff02000000, 0xffffffff04000000,
    864   0xfffffffe04000000, 0xfffffffe08000000,
    865   0xfffffffc08000000, 0xfffffffc10000000,
    866   0xfffffff810000000, 0xfffffff820000000,
    867   0xfffffff020000000, 0xfffffff040000000,
    868   0xffffffe040000000, 0xffffffe080000000,
    869   0xffffffc080000000, 0xffffffc100000000,
    870   0xffffffffffffff82, 0xffffffffffffff83,
    871   0xffffffffffffff04, 0xffffffffffffff06,
    872   0xfffffffffffffe08, 0xfffffffffffffe0c,
    873   0xfffffffffffffc10, 0xfffffffffffffc18,
    874   0xfffffffffffff820, 0xfffffffffffff830,
    875   0xfffffffffffff040, 0xfffffffffffff060,
    876   0xffffffffffffe080, 0xffffffffffffe0c0,
    877   0xffffffffffffc100, 0xffffffffffffc180,
    878   0xffffffffffff8200, 0xffffffffffff8300,
    879   0xffffffffffff0400, 0xffffffffffff0600,
    880   0xfffffffffffe0800, 0xfffffffffffe0c00,
    881   0xfffffffffffc1000, 0xfffffffffffc1800,
    882   0xfffffffffff82000, 0xfffffffffff83000,
    883   0xfffffffffff04000, 0xfffffffffff06000,
    884   0xffffffffffe08000, 0xffffffffffe0c000,
    885   0xffffffffffc10000, 0xffffffffffc18000,
    886   0xffffffffff820000, 0xffffffffff830000,
    887   0xffffffffff040000, 0xffffffffff060000,
    888   0xfffffffffe080000, 0xfffffffffe0c0000,
    889   0xfffffffffc100000, 0xfffffffffc180000,
    890   0xfffffffff8200000, 0xfffffffff8300000,
    891   0xfffffffff0400000, 0xfffffffff0600000,
    892   0xffffffffe0800000, 0xffffffffe0c00000,
    893   0xffffffffc1000000, 0xffffffffc1800000,
    894   0xffffffff82000000, 0xffffffff83000000,
    895   0xffffffff04000000, 0xffffffff06000000,
    896   0xfffffffe08000000, 0xfffffffe0c000000,
    897   0xfffffffc10000000, 0xfffffffc18000000,
    898   0xfffffff820000000, 0xfffffff830000000,
    899   0xfffffff040000000, 0xfffffff060000000,
    900   0xffffffe080000000, 0xffffffe0c0000000,
    901   0xffffffc100000000, 0xffffffc180000000,
    902   0xffffffffffffff83, 0xffffffffffffffe0,
    903   0xffffffffffffff06, 0xffffffffffffffc0,
    904   0xfffffffffffffe0c, 0xffffffffffffff80,
    905   0xfffffffffffffc18, 0xffffffffffffff00,
    906   0xfffffffffffff830, 0xfffffffffffffe00,
    907   0xfffffffffffff060, 0xfffffffffffffc00,
    908   0xffffffffffffe0c0, 0xfffffffffffff800,
    909   0xffffffffffffc180, 0xfffffffffffff000,
    910   0xffffffffffff8300, 0xffffffffffffe000,
    911   0xffffffffffff0600, 0xffffffffffffc000,
    912   0xfffffffffffe0c00, 0xffffffffffff8000,
    913   0xfffffffffffc1800, 0xffffffffffff0000,
    914   0xfffffffffff83000, 0xfffffffffffe0000,
    915   0xfffffffffff06000, 0xfffffffffffc0000,
    916   0xffffffffffe0c000, 0xfffffffffff80000,
    917   0xffffffffffc18000, 0xfffffffffff00000,
    918   0xffffffffff830000, 0xffffffffffe00000,
    919   0xffffffffff060000, 0xffffffffffc00000,
    920   0xfffffffffe0c0000, 0xffffffffff800000,
    921   0xfffffffffc180000, 0xffffffffff000000,
    922   0xfffffffff8300000, 0xfffffffffe000000,
    923   0xfffffffff0600000, 0xfffffffffc000000,
    924   0xffffffffe0c00000, 0xfffffffff8000000,
    925   0xffffffffc1800000, 0xfffffffff0000000,
    926   0xffffffff83000000, 0xffffffffe0000000,
    927   0xffffffff06000000, 0xffffffffc0000000,
    928   0xfffffffe0c000000, 0xffffffff80000000,
    929   0xfffffffc18000000, 0xffffffff00000000,
    930   0xfffffff830000000, 0xfffffffe00000000,
    931   0xfffffff060000000, 0xfffffffc00000000,
    932   0xffffffe0c0000000, 0xfffffff800000000,
    933   0xffffffc180000000, 0xfffffff000000000,
    934   0xffffffffffffffe0, 0xfffffffffffffffd,
    935   0xffffffffffffffc0, 0xfffffffffffffffa,
    936   0xffffffffffffff80, 0xfffffffffffffff4,
    937   0xffffffffffffff00, 0xffffffffffffffe8,
    938   0xfffffffffffffe00, 0xffffffffffffffd0,
    939   0xfffffffffffffc00, 0xffffffffffffffa0,
    940   0xfffffffffffff800, 0xffffffffffffff40,
    941   0xfffffffffffff000, 0xfffffffffffffe80,
    942   0xffffffffffffe000, 0xfffffffffffffd00,
    943   0xffffffffffffc000, 0xfffffffffffffa00,
    944   0xffffffffffff8000, 0xfffffffffffff400,
    945   0xffffffffffff0000, 0xffffffffffffe800,
    946   0xfffffffffffe0000, 0xffffffffffffd000,
    947   0xfffffffffffc0000, 0xffffffffffffa000,
    948   0xfffffffffff80000, 0xffffffffffff4000,
    949   0xfffffffffff00000, 0xfffffffffffe8000,
    950   0xffffffffffe00000, 0xfffffffffffd0000,
    951   0xffffffffffc00000, 0xfffffffffffa0000,
    952   0xffffffffff800000, 0xfffffffffff40000,
    953   0xffffffffff000000, 0xffffffffffe80000,
    954   0xfffffffffe000000, 0xffffffffffd00000,
    955   0xfffffffffc000000, 0xffffffffffa00000,
    956   0xfffffffff8000000, 0xffffffffff400000,
    957   0xfffffffff0000000, 0xfffffffffe800000,
    958   0xffffffffe0000000, 0xfffffffffd000000,
    959   0xffffffffc0000000, 0xfffffffffa000000,
    960   0xffffffff80000000, 0xfffffffff4000000,
    961   0xffffffff00000000, 0xffffffffe8000000,
    962   0xfffffffe00000000, 0xffffffffd0000000,
    963   0xfffffffc00000000, 0xffffffffa0000000,
    964   0xfffffff800000000, 0xffffffff40000000,
    965   0xfffffff000000000, 0xfffffffe80000000,
    966   0xfffffffffffffffd, 0xfffffffffffffffe,
    967   0xfffffffffffffffa, 0xfffffffffffffffc,
    968   0xfffffffffffffff4, 0xfffffffffffffff8,
    969   0xffffffffffffffe8, 0xfffffffffffffff0,
    970   0xffffffffffffffd0, 0xffffffffffffffe0,
    971   0xffffffffffffffa0, 0xffffffffffffffc0,
    972   0xffffffffffffff40, 0xffffffffffffff80,
    973   0xfffffffffffffe80, 0xffffffffffffff00,
    974   0xfffffffffffffd00, 0xfffffffffffffe00,
    975   0xfffffffffffffa00, 0xfffffffffffffc00,
    976   0xfffffffffffff400, 0xfffffffffffff800,
    977   0xffffffffffffe800, 0xfffffffffffff000,
    978   0xffffffffffffd000, 0xffffffffffffe000,
    979   0xffffffffffffa000, 0xffffffffffffc000,
    980   0xffffffffffff4000, 0xffffffffffff8000,
    981   0xfffffffffffe8000, 0xffffffffffff0000,
    982   0xfffffffffffd0000, 0xfffffffffffe0000,
    983   0xfffffffffffa0000, 0xfffffffffffc0000,
    984   0xfffffffffff40000, 0xfffffffffff80000,
    985   0xffffffffffe80000, 0xfffffffffff00000,
    986   0xffffffffffd00000, 0xffffffffffe00000,
    987   0xffffffffffa00000, 0xffffffffffc00000,
    988   0xffffffffff400000, 0xffffffffff800000,
    989   0xfffffffffe800000, 0xffffffffff000000,
    990   0xfffffffffd000000, 0xfffffffffe000000,
    991   0xfffffffffa000000, 0xfffffffffc000000,
    992   0xfffffffff4000000, 0xfffffffff8000000,
    993   0xffffffffe8000000, 0xfffffffff0000000,
    994   0xffffffffd0000000, 0xffffffffe0000000,
    995   0xffffffffa0000000, 0xffffffffc0000000,
    996   0xffffffff40000000, 0xffffffff80000000,
    997   0xfffffffe80000000, 0xffffffff00000000,
    998   0xfffffffffffffffe, 0xffffffffffffffff,
    999   0xfffffffffffffffc, 0xfffffffffffffffe,
   1000   0xfffffffffffffff8, 0xfffffffffffffffc,
   1001   0xfffffffffffffff0, 0xfffffffffffffff8,
   1002   0xffffffffffffffe0, 0xfffffffffffffff0,
   1003   0xffffffffffffffc0, 0xffffffffffffffe0,
   1004   0xffffffffffffff80, 0xffffffffffffffc0,
   1005   0xffffffffffffff00, 0xffffffffffffff80,
   1006   0xfffffffffffffe00, 0xffffffffffffff00,
   1007   0xfffffffffffffc00, 0xfffffffffffffe00,
   1008   0xfffffffffffff800, 0xfffffffffffffc00,
   1009   0xfffffffffffff000, 0xfffffffffffff800,
   1010   0xffffffffffffe000, 0xfffffffffffff000,
   1011   0xffffffffffffc000, 0xffffffffffffe000,
   1012   0xffffffffffff8000, 0xffffffffffffc000,
   1013   0xffffffffffff0000, 0xffffffffffff8000,
   1014   0xfffffffffffe0000, 0xffffffffffff0000,
   1015   0xfffffffffffc0000, 0xfffffffffffe0000,
   1016   0xfffffffffff80000, 0xfffffffffffc0000,
   1017   0xfffffffffff00000, 0xfffffffffff80000,
   1018   0xffffffffffe00000, 0xfffffffffff00000,
   1019   0xffffffffffc00000, 0xffffffffffe00000,
   1020   0xffffffffff800000, 0xffffffffffc00000,
   1021   0xffffffffff000000, 0xffffffffff800000,
   1022   0xfffffffffe000000, 0xffffffffff000000,
   1023   0xfffffffffc000000, 0xfffffffffe000000,
   1024   0xfffffffff8000000, 0xfffffffffc000000,
   1025   0xfffffffff0000000, 0xfffffffff8000000,
   1026   0xffffffffe0000000, 0xfffffffff0000000,
   1027   0xffffffffc0000000, 0xffffffffe0000000,
   1028   0xffffffff80000000, 0xffffffffc0000000,
   1029   0xffffffff00000000, 0xffffffff80000000,
   1030 };
   1031 const unsigned kExpectedCount_NEON_sshll2_2D_2OPIMM = 992;
   1032 
   1033 #endif  // VIXL_SIM_SSHLL2_2D_2OPIMM_TRACE_AARCH64_H_
   1034