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_USHLL_2D_2OPIMM_TRACE_A64_H_
     35 #define VIXL_SIM_USHLL_2D_2OPIMM_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_ushll_2D_2OPIMM[] = {
     38   0x00000000fffffffd, 0x00000000fffffffe,
     39   0x00000001fffffffa, 0x00000001fffffffc,
     40   0x00000003fffffff4, 0x00000003fffffff8,
     41   0x00000007ffffffe8, 0x00000007fffffff0,
     42   0x0000000fffffffd0, 0x0000000fffffffe0,
     43   0x0000001fffffffa0, 0x0000001fffffffc0,
     44   0x0000003fffffff40, 0x0000003fffffff80,
     45   0x0000007ffffffe80, 0x0000007fffffff00,
     46   0x000000fffffffd00, 0x000000fffffffe00,
     47   0x000001fffffffa00, 0x000001fffffffc00,
     48   0x000003fffffff400, 0x000003fffffff800,
     49   0x000007ffffffe800, 0x000007fffffff000,
     50   0x00000fffffffd000, 0x00000fffffffe000,
     51   0x00001fffffffa000, 0x00001fffffffc000,
     52   0x00003fffffff4000, 0x00003fffffff8000,
     53   0x00007ffffffe8000, 0x00007fffffff0000,
     54   0x0000fffffffd0000, 0x0000fffffffe0000,
     55   0x0001fffffffa0000, 0x0001fffffffc0000,
     56   0x0003fffffff40000, 0x0003fffffff80000,
     57   0x0007ffffffe80000, 0x0007fffffff00000,
     58   0x000fffffffd00000, 0x000fffffffe00000,
     59   0x001fffffffa00000, 0x001fffffffc00000,
     60   0x003fffffff400000, 0x003fffffff800000,
     61   0x007ffffffe800000, 0x007fffffff000000,
     62   0x00fffffffd000000, 0x00fffffffe000000,
     63   0x01fffffffa000000, 0x01fffffffc000000,
     64   0x03fffffff4000000, 0x03fffffff8000000,
     65   0x07ffffffe8000000, 0x07fffffff0000000,
     66   0x0fffffffd0000000, 0x0fffffffe0000000,
     67   0x1fffffffa0000000, 0x1fffffffc0000000,
     68   0x3fffffff40000000, 0x3fffffff80000000,
     69   0x7ffffffe80000000, 0x7fffffff00000000,
     70   0x00000000fffffffe, 0x00000000ffffffff,
     71   0x00000001fffffffc, 0x00000001fffffffe,
     72   0x00000003fffffff8, 0x00000003fffffffc,
     73   0x00000007fffffff0, 0x00000007fffffff8,
     74   0x0000000fffffffe0, 0x0000000ffffffff0,
     75   0x0000001fffffffc0, 0x0000001fffffffe0,
     76   0x0000003fffffff80, 0x0000003fffffffc0,
     77   0x0000007fffffff00, 0x0000007fffffff80,
     78   0x000000fffffffe00, 0x000000ffffffff00,
     79   0x000001fffffffc00, 0x000001fffffffe00,
     80   0x000003fffffff800, 0x000003fffffffc00,
     81   0x000007fffffff000, 0x000007fffffff800,
     82   0x00000fffffffe000, 0x00000ffffffff000,
     83   0x00001fffffffc000, 0x00001fffffffe000,
     84   0x00003fffffff8000, 0x00003fffffffc000,
     85   0x00007fffffff0000, 0x00007fffffff8000,
     86   0x0000fffffffe0000, 0x0000ffffffff0000,
     87   0x0001fffffffc0000, 0x0001fffffffe0000,
     88   0x0003fffffff80000, 0x0003fffffffc0000,
     89   0x0007fffffff00000, 0x0007fffffff80000,
     90   0x000fffffffe00000, 0x000ffffffff00000,
     91   0x001fffffffc00000, 0x001fffffffe00000,
     92   0x003fffffff800000, 0x003fffffffc00000,
     93   0x007fffffff000000, 0x007fffffff800000,
     94   0x00fffffffe000000, 0x00ffffffff000000,
     95   0x01fffffffc000000, 0x01fffffffe000000,
     96   0x03fffffff8000000, 0x03fffffffc000000,
     97   0x07fffffff0000000, 0x07fffffff8000000,
     98   0x0fffffffe0000000, 0x0ffffffff0000000,
     99   0x1fffffffc0000000, 0x1fffffffe0000000,
    100   0x3fffffff80000000, 0x3fffffffc0000000,
    101   0x7fffffff00000000, 0x7fffffff80000000,
    102   0x00000000ffffffff, 0x0000000000000000,
    103   0x00000001fffffffe, 0x0000000000000000,
    104   0x00000003fffffffc, 0x0000000000000000,
    105   0x00000007fffffff8, 0x0000000000000000,
    106   0x0000000ffffffff0, 0x0000000000000000,
    107   0x0000001fffffffe0, 0x0000000000000000,
    108   0x0000003fffffffc0, 0x0000000000000000,
    109   0x0000007fffffff80, 0x0000000000000000,
    110   0x000000ffffffff00, 0x0000000000000000,
    111   0x000001fffffffe00, 0x0000000000000000,
    112   0x000003fffffffc00, 0x0000000000000000,
    113   0x000007fffffff800, 0x0000000000000000,
    114   0x00000ffffffff000, 0x0000000000000000,
    115   0x00001fffffffe000, 0x0000000000000000,
    116   0x00003fffffffc000, 0x0000000000000000,
    117   0x00007fffffff8000, 0x0000000000000000,
    118   0x0000ffffffff0000, 0x0000000000000000,
    119   0x0001fffffffe0000, 0x0000000000000000,
    120   0x0003fffffffc0000, 0x0000000000000000,
    121   0x0007fffffff80000, 0x0000000000000000,
    122   0x000ffffffff00000, 0x0000000000000000,
    123   0x001fffffffe00000, 0x0000000000000000,
    124   0x003fffffffc00000, 0x0000000000000000,
    125   0x007fffffff800000, 0x0000000000000000,
    126   0x00ffffffff000000, 0x0000000000000000,
    127   0x01fffffffe000000, 0x0000000000000000,
    128   0x03fffffffc000000, 0x0000000000000000,
    129   0x07fffffff8000000, 0x0000000000000000,
    130   0x0ffffffff0000000, 0x0000000000000000,
    131   0x1fffffffe0000000, 0x0000000000000000,
    132   0x3fffffffc0000000, 0x0000000000000000,
    133   0x7fffffff80000000, 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, 0x0000000080000000,
    583   0x00000000fffffffe, 0x0000000100000000,
    584   0x00000001fffffffc, 0x0000000200000000,
    585   0x00000003fffffff8, 0x0000000400000000,
    586   0x00000007fffffff0, 0x0000000800000000,
    587   0x0000000fffffffe0, 0x0000001000000000,
    588   0x0000001fffffffc0, 0x0000002000000000,
    589   0x0000003fffffff80, 0x0000004000000000,
    590   0x0000007fffffff00, 0x0000008000000000,
    591   0x000000fffffffe00, 0x0000010000000000,
    592   0x000001fffffffc00, 0x0000020000000000,
    593   0x000003fffffff800, 0x0000040000000000,
    594   0x000007fffffff000, 0x0000080000000000,
    595   0x00000fffffffe000, 0x0000100000000000,
    596   0x00001fffffffc000, 0x0000200000000000,
    597   0x00003fffffff8000, 0x0000400000000000,
    598   0x00007fffffff0000, 0x0000800000000000,
    599   0x0000fffffffe0000, 0x0001000000000000,
    600   0x0001fffffffc0000, 0x0002000000000000,
    601   0x0003fffffff80000, 0x0004000000000000,
    602   0x0007fffffff00000, 0x0008000000000000,
    603   0x000fffffffe00000, 0x0010000000000000,
    604   0x001fffffffc00000, 0x0020000000000000,
    605   0x003fffffff800000, 0x0040000000000000,
    606   0x007fffffff000000, 0x0080000000000000,
    607   0x00fffffffe000000, 0x0100000000000000,
    608   0x01fffffffc000000, 0x0200000000000000,
    609   0x03fffffff8000000, 0x0400000000000000,
    610   0x07fffffff0000000, 0x0800000000000000,
    611   0x0fffffffe0000000, 0x1000000000000000,
    612   0x1fffffffc0000000, 0x2000000000000000,
    613   0x3fffffff80000000, 0x4000000000000000,
    614   0x0000000080000000, 0x0000000080000001,
    615   0x0000000100000000, 0x0000000100000002,
    616   0x0000000200000000, 0x0000000200000004,
    617   0x0000000400000000, 0x0000000400000008,
    618   0x0000000800000000, 0x0000000800000010,
    619   0x0000001000000000, 0x0000001000000020,
    620   0x0000002000000000, 0x0000002000000040,
    621   0x0000004000000000, 0x0000004000000080,
    622   0x0000008000000000, 0x0000008000000100,
    623   0x0000010000000000, 0x0000010000000200,
    624   0x0000020000000000, 0x0000020000000400,
    625   0x0000040000000000, 0x0000040000000800,
    626   0x0000080000000000, 0x0000080000001000,
    627   0x0000100000000000, 0x0000100000002000,
    628   0x0000200000000000, 0x0000200000004000,
    629   0x0000400000000000, 0x0000400000008000,
    630   0x0000800000000000, 0x0000800000010000,
    631   0x0001000000000000, 0x0001000000020000,
    632   0x0002000000000000, 0x0002000000040000,
    633   0x0004000000000000, 0x0004000000080000,
    634   0x0008000000000000, 0x0008000000100000,
    635   0x0010000000000000, 0x0010000000200000,
    636   0x0020000000000000, 0x0020000000400000,
    637   0x0040000000000000, 0x0040000000800000,
    638   0x0080000000000000, 0x0080000001000000,
    639   0x0100000000000000, 0x0100000002000000,
    640   0x0200000000000000, 0x0200000004000000,
    641   0x0400000000000000, 0x0400000008000000,
    642   0x0800000000000000, 0x0800000010000000,
    643   0x1000000000000000, 0x1000000020000000,
    644   0x2000000000000000, 0x2000000040000000,
    645   0x4000000000000000, 0x4000000080000000,
    646   0x0000000080000001, 0x00000000aaaaaaaa,
    647   0x0000000100000002, 0x0000000155555554,
    648   0x0000000200000004, 0x00000002aaaaaaa8,
    649   0x0000000400000008, 0x0000000555555550,
    650   0x0000000800000010, 0x0000000aaaaaaaa0,
    651   0x0000001000000020, 0x0000001555555540,
    652   0x0000002000000040, 0x0000002aaaaaaa80,
    653   0x0000004000000080, 0x0000005555555500,
    654   0x0000008000000100, 0x000000aaaaaaaa00,
    655   0x0000010000000200, 0x0000015555555400,
    656   0x0000020000000400, 0x000002aaaaaaa800,
    657   0x0000040000000800, 0x0000055555555000,
    658   0x0000080000001000, 0x00000aaaaaaaa000,
    659   0x0000100000002000, 0x0000155555554000,
    660   0x0000200000004000, 0x00002aaaaaaa8000,
    661   0x0000400000008000, 0x0000555555550000,
    662   0x0000800000010000, 0x0000aaaaaaaa0000,
    663   0x0001000000020000, 0x0001555555540000,
    664   0x0002000000040000, 0x0002aaaaaaa80000,
    665   0x0004000000080000, 0x0005555555500000,
    666   0x0008000000100000, 0x000aaaaaaaa00000,
    667   0x0010000000200000, 0x0015555555400000,
    668   0x0020000000400000, 0x002aaaaaaa800000,
    669   0x0040000000800000, 0x0055555555000000,
    670   0x0080000001000000, 0x00aaaaaaaa000000,
    671   0x0100000002000000, 0x0155555554000000,
    672   0x0200000004000000, 0x02aaaaaaa8000000,
    673   0x0400000008000000, 0x0555555550000000,
    674   0x0800000010000000, 0x0aaaaaaaa0000000,
    675   0x1000000020000000, 0x1555555540000000,
    676   0x2000000040000000, 0x2aaaaaaa80000000,
    677   0x4000000080000000, 0x5555555500000000,
    678   0x00000000aaaaaaaa, 0x00000000cccccccc,
    679   0x0000000155555554, 0x0000000199999998,
    680   0x00000002aaaaaaa8, 0x0000000333333330,
    681   0x0000000555555550, 0x0000000666666660,
    682   0x0000000aaaaaaaa0, 0x0000000cccccccc0,
    683   0x0000001555555540, 0x0000001999999980,
    684   0x0000002aaaaaaa80, 0x0000003333333300,
    685   0x0000005555555500, 0x0000006666666600,
    686   0x000000aaaaaaaa00, 0x000000cccccccc00,
    687   0x0000015555555400, 0x0000019999999800,
    688   0x000002aaaaaaa800, 0x0000033333333000,
    689   0x0000055555555000, 0x0000066666666000,
    690   0x00000aaaaaaaa000, 0x00000cccccccc000,
    691   0x0000155555554000, 0x0000199999998000,
    692   0x00002aaaaaaa8000, 0x0000333333330000,
    693   0x0000555555550000, 0x0000666666660000,
    694   0x0000aaaaaaaa0000, 0x0000cccccccc0000,
    695   0x0001555555540000, 0x0001999999980000,
    696   0x0002aaaaaaa80000, 0x0003333333300000,
    697   0x0005555555500000, 0x0006666666600000,
    698   0x000aaaaaaaa00000, 0x000cccccccc00000,
    699   0x0015555555400000, 0x0019999999800000,
    700   0x002aaaaaaa800000, 0x0033333333000000,
    701   0x0055555555000000, 0x0066666666000000,
    702   0x00aaaaaaaa000000, 0x00cccccccc000000,
    703   0x0155555554000000, 0x0199999998000000,
    704   0x02aaaaaaa8000000, 0x0333333330000000,
    705   0x0555555550000000, 0x0666666660000000,
    706   0x0aaaaaaaa0000000, 0x0cccccccc0000000,
    707   0x1555555540000000, 0x1999999980000000,
    708   0x2aaaaaaa80000000, 0x3333333300000000,
    709   0x5555555500000000, 0x6666666600000000,
    710   0x00000000cccccccc, 0x00000000ffff8000,
    711   0x0000000199999998, 0x00000001ffff0000,
    712   0x0000000333333330, 0x00000003fffe0000,
    713   0x0000000666666660, 0x00000007fffc0000,
    714   0x0000000cccccccc0, 0x0000000ffff80000,
    715   0x0000001999999980, 0x0000001ffff00000,
    716   0x0000003333333300, 0x0000003fffe00000,
    717   0x0000006666666600, 0x0000007fffc00000,
    718   0x000000cccccccc00, 0x000000ffff800000,
    719   0x0000019999999800, 0x000001ffff000000,
    720   0x0000033333333000, 0x000003fffe000000,
    721   0x0000066666666000, 0x000007fffc000000,
    722   0x00000cccccccc000, 0x00000ffff8000000,
    723   0x0000199999998000, 0x00001ffff0000000,
    724   0x0000333333330000, 0x00003fffe0000000,
    725   0x0000666666660000, 0x00007fffc0000000,
    726   0x0000cccccccc0000, 0x0000ffff80000000,
    727   0x0001999999980000, 0x0001ffff00000000,
    728   0x0003333333300000, 0x0003fffe00000000,
    729   0x0006666666600000, 0x0007fffc00000000,
    730   0x000cccccccc00000, 0x000ffff800000000,
    731   0x0019999999800000, 0x001ffff000000000,
    732   0x0033333333000000, 0x003fffe000000000,
    733   0x0066666666000000, 0x007fffc000000000,
    734   0x00cccccccc000000, 0x00ffff8000000000,
    735   0x0199999998000000, 0x01ffff0000000000,
    736   0x0333333330000000, 0x03fffe0000000000,
    737   0x0666666660000000, 0x07fffc0000000000,
    738   0x0cccccccc0000000, 0x0ffff80000000000,
    739   0x1999999980000000, 0x1ffff00000000000,
    740   0x3333333300000000, 0x3fffe00000000000,
    741   0x6666666600000000, 0x7fffc00000000000,
    742   0x00000000ffff8000, 0x00000000ffff8001,
    743   0x00000001ffff0000, 0x00000001ffff0002,
    744   0x00000003fffe0000, 0x00000003fffe0004,
    745   0x00000007fffc0000, 0x00000007fffc0008,
    746   0x0000000ffff80000, 0x0000000ffff80010,
    747   0x0000001ffff00000, 0x0000001ffff00020,
    748   0x0000003fffe00000, 0x0000003fffe00040,
    749   0x0000007fffc00000, 0x0000007fffc00080,
    750   0x000000ffff800000, 0x000000ffff800100,
    751   0x000001ffff000000, 0x000001ffff000200,
    752   0x000003fffe000000, 0x000003fffe000400,
    753   0x000007fffc000000, 0x000007fffc000800,
    754   0x00000ffff8000000, 0x00000ffff8001000,
    755   0x00001ffff0000000, 0x00001ffff0002000,
    756   0x00003fffe0000000, 0x00003fffe0004000,
    757   0x00007fffc0000000, 0x00007fffc0008000,
    758   0x0000ffff80000000, 0x0000ffff80010000,
    759   0x0001ffff00000000, 0x0001ffff00020000,
    760   0x0003fffe00000000, 0x0003fffe00040000,
    761   0x0007fffc00000000, 0x0007fffc00080000,
    762   0x000ffff800000000, 0x000ffff800100000,
    763   0x001ffff000000000, 0x001ffff000200000,
    764   0x003fffe000000000, 0x003fffe000400000,
    765   0x007fffc000000000, 0x007fffc000800000,
    766   0x00ffff8000000000, 0x00ffff8001000000,
    767   0x01ffff0000000000, 0x01ffff0002000000,
    768   0x03fffe0000000000, 0x03fffe0004000000,
    769   0x07fffc0000000000, 0x07fffc0008000000,
    770   0x0ffff80000000000, 0x0ffff80010000000,
    771   0x1ffff00000000000, 0x1ffff00020000000,
    772   0x3fffe00000000000, 0x3fffe00040000000,
    773   0x7fffc00000000000, 0x7fffc00080000000,
    774   0x00000000ffff8001, 0x00000000ffff8002,
    775   0x00000001ffff0002, 0x00000001ffff0004,
    776   0x00000003fffe0004, 0x00000003fffe0008,
    777   0x00000007fffc0008, 0x00000007fffc0010,
    778   0x0000000ffff80010, 0x0000000ffff80020,
    779   0x0000001ffff00020, 0x0000001ffff00040,
    780   0x0000003fffe00040, 0x0000003fffe00080,
    781   0x0000007fffc00080, 0x0000007fffc00100,
    782   0x000000ffff800100, 0x000000ffff800200,
    783   0x000001ffff000200, 0x000001ffff000400,
    784   0x000003fffe000400, 0x000003fffe000800,
    785   0x000007fffc000800, 0x000007fffc001000,
    786   0x00000ffff8001000, 0x00000ffff8002000,
    787   0x00001ffff0002000, 0x00001ffff0004000,
    788   0x00003fffe0004000, 0x00003fffe0008000,
    789   0x00007fffc0008000, 0x00007fffc0010000,
    790   0x0000ffff80010000, 0x0000ffff80020000,
    791   0x0001ffff00020000, 0x0001ffff00040000,
    792   0x0003fffe00040000, 0x0003fffe00080000,
    793   0x0007fffc00080000, 0x0007fffc00100000,
    794   0x000ffff800100000, 0x000ffff800200000,
    795   0x001ffff000200000, 0x001ffff000400000,
    796   0x003fffe000400000, 0x003fffe000800000,
    797   0x007fffc000800000, 0x007fffc001000000,
    798   0x00ffff8001000000, 0x00ffff8002000000,
    799   0x01ffff0002000000, 0x01ffff0004000000,
    800   0x03fffe0004000000, 0x03fffe0008000000,
    801   0x07fffc0008000000, 0x07fffc0010000000,
    802   0x0ffff80010000000, 0x0ffff80020000000,
    803   0x1ffff00020000000, 0x1ffff00040000000,
    804   0x3fffe00040000000, 0x3fffe00080000000,
    805   0x7fffc00080000000, 0x7fffc00100000000,
    806   0x00000000ffff8002, 0x00000000ffff8003,
    807   0x00000001ffff0004, 0x00000001ffff0006,
    808   0x00000003fffe0008, 0x00000003fffe000c,
    809   0x00000007fffc0010, 0x00000007fffc0018,
    810   0x0000000ffff80020, 0x0000000ffff80030,
    811   0x0000001ffff00040, 0x0000001ffff00060,
    812   0x0000003fffe00080, 0x0000003fffe000c0,
    813   0x0000007fffc00100, 0x0000007fffc00180,
    814   0x000000ffff800200, 0x000000ffff800300,
    815   0x000001ffff000400, 0x000001ffff000600,
    816   0x000003fffe000800, 0x000003fffe000c00,
    817   0x000007fffc001000, 0x000007fffc001800,
    818   0x00000ffff8002000, 0x00000ffff8003000,
    819   0x00001ffff0004000, 0x00001ffff0006000,
    820   0x00003fffe0008000, 0x00003fffe000c000,
    821   0x00007fffc0010000, 0x00007fffc0018000,
    822   0x0000ffff80020000, 0x0000ffff80030000,
    823   0x0001ffff00040000, 0x0001ffff00060000,
    824   0x0003fffe00080000, 0x0003fffe000c0000,
    825   0x0007fffc00100000, 0x0007fffc00180000,
    826   0x000ffff800200000, 0x000ffff800300000,
    827   0x001ffff000400000, 0x001ffff000600000,
    828   0x003fffe000800000, 0x003fffe000c00000,
    829   0x007fffc001000000, 0x007fffc001800000,
    830   0x00ffff8002000000, 0x00ffff8003000000,
    831   0x01ffff0004000000, 0x01ffff0006000000,
    832   0x03fffe0008000000, 0x03fffe000c000000,
    833   0x07fffc0010000000, 0x07fffc0018000000,
    834   0x0ffff80020000000, 0x0ffff80030000000,
    835   0x1ffff00040000000, 0x1ffff00060000000,
    836   0x3fffe00080000000, 0x3fffe000c0000000,
    837   0x7fffc00100000000, 0x7fffc00180000000,
    838   0x00000000ffff8003, 0x00000000ffffff80,
    839   0x00000001ffff0006, 0x00000001ffffff00,
    840   0x00000003fffe000c, 0x00000003fffffe00,
    841   0x00000007fffc0018, 0x00000007fffffc00,
    842   0x0000000ffff80030, 0x0000000ffffff800,
    843   0x0000001ffff00060, 0x0000001ffffff000,
    844   0x0000003fffe000c0, 0x0000003fffffe000,
    845   0x0000007fffc00180, 0x0000007fffffc000,
    846   0x000000ffff800300, 0x000000ffffff8000,
    847   0x000001ffff000600, 0x000001ffffff0000,
    848   0x000003fffe000c00, 0x000003fffffe0000,
    849   0x000007fffc001800, 0x000007fffffc0000,
    850   0x00000ffff8003000, 0x00000ffffff80000,
    851   0x00001ffff0006000, 0x00001ffffff00000,
    852   0x00003fffe000c000, 0x00003fffffe00000,
    853   0x00007fffc0018000, 0x00007fffffc00000,
    854   0x0000ffff80030000, 0x0000ffffff800000,
    855   0x0001ffff00060000, 0x0001ffffff000000,
    856   0x0003fffe000c0000, 0x0003fffffe000000,
    857   0x0007fffc00180000, 0x0007fffffc000000,
    858   0x000ffff800300000, 0x000ffffff8000000,
    859   0x001ffff000600000, 0x001ffffff0000000,
    860   0x003fffe000c00000, 0x003fffffe0000000,
    861   0x007fffc001800000, 0x007fffffc0000000,
    862   0x00ffff8003000000, 0x00ffffff80000000,
    863   0x01ffff0006000000, 0x01ffffff00000000,
    864   0x03fffe000c000000, 0x03fffffe00000000,
    865   0x07fffc0018000000, 0x07fffffc00000000,
    866   0x0ffff80030000000, 0x0ffffff800000000,
    867   0x1ffff00060000000, 0x1ffffff000000000,
    868   0x3fffe000c0000000, 0x3fffffe000000000,
    869   0x7fffc00180000000, 0x7fffffc000000000,
    870   0x00000000ffffff80, 0x00000000ffffff81,
    871   0x00000001ffffff00, 0x00000001ffffff02,
    872   0x00000003fffffe00, 0x00000003fffffe04,
    873   0x00000007fffffc00, 0x00000007fffffc08,
    874   0x0000000ffffff800, 0x0000000ffffff810,
    875   0x0000001ffffff000, 0x0000001ffffff020,
    876   0x0000003fffffe000, 0x0000003fffffe040,
    877   0x0000007fffffc000, 0x0000007fffffc080,
    878   0x000000ffffff8000, 0x000000ffffff8100,
    879   0x000001ffffff0000, 0x000001ffffff0200,
    880   0x000003fffffe0000, 0x000003fffffe0400,
    881   0x000007fffffc0000, 0x000007fffffc0800,
    882   0x00000ffffff80000, 0x00000ffffff81000,
    883   0x00001ffffff00000, 0x00001ffffff02000,
    884   0x00003fffffe00000, 0x00003fffffe04000,
    885   0x00007fffffc00000, 0x00007fffffc08000,
    886   0x0000ffffff800000, 0x0000ffffff810000,
    887   0x0001ffffff000000, 0x0001ffffff020000,
    888   0x0003fffffe000000, 0x0003fffffe040000,
    889   0x0007fffffc000000, 0x0007fffffc080000,
    890   0x000ffffff8000000, 0x000ffffff8100000,
    891   0x001ffffff0000000, 0x001ffffff0200000,
    892   0x003fffffe0000000, 0x003fffffe0400000,
    893   0x007fffffc0000000, 0x007fffffc0800000,
    894   0x00ffffff80000000, 0x00ffffff81000000,
    895   0x01ffffff00000000, 0x01ffffff02000000,
    896   0x03fffffe00000000, 0x03fffffe04000000,
    897   0x07fffffc00000000, 0x07fffffc08000000,
    898   0x0ffffff800000000, 0x0ffffff810000000,
    899   0x1ffffff000000000, 0x1ffffff020000000,
    900   0x3fffffe000000000, 0x3fffffe040000000,
    901   0x7fffffc000000000, 0x7fffffc080000000,
    902   0x00000000ffffff81, 0x00000000ffffff82,
    903   0x00000001ffffff02, 0x00000001ffffff04,
    904   0x00000003fffffe04, 0x00000003fffffe08,
    905   0x00000007fffffc08, 0x00000007fffffc10,
    906   0x0000000ffffff810, 0x0000000ffffff820,
    907   0x0000001ffffff020, 0x0000001ffffff040,
    908   0x0000003fffffe040, 0x0000003fffffe080,
    909   0x0000007fffffc080, 0x0000007fffffc100,
    910   0x000000ffffff8100, 0x000000ffffff8200,
    911   0x000001ffffff0200, 0x000001ffffff0400,
    912   0x000003fffffe0400, 0x000003fffffe0800,
    913   0x000007fffffc0800, 0x000007fffffc1000,
    914   0x00000ffffff81000, 0x00000ffffff82000,
    915   0x00001ffffff02000, 0x00001ffffff04000,
    916   0x00003fffffe04000, 0x00003fffffe08000,
    917   0x00007fffffc08000, 0x00007fffffc10000,
    918   0x0000ffffff810000, 0x0000ffffff820000,
    919   0x0001ffffff020000, 0x0001ffffff040000,
    920   0x0003fffffe040000, 0x0003fffffe080000,
    921   0x0007fffffc080000, 0x0007fffffc100000,
    922   0x000ffffff8100000, 0x000ffffff8200000,
    923   0x001ffffff0200000, 0x001ffffff0400000,
    924   0x003fffffe0400000, 0x003fffffe0800000,
    925   0x007fffffc0800000, 0x007fffffc1000000,
    926   0x00ffffff81000000, 0x00ffffff82000000,
    927   0x01ffffff02000000, 0x01ffffff04000000,
    928   0x03fffffe04000000, 0x03fffffe08000000,
    929   0x07fffffc08000000, 0x07fffffc10000000,
    930   0x0ffffff810000000, 0x0ffffff820000000,
    931   0x1ffffff020000000, 0x1ffffff040000000,
    932   0x3fffffe040000000, 0x3fffffe080000000,
    933   0x7fffffc080000000, 0x7fffffc100000000,
    934   0x00000000ffffff82, 0x00000000ffffff83,
    935   0x00000001ffffff04, 0x00000001ffffff06,
    936   0x00000003fffffe08, 0x00000003fffffe0c,
    937   0x00000007fffffc10, 0x00000007fffffc18,
    938   0x0000000ffffff820, 0x0000000ffffff830,
    939   0x0000001ffffff040, 0x0000001ffffff060,
    940   0x0000003fffffe080, 0x0000003fffffe0c0,
    941   0x0000007fffffc100, 0x0000007fffffc180,
    942   0x000000ffffff8200, 0x000000ffffff8300,
    943   0x000001ffffff0400, 0x000001ffffff0600,
    944   0x000003fffffe0800, 0x000003fffffe0c00,
    945   0x000007fffffc1000, 0x000007fffffc1800,
    946   0x00000ffffff82000, 0x00000ffffff83000,
    947   0x00001ffffff04000, 0x00001ffffff06000,
    948   0x00003fffffe08000, 0x00003fffffe0c000,
    949   0x00007fffffc10000, 0x00007fffffc18000,
    950   0x0000ffffff820000, 0x0000ffffff830000,
    951   0x0001ffffff040000, 0x0001ffffff060000,
    952   0x0003fffffe080000, 0x0003fffffe0c0000,
    953   0x0007fffffc100000, 0x0007fffffc180000,
    954   0x000ffffff8200000, 0x000ffffff8300000,
    955   0x001ffffff0400000, 0x001ffffff0600000,
    956   0x003fffffe0800000, 0x003fffffe0c00000,
    957   0x007fffffc1000000, 0x007fffffc1800000,
    958   0x00ffffff82000000, 0x00ffffff83000000,
    959   0x01ffffff04000000, 0x01ffffff06000000,
    960   0x03fffffe08000000, 0x03fffffe0c000000,
    961   0x07fffffc10000000, 0x07fffffc18000000,
    962   0x0ffffff820000000, 0x0ffffff830000000,
    963   0x1ffffff040000000, 0x1ffffff060000000,
    964   0x3fffffe080000000, 0x3fffffe0c0000000,
    965   0x7fffffc100000000, 0x7fffffc180000000,
    966   0x00000000ffffff83, 0x00000000ffffffe0,
    967   0x00000001ffffff06, 0x00000001ffffffc0,
    968   0x00000003fffffe0c, 0x00000003ffffff80,
    969   0x00000007fffffc18, 0x00000007ffffff00,
    970   0x0000000ffffff830, 0x0000000ffffffe00,
    971   0x0000001ffffff060, 0x0000001ffffffc00,
    972   0x0000003fffffe0c0, 0x0000003ffffff800,
    973   0x0000007fffffc180, 0x0000007ffffff000,
    974   0x000000ffffff8300, 0x000000ffffffe000,
    975   0x000001ffffff0600, 0x000001ffffffc000,
    976   0x000003fffffe0c00, 0x000003ffffff8000,
    977   0x000007fffffc1800, 0x000007ffffff0000,
    978   0x00000ffffff83000, 0x00000ffffffe0000,
    979   0x00001ffffff06000, 0x00001ffffffc0000,
    980   0x00003fffffe0c000, 0x00003ffffff80000,
    981   0x00007fffffc18000, 0x00007ffffff00000,
    982   0x0000ffffff830000, 0x0000ffffffe00000,
    983   0x0001ffffff060000, 0x0001ffffffc00000,
    984   0x0003fffffe0c0000, 0x0003ffffff800000,
    985   0x0007fffffc180000, 0x0007ffffff000000,
    986   0x000ffffff8300000, 0x000ffffffe000000,
    987   0x001ffffff0600000, 0x001ffffffc000000,
    988   0x003fffffe0c00000, 0x003ffffff8000000,
    989   0x007fffffc1800000, 0x007ffffff0000000,
    990   0x00ffffff83000000, 0x00ffffffe0000000,
    991   0x01ffffff06000000, 0x01ffffffc0000000,
    992   0x03fffffe0c000000, 0x03ffffff80000000,
    993   0x07fffffc18000000, 0x07ffffff00000000,
    994   0x0ffffff830000000, 0x0ffffffe00000000,
    995   0x1ffffff060000000, 0x1ffffffc00000000,
    996   0x3fffffe0c0000000, 0x3ffffff800000000,
    997   0x7fffffc180000000, 0x7ffffff000000000,
    998   0x00000000ffffffe0, 0x00000000fffffffd,
    999   0x00000001ffffffc0, 0x00000001fffffffa,
   1000   0x00000003ffffff80, 0x00000003fffffff4,
   1001   0x00000007ffffff00, 0x00000007ffffffe8,
   1002   0x0000000ffffffe00, 0x0000000fffffffd0,
   1003   0x0000001ffffffc00, 0x0000001fffffffa0,
   1004   0x0000003ffffff800, 0x0000003fffffff40,
   1005   0x0000007ffffff000, 0x0000007ffffffe80,
   1006   0x000000ffffffe000, 0x000000fffffffd00,
   1007   0x000001ffffffc000, 0x000001fffffffa00,
   1008   0x000003ffffff8000, 0x000003fffffff400,
   1009   0x000007ffffff0000, 0x000007ffffffe800,
   1010   0x00000ffffffe0000, 0x00000fffffffd000,
   1011   0x00001ffffffc0000, 0x00001fffffffa000,
   1012   0x00003ffffff80000, 0x00003fffffff4000,
   1013   0x00007ffffff00000, 0x00007ffffffe8000,
   1014   0x0000ffffffe00000, 0x0000fffffffd0000,
   1015   0x0001ffffffc00000, 0x0001fffffffa0000,
   1016   0x0003ffffff800000, 0x0003fffffff40000,
   1017   0x0007ffffff000000, 0x0007ffffffe80000,
   1018   0x000ffffffe000000, 0x000fffffffd00000,
   1019   0x001ffffffc000000, 0x001fffffffa00000,
   1020   0x003ffffff8000000, 0x003fffffff400000,
   1021   0x007ffffff0000000, 0x007ffffffe800000,
   1022   0x00ffffffe0000000, 0x00fffffffd000000,
   1023   0x01ffffffc0000000, 0x01fffffffa000000,
   1024   0x03ffffff80000000, 0x03fffffff4000000,
   1025   0x07ffffff00000000, 0x07ffffffe8000000,
   1026   0x0ffffffe00000000, 0x0fffffffd0000000,
   1027   0x1ffffffc00000000, 0x1fffffffa0000000,
   1028   0x3ffffff800000000, 0x3fffffff40000000,
   1029   0x7ffffff000000000, 0x7ffffffe80000000,
   1030 };
   1031 const unsigned kExpectedCount_NEON_ushll_2D_2OPIMM = 992;
   1032 
   1033 #endif  // VIXL_SIM_USHLL_2D_2OPIMM_TRACE_A64_H_
   1034