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_SSUBL2_2D_TRACE_A64_H_
     35 #define VIXL_SIM_SSUBL2_2D_TRACE_A64_H_
     36 
     37 const uint64_t kExpected_NEON_ssubl2_2D[] = {
     38   0x0000000000000000, 0x0000000000000000,
     39   0x00000000007ffd00, 0xffffffffffffffff,
     40   0x00000000007ffcff, 0xfffffffffffffffe,
     41   0x00000000007ffcfe, 0xffffffffffffffe0,
     42   0x00000000007ffce0, 0xffffffffffffff83,
     43   0x00000000007ffc83, 0xffffffffffffff82,
     44   0x00000000007ffc82, 0xffffffffffffff81,
     45   0x00000000007ffc81, 0xffffffffffff8003,
     46   0x00000000007f7d03, 0xffffffffffff8002,
     47   0x00000000007f7d02, 0xffffffffffff8001,
     48   0x00000000007f7d01, 0xffffffffcccccccd,
     49   0xffffffffcd4cc9cd, 0xffffffffaaaaaaab,
     50   0xffffffffab2aa7ab, 0xffffffff80000003,
     51   0xffffffff807ffd03, 0xffffffff80000002,
     52   0xffffffff807ffd02, 0xffffffff80000001,
     53   0xffffffff807ffd01, 0x0000000080000000,
     54   0x00000000807ffd00, 0x000000007fffffff,
     55   0x00000000807ffcff, 0x0000000055555556,
     56   0x0000000055d55256, 0x0000000033333334,
     57   0x0000000033b33034, 0x0000000000008000,
     58   0x0000000000807d00, 0x0000000000007fff,
     59   0x0000000000807cff, 0x0000000000007ffe,
     60   0x0000000000807cfe, 0x0000000000007ffd,
     61   0x0000000000807cfd, 0x0000000000000080,
     62   0x00000000007ffd80, 0x000000000000007f,
     63   0x00000000007ffd7f, 0x000000000000007e,
     64   0x00000000007ffd7e, 0x000000000000007d,
     65   0x00000000007ffd7d, 0x0000000000000020,
     66   0x00000000007ffd20, 0x0000000000000003,
     67   0x00000000007ffd03, 0x0000000000000002,
     68   0x00000000007ffd02, 0x0000000000000001,
     69   0x0000000000000001, 0x0000000000000001,
     70   0x0000000000000000, 0x0000000000000000,
     71   0xffffffffffffffff, 0xffffffffffffffff,
     72   0xfffffffffffffffe, 0xffffffffffffffe1,
     73   0xffffffffffffffe0, 0xffffffffffffff84,
     74   0xffffffffffffff83, 0xffffffffffffff83,
     75   0xffffffffffffff82, 0xffffffffffffff82,
     76   0xffffffffffffff81, 0xffffffffffff8004,
     77   0xffffffffffff8003, 0xffffffffffff8003,
     78   0xffffffffffff8002, 0xffffffffffff8002,
     79   0xffffffffffff8001, 0xffffffffccccccce,
     80   0xffffffffcccccccd, 0xffffffffaaaaaaac,
     81   0xffffffffaaaaaaab, 0xffffffff80000004,
     82   0xffffffff80000003, 0xffffffff80000003,
     83   0xffffffff80000002, 0xffffffff80000002,
     84   0xffffffff80000001, 0x0000000080000001,
     85   0x0000000080000000, 0x0000000080000000,
     86   0x000000007fffffff, 0x0000000055555557,
     87   0x0000000055555556, 0x0000000033333335,
     88   0x0000000033333334, 0x0000000000008001,
     89   0x0000000000008000, 0x0000000000008000,
     90   0x0000000000007fff, 0x0000000000007fff,
     91   0x0000000000007ffe, 0x0000000000007ffe,
     92   0x0000000000007ffd, 0x0000000000000081,
     93   0x0000000000000080, 0x0000000000000080,
     94   0x000000000000007f, 0x000000000000007f,
     95   0x000000000000007e, 0x000000000000007e,
     96   0x000000000000007d, 0x0000000000000021,
     97   0x0000000000000020, 0x0000000000000004,
     98   0x0000000000000003, 0x0000000000000003,
     99   0x0000000000000002, 0x0000000000000002,
    100   0x0000000000000002, 0x0000000000000002,
    101   0x0000000000000001, 0x0000000000000001,
    102   0x0000000000000000, 0x0000000000000000,
    103   0xffffffffffffffff, 0xffffffffffffffe2,
    104   0xffffffffffffffe1, 0xffffffffffffff85,
    105   0xffffffffffffff84, 0xffffffffffffff84,
    106   0xffffffffffffff83, 0xffffffffffffff83,
    107   0xffffffffffffff82, 0xffffffffffff8005,
    108   0xffffffffffff8004, 0xffffffffffff8004,
    109   0xffffffffffff8003, 0xffffffffffff8003,
    110   0xffffffffffff8002, 0xffffffffcccccccf,
    111   0xffffffffccccccce, 0xffffffffaaaaaaad,
    112   0xffffffffaaaaaaac, 0xffffffff80000005,
    113   0xffffffff80000004, 0xffffffff80000004,
    114   0xffffffff80000003, 0xffffffff80000003,
    115   0xffffffff80000002, 0x0000000080000002,
    116   0x0000000080000001, 0x0000000080000001,
    117   0x0000000080000000, 0x0000000055555558,
    118   0x0000000055555557, 0x0000000033333336,
    119   0x0000000033333335, 0x0000000000008002,
    120   0x0000000000008001, 0x0000000000008001,
    121   0x0000000000008000, 0x0000000000008000,
    122   0x0000000000007fff, 0x0000000000007fff,
    123   0x0000000000007ffe, 0x0000000000000082,
    124   0x0000000000000081, 0x0000000000000081,
    125   0x0000000000000080, 0x0000000000000080,
    126   0x000000000000007f, 0x000000000000007f,
    127   0x000000000000007e, 0x0000000000000022,
    128   0x0000000000000021, 0x0000000000000005,
    129   0x0000000000000004, 0x0000000000000004,
    130   0x0000000000000003, 0x0000000000000003,
    131   0x0000000000000003, 0x0000000000000020,
    132   0x0000000000000002, 0x000000000000001f,
    133   0x0000000000000001, 0x000000000000001e,
    134   0x0000000000000000, 0x0000000000000000,
    135   0xffffffffffffffe2, 0xffffffffffffffa3,
    136   0xffffffffffffff85, 0xffffffffffffffa2,
    137   0xffffffffffffff84, 0xffffffffffffffa1,
    138   0xffffffffffffff83, 0xffffffffffff8023,
    139   0xffffffffffff8005, 0xffffffffffff8022,
    140   0xffffffffffff8004, 0xffffffffffff8021,
    141   0xffffffffffff8003, 0xffffffffcccccced,
    142   0xffffffffcccccccf, 0xffffffffaaaaaacb,
    143   0xffffffffaaaaaaad, 0xffffffff80000023,
    144   0xffffffff80000005, 0xffffffff80000022,
    145   0xffffffff80000004, 0xffffffff80000021,
    146   0xffffffff80000003, 0x0000000080000020,
    147   0x0000000080000002, 0x000000008000001f,
    148   0x0000000080000001, 0x0000000055555576,
    149   0x0000000055555558, 0x0000000033333354,
    150   0x0000000033333336, 0x0000000000008020,
    151   0x0000000000008002, 0x000000000000801f,
    152   0x0000000000008001, 0x000000000000801e,
    153   0x0000000000008000, 0x000000000000801d,
    154   0x0000000000007fff, 0x00000000000000a0,
    155   0x0000000000000082, 0x000000000000009f,
    156   0x0000000000000081, 0x000000000000009e,
    157   0x0000000000000080, 0x000000000000009d,
    158   0x000000000000007f, 0x0000000000000040,
    159   0x0000000000000022, 0x0000000000000023,
    160   0x0000000000000005, 0x0000000000000022,
    161   0x0000000000000004, 0x0000000000000021,
    162   0x0000000000000021, 0x000000000000007d,
    163   0x0000000000000020, 0x000000000000007c,
    164   0x000000000000001f, 0x000000000000007b,
    165   0x000000000000001e, 0x000000000000005d,
    166   0x0000000000000000, 0x0000000000000000,
    167   0xffffffffffffffa3, 0xffffffffffffffff,
    168   0xffffffffffffffa2, 0xfffffffffffffffe,
    169   0xffffffffffffffa1, 0xffffffffffff8080,
    170   0xffffffffffff8023, 0xffffffffffff807f,
    171   0xffffffffffff8022, 0xffffffffffff807e,
    172   0xffffffffffff8021, 0xffffffffcccccd4a,
    173   0xffffffffcccccced, 0xffffffffaaaaab28,
    174   0xffffffffaaaaaacb, 0xffffffff80000080,
    175   0xffffffff80000023, 0xffffffff8000007f,
    176   0xffffffff80000022, 0xffffffff8000007e,
    177   0xffffffff80000021, 0x000000008000007d,
    178   0x0000000080000020, 0x000000008000007c,
    179   0x000000008000001f, 0x00000000555555d3,
    180   0x0000000055555576, 0x00000000333333b1,
    181   0x0000000033333354, 0x000000000000807d,
    182   0x0000000000008020, 0x000000000000807c,
    183   0x000000000000801f, 0x000000000000807b,
    184   0x000000000000801e, 0x000000000000807a,
    185   0x000000000000801d, 0x00000000000000fd,
    186   0x00000000000000a0, 0x00000000000000fc,
    187   0x000000000000009f, 0x00000000000000fb,
    188   0x000000000000009e, 0x00000000000000fa,
    189   0x000000000000009d, 0x000000000000009d,
    190   0x0000000000000040, 0x0000000000000080,
    191   0x0000000000000023, 0x000000000000007f,
    192   0x0000000000000022, 0x000000000000007e,
    193   0x000000000000007e, 0x000000000000007e,
    194   0x000000000000007d, 0x000000000000007d,
    195   0x000000000000007c, 0x000000000000007c,
    196   0x000000000000007b, 0x000000000000005e,
    197   0x000000000000005d, 0x0000000000000001,
    198   0x0000000000000000, 0x0000000000000000,
    199   0xffffffffffffffff, 0xffffffffffffffff,
    200   0xfffffffffffffffe, 0xffffffffffff8081,
    201   0xffffffffffff8080, 0xffffffffffff8080,
    202   0xffffffffffff807f, 0xffffffffffff807f,
    203   0xffffffffffff807e, 0xffffffffcccccd4b,
    204   0xffffffffcccccd4a, 0xffffffffaaaaab29,
    205   0xffffffffaaaaab28, 0xffffffff80000081,
    206   0xffffffff80000080, 0xffffffff80000080,
    207   0xffffffff8000007f, 0xffffffff8000007f,
    208   0xffffffff8000007e, 0x000000008000007e,
    209   0x000000008000007d, 0x000000008000007d,
    210   0x000000008000007c, 0x00000000555555d4,
    211   0x00000000555555d3, 0x00000000333333b2,
    212   0x00000000333333b1, 0x000000000000807e,
    213   0x000000000000807d, 0x000000000000807d,
    214   0x000000000000807c, 0x000000000000807c,
    215   0x000000000000807b, 0x000000000000807b,
    216   0x000000000000807a, 0x00000000000000fe,
    217   0x00000000000000fd, 0x00000000000000fd,
    218   0x00000000000000fc, 0x00000000000000fc,
    219   0x00000000000000fb, 0x00000000000000fb,
    220   0x00000000000000fa, 0x000000000000009e,
    221   0x000000000000009d, 0x0000000000000081,
    222   0x0000000000000080, 0x0000000000000080,
    223   0x000000000000007f, 0x000000000000007f,
    224   0x000000000000007f, 0x000000000000007f,
    225   0x000000000000007e, 0x000000000000007e,
    226   0x000000000000007d, 0x000000000000007d,
    227   0x000000000000007c, 0x000000000000005f,
    228   0x000000000000005e, 0x0000000000000002,
    229   0x0000000000000001, 0x0000000000000001,
    230   0x0000000000000000, 0x0000000000000000,
    231   0xffffffffffffffff, 0xffffffffffff8082,
    232   0xffffffffffff8081, 0xffffffffffff8081,
    233   0xffffffffffff8080, 0xffffffffffff8080,
    234   0xffffffffffff807f, 0xffffffffcccccd4c,
    235   0xffffffffcccccd4b, 0xffffffffaaaaab2a,
    236   0xffffffffaaaaab29, 0xffffffff80000082,
    237   0xffffffff80000081, 0xffffffff80000081,
    238   0xffffffff80000080, 0xffffffff80000080,
    239   0xffffffff8000007f, 0x000000008000007f,
    240   0x000000008000007e, 0x000000008000007e,
    241   0x000000008000007d, 0x00000000555555d5,
    242   0x00000000555555d4, 0x00000000333333b3,
    243   0x00000000333333b2, 0x000000000000807f,
    244   0x000000000000807e, 0x000000000000807e,
    245   0x000000000000807d, 0x000000000000807d,
    246   0x000000000000807c, 0x000000000000807c,
    247   0x000000000000807b, 0x00000000000000ff,
    248   0x00000000000000fe, 0x00000000000000fe,
    249   0x00000000000000fd, 0x00000000000000fd,
    250   0x00000000000000fc, 0x00000000000000fc,
    251   0x00000000000000fb, 0x000000000000009f,
    252   0x000000000000009e, 0x0000000000000082,
    253   0x0000000000000081, 0x0000000000000081,
    254   0x0000000000000080, 0x0000000000000080,
    255   0x0000000000000080, 0x0000000000007ffd,
    256   0x000000000000007f, 0x0000000000007ffc,
    257   0x000000000000007e, 0x0000000000007ffb,
    258   0x000000000000007d, 0x0000000000007fdd,
    259   0x000000000000005f, 0x0000000000007f80,
    260   0x0000000000000002, 0x0000000000007f7f,
    261   0x0000000000000001, 0x0000000000007f7e,
    262   0x0000000000000000, 0x0000000000000000,
    263   0xffffffffffff8082, 0xffffffffffffffff,
    264   0xffffffffffff8081, 0xfffffffffffffffe,
    265   0xffffffffffff8080, 0xffffffffcccd4cca,
    266   0xffffffffcccccd4c, 0xffffffffaaab2aa8,
    267   0xffffffffaaaaab2a, 0xffffffff80008000,
    268   0xffffffff80000082, 0xffffffff80007fff,
    269   0xffffffff80000081, 0xffffffff80007ffe,
    270   0xffffffff80000080, 0x0000000080007ffd,
    271   0x000000008000007f, 0x0000000080007ffc,
    272   0x000000008000007e, 0x000000005555d553,
    273   0x00000000555555d5, 0x000000003333b331,
    274   0x00000000333333b3, 0x000000000000fffd,
    275   0x000000000000807f, 0x000000000000fffc,
    276   0x000000000000807e, 0x000000000000fffb,
    277   0x000000000000807d, 0x000000000000fffa,
    278   0x000000000000807c, 0x000000000000807d,
    279   0x00000000000000ff, 0x000000000000807c,
    280   0x00000000000000fe, 0x000000000000807b,
    281   0x00000000000000fd, 0x000000000000807a,
    282   0x00000000000000fc, 0x000000000000801d,
    283   0x000000000000009f, 0x0000000000008000,
    284   0x0000000000000082, 0x0000000000007fff,
    285   0x0000000000000081, 0x0000000000007ffe,
    286   0x0000000000007ffe, 0x0000000000007ffe,
    287   0x0000000000007ffd, 0x0000000000007ffd,
    288   0x0000000000007ffc, 0x0000000000007ffc,
    289   0x0000000000007ffb, 0x0000000000007fde,
    290   0x0000000000007fdd, 0x0000000000007f81,
    291   0x0000000000007f80, 0x0000000000007f80,
    292   0x0000000000007f7f, 0x0000000000007f7f,
    293   0x0000000000007f7e, 0x0000000000000001,
    294   0x0000000000000000, 0x0000000000000000,
    295   0xffffffffffffffff, 0xffffffffffffffff,
    296   0xfffffffffffffffe, 0xffffffffcccd4ccb,
    297   0xffffffffcccd4cca, 0xffffffffaaab2aa9,
    298   0xffffffffaaab2aa8, 0xffffffff80008001,
    299   0xffffffff80008000, 0xffffffff80008000,
    300   0xffffffff80007fff, 0xffffffff80007fff,
    301   0xffffffff80007ffe, 0x0000000080007ffe,
    302   0x0000000080007ffd, 0x0000000080007ffd,
    303   0x0000000080007ffc, 0x000000005555d554,
    304   0x000000005555d553, 0x000000003333b332,
    305   0x000000003333b331, 0x000000000000fffe,
    306   0x000000000000fffd, 0x000000000000fffd,
    307   0x000000000000fffc, 0x000000000000fffc,
    308   0x000000000000fffb, 0x000000000000fffb,
    309   0x000000000000fffa, 0x000000000000807e,
    310   0x000000000000807d, 0x000000000000807d,
    311   0x000000000000807c, 0x000000000000807c,
    312   0x000000000000807b, 0x000000000000807b,
    313   0x000000000000807a, 0x000000000000801e,
    314   0x000000000000801d, 0x0000000000008001,
    315   0x0000000000008000, 0x0000000000008000,
    316   0x0000000000007fff, 0x0000000000007fff,
    317   0x0000000000007fff, 0x0000000000007fff,
    318   0x0000000000007ffe, 0x0000000000007ffe,
    319   0x0000000000007ffd, 0x0000000000007ffd,
    320   0x0000000000007ffc, 0x0000000000007fdf,
    321   0x0000000000007fde, 0x0000000000007f82,
    322   0x0000000000007f81, 0x0000000000007f81,
    323   0x0000000000007f80, 0x0000000000007f80,
    324   0x0000000000007f7f, 0x0000000000000002,
    325   0x0000000000000001, 0x0000000000000001,
    326   0x0000000000000000, 0x0000000000000000,
    327   0xffffffffffffffff, 0xffffffffcccd4ccc,
    328   0xffffffffcccd4ccb, 0xffffffffaaab2aaa,
    329   0xffffffffaaab2aa9, 0xffffffff80008002,
    330   0xffffffff80008001, 0xffffffff80008001,
    331   0xffffffff80008000, 0xffffffff80008000,
    332   0xffffffff80007fff, 0x0000000080007fff,
    333   0x0000000080007ffe, 0x0000000080007ffe,
    334   0x0000000080007ffd, 0x000000005555d555,
    335   0x000000005555d554, 0x000000003333b333,
    336   0x000000003333b332, 0x000000000000ffff,
    337   0x000000000000fffe, 0x000000000000fffe,
    338   0x000000000000fffd, 0x000000000000fffd,
    339   0x000000000000fffc, 0x000000000000fffc,
    340   0x000000000000fffb, 0x000000000000807f,
    341   0x000000000000807e, 0x000000000000807e,
    342   0x000000000000807d, 0x000000000000807d,
    343   0x000000000000807c, 0x000000000000807c,
    344   0x000000000000807b, 0x000000000000801f,
    345   0x000000000000801e, 0x0000000000008002,
    346   0x0000000000008001, 0x0000000000008001,
    347   0x0000000000008000, 0x0000000000008000,
    348   0x0000000000008000, 0x0000000033333333,
    349   0x0000000000007fff, 0x0000000033333332,
    350   0x0000000000007ffe, 0x0000000033333331,
    351   0x0000000000007ffd, 0x0000000033333313,
    352   0x0000000000007fdf, 0x00000000333332b6,
    353   0x0000000000007f82, 0x00000000333332b5,
    354   0x0000000000007f81, 0x00000000333332b4,
    355   0x0000000000007f80, 0x000000003332b336,
    356   0x0000000000000002, 0x000000003332b335,
    357   0x0000000000000001, 0x000000003332b334,
    358   0x0000000000000000, 0x0000000000000000,
    359   0xffffffffcccd4ccc, 0xffffffffddddddde,
    360   0xffffffffaaab2aaa, 0xffffffffb3333336,
    361   0xffffffff80008002, 0xffffffffb3333335,
    362   0xffffffff80008001, 0xffffffffb3333334,
    363   0xffffffff80008000, 0x00000000b3333333,
    364   0x0000000080007fff, 0x00000000b3333332,
    365   0x0000000080007ffe, 0x0000000088888889,
    366   0x000000005555d555, 0x0000000066666667,
    367   0x000000003333b333, 0x000000003333b333,
    368   0x000000000000ffff, 0x000000003333b332,
    369   0x000000000000fffe, 0x000000003333b331,
    370   0x000000000000fffd, 0x000000003333b330,
    371   0x000000000000fffc, 0x00000000333333b3,
    372   0x000000000000807f, 0x00000000333333b2,
    373   0x000000000000807e, 0x00000000333333b1,
    374   0x000000000000807d, 0x00000000333333b0,
    375   0x000000000000807c, 0x0000000033333353,
    376   0x000000000000801f, 0x0000000033333336,
    377   0x0000000000008002, 0x0000000033333335,
    378   0x0000000000008001, 0x0000000033333334,
    379   0x0000000033333334, 0x0000000055555555,
    380   0x0000000033333333, 0x0000000055555554,
    381   0x0000000033333332, 0x0000000055555553,
    382   0x0000000033333331, 0x0000000055555535,
    383   0x0000000033333313, 0x00000000555554d8,
    384   0x00000000333332b6, 0x00000000555554d7,
    385   0x00000000333332b5, 0x00000000555554d6,
    386   0x00000000333332b4, 0x000000005554d558,
    387   0x000000003332b336, 0x000000005554d557,
    388   0x000000003332b335, 0x000000005554d556,
    389   0x000000003332b334, 0x0000000022222222,
    390   0x0000000000000000, 0x0000000000000000,
    391   0xffffffffddddddde, 0xffffffffd5555558,
    392   0xffffffffb3333336, 0xffffffffd5555557,
    393   0xffffffffb3333335, 0xffffffffd5555556,
    394   0xffffffffb3333334, 0x00000000d5555555,
    395   0x00000000b3333333, 0x00000000d5555554,
    396   0x00000000b3333332, 0x00000000aaaaaaab,
    397   0x0000000088888889, 0x0000000088888889,
    398   0x0000000066666667, 0x000000005555d555,
    399   0x000000003333b333, 0x000000005555d554,
    400   0x000000003333b332, 0x000000005555d553,
    401   0x000000003333b331, 0x000000005555d552,
    402   0x000000003333b330, 0x00000000555555d5,
    403   0x00000000333333b3, 0x00000000555555d4,
    404   0x00000000333333b2, 0x00000000555555d3,
    405   0x00000000333333b1, 0x00000000555555d2,
    406   0x00000000333333b0, 0x0000000055555575,
    407   0x0000000033333353, 0x0000000055555558,
    408   0x0000000033333336, 0x0000000055555557,
    409   0x0000000033333335, 0x0000000055555556,
    410   0x0000000055555556, 0x000000007ffffffd,
    411   0x0000000055555555, 0x000000007ffffffc,
    412   0x0000000055555554, 0x000000007ffffffb,
    413   0x0000000055555553, 0x000000007fffffdd,
    414   0x0000000055555535, 0x000000007fffff80,
    415   0x00000000555554d8, 0x000000007fffff7f,
    416   0x00000000555554d7, 0x000000007fffff7e,
    417   0x00000000555554d6, 0x000000007fff8000,
    418   0x000000005554d558, 0x000000007fff7fff,
    419   0x000000005554d557, 0x000000007fff7ffe,
    420   0x000000005554d556, 0x000000004cccccca,
    421   0x0000000022222222, 0x000000002aaaaaa8,
    422   0x0000000000000000, 0x0000000000000000,
    423   0xffffffffd5555558, 0xffffffffffffffff,
    424   0xffffffffd5555557, 0xfffffffffffffffe,
    425   0xffffffffd5555556, 0x00000000fffffffd,
    426   0x00000000d5555555, 0x00000000fffffffc,
    427   0x00000000d5555554, 0x00000000d5555553,
    428   0x00000000aaaaaaab, 0x00000000b3333331,
    429   0x0000000088888889, 0x0000000080007ffd,
    430   0x000000005555d555, 0x0000000080007ffc,
    431   0x000000005555d554, 0x0000000080007ffb,
    432   0x000000005555d553, 0x0000000080007ffa,
    433   0x000000005555d552, 0x000000008000007d,
    434   0x00000000555555d5, 0x000000008000007c,
    435   0x00000000555555d4, 0x000000008000007b,
    436   0x00000000555555d3, 0x000000008000007a,
    437   0x00000000555555d2, 0x000000008000001d,
    438   0x0000000055555575, 0x0000000080000000,
    439   0x0000000055555558, 0x000000007fffffff,
    440   0x0000000055555557, 0x000000007ffffffe,
    441   0x000000007ffffffe, 0x000000007ffffffe,
    442   0x000000007ffffffd, 0x000000007ffffffd,
    443   0x000000007ffffffc, 0x000000007ffffffc,
    444   0x000000007ffffffb, 0x000000007fffffde,
    445   0x000000007fffffdd, 0x000000007fffff81,
    446   0x000000007fffff80, 0x000000007fffff80,
    447   0x000000007fffff7f, 0x000000007fffff7f,
    448   0x000000007fffff7e, 0x000000007fff8001,
    449   0x000000007fff8000, 0x000000007fff8000,
    450   0x000000007fff7fff, 0x000000007fff7fff,
    451   0x000000007fff7ffe, 0x000000004ccccccb,
    452   0x000000004cccccca, 0x000000002aaaaaa9,
    453   0x000000002aaaaaa8, 0x0000000000000001,
    454   0x0000000000000000, 0x0000000000000000,
    455   0xffffffffffffffff, 0xffffffffffffffff,
    456   0xfffffffffffffffe, 0x00000000fffffffe,
    457   0x00000000fffffffd, 0x00000000fffffffd,
    458   0x00000000fffffffc, 0x00000000d5555554,
    459   0x00000000d5555553, 0x00000000b3333332,
    460   0x00000000b3333331, 0x0000000080007ffe,
    461   0x0000000080007ffd, 0x0000000080007ffd,
    462   0x0000000080007ffc, 0x0000000080007ffc,
    463   0x0000000080007ffb, 0x0000000080007ffb,
    464   0x0000000080007ffa, 0x000000008000007e,
    465   0x000000008000007d, 0x000000008000007d,
    466   0x000000008000007c, 0x000000008000007c,
    467   0x000000008000007b, 0x000000008000007b,
    468   0x000000008000007a, 0x000000008000001e,
    469   0x000000008000001d, 0x0000000080000001,
    470   0x0000000080000000, 0x0000000080000000,
    471   0x000000007fffffff, 0x000000007fffffff,
    472   0x000000007fffffff, 0x000000007fffffff,
    473   0x000000007ffffffe, 0x000000007ffffffe,
    474   0x000000007ffffffd, 0x000000007ffffffd,
    475   0x000000007ffffffc, 0x000000007fffffdf,
    476   0x000000007fffffde, 0x000000007fffff82,
    477   0x000000007fffff81, 0x000000007fffff81,
    478   0x000000007fffff80, 0x000000007fffff80,
    479   0x000000007fffff7f, 0x000000007fff8002,
    480   0x000000007fff8001, 0x000000007fff8001,
    481   0x000000007fff8000, 0x000000007fff8000,
    482   0x000000007fff7fff, 0x000000004ccccccc,
    483   0x000000004ccccccb, 0x000000002aaaaaaa,
    484   0x000000002aaaaaa9, 0x0000000000000002,
    485   0x0000000000000001, 0x0000000000000001,
    486   0x0000000000000000, 0x0000000000000000,
    487   0xffffffffffffffff, 0x00000000ffffffff,
    488   0x00000000fffffffe, 0x00000000fffffffe,
    489   0x00000000fffffffd, 0x00000000d5555555,
    490   0x00000000d5555554, 0x00000000b3333333,
    491   0x00000000b3333332, 0x0000000080007fff,
    492   0x0000000080007ffe, 0x0000000080007ffe,
    493   0x0000000080007ffd, 0x0000000080007ffd,
    494   0x0000000080007ffc, 0x0000000080007ffc,
    495   0x0000000080007ffb, 0x000000008000007f,
    496   0x000000008000007e, 0x000000008000007e,
    497   0x000000008000007d, 0x000000008000007d,
    498   0x000000008000007c, 0x000000008000007c,
    499   0x000000008000007b, 0x000000008000001f,
    500   0x000000008000001e, 0x0000000080000002,
    501   0x0000000080000001, 0x0000000080000001,
    502   0x0000000080000000, 0x0000000080000000,
    503   0x0000000080000000, 0xffffffff80000000,
    504   0x000000007fffffff, 0xffffffff7fffffff,
    505   0x000000007ffffffe, 0xffffffff7ffffffe,
    506   0x000000007ffffffd, 0xffffffff7fffffe0,
    507   0x000000007fffffdf, 0xffffffff7fffff83,
    508   0x000000007fffff82, 0xffffffff7fffff82,
    509   0x000000007fffff81, 0xffffffff7fffff81,
    510   0x000000007fffff80, 0xffffffff7fff8003,
    511   0x000000007fff8002, 0xffffffff7fff8002,
    512   0x000000007fff8001, 0xffffffff7fff8001,
    513   0x000000007fff8000, 0xffffffff4ccccccd,
    514   0x000000004ccccccc, 0xffffffff2aaaaaab,
    515   0x000000002aaaaaaa, 0xffffffff00000003,
    516   0x0000000000000002, 0xffffffff00000002,
    517   0x0000000000000001, 0xffffffff00000001,
    518   0x0000000000000000, 0x0000000000000000,
    519   0x00000000ffffffff, 0xffffffffffffffff,
    520   0x00000000fffffffe, 0xffffffffd5555556,
    521   0x00000000d5555555, 0xffffffffb3333334,
    522   0x00000000b3333333, 0xffffffff80008000,
    523   0x0000000080007fff, 0xffffffff80007fff,
    524   0x0000000080007ffe, 0xffffffff80007ffe,
    525   0x0000000080007ffd, 0xffffffff80007ffd,
    526   0x0000000080007ffc, 0xffffffff80000080,
    527   0x000000008000007f, 0xffffffff8000007f,
    528   0x000000008000007e, 0xffffffff8000007e,
    529   0x000000008000007d, 0xffffffff8000007d,
    530   0x000000008000007c, 0xffffffff80000020,
    531   0x000000008000001f, 0xffffffff80000003,
    532   0x0000000080000002, 0xffffffff80000002,
    533   0x0000000080000001, 0xffffffff80000001,
    534   0xffffffff80000001, 0xffffffff80000001,
    535   0xffffffff80000000, 0xffffffff80000000,
    536   0xffffffff7fffffff, 0xffffffff7fffffff,
    537   0xffffffff7ffffffe, 0xffffffff7fffffe1,
    538   0xffffffff7fffffe0, 0xffffffff7fffff84,
    539   0xffffffff7fffff83, 0xffffffff7fffff83,
    540   0xffffffff7fffff82, 0xffffffff7fffff82,
    541   0xffffffff7fffff81, 0xffffffff7fff8004,
    542   0xffffffff7fff8003, 0xffffffff7fff8003,
    543   0xffffffff7fff8002, 0xffffffff7fff8002,
    544   0xffffffff7fff8001, 0xffffffff4cccccce,
    545   0xffffffff4ccccccd, 0xffffffff2aaaaaac,
    546   0xffffffff2aaaaaab, 0xffffffff00000004,
    547   0xffffffff00000003, 0xffffffff00000003,
    548   0xffffffff00000002, 0xffffffff00000002,
    549   0xffffffff00000001, 0x0000000000000001,
    550   0x0000000000000000, 0x0000000000000000,
    551   0xffffffffffffffff, 0xffffffffd5555557,
    552   0xffffffffd5555556, 0xffffffffb3333335,
    553   0xffffffffb3333334, 0xffffffff80008001,
    554   0xffffffff80008000, 0xffffffff80008000,
    555   0xffffffff80007fff, 0xffffffff80007fff,
    556   0xffffffff80007ffe, 0xffffffff80007ffe,
    557   0xffffffff80007ffd, 0xffffffff80000081,
    558   0xffffffff80000080, 0xffffffff80000080,
    559   0xffffffff8000007f, 0xffffffff8000007f,
    560   0xffffffff8000007e, 0xffffffff8000007e,
    561   0xffffffff8000007d, 0xffffffff80000021,
    562   0xffffffff80000020, 0xffffffff80000004,
    563   0xffffffff80000003, 0xffffffff80000003,
    564   0xffffffff80000002, 0xffffffff80000002,
    565   0xffffffff80000002, 0xffffffffaaaaaaaa,
    566   0xffffffff80000001, 0xffffffffaaaaaaa9,
    567   0xffffffff80000000, 0xffffffffaaaaaaa8,
    568   0xffffffff7fffffff, 0xffffffffaaaaaa8a,
    569   0xffffffff7fffffe1, 0xffffffffaaaaaa2d,
    570   0xffffffff7fffff84, 0xffffffffaaaaaa2c,
    571   0xffffffff7fffff83, 0xffffffffaaaaaa2b,
    572   0xffffffff7fffff82, 0xffffffffaaaa2aad,
    573   0xffffffff7fff8004, 0xffffffffaaaa2aac,
    574   0xffffffff7fff8003, 0xffffffffaaaa2aab,
    575   0xffffffff7fff8002, 0xffffffff77777777,
    576   0xffffffff4cccccce, 0xffffffff55555555,
    577   0xffffffff2aaaaaac, 0xffffffff2aaaaaad,
    578   0xffffffff00000004, 0xffffffff2aaaaaac,
    579   0xffffffff00000003, 0xffffffff2aaaaaab,
    580   0xffffffff00000002, 0x000000002aaaaaaa,
    581   0x0000000000000001, 0x000000002aaaaaa9,
    582   0x0000000000000000, 0x0000000000000000,
    583   0xffffffffd5555557, 0xffffffffddddddde,
    584   0xffffffffb3333335, 0xffffffffaaab2aaa,
    585   0xffffffff80008001, 0xffffffffaaab2aa9,
    586   0xffffffff80008000, 0xffffffffaaab2aa8,
    587   0xffffffff80007fff, 0xffffffffaaab2aa7,
    588   0xffffffff80007ffe, 0xffffffffaaaaab2a,
    589   0xffffffff80000081, 0xffffffffaaaaab29,
    590   0xffffffff80000080, 0xffffffffaaaaab28,
    591   0xffffffff8000007f, 0xffffffffaaaaab27,
    592   0xffffffff8000007e, 0xffffffffaaaaaaca,
    593   0xffffffff80000021, 0xffffffffaaaaaaad,
    594   0xffffffff80000004, 0xffffffffaaaaaaac,
    595   0xffffffff80000003, 0xffffffffaaaaaaab,
    596   0xffffffffaaaaaaab, 0xffffffffcccccccc,
    597   0xffffffffaaaaaaaa, 0xffffffffcccccccb,
    598   0xffffffffaaaaaaa9, 0xffffffffccccccca,
    599   0xffffffffaaaaaaa8, 0xffffffffccccccac,
    600   0xffffffffaaaaaa8a, 0xffffffffcccccc4f,
    601   0xffffffffaaaaaa2d, 0xffffffffcccccc4e,
    602   0xffffffffaaaaaa2c, 0xffffffffcccccc4d,
    603   0xffffffffaaaaaa2b, 0xffffffffcccc4ccf,
    604   0xffffffffaaaa2aad, 0xffffffffcccc4cce,
    605   0xffffffffaaaa2aac, 0xffffffffcccc4ccd,
    606   0xffffffffaaaa2aab, 0xffffffff99999999,
    607   0xffffffff77777777, 0xffffffff77777777,
    608   0xffffffff55555555, 0xffffffff4ccccccf,
    609   0xffffffff2aaaaaad, 0xffffffff4cccccce,
    610   0xffffffff2aaaaaac, 0xffffffff4ccccccd,
    611   0xffffffff2aaaaaab, 0x000000004ccccccc,
    612   0x000000002aaaaaaa, 0x000000004ccccccb,
    613   0x000000002aaaaaa9, 0x0000000022222222,
    614   0x0000000000000000, 0x0000000000000000,
    615   0xffffffffddddddde, 0xffffffffcccd4ccc,
    616   0xffffffffaaab2aaa, 0xffffffffcccd4ccb,
    617   0xffffffffaaab2aa9, 0xffffffffcccd4cca,
    618   0xffffffffaaab2aa8, 0xffffffffcccd4cc9,
    619   0xffffffffaaab2aa7, 0xffffffffcccccd4c,
    620   0xffffffffaaaaab2a, 0xffffffffcccccd4b,
    621   0xffffffffaaaaab29, 0xffffffffcccccd4a,
    622   0xffffffffaaaaab28, 0xffffffffcccccd49,
    623   0xffffffffaaaaab27, 0xffffffffccccccec,
    624   0xffffffffaaaaaaca, 0xffffffffcccccccf,
    625   0xffffffffaaaaaaad, 0xffffffffccccccce,
    626   0xffffffffaaaaaaac, 0xffffffffcccccccd,
    627   0xffffffffcccccccd, 0xffffffffffff8000,
    628   0xffffffffcccccccc, 0xffffffffffff7fff,
    629   0xffffffffcccccccb, 0xffffffffffff7ffe,
    630   0xffffffffccccccca, 0xffffffffffff7fe0,
    631   0xffffffffccccccac, 0xffffffffffff7f83,
    632   0xffffffffcccccc4f, 0xffffffffffff7f82,
    633   0xffffffffcccccc4e, 0xffffffffffff7f81,
    634   0xffffffffcccccc4d, 0xffffffffffff0003,
    635   0xffffffffcccc4ccf, 0xffffffffffff0002,
    636   0xffffffffcccc4cce, 0xffffffffffff0001,
    637   0xffffffffcccc4ccd, 0xffffffffcccc4ccd,
    638   0xffffffff99999999, 0xffffffffaaaa2aab,
    639   0xffffffff77777777, 0xffffffff7fff8003,
    640   0xffffffff4ccccccf, 0xffffffff7fff8002,
    641   0xffffffff4cccccce, 0xffffffff7fff8001,
    642   0xffffffff4ccccccd, 0x000000007fff8000,
    643   0x000000004ccccccc, 0x000000007fff7fff,
    644   0x000000004ccccccb, 0x000000005554d556,
    645   0x0000000022222222, 0x000000003332b334,
    646   0x0000000000000000, 0x0000000000000000,
    647   0xffffffffcccd4ccc, 0xffffffffffffffff,
    648   0xffffffffcccd4ccb, 0xfffffffffffffffe,
    649   0xffffffffcccd4cca, 0xfffffffffffffffd,
    650   0xffffffffcccd4cc9, 0xffffffffffff8080,
    651   0xffffffffcccccd4c, 0xffffffffffff807f,
    652   0xffffffffcccccd4b, 0xffffffffffff807e,
    653   0xffffffffcccccd4a, 0xffffffffffff807d,
    654   0xffffffffcccccd49, 0xffffffffffff8020,
    655   0xffffffffccccccec, 0xffffffffffff8003,
    656   0xffffffffcccccccf, 0xffffffffffff8002,
    657   0xffffffffccccccce, 0xffffffffffff8001,
    658   0xffffffffffff8001, 0xffffffffffff8001,
    659   0xffffffffffff8000, 0xffffffffffff8000,
    660   0xffffffffffff7fff, 0xffffffffffff7fff,
    661   0xffffffffffff7ffe, 0xffffffffffff7fe1,
    662   0xffffffffffff7fe0, 0xffffffffffff7f84,
    663   0xffffffffffff7f83, 0xffffffffffff7f83,
    664   0xffffffffffff7f82, 0xffffffffffff7f82,
    665   0xffffffffffff7f81, 0xffffffffffff0004,
    666   0xffffffffffff0003, 0xffffffffffff0003,
    667   0xffffffffffff0002, 0xffffffffffff0002,
    668   0xffffffffffff0001, 0xffffffffcccc4cce,
    669   0xffffffffcccc4ccd, 0xffffffffaaaa2aac,
    670   0xffffffffaaaa2aab, 0xffffffff7fff8004,
    671   0xffffffff7fff8003, 0xffffffff7fff8003,
    672   0xffffffff7fff8002, 0xffffffff7fff8002,
    673   0xffffffff7fff8001, 0x000000007fff8001,
    674   0x000000007fff8000, 0x000000007fff8000,
    675   0x000000007fff7fff, 0x000000005554d557,
    676   0x000000005554d556, 0x000000003332b335,
    677   0x000000003332b334, 0x0000000000000001,
    678   0x0000000000000000, 0x0000000000000000,
    679   0xffffffffffffffff, 0xffffffffffffffff,
    680   0xfffffffffffffffe, 0xfffffffffffffffe,
    681   0xfffffffffffffffd, 0xffffffffffff8081,
    682   0xffffffffffff8080, 0xffffffffffff8080,
    683   0xffffffffffff807f, 0xffffffffffff807f,
    684   0xffffffffffff807e, 0xffffffffffff807e,
    685   0xffffffffffff807d, 0xffffffffffff8021,
    686   0xffffffffffff8020, 0xffffffffffff8004,
    687   0xffffffffffff8003, 0xffffffffffff8003,
    688   0xffffffffffff8002, 0xffffffffffff8002,
    689   0xffffffffffff8002, 0xffffffffffff8002,
    690   0xffffffffffff8001, 0xffffffffffff8001,
    691   0xffffffffffff8000, 0xffffffffffff8000,
    692   0xffffffffffff7fff, 0xffffffffffff7fe2,
    693   0xffffffffffff7fe1, 0xffffffffffff7f85,
    694   0xffffffffffff7f84, 0xffffffffffff7f84,
    695   0xffffffffffff7f83, 0xffffffffffff7f83,
    696   0xffffffffffff7f82, 0xffffffffffff0005,
    697   0xffffffffffff0004, 0xffffffffffff0004,
    698   0xffffffffffff0003, 0xffffffffffff0003,
    699   0xffffffffffff0002, 0xffffffffcccc4ccf,
    700   0xffffffffcccc4cce, 0xffffffffaaaa2aad,
    701   0xffffffffaaaa2aac, 0xffffffff7fff8005,
    702   0xffffffff7fff8004, 0xffffffff7fff8004,
    703   0xffffffff7fff8003, 0xffffffff7fff8003,
    704   0xffffffff7fff8002, 0x000000007fff8002,
    705   0x000000007fff8001, 0x000000007fff8001,
    706   0x000000007fff8000, 0x000000005554d558,
    707   0x000000005554d557, 0x000000003332b336,
    708   0x000000003332b335, 0x0000000000000002,
    709   0x0000000000000001, 0x0000000000000001,
    710   0x0000000000000000, 0x0000000000000000,
    711   0xffffffffffffffff, 0xffffffffffffffff,
    712   0xfffffffffffffffe, 0xffffffffffff8082,
    713   0xffffffffffff8081, 0xffffffffffff8081,
    714   0xffffffffffff8080, 0xffffffffffff8080,
    715   0xffffffffffff807f, 0xffffffffffff807f,
    716   0xffffffffffff807e, 0xffffffffffff8022,
    717   0xffffffffffff8021, 0xffffffffffff8005,
    718   0xffffffffffff8004, 0xffffffffffff8004,
    719   0xffffffffffff8003, 0xffffffffffff8003,
    720   0xffffffffffff8003, 0xffffffffffff8003,
    721   0xffffffffffff8002, 0xffffffffffff8002,
    722   0xffffffffffff8001, 0xffffffffffff8001,
    723   0xffffffffffff8000, 0xffffffffffff7fe3,
    724   0xffffffffffff7fe2, 0xffffffffffff7f86,
    725   0xffffffffffff7f85, 0xffffffffffff7f85,
    726   0xffffffffffff7f84, 0xffffffffffff7f84,
    727   0xffffffffffff7f83, 0xffffffffffff0006,
    728   0xffffffffffff0005, 0xffffffffffff0005,
    729   0xffffffffffff0004, 0xffffffffffff0004,
    730   0xffffffffffff0003, 0xffffffffcccc4cd0,
    731   0xffffffffcccc4ccf, 0xffffffffaaaa2aae,
    732   0xffffffffaaaa2aad, 0xffffffff7fff8006,
    733   0xffffffff7fff8005, 0xffffffff7fff8005,
    734   0xffffffff7fff8004, 0xffffffff7fff8004,
    735   0xffffffff7fff8003, 0x000000007fff8003,
    736   0x000000007fff8002, 0x000000007fff8002,
    737   0x000000007fff8001, 0x000000005554d559,
    738   0x000000005554d558, 0x000000003332b337,
    739   0x000000003332b336, 0x0000000000000003,
    740   0x0000000000000002, 0x0000000000000002,
    741   0x0000000000000001, 0x0000000000000001,
    742   0x0000000000000000, 0x0000000000000000,
    743   0xffffffffffffffff, 0xffffffffffff8083,
    744   0xffffffffffff8082, 0xffffffffffff8082,
    745   0xffffffffffff8081, 0xffffffffffff8081,
    746   0xffffffffffff8080, 0xffffffffffff8080,
    747   0xffffffffffff807f, 0xffffffffffff8023,
    748   0xffffffffffff8022, 0xffffffffffff8006,
    749   0xffffffffffff8005, 0xffffffffffff8005,
    750   0xffffffffffff8004, 0xffffffffffff8004,
    751   0xffffffffffff8004, 0xffffffffffffff80,
    752   0xffffffffffff8003, 0xffffffffffffff7f,
    753   0xffffffffffff8002, 0xffffffffffffff7e,
    754   0xffffffffffff8001, 0xffffffffffffff60,
    755   0xffffffffffff7fe3, 0xffffffffffffff03,
    756   0xffffffffffff7f86, 0xffffffffffffff02,
    757   0xffffffffffff7f85, 0xffffffffffffff01,
    758   0xffffffffffff7f84, 0xffffffffffff7f83,
    759   0xffffffffffff0006, 0xffffffffffff7f82,
    760   0xffffffffffff0005, 0xffffffffffff7f81,
    761   0xffffffffffff0004, 0xffffffffcccccc4d,
    762   0xffffffffcccc4cd0, 0xffffffffaaaaaa2b,
    763   0xffffffffaaaa2aae, 0xffffffff7fffff83,
    764   0xffffffff7fff8006, 0xffffffff7fffff82,
    765   0xffffffff7fff8005, 0xffffffff7fffff81,
    766   0xffffffff7fff8004, 0x000000007fffff80,
    767   0x000000007fff8003, 0x000000007fffff7f,
    768   0x000000007fff8002, 0x00000000555554d6,
    769   0x000000005554d559, 0x00000000333332b4,
    770   0x000000003332b337, 0x0000000000007f80,
    771   0x0000000000000003, 0x0000000000007f7f,
    772   0x0000000000000002, 0x0000000000007f7e,
    773   0x0000000000000001, 0x0000000000007f7d,
    774   0x0000000000000000, 0x0000000000000000,
    775   0xffffffffffff8083, 0xffffffffffffffff,
    776   0xffffffffffff8082, 0xfffffffffffffffe,
    777   0xffffffffffff8081, 0xfffffffffffffffd,
    778   0xffffffffffff8080, 0xffffffffffffffa0,
    779   0xffffffffffff8023, 0xffffffffffffff83,
    780   0xffffffffffff8006, 0xffffffffffffff82,
    781   0xffffffffffff8005, 0xffffffffffffff81,
    782   0xffffffffffffff81, 0xffffffffffffff81,
    783   0xffffffffffffff80, 0xffffffffffffff80,
    784   0xffffffffffffff7f, 0xffffffffffffff7f,
    785   0xffffffffffffff7e, 0xffffffffffffff61,
    786   0xffffffffffffff60, 0xffffffffffffff04,
    787   0xffffffffffffff03, 0xffffffffffffff03,
    788   0xffffffffffffff02, 0xffffffffffffff02,
    789   0xffffffffffffff01, 0xffffffffffff7f84,
    790   0xffffffffffff7f83, 0xffffffffffff7f83,
    791   0xffffffffffff7f82, 0xffffffffffff7f82,
    792   0xffffffffffff7f81, 0xffffffffcccccc4e,
    793   0xffffffffcccccc4d, 0xffffffffaaaaaa2c,
    794   0xffffffffaaaaaa2b, 0xffffffff7fffff84,
    795   0xffffffff7fffff83, 0xffffffff7fffff83,
    796   0xffffffff7fffff82, 0xffffffff7fffff82,
    797   0xffffffff7fffff81, 0x000000007fffff81,
    798   0x000000007fffff80, 0x000000007fffff80,
    799   0x000000007fffff7f, 0x00000000555554d7,
    800   0x00000000555554d6, 0x00000000333332b5,
    801   0x00000000333332b4, 0x0000000000007f81,
    802   0x0000000000007f80, 0x0000000000007f80,
    803   0x0000000000007f7f, 0x0000000000007f7f,
    804   0x0000000000007f7e, 0x0000000000007f7e,
    805   0x0000000000007f7d, 0x0000000000000001,
    806   0x0000000000000000, 0x0000000000000000,
    807   0xffffffffffffffff, 0xffffffffffffffff,
    808   0xfffffffffffffffe, 0xfffffffffffffffe,
    809   0xfffffffffffffffd, 0xffffffffffffffa1,
    810   0xffffffffffffffa0, 0xffffffffffffff84,
    811   0xffffffffffffff83, 0xffffffffffffff83,
    812   0xffffffffffffff82, 0xffffffffffffff82,
    813   0xffffffffffffff82, 0xffffffffffffff82,
    814   0xffffffffffffff81, 0xffffffffffffff81,
    815   0xffffffffffffff80, 0xffffffffffffff80,
    816   0xffffffffffffff7f, 0xffffffffffffff62,
    817   0xffffffffffffff61, 0xffffffffffffff05,
    818   0xffffffffffffff04, 0xffffffffffffff04,
    819   0xffffffffffffff03, 0xffffffffffffff03,
    820   0xffffffffffffff02, 0xffffffffffff7f85,
    821   0xffffffffffff7f84, 0xffffffffffff7f84,
    822   0xffffffffffff7f83, 0xffffffffffff7f83,
    823   0xffffffffffff7f82, 0xffffffffcccccc4f,
    824   0xffffffffcccccc4e, 0xffffffffaaaaaa2d,
    825   0xffffffffaaaaaa2c, 0xffffffff7fffff85,
    826   0xffffffff7fffff84, 0xffffffff7fffff84,
    827   0xffffffff7fffff83, 0xffffffff7fffff83,
    828   0xffffffff7fffff82, 0x000000007fffff82,
    829   0x000000007fffff81, 0x000000007fffff81,
    830   0x000000007fffff80, 0x00000000555554d8,
    831   0x00000000555554d7, 0x00000000333332b6,
    832   0x00000000333332b5, 0x0000000000007f82,
    833   0x0000000000007f81, 0x0000000000007f81,
    834   0x0000000000007f80, 0x0000000000007f80,
    835   0x0000000000007f7f, 0x0000000000007f7f,
    836   0x0000000000007f7e, 0x0000000000000002,
    837   0x0000000000000001, 0x0000000000000001,
    838   0x0000000000000000, 0x0000000000000000,
    839   0xffffffffffffffff, 0xffffffffffffffff,
    840   0xfffffffffffffffe, 0xffffffffffffffa2,
    841   0xffffffffffffffa1, 0xffffffffffffff85,
    842   0xffffffffffffff84, 0xffffffffffffff84,
    843   0xffffffffffffff83, 0xffffffffffffff83,
    844   0xffffffffffffff83, 0xffffffffffffff83,
    845   0xffffffffffffff82, 0xffffffffffffff82,
    846   0xffffffffffffff81, 0xffffffffffffff81,
    847   0xffffffffffffff80, 0xffffffffffffff63,
    848   0xffffffffffffff62, 0xffffffffffffff06,
    849   0xffffffffffffff05, 0xffffffffffffff05,
    850   0xffffffffffffff04, 0xffffffffffffff04,
    851   0xffffffffffffff03, 0xffffffffffff7f86,
    852   0xffffffffffff7f85, 0xffffffffffff7f85,
    853   0xffffffffffff7f84, 0xffffffffffff7f84,
    854   0xffffffffffff7f83, 0xffffffffcccccc50,
    855   0xffffffffcccccc4f, 0xffffffffaaaaaa2e,
    856   0xffffffffaaaaaa2d, 0xffffffff7fffff86,
    857   0xffffffff7fffff85, 0xffffffff7fffff85,
    858   0xffffffff7fffff84, 0xffffffff7fffff84,
    859   0xffffffff7fffff83, 0x000000007fffff83,
    860   0x000000007fffff82, 0x000000007fffff82,
    861   0x000000007fffff81, 0x00000000555554d9,
    862   0x00000000555554d8, 0x00000000333332b7,
    863   0x00000000333332b6, 0x0000000000007f83,
    864   0x0000000000007f82, 0x0000000000007f82,
    865   0x0000000000007f81, 0x0000000000007f81,
    866   0x0000000000007f80, 0x0000000000007f80,
    867   0x0000000000007f7f, 0x0000000000000003,
    868   0x0000000000000002, 0x0000000000000002,
    869   0x0000000000000001, 0x0000000000000001,
    870   0x0000000000000000, 0x0000000000000000,
    871   0xffffffffffffffff, 0xffffffffffffffa3,
    872   0xffffffffffffffa2, 0xffffffffffffff86,
    873   0xffffffffffffff85, 0xffffffffffffff85,
    874   0xffffffffffffff84, 0xffffffffffffff84,
    875   0xffffffffffffff84, 0xffffffffffffffe0,
    876   0xffffffffffffff83, 0xffffffffffffffdf,
    877   0xffffffffffffff82, 0xffffffffffffffde,
    878   0xffffffffffffff81, 0xffffffffffffffc0,
    879   0xffffffffffffff63, 0xffffffffffffff63,
    880   0xffffffffffffff06, 0xffffffffffffff62,
    881   0xffffffffffffff05, 0xffffffffffffff61,
    882   0xffffffffffffff04, 0xffffffffffff7fe3,
    883   0xffffffffffff7f86, 0xffffffffffff7fe2,
    884   0xffffffffffff7f85, 0xffffffffffff7fe1,
    885   0xffffffffffff7f84, 0xffffffffccccccad,
    886   0xffffffffcccccc50, 0xffffffffaaaaaa8b,
    887   0xffffffffaaaaaa2e, 0xffffffff7fffffe3,
    888   0xffffffff7fffff86, 0xffffffff7fffffe2,
    889   0xffffffff7fffff85, 0xffffffff7fffffe1,
    890   0xffffffff7fffff84, 0x000000007fffffe0,
    891   0x000000007fffff83, 0x000000007fffffdf,
    892   0x000000007fffff82, 0x0000000055555536,
    893   0x00000000555554d9, 0x0000000033333314,
    894   0x00000000333332b7, 0x0000000000007fe0,
    895   0x0000000000007f83, 0x0000000000007fdf,
    896   0x0000000000007f82, 0x0000000000007fde,
    897   0x0000000000007f81, 0x0000000000007fdd,
    898   0x0000000000007f80, 0x0000000000000060,
    899   0x0000000000000003, 0x000000000000005f,
    900   0x0000000000000002, 0x000000000000005e,
    901   0x0000000000000001, 0x000000000000005d,
    902   0x0000000000000000, 0x0000000000000000,
    903   0xffffffffffffffa3, 0xffffffffffffffe3,
    904   0xffffffffffffff86, 0xffffffffffffffe2,
    905   0xffffffffffffff85, 0xffffffffffffffe1,
    906   0xffffffffffffffe1, 0xfffffffffffffffd,
    907   0xffffffffffffffe0, 0xfffffffffffffffc,
    908   0xffffffffffffffdf, 0xfffffffffffffffb,
    909   0xffffffffffffffde, 0xffffffffffffffdd,
    910   0xffffffffffffffc0, 0xffffffffffffff80,
    911   0xffffffffffffff63, 0xffffffffffffff7f,
    912   0xffffffffffffff62, 0xffffffffffffff7e,
    913   0xffffffffffffff61, 0xffffffffffff8000,
    914   0xffffffffffff7fe3, 0xffffffffffff7fff,
    915   0xffffffffffff7fe2, 0xffffffffffff7ffe,
    916   0xffffffffffff7fe1, 0xffffffffccccccca,
    917   0xffffffffccccccad, 0xffffffffaaaaaaa8,
    918   0xffffffffaaaaaa8b, 0xffffffff80000000,
    919   0xffffffff7fffffe3, 0xffffffff7fffffff,
    920   0xffffffff7fffffe2, 0xffffffff7ffffffe,
    921   0xffffffff7fffffe1, 0x000000007ffffffd,
    922   0x000000007fffffe0, 0x000000007ffffffc,
    923   0x000000007fffffdf, 0x0000000055555553,
    924   0x0000000055555536, 0x0000000033333331,
    925   0x0000000033333314, 0x0000000000007ffd,
    926   0x0000000000007fe0, 0x0000000000007ffc,
    927   0x0000000000007fdf, 0x0000000000007ffb,
    928   0x0000000000007fde, 0x0000000000007ffa,
    929   0x0000000000007fdd, 0x000000000000007d,
    930   0x0000000000000060, 0x000000000000007c,
    931   0x000000000000005f, 0x000000000000007b,
    932   0x000000000000005e, 0x000000000000007a,
    933   0x000000000000005d, 0x000000000000001d,
    934   0x0000000000000000, 0x0000000000000000,
    935   0xffffffffffffffe3, 0xffffffffffffffff,
    936   0xffffffffffffffe2, 0xfffffffffffffffe,
    937   0xfffffffffffffffe, 0xfffffffffffffffe,
    938   0xfffffffffffffffd, 0xfffffffffffffffd,
    939   0xfffffffffffffffc, 0xfffffffffffffffc,
    940   0xfffffffffffffffb, 0xffffffffffffffde,
    941   0xffffffffffffffdd, 0xffffffffffffff81,
    942   0xffffffffffffff80, 0xffffffffffffff80,
    943   0xffffffffffffff7f, 0xffffffffffffff7f,
    944   0xffffffffffffff7e, 0xffffffffffff8001,
    945   0xffffffffffff8000, 0xffffffffffff8000,
    946   0xffffffffffff7fff, 0xffffffffffff7fff,
    947   0xffffffffffff7ffe, 0xffffffffcccccccb,
    948   0xffffffffccccccca, 0xffffffffaaaaaaa9,
    949   0xffffffffaaaaaaa8, 0xffffffff80000001,
    950   0xffffffff80000000, 0xffffffff80000000,
    951   0xffffffff7fffffff, 0xffffffff7fffffff,
    952   0xffffffff7ffffffe, 0x000000007ffffffe,
    953   0x000000007ffffffd, 0x000000007ffffffd,
    954   0x000000007ffffffc, 0x0000000055555554,
    955   0x0000000055555553, 0x0000000033333332,
    956   0x0000000033333331, 0x0000000000007ffe,
    957   0x0000000000007ffd, 0x0000000000007ffd,
    958   0x0000000000007ffc, 0x0000000000007ffc,
    959   0x0000000000007ffb, 0x0000000000007ffb,
    960   0x0000000000007ffa, 0x000000000000007e,
    961   0x000000000000007d, 0x000000000000007d,
    962   0x000000000000007c, 0x000000000000007c,
    963   0x000000000000007b, 0x000000000000007b,
    964   0x000000000000007a, 0x000000000000001e,
    965   0x000000000000001d, 0x0000000000000001,
    966   0x0000000000000000, 0x0000000000000000,
    967   0xffffffffffffffff, 0xffffffffffffffff,
    968   0xffffffffffffffff, 0xffffffffffffffff,
    969   0xfffffffffffffffe, 0xfffffffffffffffe,
    970   0xfffffffffffffffd, 0xfffffffffffffffd,
    971   0xfffffffffffffffc, 0xffffffffffffffdf,
    972   0xffffffffffffffde, 0xffffffffffffff82,
    973   0xffffffffffffff81, 0xffffffffffffff81,
    974   0xffffffffffffff80, 0xffffffffffffff80,
    975   0xffffffffffffff7f, 0xffffffffffff8002,
    976   0xffffffffffff8001, 0xffffffffffff8001,
    977   0xffffffffffff8000, 0xffffffffffff8000,
    978   0xffffffffffff7fff, 0xffffffffcccccccc,
    979   0xffffffffcccccccb, 0xffffffffaaaaaaaa,
    980   0xffffffffaaaaaaa9, 0xffffffff80000002,
    981   0xffffffff80000001, 0xffffffff80000001,
    982   0xffffffff80000000, 0xffffffff80000000,
    983   0xffffffff7fffffff, 0x000000007fffffff,
    984   0x000000007ffffffe, 0x000000007ffffffe,
    985   0x000000007ffffffd, 0x0000000055555555,
    986   0x0000000055555554, 0x0000000033333333,
    987   0x0000000033333332, 0x0000000000007fff,
    988   0x0000000000007ffe, 0x0000000000007ffe,
    989   0x0000000000007ffd, 0x0000000000007ffd,
    990   0x0000000000007ffc, 0x0000000000007ffc,
    991   0x0000000000007ffb, 0x000000000000007f,
    992   0x000000000000007e, 0x000000000000007e,
    993   0x000000000000007d, 0x000000000000007d,
    994   0x000000000000007c, 0x000000000000007c,
    995   0x000000000000007b, 0x000000000000001f,
    996   0x000000000000001e, 0x0000000000000002,
    997   0x0000000000000001, 0x0000000000000001,
    998   0x0000000000000000, 0x0000000000000000,
    999 };
   1000 const unsigned kExpectedCount_NEON_ssubl2_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_SSUBL2_2D_TRACE_A64_H_
   1003