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_SADDL_4S_TRACE_A64_H_
     35 #define VIXL_SIM_SADDL_4S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_saddl_4S[] = {
     38   0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
     39   0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
     40   0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
     41   0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
     42   0x0000807b, 0x0000807d, 0x0000b332, 0x00005555,
     43   0x0000807c, 0x0000807e, 0x00003333, 0x00005556,
     44   0x0000807d, 0x0000007f, 0x00003334, 0x00005557,
     45   0x0000007e, 0x00000080, 0x00003335, 0x00005565,
     46   0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
     47   0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
     48   0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
     49   0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
     50   0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
     51   0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
     52   0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
     53   0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
     54   0x0000807b, 0x0000807d, 0x0000b332, 0xffffd555,
     55   0x0000807c, 0x0000807e, 0xffffb333, 0xffffd556,
     56   0x0000807d, 0xffff807f, 0xffffb334, 0xffffffff,
     57   0xffff807e, 0xffff8080, 0xffffdddd, 0x00002221,
     58   0xffff807f, 0xffffab29, 0xffffffff, 0x000054d5,
     59   0xffffab28, 0xffffcd4b, 0x000032b3, 0x000054d6,
     60   0xffffcd4a, 0xffffffff, 0x000032b4, 0x000054d7,
     61   0xfffffffe, 0x00000000, 0x000032b5, 0x000054d8,
     62   0x00000000, 0x000032b5, 0x000054d8, 0x00007fed,
     63   0x00000001, 0x000032b6, 0x00005545, 0x00007ffa,
     64   0x00000002, 0x00003323, 0x00005552, 0x00007ffb,
     65   0x0000006f, 0x00003330, 0x00005553, 0x00007ffc,
     66   0x0000007c, 0x00003331, 0x00005554, 0x00007ffd,
     67   0x0000007d, 0x00003332, 0x00005555, 0x00007ffe,
     68   0x0000007e, 0x00003333, 0x00005556, 0x00007fff,
     69   0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
     70   0x00000080, 0x00003335, 0x00005565, 0x0000807a,
     71   0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
     72   0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
     73   0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
     74   0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
     75   0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
     76   0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
     77   0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
     78   0x0000807c, 0x0000b331, 0x0000d554, 0xfffffffd,
     79   0x0000807d, 0x0000b332, 0xffffd555, 0xfffffffe,
     80   0x0000807e, 0xffffb333, 0xffffd556, 0x00002aa7,
     81   0xffff807f, 0xffffb334, 0xffffffff, 0x00004cc9,
     82   0xffff8080, 0xffffdddd, 0x00002221, 0x00007f7d,
     83   0xffffab29, 0xffffffff, 0x000054d5, 0x00007f7e,
     84   0xffffcd4b, 0x000032b3, 0x000054d6, 0x00007f7f,
     85   0xffffffff, 0x000032b4, 0x000054d7, 0x00007f80,
     86   0x000032b4, 0x000054d7, 0x00007f80, 0x00007fee,
     87   0x000032b5, 0x000054d8, 0x00007fed, 0x00007ffb,
     88   0x000032b6, 0x00005545, 0x00007ffa, 0x00007ffc,
     89   0x00003323, 0x00005552, 0x00007ffb, 0x00007ffd,
     90   0x00003330, 0x00005553, 0x00007ffc, 0x00007ffe,
     91   0x00003331, 0x00005554, 0x00007ffd, 0x00007fff,
     92   0x00003332, 0x00005555, 0x00007ffe, 0x00008000,
     93   0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
     94   0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
     95   0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
     96   0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
     97   0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
     98   0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
     99   0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
    100   0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
    101   0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
    102   0x0000b330, 0x0000d553, 0x0000fffc, 0xfffffffe,
    103   0x0000b331, 0x0000d554, 0xfffffffd, 0xffffffff,
    104   0x0000b332, 0xffffd555, 0xfffffffe, 0x00002aa8,
    105   0xffffb333, 0xffffd556, 0x00002aa7, 0x00004cca,
    106   0xffffb334, 0xffffffff, 0x00004cc9, 0x00007f7e,
    107   0xffffdddd, 0x00002221, 0x00007f7d, 0x00007f7f,
    108   0xffffffff, 0x000054d5, 0x00007f7e, 0x00007f80,
    109   0x000032b3, 0x000054d6, 0x00007f7f, 0x00007f81,
    110   0x000054d6, 0x00007f7f, 0x00007f81, 0x00007fef,
    111   0x000054d7, 0x00007f80, 0x00007fee, 0x00007ffc,
    112   0x000054d8, 0x00007fed, 0x00007ffb, 0x00007ffd,
    113   0x00005545, 0x00007ffa, 0x00007ffc, 0x00007ffe,
    114   0x00005552, 0x00007ffb, 0x00007ffd, 0x00007fff,
    115   0x00005553, 0x00007ffc, 0x00007ffe, 0x00008000,
    116   0x00005554, 0x00007ffd, 0x00007fff, 0x00008001,
    117   0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
    118   0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
    119   0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
    120   0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
    121   0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
    122   0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
    123   0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
    124   0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
    125   0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
    126   0x0000d552, 0x0000fffb, 0x0000fffd, 0xffffffff,
    127   0x0000d553, 0x0000fffc, 0xfffffffe, 0x00000000,
    128   0x0000d554, 0xfffffffd, 0xffffffff, 0x00002aa9,
    129   0xffffd555, 0xfffffffe, 0x00002aa8, 0x00004ccb,
    130   0xffffd556, 0x00002aa7, 0x00004cca, 0x00007f7f,
    131   0xffffffff, 0x00004cc9, 0x00007f7e, 0x00007f80,
    132   0x00002221, 0x00007f7d, 0x00007f7f, 0x00007f81,
    133   0x000054d5, 0x00007f7e, 0x00007f80, 0x00007f82,
    134   0x00007f7e, 0x00007f80, 0x00007f82, 0xfffffff0,
    135   0x00007f7f, 0x00007f81, 0x00007fef, 0xfffffffd,
    136   0x00007f80, 0x00007fee, 0x00007ffc, 0xfffffffe,
    137   0x00007fed, 0x00007ffb, 0x00007ffd, 0xffffffff,
    138   0x00007ffa, 0x00007ffc, 0x00007ffe, 0x00000000,
    139   0x00007ffb, 0x00007ffd, 0x00007fff, 0x00000001,
    140   0x00007ffc, 0x00007ffe, 0x00008000, 0x00000002,
    141   0x00007ffd, 0x00007fff, 0x00008001, 0x00000010,
    142   0x00007ffe, 0x00008000, 0x0000800f, 0x0000007d,
    143   0x00007fff, 0x0000800e, 0x0000807c, 0x0000007e,
    144   0x0000800d, 0x0000807b, 0x0000807d, 0x0000007f,
    145   0x0000807a, 0x0000807c, 0x0000807e, 0x00003333,
    146   0x0000807b, 0x0000807d, 0x0000b332, 0x00005555,
    147   0x0000807c, 0x0000b331, 0x0000d554, 0x00007ffd,
    148   0x0000b330, 0x0000d553, 0x0000fffc, 0x00007ffe,
    149   0x0000d552, 0x0000fffb, 0x0000fffd, 0x00007fff,
    150   0x0000fffa, 0x0000fffc, 0x0000fffe, 0xffff8000,
    151   0x0000fffb, 0x0000fffd, 0xffffffff, 0xffff8001,
    152   0x0000fffc, 0xfffffffe, 0x00000000, 0xffffaaaa,
    153   0xfffffffd, 0xffffffff, 0x00002aa9, 0xffffcccc,
    154   0xfffffffe, 0x00002aa8, 0x00004ccb, 0xffffff80,
    155   0x00002aa7, 0x00004cca, 0x00007f7f, 0xffffff81,
    156   0x00004cc9, 0x00007f7e, 0x00007f80, 0xffffff82,
    157   0x00007f7d, 0x00007f7f, 0x00007f81, 0xffffff83,
    158   0x00007f7f, 0x00007f81, 0xffffff83, 0xfffffff1,
    159   0x00007f80, 0x00007f82, 0xfffffff0, 0xfffffffe,
    160   0x00007f81, 0x00007fef, 0xfffffffd, 0xffffffff,
    161   0x00007fee, 0x00007ffc, 0xfffffffe, 0x00000000,
    162   0x00007ffb, 0x00007ffd, 0xffffffff, 0x00000001,
    163   0x00007ffc, 0x00007ffe, 0x00000000, 0x00000002,
    164   0x00007ffd, 0x00007fff, 0x00000001, 0x00000003,
    165   0x00007ffe, 0x00008000, 0x00000002, 0x00000011,
    166   0x00007fff, 0x00008001, 0x00000010, 0x0000007e,
    167   0x00008000, 0x0000800f, 0x0000007d, 0x0000007f,
    168   0x0000800e, 0x0000807c, 0x0000007e, 0x00000080,
    169   0x0000807b, 0x0000807d, 0x0000007f, 0x00003334,
    170   0x0000807c, 0x0000807e, 0x00003333, 0x00005556,
    171   0x0000807d, 0x0000b332, 0x00005555, 0x00007ffe,
    172   0x0000b331, 0x0000d554, 0x00007ffd, 0x00007fff,
    173   0x0000d553, 0x0000fffc, 0x00007ffe, 0x00008000,
    174   0x0000fffb, 0x0000fffd, 0x00007fff, 0xffff8001,
    175   0x0000fffc, 0x0000fffe, 0xffff8000, 0xffff8002,
    176   0x0000fffd, 0xffffffff, 0xffff8001, 0xffffaaab,
    177   0xfffffffe, 0x00000000, 0xffffaaaa, 0xffffcccd,
    178   0xffffffff, 0x00002aa9, 0xffffcccc, 0xffffff81,
    179   0x00002aa8, 0x00004ccb, 0xffffff80, 0xffffff82,
    180   0x00004cca, 0x00007f7f, 0xffffff81, 0xffffff83,
    181   0x00007f7e, 0x00007f80, 0xffffff82, 0xffffff84,
    182   0x00007f80, 0xffffff82, 0xffffff84, 0xfffffff2,
    183   0x00007f81, 0xffffff83, 0xfffffff1, 0xffffffff,
    184   0x00007f82, 0xfffffff0, 0xfffffffe, 0x00000000,
    185   0x00007fef, 0xfffffffd, 0xffffffff, 0x00000001,
    186   0x00007ffc, 0xfffffffe, 0x00000000, 0x00000002,
    187   0x00007ffd, 0xffffffff, 0x00000001, 0x00000003,
    188   0x00007ffe, 0x00000000, 0x00000002, 0x00000004,
    189   0x00007fff, 0x00000001, 0x00000003, 0x00000012,
    190   0x00008000, 0x00000002, 0x00000011, 0x0000007f,
    191   0x00008001, 0x00000010, 0x0000007e, 0x00000080,
    192   0x0000800f, 0x0000007d, 0x0000007f, 0x00000081,
    193   0x0000807c, 0x0000007e, 0x00000080, 0x00003335,
    194   0x0000807d, 0x0000007f, 0x00003334, 0x00005557,
    195   0x0000807e, 0x00003333, 0x00005556, 0x00007fff,
    196   0x0000b332, 0x00005555, 0x00007ffe, 0x00008000,
    197   0x0000d554, 0x00007ffd, 0x00007fff, 0x00008001,
    198   0x0000fffc, 0x00007ffe, 0x00008000, 0xffff8002,
    199   0x0000fffd, 0x00007fff, 0xffff8001, 0xffff8003,
    200   0x0000fffe, 0xffff8000, 0xffff8002, 0xffffaaac,
    201   0xffffffff, 0xffff8001, 0xffffaaab, 0xffffccce,
    202   0x00000000, 0xffffaaaa, 0xffffcccd, 0xffffff82,
    203   0x00002aa9, 0xffffcccc, 0xffffff81, 0xffffff83,
    204   0x00004ccb, 0xffffff80, 0xffffff82, 0xffffff84,
    205   0x00007f7f, 0xffffff81, 0xffffff83, 0xffffff85,
    206   0xffffff81, 0xffffff83, 0xffffff85, 0x00000000,
    207   0xffffff82, 0xffffff84, 0xfffffff2, 0x0000000d,
    208   0xffffff83, 0xfffffff1, 0xffffffff, 0x0000000e,
    209   0xfffffff0, 0xfffffffe, 0x00000000, 0x0000000f,
    210   0xfffffffd, 0xffffffff, 0x00000001, 0x00000010,
    211   0xfffffffe, 0x00000000, 0x00000002, 0x00000011,
    212   0xffffffff, 0x00000001, 0x00000003, 0x00000012,
    213   0x00000000, 0x00000002, 0x00000004, 0x00000020,
    214   0x00000001, 0x00000003, 0x00000012, 0x0000008d,
    215   0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
    216   0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
    217   0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
    218   0x0000007e, 0x00000080, 0x00003335, 0x00005565,
    219   0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
    220   0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
    221   0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
    222   0x00007ffd, 0x00007fff, 0x00008001, 0xffff8010,
    223   0x00007ffe, 0x00008000, 0xffff8002, 0xffff8011,
    224   0x00007fff, 0xffff8001, 0xffff8003, 0xffffaaba,
    225   0xffff8000, 0xffff8002, 0xffffaaac, 0xffffccdc,
    226   0xffff8001, 0xffffaaab, 0xffffccce, 0xffffff90,
    227   0xffffaaaa, 0xffffcccd, 0xffffff82, 0xffffff91,
    228   0xffffcccc, 0xffffff81, 0xffffff83, 0xffffff92,
    229   0xffffff80, 0xffffff82, 0xffffff84, 0xffffff93,
    230   0xffffff82, 0xffffff84, 0xffffff93, 0x0000006d,
    231   0xffffff83, 0xffffff85, 0x00000000, 0x0000007a,
    232   0xffffff84, 0xfffffff2, 0x0000000d, 0x0000007b,
    233   0xfffffff1, 0xffffffff, 0x0000000e, 0x0000007c,
    234   0xfffffffe, 0x00000000, 0x0000000f, 0x0000007d,
    235   0xffffffff, 0x00000001, 0x00000010, 0x0000007e,
    236   0x00000000, 0x00000002, 0x00000011, 0x0000007f,
    237   0x00000001, 0x00000003, 0x00000012, 0x0000008d,
    238   0x00000002, 0x00000004, 0x00000020, 0x000000fa,
    239   0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
    240   0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
    241   0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
    242   0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
    243   0x00000080, 0x00003335, 0x00005565, 0x0000807a,
    244   0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
    245   0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
    246   0x00007ffe, 0x00008000, 0x0000800f, 0xffff807d,
    247   0x00007fff, 0x00008001, 0xffff8010, 0xffff807e,
    248   0x00008000, 0xffff8002, 0xffff8011, 0xffffab27,
    249   0xffff8001, 0xffff8003, 0xffffaaba, 0xffffcd49,
    250   0xffff8002, 0xffffaaac, 0xffffccdc, 0xfffffffd,
    251   0xffffaaab, 0xffffccce, 0xffffff90, 0xfffffffe,
    252   0xffffcccd, 0xffffff82, 0xffffff91, 0xffffffff,
    253   0xffffff81, 0xffffff83, 0xffffff92, 0x00000000,
    254   0xffffff83, 0xffffff92, 0x00000000, 0x0000006e,
    255   0xffffff84, 0xffffff93, 0x0000006d, 0x0000007b,
    256   0xffffff85, 0x00000000, 0x0000007a, 0x0000007c,
    257   0xfffffff2, 0x0000000d, 0x0000007b, 0x0000007d,
    258   0xffffffff, 0x0000000e, 0x0000007c, 0x0000007e,
    259   0x00000000, 0x0000000f, 0x0000007d, 0x0000007f,
    260   0x00000001, 0x00000010, 0x0000007e, 0x00000080,
    261   0x00000002, 0x00000011, 0x0000007f, 0x0000008e,
    262   0x00000003, 0x00000012, 0x0000008d, 0x000000fb,
    263   0x00000004, 0x00000020, 0x000000fa, 0x000000fc,
    264   0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
    265   0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
    266   0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
    267   0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
    268   0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
    269   0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
    270   0x00007fff, 0x0000800e, 0x0000807c, 0xffff807e,
    271   0x00008000, 0x0000800f, 0xffff807d, 0xffff807f,
    272   0x00008001, 0xffff8010, 0xffff807e, 0xffffab28,
    273   0xffff8002, 0xffff8011, 0xffffab27, 0xffffcd4a,
    274   0xffff8003, 0xffffaaba, 0xffffcd49, 0xfffffffe,
    275   0xffffaaac, 0xffffccdc, 0xfffffffd, 0xffffffff,
    276   0xffffccce, 0xffffff90, 0xfffffffe, 0x00000000,
    277   0xffffff82, 0xffffff91, 0xffffffff, 0x00000001,
    278   0xffffff91, 0xffffffff, 0x00000001, 0x0000006f,
    279   0xffffff92, 0x00000000, 0x0000006e, 0x0000007c,
    280   0xffffff93, 0x0000006d, 0x0000007b, 0x0000007d,
    281   0x00000000, 0x0000007a, 0x0000007c, 0x0000007e,
    282   0x0000000d, 0x0000007b, 0x0000007d, 0x0000007f,
    283   0x0000000e, 0x0000007c, 0x0000007e, 0x00000080,
    284   0x0000000f, 0x0000007d, 0x0000007f, 0x00000081,
    285   0x00000010, 0x0000007e, 0x00000080, 0x0000008f,
    286   0x00000011, 0x0000007f, 0x0000008e, 0x000000fc,
    287   0x00000012, 0x0000008d, 0x000000fb, 0x000000fd,
    288   0x00000020, 0x000000fa, 0x000000fc, 0x000000fe,
    289   0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
    290   0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
    291   0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
    292   0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
    293   0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
    294   0x0000800d, 0x0000807b, 0x0000807d, 0xffff807f,
    295   0x0000800e, 0x0000807c, 0xffff807e, 0xffff8080,
    296   0x0000800f, 0xffff807d, 0xffff807f, 0xffffab29,
    297   0xffff8010, 0xffff807e, 0xffffab28, 0xffffcd4b,
    298   0xffff8011, 0xffffab27, 0xffffcd4a, 0xffffffff,
    299   0xffffaaba, 0xffffcd49, 0xfffffffe, 0x00000000,
    300   0xffffccdc, 0xfffffffd, 0xffffffff, 0x00000001,
    301   0xffffff90, 0xfffffffe, 0x00000000, 0x00000002,
    302   0xfffffffe, 0x00000000, 0x00000002, 0x00003323,
    303   0xffffffff, 0x00000001, 0x0000006f, 0x00003330,
    304   0x00000000, 0x0000006e, 0x0000007c, 0x00003331,
    305   0x0000006d, 0x0000007b, 0x0000007d, 0x00003332,
    306   0x0000007a, 0x0000007c, 0x0000007e, 0x00003333,
    307   0x0000007b, 0x0000007d, 0x0000007f, 0x00003334,
    308   0x0000007c, 0x0000007e, 0x00000080, 0x00003335,
    309   0x0000007d, 0x0000007f, 0x00000081, 0x00003343,
    310   0x0000007e, 0x00000080, 0x0000008f, 0x000033b0,
    311   0x0000007f, 0x0000008e, 0x000000fc, 0x000033b1,
    312   0x0000008d, 0x000000fb, 0x000000fd, 0x000033b2,
    313   0x000000fa, 0x000000fc, 0x000000fe, 0x00006666,
    314   0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
    315   0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
    316   0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
    317   0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
    318   0x0000807a, 0x0000807c, 0x0000807e, 0xffffb333,
    319   0x0000807b, 0x0000807d, 0xffff807f, 0xffffb334,
    320   0x0000807c, 0xffff807e, 0xffff8080, 0xffffdddd,
    321   0xffff807d, 0xffff807f, 0xffffab29, 0xffffffff,
    322   0xffff807e, 0xffffab28, 0xffffcd4b, 0x000032b3,
    323   0xffffab27, 0xffffcd4a, 0xffffffff, 0x000032b4,
    324   0xffffcd49, 0xfffffffe, 0x00000000, 0x000032b5,
    325   0xfffffffd, 0xffffffff, 0x00000001, 0x000032b6,
    326   0xffffffff, 0x00000001, 0x000032b6, 0x00005545,
    327   0x00000000, 0x00000002, 0x00003323, 0x00005552,
    328   0x00000001, 0x0000006f, 0x00003330, 0x00005553,
    329   0x0000006e, 0x0000007c, 0x00003331, 0x00005554,
    330   0x0000007b, 0x0000007d, 0x00003332, 0x00005555,
    331   0x0000007c, 0x0000007e, 0x00003333, 0x00005556,
    332   0x0000007d, 0x0000007f, 0x00003334, 0x00005557,
    333   0x0000007e, 0x00000080, 0x00003335, 0x00005565,
    334   0x0000007f, 0x00000081, 0x00003343, 0x000055d2,
    335   0x00000080, 0x0000008f, 0x000033b0, 0x000055d3,
    336   0x0000008e, 0x000000fc, 0x000033b1, 0x000055d4,
    337   0x000000fb, 0x000000fd, 0x000033b2, 0x00008888,
    338   0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
    339   0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
    340   0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
    341   0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
    342   0x0000807b, 0x0000807d, 0x0000b332, 0xffffd555,
    343   0x0000807c, 0x0000807e, 0xffffb333, 0xffffd556,
    344   0x0000807d, 0xffff807f, 0xffffb334, 0xffffffff,
    345   0xffff807e, 0xffff8080, 0xffffdddd, 0x00002221,
    346   0xffff807f, 0xffffab29, 0xffffffff, 0x000054d5,
    347   0xffffab28, 0xffffcd4b, 0x000032b3, 0x000054d6,
    348   0xffffcd4a, 0xffffffff, 0x000032b4, 0x000054d7,
    349   0xfffffffe, 0x00000000, 0x000032b5, 0x000054d8,
    350   0x00000000, 0x000032b5, 0x000054d8, 0x00007fed,
    351   0x00000001, 0x000032b6, 0x00005545, 0x00007ffa,
    352   0x00000002, 0x00003323, 0x00005552, 0x00007ffb,
    353   0x0000006f, 0x00003330, 0x00005553, 0x00007ffc,
    354   0x0000007c, 0x00003331, 0x00005554, 0x00007ffd,
    355   0x0000007d, 0x00003332, 0x00005555, 0x00007ffe,
    356   0x0000007e, 0x00003333, 0x00005556, 0x00007fff,
    357   0x0000007f, 0x00003334, 0x00005557, 0x0000800d,
    358   0x00000080, 0x00003335, 0x00005565, 0x0000807a,
    359   0x00000081, 0x00003343, 0x000055d2, 0x0000807b,
    360   0x0000008f, 0x000033b0, 0x000055d3, 0x0000807c,
    361   0x000000fc, 0x000033b1, 0x000055d4, 0x0000b330,
    362   0x000000fd, 0x000033b2, 0x00008888, 0x0000d552,
    363   0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
    364   0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
    365   0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
    366   0x0000807c, 0x0000b331, 0x0000d554, 0xfffffffd,
    367   0x0000807d, 0x0000b332, 0xffffd555, 0xfffffffe,
    368   0x0000807e, 0xffffb333, 0xffffd556, 0x00002aa7,
    369   0xffff807f, 0xffffb334, 0xffffffff, 0x00004cc9,
    370   0xffff8080, 0xffffdddd, 0x00002221, 0x00007f7d,
    371   0xffffab29, 0xffffffff, 0x000054d5, 0x00007f7e,
    372   0xffffcd4b, 0x000032b3, 0x000054d6, 0x00007f7f,
    373   0xffffffff, 0x000032b4, 0x000054d7, 0x00007f80,
    374   0x000032b4, 0x000054d7, 0x00007f80, 0x00007fee,
    375   0x000032b5, 0x000054d8, 0x00007fed, 0x00007ffb,
    376   0x000032b6, 0x00005545, 0x00007ffa, 0x00007ffc,
    377   0x00003323, 0x00005552, 0x00007ffb, 0x00007ffd,
    378   0x00003330, 0x00005553, 0x00007ffc, 0x00007ffe,
    379   0x00003331, 0x00005554, 0x00007ffd, 0x00007fff,
    380   0x00003332, 0x00005555, 0x00007ffe, 0x00008000,
    381   0x00003333, 0x00005556, 0x00007fff, 0x0000800e,
    382   0x00003334, 0x00005557, 0x0000800d, 0x0000807b,
    383   0x00003335, 0x00005565, 0x0000807a, 0x0000807c,
    384   0x00003343, 0x000055d2, 0x0000807b, 0x0000807d,
    385   0x000033b0, 0x000055d3, 0x0000807c, 0x0000b331,
    386   0x000033b1, 0x000055d4, 0x0000b330, 0x0000d553,
    387   0x000033b2, 0x00008888, 0x0000d552, 0x0000fffb,
    388   0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
    389   0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
    390   0x0000b330, 0x0000d553, 0x0000fffc, 0xfffffffe,
    391   0x0000b331, 0x0000d554, 0xfffffffd, 0xffffffff,
    392   0x0000b332, 0xffffd555, 0xfffffffe, 0x00002aa8,
    393   0xffffb333, 0xffffd556, 0x00002aa7, 0x00004cca,
    394   0xffffb334, 0xffffffff, 0x00004cc9, 0x00007f7e,
    395   0xffffdddd, 0x00002221, 0x00007f7d, 0x00007f7f,
    396   0xffffffff, 0x000054d5, 0x00007f7e, 0x00007f80,
    397   0x000032b3, 0x000054d6, 0x00007f7f, 0x00007f81,
    398   0x000054d6, 0x00007f7f, 0x00007f81, 0x00007fef,
    399   0x000054d7, 0x00007f80, 0x00007fee, 0x00007ffc,
    400   0x000054d8, 0x00007fed, 0x00007ffb, 0x00007ffd,
    401   0x00005545, 0x00007ffa, 0x00007ffc, 0x00007ffe,
    402   0x00005552, 0x00007ffb, 0x00007ffd, 0x00007fff,
    403   0x00005553, 0x00007ffc, 0x00007ffe, 0x00008000,
    404   0x00005554, 0x00007ffd, 0x00007fff, 0x00008001,
    405   0x00005555, 0x00007ffe, 0x00008000, 0x0000800f,
    406   0x00005556, 0x00007fff, 0x0000800e, 0x0000807c,
    407   0x00005557, 0x0000800d, 0x0000807b, 0x0000807d,
    408   0x00005565, 0x0000807a, 0x0000807c, 0x0000807e,
    409   0x000055d2, 0x0000807b, 0x0000807d, 0x0000b332,
    410   0x000055d3, 0x0000807c, 0x0000b331, 0x0000d554,
    411   0x000055d4, 0x0000b330, 0x0000d553, 0x0000fffc,
    412   0x00008888, 0x0000d552, 0x0000fffb, 0x0000fffd,
    413   0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
    414   0x0000d552, 0x0000fffb, 0x0000fffd, 0xffffffff,
    415   0x0000d553, 0x0000fffc, 0xfffffffe, 0x00000000,
    416   0x0000d554, 0xfffffffd, 0xffffffff, 0x00002aa9,
    417   0xffffd555, 0xfffffffe, 0x00002aa8, 0x00004ccb,
    418   0xffffd556, 0x00002aa7, 0x00004cca, 0x00007f7f,
    419   0xffffffff, 0x00004cc9, 0x00007f7e, 0x00007f80,
    420   0x00002221, 0x00007f7d, 0x00007f7f, 0x00007f81,
    421   0x000054d5, 0x00007f7e, 0x00007f80, 0x00007f82,
    422   0x00007f7e, 0x00007f80, 0x00007f82, 0xffff7ff0,
    423   0x00007f7f, 0x00007f81, 0x00007fef, 0xffff7ffd,
    424   0x00007f80, 0x00007fee, 0x00007ffc, 0xffff7ffe,
    425   0x00007fed, 0x00007ffb, 0x00007ffd, 0xffff7fff,
    426   0x00007ffa, 0x00007ffc, 0x00007ffe, 0xffff8000,
    427   0x00007ffb, 0x00007ffd, 0x00007fff, 0xffff8001,
    428   0x00007ffc, 0x00007ffe, 0x00008000, 0xffff8002,
    429   0x00007ffd, 0x00007fff, 0x00008001, 0xffff8010,
    430   0x00007ffe, 0x00008000, 0x0000800f, 0xffff807d,
    431   0x00007fff, 0x0000800e, 0x0000807c, 0xffff807e,
    432   0x0000800d, 0x0000807b, 0x0000807d, 0xffff807f,
    433   0x0000807a, 0x0000807c, 0x0000807e, 0xffffb333,
    434   0x0000807b, 0x0000807d, 0x0000b332, 0xffffd555,
    435   0x0000807c, 0x0000b331, 0x0000d554, 0xfffffffd,
    436   0x0000b330, 0x0000d553, 0x0000fffc, 0xfffffffe,
    437   0x0000d552, 0x0000fffb, 0x0000fffd, 0xffffffff,
    438   0x0000fffa, 0x0000fffc, 0x0000fffe, 0xffff0000,
    439   0x0000fffb, 0x0000fffd, 0xffffffff, 0xffff0001,
    440   0x0000fffc, 0xfffffffe, 0x00000000, 0xffff2aaa,
    441   0xfffffffd, 0xffffffff, 0x00002aa9, 0xffff4ccc,
    442   0xfffffffe, 0x00002aa8, 0x00004ccb, 0xffff7f80,
    443   0x00002aa7, 0x00004cca, 0x00007f7f, 0xffff7f81,
    444   0x00004cc9, 0x00007f7e, 0x00007f80, 0xffff7f82,
    445   0x00007f7d, 0x00007f7f, 0x00007f81, 0xffff7f83,
    446   0x00007f7f, 0x00007f81, 0xffff7f83, 0xffff7ff1,
    447   0x00007f80, 0x00007f82, 0xffff7ff0, 0xffff7ffe,
    448   0x00007f81, 0x00007fef, 0xffff7ffd, 0xffff7fff,
    449   0x00007fee, 0x00007ffc, 0xffff7ffe, 0xffff8000,
    450   0x00007ffb, 0x00007ffd, 0xffff7fff, 0xffff8001,
    451   0x00007ffc, 0x00007ffe, 0xffff8000, 0xffff8002,
    452   0x00007ffd, 0x00007fff, 0xffff8001, 0xffff8003,
    453   0x00007ffe, 0x00008000, 0xffff8002, 0xffff8011,
    454   0x00007fff, 0x00008001, 0xffff8010, 0xffff807e,
    455   0x00008000, 0x0000800f, 0xffff807d, 0xffff807f,
    456   0x0000800e, 0x0000807c, 0xffff807e, 0xffff8080,
    457   0x0000807b, 0x0000807d, 0xffff807f, 0xffffb334,
    458   0x0000807c, 0x0000807e, 0xffffb333, 0xffffd556,
    459   0x0000807d, 0x0000b332, 0xffffd555, 0xfffffffe,
    460   0x0000b331, 0x0000d554, 0xfffffffd, 0xffffffff,
    461   0x0000d553, 0x0000fffc, 0xfffffffe, 0x00000000,
    462   0x0000fffb, 0x0000fffd, 0xffffffff, 0xffff0001,
    463   0x0000fffc, 0x0000fffe, 0xffff0000, 0xffff0002,
    464   0x0000fffd, 0xffffffff, 0xffff0001, 0xffff2aab,
    465   0xfffffffe, 0x00000000, 0xffff2aaa, 0xffff4ccd,
    466   0xffffffff, 0x00002aa9, 0xffff4ccc, 0xffff7f81,
    467   0x00002aa8, 0x00004ccb, 0xffff7f80, 0xffff7f82,
    468   0x00004cca, 0x00007f7f, 0xffff7f81, 0xffff7f83,
    469   0x00007f7e, 0x00007f80, 0xffff7f82, 0xffff7f84,
    470   0x00007f80, 0xffff7f82, 0xffff7f84, 0xffffaa9a,
    471   0x00007f81, 0xffff7f83, 0xffff7ff1, 0xffffaaa7,
    472   0x00007f82, 0xffff7ff0, 0xffff7ffe, 0xffffaaa8,
    473   0x00007fef, 0xffff7ffd, 0xffff7fff, 0xffffaaa9,
    474   0x00007ffc, 0xffff7ffe, 0xffff8000, 0xffffaaaa,
    475   0x00007ffd, 0xffff7fff, 0xffff8001, 0xffffaaab,
    476   0x00007ffe, 0xffff8000, 0xffff8002, 0xffffaaac,
    477   0x00007fff, 0xffff8001, 0xffff8003, 0xffffaaba,
    478   0x00008000, 0xffff8002, 0xffff8011, 0xffffab27,
    479   0x00008001, 0xffff8010, 0xffff807e, 0xffffab28,
    480   0x0000800f, 0xffff807d, 0xffff807f, 0xffffab29,
    481   0x0000807c, 0xffff807e, 0xffff8080, 0xffffdddd,
    482   0x0000807d, 0xffff807f, 0xffffb334, 0xffffffff,
    483   0x0000807e, 0xffffb333, 0xffffd556, 0x00002aa7,
    484   0x0000b332, 0xffffd555, 0xfffffffe, 0x00002aa8,
    485   0x0000d554, 0xfffffffd, 0xffffffff, 0x00002aa9,
    486   0x0000fffc, 0xfffffffe, 0x00000000, 0xffff2aaa,
    487   0x0000fffd, 0xffffffff, 0xffff0001, 0xffff2aab,
    488   0x0000fffe, 0xffff0000, 0xffff0002, 0xffff5554,
    489   0xffffffff, 0xffff0001, 0xffff2aab, 0xffff7776,
    490   0x00000000, 0xffff2aaa, 0xffff4ccd, 0xffffaa2a,
    491   0x00002aa9, 0xffff4ccc, 0xffff7f81, 0xffffaa2b,
    492   0x00004ccb, 0xffff7f80, 0xffff7f82, 0xffffaa2c,
    493   0x00007f7f, 0xffff7f81, 0xffff7f83, 0xffffaa2d,
    494   0xffff7f81, 0xffff7f83, 0xffffaa2d, 0xffffccbc,
    495   0xffff7f82, 0xffff7f84, 0xffffaa9a, 0xffffccc9,
    496   0xffff7f83, 0xffff7ff1, 0xffffaaa7, 0xffffccca,
    497   0xffff7ff0, 0xffff7ffe, 0xffffaaa8, 0xffffcccb,
    498   0xffff7ffd, 0xffff7fff, 0xffffaaa9, 0xffffcccc,
    499   0xffff7ffe, 0xffff8000, 0xffffaaaa, 0xffffcccd,
    500   0xffff7fff, 0xffff8001, 0xffffaaab, 0xffffccce,
    501   0xffff8000, 0xffff8002, 0xffffaaac, 0xffffccdc,
    502   0xffff8001, 0xffff8003, 0xffffaaba, 0xffffcd49,
    503   0xffff8002, 0xffff8011, 0xffffab27, 0xffffcd4a,
    504   0xffff8010, 0xffff807e, 0xffffab28, 0xffffcd4b,
    505   0xffff807d, 0xffff807f, 0xffffab29, 0xffffffff,
    506   0xffff807e, 0xffff8080, 0xffffdddd, 0x00002221,
    507   0xffff807f, 0xffffb334, 0xffffffff, 0x00004cc9,
    508   0xffffb333, 0xffffd556, 0x00002aa7, 0x00004cca,
    509   0xffffd555, 0xfffffffe, 0x00002aa8, 0x00004ccb,
    510   0xfffffffd, 0xffffffff, 0x00002aa9, 0xffff4ccc,
    511   0xfffffffe, 0x00000000, 0xffff2aaa, 0xffff4ccd,
    512   0xffffffff, 0xffff0001, 0xffff2aab, 0xffff7776,
    513   0xffff0000, 0xffff0002, 0xffff5554, 0xffff9998,
    514   0xffff0001, 0xffff2aab, 0xffff7776, 0xffffcc4c,
    515   0xffff2aaa, 0xffff4ccd, 0xffffaa2a, 0xffffcc4d,
    516   0xffff4ccc, 0xffff7f81, 0xffffaa2b, 0xffffcc4e,
    517   0xffff7f80, 0xffff7f82, 0xffffaa2c, 0xffffcc4f,
    518   0xffff7f82, 0xffffaa2c, 0xffffcc4f, 0xffffff70,
    519   0xffff7f83, 0xffffaa2d, 0xffffccbc, 0xffffff7d,
    520   0xffff7f84, 0xffffaa9a, 0xffffccc9, 0xffffff7e,
    521   0xffff7ff1, 0xffffaaa7, 0xffffccca, 0xffffff7f,
    522   0xffff7ffe, 0xffffaaa8, 0xffffcccb, 0xffffff80,
    523   0xffff7fff, 0xffffaaa9, 0xffffcccc, 0xffffff81,
    524   0xffff8000, 0xffffaaaa, 0xffffcccd, 0xffffff82,
    525   0xffff8001, 0xffffaaab, 0xffffccce, 0xffffff90,
    526   0xffff8002, 0xffffaaac, 0xffffccdc, 0xfffffffd,
    527   0xffff8003, 0xffffaaba, 0xffffcd49, 0xfffffffe,
    528   0xffff8011, 0xffffab27, 0xffffcd4a, 0xffffffff,
    529   0xffff807e, 0xffffab28, 0xffffcd4b, 0x000032b3,
    530   0xffff807f, 0xffffab29, 0xffffffff, 0x000054d5,
    531   0xffff8080, 0xffffdddd, 0x00002221, 0x00007f7d,
    532   0xffffb334, 0xffffffff, 0x00004cc9, 0x00007f7e,
    533   0xffffd556, 0x00002aa7, 0x00004cca, 0x00007f7f,
    534   0xfffffffe, 0x00002aa8, 0x00004ccb, 0xffff7f80,
    535   0xffffffff, 0x00002aa9, 0xffff4ccc, 0xffff7f81,
    536   0x00000000, 0xffff2aaa, 0xffff4ccd, 0xffffaa2a,
    537   0xffff0001, 0xffff2aab, 0xffff7776, 0xffffcc4c,
    538   0xffff0002, 0xffff5554, 0xffff9998, 0xffffff00,
    539   0xffff2aab, 0xffff7776, 0xffffcc4c, 0xffffff01,
    540   0xffff4ccd, 0xffffaa2a, 0xffffcc4d, 0xffffff02,
    541   0xffff7f81, 0xffffaa2b, 0xffffcc4e, 0xffffff03,
    542   0xffffaa2b, 0xffffcc4e, 0xffffff03, 0xffffff71,
    543   0xffffaa2c, 0xffffcc4f, 0xffffff70, 0xffffff7e,
    544   0xffffaa2d, 0xffffccbc, 0xffffff7d, 0xffffff7f,
    545   0xffffaa9a, 0xffffccc9, 0xffffff7e, 0xffffff80,
    546   0xffffaaa7, 0xffffccca, 0xffffff7f, 0xffffff81,
    547   0xffffaaa8, 0xffffcccb, 0xffffff80, 0xffffff82,
    548   0xffffaaa9, 0xffffcccc, 0xffffff81, 0xffffff83,
    549   0xffffaaaa, 0xffffcccd, 0xffffff82, 0xffffff91,
    550   0xffffaaab, 0xffffccce, 0xffffff90, 0xfffffffe,
    551   0xffffaaac, 0xffffccdc, 0xfffffffd, 0xffffffff,
    552   0xffffaaba, 0xffffcd49, 0xfffffffe, 0x00000000,
    553   0xffffab27, 0xffffcd4a, 0xffffffff, 0x000032b4,
    554   0xffffab28, 0xffffcd4b, 0x000032b3, 0x000054d6,
    555   0xffffab29, 0xffffffff, 0x000054d5, 0x00007f7e,
    556   0xffffdddd, 0x00002221, 0x00007f7d, 0x00007f7f,
    557   0xffffffff, 0x00004cc9, 0x00007f7e, 0x00007f80,
    558   0x00002aa7, 0x00004cca, 0x00007f7f, 0xffff7f81,
    559   0x00002aa8, 0x00004ccb, 0xffff7f80, 0xffff7f82,
    560   0x00002aa9, 0xffff4ccc, 0xffff7f81, 0xffffaa2b,
    561   0xffff2aaa, 0xffff4ccd, 0xffffaa2a, 0xffffcc4d,
    562   0xffff2aab, 0xffff7776, 0xffffcc4c, 0xffffff01,
    563   0xffff5554, 0xffff9998, 0xffffff00, 0xffffff02,
    564   0xffff7776, 0xffffcc4c, 0xffffff01, 0xffffff03,
    565   0xffffaa2a, 0xffffcc4d, 0xffffff02, 0xffffff04,
    566   0xffffcc4d, 0xffffff02, 0xffffff04, 0xffffff72,
    567   0xffffcc4e, 0xffffff03, 0xffffff71, 0xffffff7f,
    568   0xffffcc4f, 0xffffff70, 0xffffff7e, 0xffffff80,
    569   0xffffccbc, 0xffffff7d, 0xffffff7f, 0xffffff81,
    570   0xffffccc9, 0xffffff7e, 0xffffff80, 0xffffff82,
    571   0xffffccca, 0xffffff7f, 0xffffff81, 0xffffff83,
    572   0xffffcccb, 0xffffff80, 0xffffff82, 0xffffff84,
    573   0xffffcccc, 0xffffff81, 0xffffff83, 0xffffff92,
    574   0xffffcccd, 0xffffff82, 0xffffff91, 0xffffffff,
    575   0xffffccce, 0xffffff90, 0xfffffffe, 0x00000000,
    576   0xffffccdc, 0xfffffffd, 0xffffffff, 0x00000001,
    577   0xffffcd49, 0xfffffffe, 0x00000000, 0x000032b5,
    578   0xffffcd4a, 0xffffffff, 0x000032b4, 0x000054d7,
    579   0xffffcd4b, 0x000032b3, 0x000054d6, 0x00007f7f,
    580   0xffffffff, 0x000054d5, 0x00007f7e, 0x00007f80,
    581   0x00002221, 0x00007f7d, 0x00007f7f, 0x00007f81,
    582   0x00004cc9, 0x00007f7e, 0x00007f80, 0xffff7f82,
    583   0x00004cca, 0x00007f7f, 0xffff7f81, 0xffff7f83,
    584   0x00004ccb, 0xffff7f80, 0xffff7f82, 0xffffaa2c,
    585   0xffff4ccc, 0xffff7f81, 0xffffaa2b, 0xffffcc4e,
    586   0xffff4ccd, 0xffffaa2a, 0xffffcc4d, 0xffffff02,
    587   0xffff7776, 0xffffcc4c, 0xffffff01, 0xffffff03,
    588   0xffff9998, 0xffffff00, 0xffffff02, 0xffffff04,
    589   0xffffcc4c, 0xffffff01, 0xffffff03, 0xffffff05,
    590   0xffffff01, 0xffffff03, 0xffffff05, 0xffffff73,
    591   0xffffff02, 0xffffff04, 0xffffff72, 0xffffff80,
    592   0xffffff03, 0xffffff71, 0xffffff7f, 0xffffff81,
    593   0xffffff70, 0xffffff7e, 0xffffff80, 0xffffff82,
    594   0xffffff7d, 0xffffff7f, 0xffffff81, 0xffffff83,
    595   0xffffff7e, 0xffffff80, 0xffffff82, 0xffffff84,
    596   0xffffff7f, 0xffffff81, 0xffffff83, 0xffffff85,
    597   0xffffff80, 0xffffff82, 0xffffff84, 0xffffff93,
    598   0xffffff81, 0xffffff83, 0xffffff92, 0x00000000,
    599   0xffffff82, 0xffffff91, 0xffffffff, 0x00000001,
    600   0xffffff90, 0xfffffffe, 0x00000000, 0x00000002,
    601   0xfffffffd, 0xffffffff, 0x00000001, 0x000032b6,
    602   0xfffffffe, 0x00000000, 0x000032b5, 0x000054d8,
    603   0xffffffff, 0x000032b4, 0x000054d7, 0x00007f80,
    604   0x000032b3, 0x000054d6, 0x00007f7f, 0x00007f81,
    605   0x000054d5, 0x00007f7e, 0x00007f80, 0x00007f82,
    606   0x00007f7d, 0x00007f7f, 0x00007f81, 0xffff7f83,
    607   0x00007f7e, 0x00007f80, 0xffff7f82, 0xffff7f84,
    608   0x00007f7f, 0xffff7f81, 0xffff7f83, 0xffffaa2d,
    609   0xffff7f80, 0xffff7f82, 0xffffaa2c, 0xffffcc4f,
    610   0xffff7f81, 0xffffaa2b, 0xffffcc4e, 0xffffff03,
    611   0xffffaa2a, 0xffffcc4d, 0xffffff02, 0xffffff04,
    612   0xffffcc4c, 0xffffff01, 0xffffff03, 0xffffff05,
    613   0xffffff00, 0xffffff02, 0xffffff04, 0xffffff06,
    614 };
    615 const unsigned kExpectedCount_NEON_saddl_4S = 576;
    616 
    617 #endif  // VIXL_SIM_SADDL_4S_TRACE_A64_H_
    618