Home | History | Annotate | Download | only in traces
      1 // Copyright 2015, VIXL authors
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_SADDL_2D_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SADDL_2D_TRACE_AARCH64_H_
     36 
     37 const uint64_t kExpected_NEON_saddl_2D[] = {
     38   0x000000000000fc00, 0x000000000000fe00,
     39   0x000000000000fd00, 0x0000000000807c00,
     40   0x0000000000807b00, 0x0000000000007f00,
     41   0x0000000000007e00, 0x0000000000007f01,
     42   0x0000000000007e01, 0x0000000000007f02,
     43   0x0000000000007e02, 0x0000000000007f20,
     44   0x0000000000007e20, 0x0000000000007f7d,
     45   0x0000000000007e7d, 0x0000000000007f7e,
     46   0x0000000000007e7e, 0x0000000000007f7f,
     47   0x0000000000007e7f, 0x000000000000fefd,
     48   0x000000000000fdfd, 0x000000000000fefe,
     49   0x000000000000fdfe, 0x000000000000feff,
     50   0x000000000000fdff, 0x000000003333b233,
     51   0x000000003333b133, 0x000000005555d455,
     52   0x000000005555d355, 0x0000000080007efd,
     53   0x0000000080007dfd, 0x0000000080007efe,
     54   0x0000000080007dfe, 0x0000000080007eff,
     55   0x0000000080007dff, 0xffffffff80007f00,
     56   0xffffffff80007e00, 0xffffffff80007f01,
     57   0xffffffff80007e01, 0xffffffffaaab29aa,
     58   0xffffffffaaab28aa, 0xffffffffcccd4bcc,
     59   0xffffffffcccd4acc, 0xffffffffffffff00,
     60   0xfffffffffffffe00, 0xffffffffffffff01,
     61   0xfffffffffffffe01, 0xffffffffffffff02,
     62   0xfffffffffffffe02, 0xffffffffffffff03,
     63   0xfffffffffffffe03, 0x0000000000007e80,
     64   0x0000000000007d80, 0x0000000000007e81,
     65   0x0000000000007d81, 0x0000000000007e82,
     66   0x0000000000007d82, 0x0000000000007e83,
     67   0x0000000000007d83, 0x0000000000007ee0,
     68   0x0000000000007de0, 0x0000000000007efd,
     69   0x0000000000007efd, 0x00000000007ffcfe,
     70   0x0000000000007efe, 0x00000000007ffcff,
     71   0x0000000000007eff, 0x00000000007ffd00,
     72   0x0000000000007f00, 0x00000000007ffd01,
     73   0x0000000000007f01, 0x00000000007ffd02,
     74   0x0000000000007f02, 0x00000000007ffd20,
     75   0x0000000000007f20, 0x00000000007ffd7d,
     76   0x0000000000007f7d, 0x00000000007ffd7e,
     77   0x0000000000007f7e, 0x00000000007ffd7f,
     78   0x0000000000007f7f, 0x0000000000807cfd,
     79   0x000000000000fefd, 0x0000000000807cfe,
     80   0x000000000000fefe, 0x0000000000807cff,
     81   0x000000000000feff, 0x0000000033b33033,
     82   0x000000003333b233, 0x0000000055d55255,
     83   0x000000005555d455, 0x00000000807ffcfd,
     84   0x0000000080007efd, 0x00000000807ffcfe,
     85   0x0000000080007efe, 0x00000000807ffcff,
     86   0x0000000080007eff, 0xffffffff807ffd00,
     87   0xffffffff80007f00, 0xffffffff807ffd01,
     88   0xffffffff80007f01, 0xffffffffab2aa7aa,
     89   0xffffffffaaab29aa, 0xffffffffcd4cc9cc,
     90   0xffffffffcccd4bcc, 0x00000000007f7d00,
     91   0xffffffffffffff00, 0x00000000007f7d01,
     92   0xffffffffffffff01, 0x00000000007f7d02,
     93   0xffffffffffffff02, 0x00000000007f7d03,
     94   0xffffffffffffff03, 0x00000000007ffc80,
     95   0x0000000000007e80, 0x00000000007ffc81,
     96   0x0000000000007e81, 0x00000000007ffc82,
     97   0x0000000000007e82, 0x00000000007ffc83,
     98   0x0000000000007e83, 0x00000000007ffce0,
     99   0x0000000000007ee0, 0x00000000007ffcfd,
    100   0x00000000007ffcfd, 0xfffffffffffffffe,
    101   0x00000000007ffcfe, 0xffffffffffffffff,
    102   0x00000000007ffcff, 0x0000000000000000,
    103   0x00000000007ffd00, 0x0000000000000001,
    104   0x00000000007ffd01, 0x0000000000000002,
    105   0x00000000007ffd02, 0x0000000000000020,
    106   0x00000000007ffd20, 0x000000000000007d,
    107   0x00000000007ffd7d, 0x000000000000007e,
    108   0x00000000007ffd7e, 0x000000000000007f,
    109   0x00000000007ffd7f, 0x0000000000007ffd,
    110   0x0000000000807cfd, 0x0000000000007ffe,
    111   0x0000000000807cfe, 0x0000000000007fff,
    112   0x0000000000807cff, 0x0000000033333333,
    113   0x0000000033b33033, 0x0000000055555555,
    114   0x0000000055d55255, 0x000000007ffffffd,
    115   0x00000000807ffcfd, 0x000000007ffffffe,
    116   0x00000000807ffcfe, 0x000000007fffffff,
    117   0x00000000807ffcff, 0xffffffff80000000,
    118   0xffffffff807ffd00, 0xffffffff80000001,
    119   0xffffffff807ffd01, 0xffffffffaaaaaaaa,
    120   0xffffffffab2aa7aa, 0xffffffffcccccccc,
    121   0xffffffffcd4cc9cc, 0xffffffffffff8000,
    122   0x00000000007f7d00, 0xffffffffffff8001,
    123   0x00000000007f7d01, 0xffffffffffff8002,
    124   0x00000000007f7d02, 0xffffffffffff8003,
    125   0x00000000007f7d03, 0xffffffffffffff80,
    126   0x00000000007ffc80, 0xffffffffffffff81,
    127   0x00000000007ffc81, 0xffffffffffffff82,
    128   0x00000000007ffc82, 0xffffffffffffff83,
    129   0x00000000007ffc83, 0xffffffffffffffe0,
    130   0x00000000007ffce0, 0xfffffffffffffffd,
    131   0xfffffffffffffffd, 0xffffffffffffffff,
    132   0xfffffffffffffffe, 0x0000000000000000,
    133   0xffffffffffffffff, 0x0000000000000001,
    134   0x0000000000000000, 0x0000000000000002,
    135   0x0000000000000001, 0x0000000000000003,
    136   0x0000000000000002, 0x0000000000000021,
    137   0x0000000000000020, 0x000000000000007e,
    138   0x000000000000007d, 0x000000000000007f,
    139   0x000000000000007e, 0x0000000000000080,
    140   0x000000000000007f, 0x0000000000007ffe,
    141   0x0000000000007ffd, 0x0000000000007fff,
    142   0x0000000000007ffe, 0x0000000000008000,
    143   0x0000000000007fff, 0x0000000033333334,
    144   0x0000000033333333, 0x0000000055555556,
    145   0x0000000055555555, 0x000000007ffffffe,
    146   0x000000007ffffffd, 0x000000007fffffff,
    147   0x000000007ffffffe, 0x0000000080000000,
    148   0x000000007fffffff, 0xffffffff80000001,
    149   0xffffffff80000000, 0xffffffff80000002,
    150   0xffffffff80000001, 0xffffffffaaaaaaab,
    151   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
    152   0xffffffffcccccccc, 0xffffffffffff8001,
    153   0xffffffffffff8000, 0xffffffffffff8002,
    154   0xffffffffffff8001, 0xffffffffffff8003,
    155   0xffffffffffff8002, 0xffffffffffff8004,
    156   0xffffffffffff8003, 0xffffffffffffff81,
    157   0xffffffffffffff80, 0xffffffffffffff82,
    158   0xffffffffffffff81, 0xffffffffffffff83,
    159   0xffffffffffffff82, 0xffffffffffffff84,
    160   0xffffffffffffff83, 0xffffffffffffffe1,
    161   0xffffffffffffffe0, 0xfffffffffffffffe,
    162   0xfffffffffffffffe, 0x0000000000000000,
    163   0xffffffffffffffff, 0x0000000000000001,
    164   0x0000000000000000, 0x0000000000000002,
    165   0x0000000000000001, 0x0000000000000003,
    166   0x0000000000000002, 0x0000000000000004,
    167   0x0000000000000003, 0x0000000000000022,
    168   0x0000000000000021, 0x000000000000007f,
    169   0x000000000000007e, 0x0000000000000080,
    170   0x000000000000007f, 0x0000000000000081,
    171   0x0000000000000080, 0x0000000000007fff,
    172   0x0000000000007ffe, 0x0000000000008000,
    173   0x0000000000007fff, 0x0000000000008001,
    174   0x0000000000008000, 0x0000000033333335,
    175   0x0000000033333334, 0x0000000055555557,
    176   0x0000000055555556, 0x000000007fffffff,
    177   0x000000007ffffffe, 0x0000000080000000,
    178   0x000000007fffffff, 0x0000000080000001,
    179   0x0000000080000000, 0xffffffff80000002,
    180   0xffffffff80000001, 0xffffffff80000003,
    181   0xffffffff80000002, 0xffffffffaaaaaaac,
    182   0xffffffffaaaaaaab, 0xffffffffccccccce,
    183   0xffffffffcccccccd, 0xffffffffffff8002,
    184   0xffffffffffff8001, 0xffffffffffff8003,
    185   0xffffffffffff8002, 0xffffffffffff8004,
    186   0xffffffffffff8003, 0xffffffffffff8005,
    187   0xffffffffffff8004, 0xffffffffffffff82,
    188   0xffffffffffffff81, 0xffffffffffffff83,
    189   0xffffffffffffff82, 0xffffffffffffff84,
    190   0xffffffffffffff83, 0xffffffffffffff85,
    191   0xffffffffffffff84, 0xffffffffffffffe2,
    192   0xffffffffffffffe1, 0xffffffffffffffff,
    193   0xffffffffffffffff, 0x000000000000001e,
    194   0x0000000000000000, 0x000000000000001f,
    195   0x0000000000000001, 0x0000000000000020,
    196   0x0000000000000002, 0x0000000000000021,
    197   0x0000000000000003, 0x0000000000000022,
    198   0x0000000000000004, 0x0000000000000040,
    199   0x0000000000000022, 0x000000000000009d,
    200   0x000000000000007f, 0x000000000000009e,
    201   0x0000000000000080, 0x000000000000009f,
    202   0x0000000000000081, 0x000000000000801d,
    203   0x0000000000007fff, 0x000000000000801e,
    204   0x0000000000008000, 0x000000000000801f,
    205   0x0000000000008001, 0x0000000033333353,
    206   0x0000000033333335, 0x0000000055555575,
    207   0x0000000055555557, 0x000000008000001d,
    208   0x000000007fffffff, 0x000000008000001e,
    209   0x0000000080000000, 0x000000008000001f,
    210   0x0000000080000001, 0xffffffff80000020,
    211   0xffffffff80000002, 0xffffffff80000021,
    212   0xffffffff80000003, 0xffffffffaaaaaaca,
    213   0xffffffffaaaaaaac, 0xffffffffccccccec,
    214   0xffffffffccccccce, 0xffffffffffff8020,
    215   0xffffffffffff8002, 0xffffffffffff8021,
    216   0xffffffffffff8003, 0xffffffffffff8022,
    217   0xffffffffffff8004, 0xffffffffffff8023,
    218   0xffffffffffff8005, 0xffffffffffffffa0,
    219   0xffffffffffffff82, 0xffffffffffffffa1,
    220   0xffffffffffffff83, 0xffffffffffffffa2,
    221   0xffffffffffffff84, 0xffffffffffffffa3,
    222   0xffffffffffffff85, 0x0000000000000000,
    223   0xffffffffffffffe2, 0x000000000000001d,
    224   0x000000000000001d, 0x000000000000007b,
    225   0x000000000000001e, 0x000000000000007c,
    226   0x000000000000001f, 0x000000000000007d,
    227   0x0000000000000020, 0x000000000000007e,
    228   0x0000000000000021, 0x000000000000007f,
    229   0x0000000000000022, 0x000000000000009d,
    230   0x0000000000000040, 0x00000000000000fa,
    231   0x000000000000009d, 0x00000000000000fb,
    232   0x000000000000009e, 0x00000000000000fc,
    233   0x000000000000009f, 0x000000000000807a,
    234   0x000000000000801d, 0x000000000000807b,
    235   0x000000000000801e, 0x000000000000807c,
    236   0x000000000000801f, 0x00000000333333b0,
    237   0x0000000033333353, 0x00000000555555d2,
    238   0x0000000055555575, 0x000000008000007a,
    239   0x000000008000001d, 0x000000008000007b,
    240   0x000000008000001e, 0x000000008000007c,
    241   0x000000008000001f, 0xffffffff8000007d,
    242   0xffffffff80000020, 0xffffffff8000007e,
    243   0xffffffff80000021, 0xffffffffaaaaab27,
    244   0xffffffffaaaaaaca, 0xffffffffcccccd49,
    245   0xffffffffccccccec, 0xffffffffffff807d,
    246   0xffffffffffff8020, 0xffffffffffff807e,
    247   0xffffffffffff8021, 0xffffffffffff807f,
    248   0xffffffffffff8022, 0xffffffffffff8080,
    249   0xffffffffffff8023, 0xfffffffffffffffd,
    250   0xffffffffffffffa0, 0xfffffffffffffffe,
    251   0xffffffffffffffa1, 0xffffffffffffffff,
    252   0xffffffffffffffa2, 0x0000000000000000,
    253   0xffffffffffffffa3, 0x000000000000005d,
    254   0x0000000000000000, 0x000000000000007a,
    255   0x000000000000007a, 0x000000000000007c,
    256   0x000000000000007b, 0x000000000000007d,
    257   0x000000000000007c, 0x000000000000007e,
    258   0x000000000000007d, 0x000000000000007f,
    259   0x000000000000007e, 0x0000000000000080,
    260   0x000000000000007f, 0x000000000000009e,
    261   0x000000000000009d, 0x00000000000000fb,
    262   0x00000000000000fa, 0x00000000000000fc,
    263   0x00000000000000fb, 0x00000000000000fd,
    264   0x00000000000000fc, 0x000000000000807b,
    265   0x000000000000807a, 0x000000000000807c,
    266   0x000000000000807b, 0x000000000000807d,
    267   0x000000000000807c, 0x00000000333333b1,
    268   0x00000000333333b0, 0x00000000555555d3,
    269   0x00000000555555d2, 0x000000008000007b,
    270   0x000000008000007a, 0x000000008000007c,
    271   0x000000008000007b, 0x000000008000007d,
    272   0x000000008000007c, 0xffffffff8000007e,
    273   0xffffffff8000007d, 0xffffffff8000007f,
    274   0xffffffff8000007e, 0xffffffffaaaaab28,
    275   0xffffffffaaaaab27, 0xffffffffcccccd4a,
    276   0xffffffffcccccd49, 0xffffffffffff807e,
    277   0xffffffffffff807d, 0xffffffffffff807f,
    278   0xffffffffffff807e, 0xffffffffffff8080,
    279   0xffffffffffff807f, 0xffffffffffff8081,
    280   0xffffffffffff8080, 0xfffffffffffffffe,
    281   0xfffffffffffffffd, 0xffffffffffffffff,
    282   0xfffffffffffffffe, 0x0000000000000000,
    283   0xffffffffffffffff, 0x0000000000000001,
    284   0x0000000000000000, 0x000000000000005e,
    285   0x000000000000005d, 0x000000000000007b,
    286   0x000000000000007b, 0x000000000000007d,
    287   0x000000000000007c, 0x000000000000007e,
    288   0x000000000000007d, 0x000000000000007f,
    289   0x000000000000007e, 0x0000000000000080,
    290   0x000000000000007f, 0x0000000000000081,
    291   0x0000000000000080, 0x000000000000009f,
    292   0x000000000000009e, 0x00000000000000fc,
    293   0x00000000000000fb, 0x00000000000000fd,
    294   0x00000000000000fc, 0x00000000000000fe,
    295   0x00000000000000fd, 0x000000000000807c,
    296   0x000000000000807b, 0x000000000000807d,
    297   0x000000000000807c, 0x000000000000807e,
    298   0x000000000000807d, 0x00000000333333b2,
    299   0x00000000333333b1, 0x00000000555555d4,
    300   0x00000000555555d3, 0x000000008000007c,
    301   0x000000008000007b, 0x000000008000007d,
    302   0x000000008000007c, 0x000000008000007e,
    303   0x000000008000007d, 0xffffffff8000007f,
    304   0xffffffff8000007e, 0xffffffff80000080,
    305   0xffffffff8000007f, 0xffffffffaaaaab29,
    306   0xffffffffaaaaab28, 0xffffffffcccccd4b,
    307   0xffffffffcccccd4a, 0xffffffffffff807f,
    308   0xffffffffffff807e, 0xffffffffffff8080,
    309   0xffffffffffff807f, 0xffffffffffff8081,
    310   0xffffffffffff8080, 0xffffffffffff8082,
    311   0xffffffffffff8081, 0xffffffffffffffff,
    312   0xfffffffffffffffe, 0x0000000000000000,
    313   0xffffffffffffffff, 0x0000000000000001,
    314   0x0000000000000000, 0x0000000000000002,
    315   0x0000000000000001, 0x000000000000005f,
    316   0x000000000000005e, 0x000000000000007c,
    317   0x000000000000007c, 0x0000000000007ffb,
    318   0x000000000000007d, 0x0000000000007ffc,
    319   0x000000000000007e, 0x0000000000007ffd,
    320   0x000000000000007f, 0x0000000000007ffe,
    321   0x0000000000000080, 0x0000000000007fff,
    322   0x0000000000000081, 0x000000000000801d,
    323   0x000000000000009f, 0x000000000000807a,
    324   0x00000000000000fc, 0x000000000000807b,
    325   0x00000000000000fd, 0x000000000000807c,
    326   0x00000000000000fe, 0x000000000000fffa,
    327   0x000000000000807c, 0x000000000000fffb,
    328   0x000000000000807d, 0x000000000000fffc,
    329   0x000000000000807e, 0x000000003333b330,
    330   0x00000000333333b2, 0x000000005555d552,
    331   0x00000000555555d4, 0x0000000080007ffa,
    332   0x000000008000007c, 0x0000000080007ffb,
    333   0x000000008000007d, 0x0000000080007ffc,
    334   0x000000008000007e, 0xffffffff80007ffd,
    335   0xffffffff8000007f, 0xffffffff80007ffe,
    336   0xffffffff80000080, 0xffffffffaaab2aa7,
    337   0xffffffffaaaaab29, 0xffffffffcccd4cc9,
    338   0xffffffffcccccd4b, 0xfffffffffffffffd,
    339   0xffffffffffff807f, 0xfffffffffffffffe,
    340   0xffffffffffff8080, 0xffffffffffffffff,
    341   0xffffffffffff8081, 0x0000000000000000,
    342   0xffffffffffff8082, 0x0000000000007f7d,
    343   0xffffffffffffffff, 0x0000000000007f7e,
    344   0x0000000000000000, 0x0000000000007f7f,
    345   0x0000000000000001, 0x0000000000007f80,
    346   0x0000000000000002, 0x0000000000007fdd,
    347   0x000000000000005f, 0x0000000000007ffa,
    348   0x0000000000007ffa, 0x0000000000007ffc,
    349   0x0000000000007ffb, 0x0000000000007ffd,
    350   0x0000000000007ffc, 0x0000000000007ffe,
    351   0x0000000000007ffd, 0x0000000000007fff,
    352   0x0000000000007ffe, 0x0000000000008000,
    353   0x0000000000007fff, 0x000000000000801e,
    354   0x000000000000801d, 0x000000000000807b,
    355   0x000000000000807a, 0x000000000000807c,
    356   0x000000000000807b, 0x000000000000807d,
    357   0x000000000000807c, 0x000000000000fffb,
    358   0x000000000000fffa, 0x000000000000fffc,
    359   0x000000000000fffb, 0x000000000000fffd,
    360   0x000000000000fffc, 0x000000003333b331,
    361   0x000000003333b330, 0x000000005555d553,
    362   0x000000005555d552, 0x0000000080007ffb,
    363   0x0000000080007ffa, 0x0000000080007ffc,
    364   0x0000000080007ffb, 0x0000000080007ffd,
    365   0x0000000080007ffc, 0xffffffff80007ffe,
    366   0xffffffff80007ffd, 0xffffffff80007fff,
    367   0xffffffff80007ffe, 0xffffffffaaab2aa8,
    368   0xffffffffaaab2aa7, 0xffffffffcccd4cca,
    369   0xffffffffcccd4cc9, 0xfffffffffffffffe,
    370   0xfffffffffffffffd, 0xffffffffffffffff,
    371   0xfffffffffffffffe, 0x0000000000000000,
    372   0xffffffffffffffff, 0x0000000000000001,
    373   0x0000000000000000, 0x0000000000007f7e,
    374   0x0000000000007f7d, 0x0000000000007f7f,
    375   0x0000000000007f7e, 0x0000000000007f80,
    376   0x0000000000007f7f, 0x0000000000007f81,
    377   0x0000000000007f80, 0x0000000000007fde,
    378   0x0000000000007fdd, 0x0000000000007ffb,
    379   0x0000000000007ffb, 0x0000000000007ffd,
    380   0x0000000000007ffc, 0x0000000000007ffe,
    381   0x0000000000007ffd, 0x0000000000007fff,
    382   0x0000000000007ffe, 0x0000000000008000,
    383   0x0000000000007fff, 0x0000000000008001,
    384   0x0000000000008000, 0x000000000000801f,
    385   0x000000000000801e, 0x000000000000807c,
    386   0x000000000000807b, 0x000000000000807d,
    387   0x000000000000807c, 0x000000000000807e,
    388   0x000000000000807d, 0x000000000000fffc,
    389   0x000000000000fffb, 0x000000000000fffd,
    390   0x000000000000fffc, 0x000000000000fffe,
    391   0x000000000000fffd, 0x000000003333b332,
    392   0x000000003333b331, 0x000000005555d554,
    393   0x000000005555d553, 0x0000000080007ffc,
    394   0x0000000080007ffb, 0x0000000080007ffd,
    395   0x0000000080007ffc, 0x0000000080007ffe,
    396   0x0000000080007ffd, 0xffffffff80007fff,
    397   0xffffffff80007ffe, 0xffffffff80008000,
    398   0xffffffff80007fff, 0xffffffffaaab2aa9,
    399   0xffffffffaaab2aa8, 0xffffffffcccd4ccb,
    400   0xffffffffcccd4cca, 0xffffffffffffffff,
    401   0xfffffffffffffffe, 0x0000000000000000,
    402   0xffffffffffffffff, 0x0000000000000001,
    403   0x0000000000000000, 0x0000000000000002,
    404   0x0000000000000001, 0x0000000000007f7f,
    405   0x0000000000007f7e, 0x0000000000007f80,
    406   0x0000000000007f7f, 0x0000000000007f81,
    407   0x0000000000007f80, 0x0000000000007f82,
    408   0x0000000000007f81, 0x0000000000007fdf,
    409   0x0000000000007fde, 0x0000000000007ffc,
    410   0x0000000000007ffc, 0x0000000033333331,
    411   0x0000000000007ffd, 0x0000000033333332,
    412   0x0000000000007ffe, 0x0000000033333333,
    413   0x0000000000007fff, 0x0000000033333334,
    414   0x0000000000008000, 0x0000000033333335,
    415   0x0000000000008001, 0x0000000033333353,
    416   0x000000000000801f, 0x00000000333333b0,
    417   0x000000000000807c, 0x00000000333333b1,
    418   0x000000000000807d, 0x00000000333333b2,
    419   0x000000000000807e, 0x000000003333b330,
    420   0x000000000000fffc, 0x000000003333b331,
    421   0x000000000000fffd, 0x000000003333b332,
    422   0x000000000000fffe, 0x0000000066666666,
    423   0x000000003333b332, 0x0000000088888888,
    424   0x000000005555d554, 0x00000000b3333330,
    425   0x0000000080007ffc, 0x00000000b3333331,
    426   0x0000000080007ffd, 0x00000000b3333332,
    427   0x0000000080007ffe, 0xffffffffb3333333,
    428   0xffffffff80007fff, 0xffffffffb3333334,
    429   0xffffffff80008000, 0xffffffffdddddddd,
    430   0xffffffffaaab2aa9, 0xffffffffffffffff,
    431   0xffffffffcccd4ccb, 0x000000003332b333,
    432   0xffffffffffffffff, 0x000000003332b334,
    433   0x0000000000000000, 0x000000003332b335,
    434   0x0000000000000001, 0x000000003332b336,
    435   0x0000000000000002, 0x00000000333332b3,
    436   0x0000000000007f7f, 0x00000000333332b4,
    437   0x0000000000007f80, 0x00000000333332b5,
    438   0x0000000000007f81, 0x00000000333332b6,
    439   0x0000000000007f82, 0x0000000033333313,
    440   0x0000000000007fdf, 0x0000000033333330,
    441   0x0000000033333330, 0x0000000055555553,
    442   0x0000000033333331, 0x0000000055555554,
    443   0x0000000033333332, 0x0000000055555555,
    444   0x0000000033333333, 0x0000000055555556,
    445   0x0000000033333334, 0x0000000055555557,
    446   0x0000000033333335, 0x0000000055555575,
    447   0x0000000033333353, 0x00000000555555d2,
    448   0x00000000333333b0, 0x00000000555555d3,
    449   0x00000000333333b1, 0x00000000555555d4,
    450   0x00000000333333b2, 0x000000005555d552,
    451   0x000000003333b330, 0x000000005555d553,
    452   0x000000003333b331, 0x000000005555d554,
    453   0x000000003333b332, 0x0000000088888888,
    454   0x0000000066666666, 0x00000000aaaaaaaa,
    455   0x0000000088888888, 0x00000000d5555552,
    456   0x00000000b3333330, 0x00000000d5555553,
    457   0x00000000b3333331, 0x00000000d5555554,
    458   0x00000000b3333332, 0xffffffffd5555555,
    459   0xffffffffb3333333, 0xffffffffd5555556,
    460   0xffffffffb3333334, 0xffffffffffffffff,
    461   0xffffffffdddddddd, 0x0000000022222221,
    462   0xffffffffffffffff, 0x000000005554d555,
    463   0x000000003332b333, 0x000000005554d556,
    464   0x000000003332b334, 0x000000005554d557,
    465   0x000000003332b335, 0x000000005554d558,
    466   0x000000003332b336, 0x00000000555554d5,
    467   0x00000000333332b3, 0x00000000555554d6,
    468   0x00000000333332b4, 0x00000000555554d7,
    469   0x00000000333332b5, 0x00000000555554d8,
    470   0x00000000333332b6, 0x0000000055555535,
    471   0x0000000033333313, 0x0000000055555552,
    472   0x0000000055555552, 0x000000007ffffffb,
    473   0x0000000055555553, 0x000000007ffffffc,
    474   0x0000000055555554, 0x000000007ffffffd,
    475   0x0000000055555555, 0x000000007ffffffe,
    476   0x0000000055555556, 0x000000007fffffff,
    477   0x0000000055555557, 0x000000008000001d,
    478   0x0000000055555575, 0x000000008000007a,
    479   0x00000000555555d2, 0x000000008000007b,
    480   0x00000000555555d3, 0x000000008000007c,
    481   0x00000000555555d4, 0x0000000080007ffa,
    482   0x000000005555d552, 0x0000000080007ffb,
    483   0x000000005555d553, 0x0000000080007ffc,
    484   0x000000005555d554, 0x00000000b3333330,
    485   0x0000000088888888, 0x00000000d5555552,
    486   0x00000000aaaaaaaa, 0x00000000fffffffa,
    487   0x00000000d5555552, 0x00000000fffffffb,
    488   0x00000000d5555553, 0x00000000fffffffc,
    489   0x00000000d5555554, 0xfffffffffffffffd,
    490   0xffffffffd5555555, 0xfffffffffffffffe,
    491   0xffffffffd5555556, 0x000000002aaaaaa7,
    492   0xffffffffffffffff, 0x000000004cccccc9,
    493   0x0000000022222221, 0x000000007fff7ffd,
    494   0x000000005554d555, 0x000000007fff7ffe,
    495   0x000000005554d556, 0x000000007fff7fff,
    496   0x000000005554d557, 0x000000007fff8000,
    497   0x000000005554d558, 0x000000007fffff7d,
    498   0x00000000555554d5, 0x000000007fffff7e,
    499   0x00000000555554d6, 0x000000007fffff7f,
    500   0x00000000555554d7, 0x000000007fffff80,
    501   0x00000000555554d8, 0x000000007fffffdd,
    502   0x0000000055555535, 0x000000007ffffffa,
    503   0x000000007ffffffa, 0x000000007ffffffc,
    504   0x000000007ffffffb, 0x000000007ffffffd,
    505   0x000000007ffffffc, 0x000000007ffffffe,
    506   0x000000007ffffffd, 0x000000007fffffff,
    507   0x000000007ffffffe, 0x0000000080000000,
    508   0x000000007fffffff, 0x000000008000001e,
    509   0x000000008000001d, 0x000000008000007b,
    510   0x000000008000007a, 0x000000008000007c,
    511   0x000000008000007b, 0x000000008000007d,
    512   0x000000008000007c, 0x0000000080007ffb,
    513   0x0000000080007ffa, 0x0000000080007ffc,
    514   0x0000000080007ffb, 0x0000000080007ffd,
    515   0x0000000080007ffc, 0x00000000b3333331,
    516   0x00000000b3333330, 0x00000000d5555553,
    517   0x00000000d5555552, 0x00000000fffffffb,
    518   0x00000000fffffffa, 0x00000000fffffffc,
    519   0x00000000fffffffb, 0x00000000fffffffd,
    520   0x00000000fffffffc, 0xfffffffffffffffe,
    521   0xfffffffffffffffd, 0xffffffffffffffff,
    522   0xfffffffffffffffe, 0x000000002aaaaaa8,
    523   0x000000002aaaaaa7, 0x000000004cccccca,
    524   0x000000004cccccc9, 0x000000007fff7ffe,
    525   0x000000007fff7ffd, 0x000000007fff7fff,
    526   0x000000007fff7ffe, 0x000000007fff8000,
    527   0x000000007fff7fff, 0x000000007fff8001,
    528   0x000000007fff8000, 0x000000007fffff7e,
    529   0x000000007fffff7d, 0x000000007fffff7f,
    530   0x000000007fffff7e, 0x000000007fffff80,
    531   0x000000007fffff7f, 0x000000007fffff81,
    532   0x000000007fffff80, 0x000000007fffffde,
    533   0x000000007fffffdd, 0x000000007ffffffb,
    534   0x000000007ffffffb, 0x000000007ffffffd,
    535   0x000000007ffffffc, 0x000000007ffffffe,
    536   0x000000007ffffffd, 0x000000007fffffff,
    537   0x000000007ffffffe, 0x0000000080000000,
    538   0x000000007fffffff, 0x0000000080000001,
    539   0x0000000080000000, 0x000000008000001f,
    540   0x000000008000001e, 0x000000008000007c,
    541   0x000000008000007b, 0x000000008000007d,
    542   0x000000008000007c, 0x000000008000007e,
    543   0x000000008000007d, 0x0000000080007ffc,
    544   0x0000000080007ffb, 0x0000000080007ffd,
    545   0x0000000080007ffc, 0x0000000080007ffe,
    546   0x0000000080007ffd, 0x00000000b3333332,
    547   0x00000000b3333331, 0x00000000d5555554,
    548   0x00000000d5555553, 0x00000000fffffffc,
    549   0x00000000fffffffb, 0x00000000fffffffd,
    550   0x00000000fffffffc, 0x00000000fffffffe,
    551   0x00000000fffffffd, 0xffffffffffffffff,
    552   0xfffffffffffffffe, 0x0000000000000000,
    553   0xffffffffffffffff, 0x000000002aaaaaa9,
    554   0x000000002aaaaaa8, 0x000000004ccccccb,
    555   0x000000004cccccca, 0x000000007fff7fff,
    556   0x000000007fff7ffe, 0x000000007fff8000,
    557   0x000000007fff7fff, 0x000000007fff8001,
    558   0x000000007fff8000, 0x000000007fff8002,
    559   0x000000007fff8001, 0x000000007fffff7f,
    560   0x000000007fffff7e, 0x000000007fffff80,
    561   0x000000007fffff7f, 0x000000007fffff81,
    562   0x000000007fffff80, 0x000000007fffff82,
    563   0x000000007fffff81, 0x000000007fffffdf,
    564   0x000000007fffffde, 0x000000007ffffffc,
    565   0x000000007ffffffc, 0xffffffff7ffffffe,
    566   0x000000007ffffffd, 0xffffffff7fffffff,
    567   0x000000007ffffffe, 0xffffffff80000000,
    568   0x000000007fffffff, 0xffffffff80000001,
    569   0x0000000080000000, 0xffffffff80000002,
    570   0x0000000080000001, 0xffffffff80000020,
    571   0x000000008000001f, 0xffffffff8000007d,
    572   0x000000008000007c, 0xffffffff8000007e,
    573   0x000000008000007d, 0xffffffff8000007f,
    574   0x000000008000007e, 0xffffffff80007ffd,
    575   0x0000000080007ffc, 0xffffffff80007ffe,
    576   0x0000000080007ffd, 0xffffffff80007fff,
    577   0x0000000080007ffe, 0xffffffffb3333333,
    578   0x00000000b3333332, 0xffffffffd5555555,
    579   0x00000000d5555554, 0xfffffffffffffffd,
    580   0x00000000fffffffc, 0xfffffffffffffffe,
    581   0x00000000fffffffd, 0xffffffffffffffff,
    582   0x00000000fffffffe, 0xffffffff00000000,
    583   0xffffffffffffffff, 0xffffffff00000001,
    584   0x0000000000000000, 0xffffffff2aaaaaaa,
    585   0x000000002aaaaaa9, 0xffffffff4ccccccc,
    586   0x000000004ccccccb, 0xffffffff7fff8000,
    587   0x000000007fff7fff, 0xffffffff7fff8001,
    588   0x000000007fff8000, 0xffffffff7fff8002,
    589   0x000000007fff8001, 0xffffffff7fff8003,
    590   0x000000007fff8002, 0xffffffff7fffff80,
    591   0x000000007fffff7f, 0xffffffff7fffff81,
    592   0x000000007fffff80, 0xffffffff7fffff82,
    593   0x000000007fffff81, 0xffffffff7fffff83,
    594   0x000000007fffff82, 0xffffffff7fffffe0,
    595   0x000000007fffffdf, 0xffffffff7ffffffd,
    596   0xffffffff7ffffffd, 0xffffffff7fffffff,
    597   0xffffffff7ffffffe, 0xffffffff80000000,
    598   0xffffffff7fffffff, 0xffffffff80000001,
    599   0xffffffff80000000, 0xffffffff80000002,
    600   0xffffffff80000001, 0xffffffff80000003,
    601   0xffffffff80000002, 0xffffffff80000021,
    602   0xffffffff80000020, 0xffffffff8000007e,
    603   0xffffffff8000007d, 0xffffffff8000007f,
    604   0xffffffff8000007e, 0xffffffff80000080,
    605   0xffffffff8000007f, 0xffffffff80007ffe,
    606   0xffffffff80007ffd, 0xffffffff80007fff,
    607   0xffffffff80007ffe, 0xffffffff80008000,
    608   0xffffffff80007fff, 0xffffffffb3333334,
    609   0xffffffffb3333333, 0xffffffffd5555556,
    610   0xffffffffd5555555, 0xfffffffffffffffe,
    611   0xfffffffffffffffd, 0xffffffffffffffff,
    612   0xfffffffffffffffe, 0x0000000000000000,
    613   0xffffffffffffffff, 0xffffffff00000001,
    614   0xffffffff00000000, 0xffffffff00000002,
    615   0xffffffff00000001, 0xffffffff2aaaaaab,
    616   0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
    617   0xffffffff4ccccccc, 0xffffffff7fff8001,
    618   0xffffffff7fff8000, 0xffffffff7fff8002,
    619   0xffffffff7fff8001, 0xffffffff7fff8003,
    620   0xffffffff7fff8002, 0xffffffff7fff8004,
    621   0xffffffff7fff8003, 0xffffffff7fffff81,
    622   0xffffffff7fffff80, 0xffffffff7fffff82,
    623   0xffffffff7fffff81, 0xffffffff7fffff83,
    624   0xffffffff7fffff82, 0xffffffff7fffff84,
    625   0xffffffff7fffff83, 0xffffffff7fffffe1,
    626   0xffffffff7fffffe0, 0xffffffff7ffffffe,
    627   0xffffffff7ffffffe, 0xffffffffaaaaaaa8,
    628   0xffffffff7fffffff, 0xffffffffaaaaaaa9,
    629   0xffffffff80000000, 0xffffffffaaaaaaaa,
    630   0xffffffff80000001, 0xffffffffaaaaaaab,
    631   0xffffffff80000002, 0xffffffffaaaaaaac,
    632   0xffffffff80000003, 0xffffffffaaaaaaca,
    633   0xffffffff80000021, 0xffffffffaaaaab27,
    634   0xffffffff8000007e, 0xffffffffaaaaab28,
    635   0xffffffff8000007f, 0xffffffffaaaaab29,
    636   0xffffffff80000080, 0xffffffffaaab2aa7,
    637   0xffffffff80007ffe, 0xffffffffaaab2aa8,
    638   0xffffffff80007fff, 0xffffffffaaab2aa9,
    639   0xffffffff80008000, 0xffffffffdddddddd,
    640   0xffffffffb3333334, 0xffffffffffffffff,
    641   0xffffffffd5555556, 0x000000002aaaaaa7,
    642   0xfffffffffffffffe, 0x000000002aaaaaa8,
    643   0xffffffffffffffff, 0x000000002aaaaaa9,
    644   0x0000000000000000, 0xffffffff2aaaaaaa,
    645   0xffffffff00000001, 0xffffffff2aaaaaab,
    646   0xffffffff00000002, 0xffffffff55555554,
    647   0xffffffff2aaaaaab, 0xffffffff77777776,
    648   0xffffffff4ccccccd, 0xffffffffaaaa2aaa,
    649   0xffffffff7fff8001, 0xffffffffaaaa2aab,
    650   0xffffffff7fff8002, 0xffffffffaaaa2aac,
    651   0xffffffff7fff8003, 0xffffffffaaaa2aad,
    652   0xffffffff7fff8004, 0xffffffffaaaaaa2a,
    653   0xffffffff7fffff81, 0xffffffffaaaaaa2b,
    654   0xffffffff7fffff82, 0xffffffffaaaaaa2c,
    655   0xffffffff7fffff83, 0xffffffffaaaaaa2d,
    656   0xffffffff7fffff84, 0xffffffffaaaaaa8a,
    657   0xffffffff7fffffe1, 0xffffffffaaaaaaa7,
    658   0xffffffffaaaaaaa7, 0xffffffffccccccca,
    659   0xffffffffaaaaaaa8, 0xffffffffcccccccb,
    660   0xffffffffaaaaaaa9, 0xffffffffcccccccc,
    661   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
    662   0xffffffffaaaaaaab, 0xffffffffccccccce,
    663   0xffffffffaaaaaaac, 0xffffffffccccccec,
    664   0xffffffffaaaaaaca, 0xffffffffcccccd49,
    665   0xffffffffaaaaab27, 0xffffffffcccccd4a,
    666   0xffffffffaaaaab28, 0xffffffffcccccd4b,
    667   0xffffffffaaaaab29, 0xffffffffcccd4cc9,
    668   0xffffffffaaab2aa7, 0xffffffffcccd4cca,
    669   0xffffffffaaab2aa8, 0xffffffffcccd4ccb,
    670   0xffffffffaaab2aa9, 0xffffffffffffffff,
    671   0xffffffffdddddddd, 0x0000000022222221,
    672   0xffffffffffffffff, 0x000000004cccccc9,
    673   0x000000002aaaaaa7, 0x000000004cccccca,
    674   0x000000002aaaaaa8, 0x000000004ccccccb,
    675   0x000000002aaaaaa9, 0xffffffff4ccccccc,
    676   0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
    677   0xffffffff2aaaaaab, 0xffffffff77777776,
    678   0xffffffff55555554, 0xffffffff99999998,
    679   0xffffffff77777776, 0xffffffffcccc4ccc,
    680   0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
    681   0xffffffffaaaa2aab, 0xffffffffcccc4cce,
    682   0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
    683   0xffffffffaaaa2aad, 0xffffffffcccccc4c,
    684   0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
    685   0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
    686   0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
    687   0xffffffffaaaaaa2d, 0xffffffffccccccac,
    688   0xffffffffaaaaaa8a, 0xffffffffccccccc9,
    689   0xffffffffccccccc9, 0xffffffffffff7ffe,
    690   0xffffffffccccccca, 0xffffffffffff7fff,
    691   0xffffffffcccccccb, 0xffffffffffff8000,
    692   0xffffffffcccccccc, 0xffffffffffff8001,
    693   0xffffffffcccccccd, 0xffffffffffff8002,
    694   0xffffffffccccccce, 0xffffffffffff8020,
    695   0xffffffffccccccec, 0xffffffffffff807d,
    696   0xffffffffcccccd49, 0xffffffffffff807e,
    697   0xffffffffcccccd4a, 0xffffffffffff807f,
    698   0xffffffffcccccd4b, 0xfffffffffffffffd,
    699   0xffffffffcccd4cc9, 0xfffffffffffffffe,
    700   0xffffffffcccd4cca, 0xffffffffffffffff,
    701   0xffffffffcccd4ccb, 0x000000003332b333,
    702   0xffffffffffffffff, 0x000000005554d555,
    703   0x0000000022222221, 0x000000007fff7ffd,
    704   0x000000004cccccc9, 0x000000007fff7ffe,
    705   0x000000004cccccca, 0x000000007fff7fff,
    706   0x000000004ccccccb, 0xffffffff7fff8000,
    707   0xffffffff4ccccccc, 0xffffffff7fff8001,
    708   0xffffffff4ccccccd, 0xffffffffaaaa2aaa,
    709   0xffffffff77777776, 0xffffffffcccc4ccc,
    710   0xffffffff99999998, 0xffffffffffff0000,
    711   0xffffffffcccc4ccc, 0xffffffffffff0001,
    712   0xffffffffcccc4ccd, 0xffffffffffff0002,
    713   0xffffffffcccc4cce, 0xffffffffffff0003,
    714   0xffffffffcccc4ccf, 0xffffffffffff7f80,
    715   0xffffffffcccccc4c, 0xffffffffffff7f81,
    716   0xffffffffcccccc4d, 0xffffffffffff7f82,
    717   0xffffffffcccccc4e, 0xffffffffffff7f83,
    718   0xffffffffcccccc4f, 0xffffffffffff7fe0,
    719   0xffffffffccccccac, 0xffffffffffff7ffd,
    720   0xffffffffffff7ffd, 0xffffffffffff7fff,
    721   0xffffffffffff7ffe, 0xffffffffffff8000,
    722   0xffffffffffff7fff, 0xffffffffffff8001,
    723   0xffffffffffff8000, 0xffffffffffff8002,
    724   0xffffffffffff8001, 0xffffffffffff8003,
    725   0xffffffffffff8002, 0xffffffffffff8021,
    726   0xffffffffffff8020, 0xffffffffffff807e,
    727   0xffffffffffff807d, 0xffffffffffff807f,
    728   0xffffffffffff807e, 0xffffffffffff8080,
    729   0xffffffffffff807f, 0xfffffffffffffffe,
    730   0xfffffffffffffffd, 0xffffffffffffffff,
    731   0xfffffffffffffffe, 0x0000000000000000,
    732   0xffffffffffffffff, 0x000000003332b334,
    733   0x000000003332b333, 0x000000005554d556,
    734   0x000000005554d555, 0x000000007fff7ffe,
    735   0x000000007fff7ffd, 0x000000007fff7fff,
    736   0x000000007fff7ffe, 0x000000007fff8000,
    737   0x000000007fff7fff, 0xffffffff7fff8001,
    738   0xffffffff7fff8000, 0xffffffff7fff8002,
    739   0xffffffff7fff8001, 0xffffffffaaaa2aab,
    740   0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
    741   0xffffffffcccc4ccc, 0xffffffffffff0001,
    742   0xffffffffffff0000, 0xffffffffffff0002,
    743   0xffffffffffff0001, 0xffffffffffff0003,
    744   0xffffffffffff0002, 0xffffffffffff0004,
    745   0xffffffffffff0003, 0xffffffffffff7f81,
    746   0xffffffffffff7f80, 0xffffffffffff7f82,
    747   0xffffffffffff7f81, 0xffffffffffff7f83,
    748   0xffffffffffff7f82, 0xffffffffffff7f84,
    749   0xffffffffffff7f83, 0xffffffffffff7fe1,
    750   0xffffffffffff7fe0, 0xffffffffffff7ffe,
    751   0xffffffffffff7ffe, 0xffffffffffff8000,
    752   0xffffffffffff7fff, 0xffffffffffff8001,
    753   0xffffffffffff8000, 0xffffffffffff8002,
    754   0xffffffffffff8001, 0xffffffffffff8003,
    755   0xffffffffffff8002, 0xffffffffffff8004,
    756   0xffffffffffff8003, 0xffffffffffff8022,
    757   0xffffffffffff8021, 0xffffffffffff807f,
    758   0xffffffffffff807e, 0xffffffffffff8080,
    759   0xffffffffffff807f, 0xffffffffffff8081,
    760   0xffffffffffff8080, 0xffffffffffffffff,
    761   0xfffffffffffffffe, 0x0000000000000000,
    762   0xffffffffffffffff, 0x0000000000000001,
    763   0x0000000000000000, 0x000000003332b335,
    764   0x000000003332b334, 0x000000005554d557,
    765   0x000000005554d556, 0x000000007fff7fff,
    766   0x000000007fff7ffe, 0x000000007fff8000,
    767   0x000000007fff7fff, 0x000000007fff8001,
    768   0x000000007fff8000, 0xffffffff7fff8002,
    769   0xffffffff7fff8001, 0xffffffff7fff8003,
    770   0xffffffff7fff8002, 0xffffffffaaaa2aac,
    771   0xffffffffaaaa2aab, 0xffffffffcccc4cce,
    772   0xffffffffcccc4ccd, 0xffffffffffff0002,
    773   0xffffffffffff0001, 0xffffffffffff0003,
    774   0xffffffffffff0002, 0xffffffffffff0004,
    775   0xffffffffffff0003, 0xffffffffffff0005,
    776   0xffffffffffff0004, 0xffffffffffff7f82,
    777   0xffffffffffff7f81, 0xffffffffffff7f83,
    778   0xffffffffffff7f82, 0xffffffffffff7f84,
    779   0xffffffffffff7f83, 0xffffffffffff7f85,
    780   0xffffffffffff7f84, 0xffffffffffff7fe2,
    781   0xffffffffffff7fe1, 0xffffffffffff7fff,
    782   0xffffffffffff7fff, 0xffffffffffff8001,
    783   0xffffffffffff8000, 0xffffffffffff8002,
    784   0xffffffffffff8001, 0xffffffffffff8003,
    785   0xffffffffffff8002, 0xffffffffffff8004,
    786   0xffffffffffff8003, 0xffffffffffff8005,
    787   0xffffffffffff8004, 0xffffffffffff8023,
    788   0xffffffffffff8022, 0xffffffffffff8080,
    789   0xffffffffffff807f, 0xffffffffffff8081,
    790   0xffffffffffff8080, 0xffffffffffff8082,
    791   0xffffffffffff8081, 0x0000000000000000,
    792   0xffffffffffffffff, 0x0000000000000001,
    793   0x0000000000000000, 0x0000000000000002,
    794   0x0000000000000001, 0x000000003332b336,
    795   0x000000003332b335, 0x000000005554d558,
    796   0x000000005554d557, 0x000000007fff8000,
    797   0x000000007fff7fff, 0x000000007fff8001,
    798   0x000000007fff8000, 0x000000007fff8002,
    799   0x000000007fff8001, 0xffffffff7fff8003,
    800   0xffffffff7fff8002, 0xffffffff7fff8004,
    801   0xffffffff7fff8003, 0xffffffffaaaa2aad,
    802   0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
    803   0xffffffffcccc4cce, 0xffffffffffff0003,
    804   0xffffffffffff0002, 0xffffffffffff0004,
    805   0xffffffffffff0003, 0xffffffffffff0005,
    806   0xffffffffffff0004, 0xffffffffffff0006,
    807   0xffffffffffff0005, 0xffffffffffff7f83,
    808   0xffffffffffff7f82, 0xffffffffffff7f84,
    809   0xffffffffffff7f83, 0xffffffffffff7f85,
    810   0xffffffffffff7f84, 0xffffffffffff7f86,
    811   0xffffffffffff7f85, 0xffffffffffff7fe3,
    812   0xffffffffffff7fe2, 0xffffffffffff8000,
    813   0xffffffffffff8000, 0xffffffffffffff7e,
    814   0xffffffffffff8001, 0xffffffffffffff7f,
    815   0xffffffffffff8002, 0xffffffffffffff80,
    816   0xffffffffffff8003, 0xffffffffffffff81,
    817   0xffffffffffff8004, 0xffffffffffffff82,
    818   0xffffffffffff8005, 0xffffffffffffffa0,
    819   0xffffffffffff8023, 0xfffffffffffffffd,
    820   0xffffffffffff8080, 0xfffffffffffffffe,
    821   0xffffffffffff8081, 0xffffffffffffffff,
    822   0xffffffffffff8082, 0x0000000000007f7d,
    823   0x0000000000000000, 0x0000000000007f7e,
    824   0x0000000000000001, 0x0000000000007f7f,
    825   0x0000000000000002, 0x00000000333332b3,
    826   0x000000003332b336, 0x00000000555554d5,
    827   0x000000005554d558, 0x000000007fffff7d,
    828   0x000000007fff8000, 0x000000007fffff7e,
    829   0x000000007fff8001, 0x000000007fffff7f,
    830   0x000000007fff8002, 0xffffffff7fffff80,
    831   0xffffffff7fff8003, 0xffffffff7fffff81,
    832   0xffffffff7fff8004, 0xffffffffaaaaaa2a,
    833   0xffffffffaaaa2aad, 0xffffffffcccccc4c,
    834   0xffffffffcccc4ccf, 0xffffffffffff7f80,
    835   0xffffffffffff0003, 0xffffffffffff7f81,
    836   0xffffffffffff0004, 0xffffffffffff7f82,
    837   0xffffffffffff0005, 0xffffffffffff7f83,
    838   0xffffffffffff0006, 0xffffffffffffff00,
    839   0xffffffffffff7f83, 0xffffffffffffff01,
    840   0xffffffffffff7f84, 0xffffffffffffff02,
    841   0xffffffffffff7f85, 0xffffffffffffff03,
    842   0xffffffffffff7f86, 0xffffffffffffff60,
    843   0xffffffffffff7fe3, 0xffffffffffffff7d,
    844   0xffffffffffffff7d, 0xffffffffffffff7f,
    845   0xffffffffffffff7e, 0xffffffffffffff80,
    846   0xffffffffffffff7f, 0xffffffffffffff81,
    847   0xffffffffffffff80, 0xffffffffffffff82,
    848   0xffffffffffffff81, 0xffffffffffffff83,
    849   0xffffffffffffff82, 0xffffffffffffffa1,
    850   0xffffffffffffffa0, 0xfffffffffffffffe,
    851   0xfffffffffffffffd, 0xffffffffffffffff,
    852   0xfffffffffffffffe, 0x0000000000000000,
    853   0xffffffffffffffff, 0x0000000000007f7e,
    854   0x0000000000007f7d, 0x0000000000007f7f,
    855   0x0000000000007f7e, 0x0000000000007f80,
    856   0x0000000000007f7f, 0x00000000333332b4,
    857   0x00000000333332b3, 0x00000000555554d6,
    858   0x00000000555554d5, 0x000000007fffff7e,
    859   0x000000007fffff7d, 0x000000007fffff7f,
    860   0x000000007fffff7e, 0x000000007fffff80,
    861   0x000000007fffff7f, 0xffffffff7fffff81,
    862   0xffffffff7fffff80, 0xffffffff7fffff82,
    863   0xffffffff7fffff81, 0xffffffffaaaaaa2b,
    864   0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
    865   0xffffffffcccccc4c, 0xffffffffffff7f81,
    866   0xffffffffffff7f80, 0xffffffffffff7f82,
    867   0xffffffffffff7f81, 0xffffffffffff7f83,
    868   0xffffffffffff7f82, 0xffffffffffff7f84,
    869   0xffffffffffff7f83, 0xffffffffffffff01,
    870   0xffffffffffffff00, 0xffffffffffffff02,
    871   0xffffffffffffff01, 0xffffffffffffff03,
    872   0xffffffffffffff02, 0xffffffffffffff04,
    873   0xffffffffffffff03, 0xffffffffffffff61,
    874   0xffffffffffffff60, 0xffffffffffffff7e,
    875   0xffffffffffffff7e, 0xffffffffffffff80,
    876   0xffffffffffffff7f, 0xffffffffffffff81,
    877   0xffffffffffffff80, 0xffffffffffffff82,
    878   0xffffffffffffff81, 0xffffffffffffff83,
    879   0xffffffffffffff82, 0xffffffffffffff84,
    880   0xffffffffffffff83, 0xffffffffffffffa2,
    881   0xffffffffffffffa1, 0xffffffffffffffff,
    882   0xfffffffffffffffe, 0x0000000000000000,
    883   0xffffffffffffffff, 0x0000000000000001,
    884   0x0000000000000000, 0x0000000000007f7f,
    885   0x0000000000007f7e, 0x0000000000007f80,
    886   0x0000000000007f7f, 0x0000000000007f81,
    887   0x0000000000007f80, 0x00000000333332b5,
    888   0x00000000333332b4, 0x00000000555554d7,
    889   0x00000000555554d6, 0x000000007fffff7f,
    890   0x000000007fffff7e, 0x000000007fffff80,
    891   0x000000007fffff7f, 0x000000007fffff81,
    892   0x000000007fffff80, 0xffffffff7fffff82,
    893   0xffffffff7fffff81, 0xffffffff7fffff83,
    894   0xffffffff7fffff82, 0xffffffffaaaaaa2c,
    895   0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
    896   0xffffffffcccccc4d, 0xffffffffffff7f82,
    897   0xffffffffffff7f81, 0xffffffffffff7f83,
    898   0xffffffffffff7f82, 0xffffffffffff7f84,
    899   0xffffffffffff7f83, 0xffffffffffff7f85,
    900   0xffffffffffff7f84, 0xffffffffffffff02,
    901   0xffffffffffffff01, 0xffffffffffffff03,
    902   0xffffffffffffff02, 0xffffffffffffff04,
    903   0xffffffffffffff03, 0xffffffffffffff05,
    904   0xffffffffffffff04, 0xffffffffffffff62,
    905   0xffffffffffffff61, 0xffffffffffffff7f,
    906   0xffffffffffffff7f, 0xffffffffffffff81,
    907   0xffffffffffffff80, 0xffffffffffffff82,
    908   0xffffffffffffff81, 0xffffffffffffff83,
    909   0xffffffffffffff82, 0xffffffffffffff84,
    910   0xffffffffffffff83, 0xffffffffffffff85,
    911   0xffffffffffffff84, 0xffffffffffffffa3,
    912   0xffffffffffffffa2, 0x0000000000000000,
    913   0xffffffffffffffff, 0x0000000000000001,
    914   0x0000000000000000, 0x0000000000000002,
    915   0x0000000000000001, 0x0000000000007f80,
    916   0x0000000000007f7f, 0x0000000000007f81,
    917   0x0000000000007f80, 0x0000000000007f82,
    918   0x0000000000007f81, 0x00000000333332b6,
    919   0x00000000333332b5, 0x00000000555554d8,
    920   0x00000000555554d7, 0x000000007fffff80,
    921   0x000000007fffff7f, 0x000000007fffff81,
    922   0x000000007fffff80, 0x000000007fffff82,
    923   0x000000007fffff81, 0xffffffff7fffff83,
    924   0xffffffff7fffff82, 0xffffffff7fffff84,
    925   0xffffffff7fffff83, 0xffffffffaaaaaa2d,
    926   0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
    927   0xffffffffcccccc4e, 0xffffffffffff7f83,
    928   0xffffffffffff7f82, 0xffffffffffff7f84,
    929   0xffffffffffff7f83, 0xffffffffffff7f85,
    930   0xffffffffffff7f84, 0xffffffffffff7f86,
    931   0xffffffffffff7f85, 0xffffffffffffff03,
    932   0xffffffffffffff02, 0xffffffffffffff04,
    933   0xffffffffffffff03, 0xffffffffffffff05,
    934   0xffffffffffffff04, 0xffffffffffffff06,
    935   0xffffffffffffff05, 0xffffffffffffff63,
    936   0xffffffffffffff62, 0xffffffffffffff80,
    937   0xffffffffffffff80, 0xffffffffffffffde,
    938   0xffffffffffffff81, 0xffffffffffffffdf,
    939   0xffffffffffffff82, 0xffffffffffffffe0,
    940   0xffffffffffffff83, 0xffffffffffffffe1,
    941   0xffffffffffffff84, 0xffffffffffffffe2,
    942   0xffffffffffffff85, 0x0000000000000000,
    943   0xffffffffffffffa3, 0x000000000000005d,
    944   0x0000000000000000, 0x000000000000005e,
    945   0x0000000000000001, 0x000000000000005f,
    946   0x0000000000000002, 0x0000000000007fdd,
    947   0x0000000000007f80, 0x0000000000007fde,
    948   0x0000000000007f81, 0x0000000000007fdf,
    949   0x0000000000007f82, 0x0000000033333313,
    950   0x00000000333332b6, 0x0000000055555535,
    951   0x00000000555554d8, 0x000000007fffffdd,
    952   0x000000007fffff80, 0x000000007fffffde,
    953   0x000000007fffff81, 0x000000007fffffdf,
    954   0x000000007fffff82, 0xffffffff7fffffe0,
    955   0xffffffff7fffff83, 0xffffffff7fffffe1,
    956   0xffffffff7fffff84, 0xffffffffaaaaaa8a,
    957   0xffffffffaaaaaa2d, 0xffffffffccccccac,
    958   0xffffffffcccccc4f, 0xffffffffffff7fe0,
    959   0xffffffffffff7f83, 0xffffffffffff7fe1,
    960   0xffffffffffff7f84, 0xffffffffffff7fe2,
    961   0xffffffffffff7f85, 0xffffffffffff7fe3,
    962   0xffffffffffff7f86, 0xffffffffffffff60,
    963   0xffffffffffffff03, 0xffffffffffffff61,
    964   0xffffffffffffff04, 0xffffffffffffff62,
    965   0xffffffffffffff05, 0xffffffffffffff63,
    966   0xffffffffffffff06, 0xffffffffffffffc0,
    967   0xffffffffffffff63, 0xffffffffffffffdd,
    968   0xffffffffffffffdd, 0xfffffffffffffffb,
    969   0xffffffffffffffde, 0xfffffffffffffffc,
    970   0xffffffffffffffdf, 0xfffffffffffffffd,
    971   0xffffffffffffffe0, 0xfffffffffffffffe,
    972   0xffffffffffffffe1, 0xffffffffffffffff,
    973   0xffffffffffffffe2, 0x000000000000001d,
    974   0x0000000000000000, 0x000000000000007a,
    975   0x000000000000005d, 0x000000000000007b,
    976   0x000000000000005e, 0x000000000000007c,
    977   0x000000000000005f, 0x0000000000007ffa,
    978   0x0000000000007fdd, 0x0000000000007ffb,
    979   0x0000000000007fde, 0x0000000000007ffc,
    980   0x0000000000007fdf, 0x0000000033333330,
    981   0x0000000033333313, 0x0000000055555552,
    982   0x0000000055555535, 0x000000007ffffffa,
    983   0x000000007fffffdd, 0x000000007ffffffb,
    984   0x000000007fffffde, 0x000000007ffffffc,
    985   0x000000007fffffdf, 0xffffffff7ffffffd,
    986   0xffffffff7fffffe0, 0xffffffff7ffffffe,
    987   0xffffffff7fffffe1, 0xffffffffaaaaaaa7,
    988   0xffffffffaaaaaa8a, 0xffffffffccccccc9,
    989   0xffffffffccccccac, 0xffffffffffff7ffd,
    990   0xffffffffffff7fe0, 0xffffffffffff7ffe,
    991   0xffffffffffff7fe1, 0xffffffffffff7fff,
    992   0xffffffffffff7fe2, 0xffffffffffff8000,
    993   0xffffffffffff7fe3, 0xffffffffffffff7d,
    994   0xffffffffffffff60, 0xffffffffffffff7e,
    995   0xffffffffffffff61, 0xffffffffffffff7f,
    996   0xffffffffffffff62, 0xffffffffffffff80,
    997   0xffffffffffffff63, 0xffffffffffffffdd,
    998   0xffffffffffffffc0, 0xfffffffffffffffa,
    999 };
   1000 const unsigned kExpectedCount_NEON_saddl_2D = 961;
   1001 
   1002 #endif  // VIXL_SIM_SADDL_2D_TRACE_AARCH64_H_
   1003