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