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