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_SADDW2_4S_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SADDW2_4S_TRACE_AARCH64_H_
     36 
     37 const uint32_t kExpected_NEON_saddw2_4S[] = {
     38   0x0000fdfd, 0x0000fefe, 0x00807cff, 0x00000000,
     39   0x0000fdfe, 0x0000feff, 0x007ffd00, 0x00000001,
     40   0x0000fdff, 0x00007f00, 0x007ffd01, 0x00000002,
     41   0x00007e00, 0x00007f01, 0x007ffd02, 0x00000010,
     42   0x00007e01, 0x00007f02, 0x007ffd10, 0x0000007d,
     43   0x00007e02, 0x00007f10, 0x007ffd7d, 0x0000007e,
     44   0x00007e10, 0x00007f7d, 0x007ffd7e, 0x0000007f,
     45   0x00007e7d, 0x00007f7e, 0x007ffd7f, 0x00003333,
     46   0x00007e7e, 0x00007f7f, 0x00803033, 0x00005555,
     47   0x00007e7f, 0x0000b233, 0x00805255, 0x00007ffd,
     48   0x0000b133, 0x0000d455, 0x00807cfd, 0x00007ffe,
     49   0x0000d355, 0x0000fefd, 0x00807cfe, 0x00007fff,
     50   0x0000fdfd, 0x0000fefe, 0x00807cff, 0xffff8000,
     51   0x0000fdfe, 0x0000feff, 0x007f7d00, 0xffff8001,
     52   0x0000fdff, 0xffffff00, 0x007f7d01, 0xffffaaaa,
     53   0xfffffe00, 0xffffff01, 0x007fa7aa, 0xffffcccc,
     54   0xfffffe01, 0x000029aa, 0x007fc9cc, 0xffffff80,
     55   0x000028aa, 0x00004bcc, 0x007ffc80, 0xffffff81,
     56   0x00004acc, 0x00007e80, 0x007ffc81, 0xffffff82,
     57   0x00007d80, 0x00007e81, 0x007ffc82, 0xffffff83,
     58   0x00007d81, 0x00007e82, 0x007ffc83, 0xfffffff0,
     59   0x00007d82, 0x00007e83, 0x007ffcf0, 0xfffffffd,
     60   0x00007d83, 0x00007ef0, 0x007ffcfd, 0xfffffffe,
     61   0x00007df0, 0x00007efd, 0x007ffcfe, 0xffffffff,
     62   0x00007efd, 0x007ffcfe, 0xffffffff, 0x00000001,
     63   0x00007efe, 0x007ffcff, 0x00000000, 0x00000002,
     64   0x00007eff, 0x007ffd00, 0x00000001, 0x00000003,
     65   0x00007f00, 0x007ffd01, 0x00000002, 0x00000011,
     66   0x00007f01, 0x007ffd02, 0x00000010, 0x0000007e,
     67   0x00007f02, 0x007ffd10, 0x0000007d, 0x0000007f,
     68   0x00007f10, 0x007ffd7d, 0x0000007e, 0x00000080,
     69   0x00007f7d, 0x007ffd7e, 0x0000007f, 0x00003334,
     70   0x00007f7e, 0x007ffd7f, 0x00003333, 0x00005556,
     71   0x00007f7f, 0x00803033, 0x00005555, 0x00007ffe,
     72   0x0000b233, 0x00805255, 0x00007ffd, 0x00007fff,
     73   0x0000d455, 0x00807cfd, 0x00007ffe, 0x00008000,
     74   0x0000fefd, 0x00807cfe, 0x00007fff, 0xffff8001,
     75   0x0000fefe, 0x00807cff, 0xffff8000, 0xffff8002,
     76   0x0000feff, 0x007f7d00, 0xffff8001, 0xffffaaab,
     77   0xffffff00, 0x007f7d01, 0xffffaaaa, 0xffffcccd,
     78   0xffffff01, 0x007fa7aa, 0xffffcccc, 0xffffff81,
     79   0x000029aa, 0x007fc9cc, 0xffffff80, 0xffffff82,
     80   0x00004bcc, 0x007ffc80, 0xffffff81, 0xffffff83,
     81   0x00007e80, 0x007ffc81, 0xffffff82, 0xffffff84,
     82   0x00007e81, 0x007ffc82, 0xffffff83, 0xfffffff1,
     83   0x00007e82, 0x007ffc83, 0xfffffff0, 0xfffffffe,
     84   0x00007e83, 0x007ffcf0, 0xfffffffd, 0xffffffff,
     85   0x00007ef0, 0x007ffcfd, 0xfffffffe, 0x00000000,
     86   0x007ffcfd, 0xfffffffe, 0x00000000, 0x00000002,
     87   0x007ffcfe, 0xffffffff, 0x00000001, 0x00000003,
     88   0x007ffcff, 0x00000000, 0x00000002, 0x00000004,
     89   0x007ffd00, 0x00000001, 0x00000003, 0x00000012,
     90   0x007ffd01, 0x00000002, 0x00000011, 0x0000007f,
     91   0x007ffd02, 0x00000010, 0x0000007e, 0x00000080,
     92   0x007ffd10, 0x0000007d, 0x0000007f, 0x00000081,
     93   0x007ffd7d, 0x0000007e, 0x00000080, 0x00003335,
     94   0x007ffd7e, 0x0000007f, 0x00003334, 0x00005557,
     95   0x007ffd7f, 0x00003333, 0x00005556, 0x00007fff,
     96   0x00803033, 0x00005555, 0x00007ffe, 0x00008000,
     97   0x00805255, 0x00007ffd, 0x00007fff, 0x00008001,
     98   0x00807cfd, 0x00007ffe, 0x00008000, 0xffff8002,
     99   0x00807cfe, 0x00007fff, 0xffff8001, 0xffff8003,
    100   0x00807cff, 0xffff8000, 0xffff8002, 0xffffaaac,
    101   0x007f7d00, 0xffff8001, 0xffffaaab, 0xffffccce,
    102   0x007f7d01, 0xffffaaaa, 0xffffcccd, 0xffffff82,
    103   0x007fa7aa, 0xffffcccc, 0xffffff81, 0xffffff83,
    104   0x007fc9cc, 0xffffff80, 0xffffff82, 0xffffff84,
    105   0x007ffc80, 0xffffff81, 0xffffff83, 0xffffff85,
    106   0x007ffc81, 0xffffff82, 0xffffff84, 0xfffffff2,
    107   0x007ffc82, 0xffffff83, 0xfffffff1, 0xffffffff,
    108   0x007ffc83, 0xfffffff0, 0xfffffffe, 0x00000000,
    109   0x007ffcf0, 0xfffffffd, 0xffffffff, 0x00000001,
    110   0xfffffffd, 0xffffffff, 0x00000001, 0x00000020,
    111   0xfffffffe, 0x00000000, 0x00000002, 0x00000021,
    112   0xffffffff, 0x00000001, 0x00000003, 0x00000022,
    113   0x00000000, 0x00000002, 0x00000004, 0x00000030,
    114   0x00000001, 0x00000003, 0x00000012, 0x0000009d,
    115   0x00000002, 0x00000011, 0x0000007f, 0x0000009e,
    116   0x00000010, 0x0000007e, 0x00000080, 0x0000009f,
    117   0x0000007d, 0x0000007f, 0x00000081, 0x00003353,
    118   0x0000007e, 0x00000080, 0x00003335, 0x00005575,
    119   0x0000007f, 0x00003334, 0x00005557, 0x0000801d,
    120   0x00003333, 0x00005556, 0x00007fff, 0x0000801e,
    121   0x00005555, 0x00007ffe, 0x00008000, 0x0000801f,
    122   0x00007ffd, 0x00007fff, 0x00008001, 0xffff8020,
    123   0x00007ffe, 0x00008000, 0xffff8002, 0xffff8021,
    124   0x00007fff, 0xffff8001, 0xffff8003, 0xffffaaca,
    125   0xffff8000, 0xffff8002, 0xffffaaac, 0xffffccec,
    126   0xffff8001, 0xffffaaab, 0xffffccce, 0xffffffa0,
    127   0xffffaaaa, 0xffffcccd, 0xffffff82, 0xffffffa1,
    128   0xffffcccc, 0xffffff81, 0xffffff83, 0xffffffa2,
    129   0xffffff80, 0xffffff82, 0xffffff84, 0xffffffa3,
    130   0xffffff81, 0xffffff83, 0xffffff85, 0x00000010,
    131   0xffffff82, 0xffffff84, 0xfffffff2, 0x0000001d,
    132   0xffffff83, 0xfffffff1, 0xffffffff, 0x0000001e,
    133   0xfffffff0, 0xfffffffe, 0x00000000, 0x0000001f,
    134   0xfffffffe, 0x00000000, 0x0000001f, 0x0000007d,
    135   0xffffffff, 0x00000001, 0x00000020, 0x0000007e,
    136   0x00000000, 0x00000002, 0x00000021, 0x0000007f,
    137   0x00000001, 0x00000003, 0x00000022, 0x0000008d,
    138   0x00000002, 0x00000004, 0x00000030, 0x000000fa,
    139   0x00000003, 0x00000012, 0x0000009d, 0x000000fb,
    140   0x00000011, 0x0000007f, 0x0000009e, 0x000000fc,
    141   0x0000007e, 0x00000080, 0x0000009f, 0x000033b0,
    142   0x0000007f, 0x00000081, 0x00003353, 0x000055d2,
    143   0x00000080, 0x00003335, 0x00005575, 0x0000807a,
    144   0x00003334, 0x00005557, 0x0000801d, 0x0000807b,
    145   0x00005556, 0x00007fff, 0x0000801e, 0x0000807c,
    146   0x00007ffe, 0x00008000, 0x0000801f, 0xffff807d,
    147   0x00007fff, 0x00008001, 0xffff8020, 0xffff807e,
    148   0x00008000, 0xffff8002, 0xffff8021, 0xffffab27,
    149   0xffff8001, 0xffff8003, 0xffffaaca, 0xffffcd49,
    150   0xffff8002, 0xffffaaac, 0xffffccec, 0xfffffffd,
    151   0xffffaaab, 0xffffccce, 0xffffffa0, 0xfffffffe,
    152   0xffffcccd, 0xffffff82, 0xffffffa1, 0xffffffff,
    153   0xffffff81, 0xffffff83, 0xffffffa2, 0x00000000,
    154   0xffffff82, 0xffffff84, 0xffffffa3, 0x0000006d,
    155   0xffffff83, 0xffffff85, 0x00000010, 0x0000007a,
    156   0xffffff84, 0xfffffff2, 0x0000001d, 0x0000007b,
    157   0xfffffff1, 0xffffffff, 0x0000001e, 0x0000007c,
    158   0xffffffff, 0x0000001e, 0x0000007c, 0x0000007e,
    159   0x00000000, 0x0000001f, 0x0000007d, 0x0000007f,
    160   0x00000001, 0x00000020, 0x0000007e, 0x00000080,
    161   0x00000002, 0x00000021, 0x0000007f, 0x0000008e,
    162   0x00000003, 0x00000022, 0x0000008d, 0x000000fb,
    163   0x00000004, 0x00000030, 0x000000fa, 0x000000fc,
    164   0x00000012, 0x0000009d, 0x000000fb, 0x000000fd,
    165   0x0000007f, 0x0000009e, 0x000000fc, 0x000033b1,
    166   0x00000080, 0x0000009f, 0x000033b0, 0x000055d3,
    167   0x00000081, 0x00003353, 0x000055d2, 0x0000807b,
    168   0x00003335, 0x00005575, 0x0000807a, 0x0000807c,
    169   0x00005557, 0x0000801d, 0x0000807b, 0x0000807d,
    170   0x00007fff, 0x0000801e, 0x0000807c, 0xffff807e,
    171   0x00008000, 0x0000801f, 0xffff807d, 0xffff807f,
    172   0x00008001, 0xffff8020, 0xffff807e, 0xffffab28,
    173   0xffff8002, 0xffff8021, 0xffffab27, 0xffffcd4a,
    174   0xffff8003, 0xffffaaca, 0xffffcd49, 0xfffffffe,
    175   0xffffaaac, 0xffffccec, 0xfffffffd, 0xffffffff,
    176   0xffffccce, 0xffffffa0, 0xfffffffe, 0x00000000,
    177   0xffffff82, 0xffffffa1, 0xffffffff, 0x00000001,
    178   0xffffff83, 0xffffffa2, 0x00000000, 0x0000006e,
    179   0xffffff84, 0xffffffa3, 0x0000006d, 0x0000007b,
    180   0xffffff85, 0x00000010, 0x0000007a, 0x0000007c,
    181   0xfffffff2, 0x0000001d, 0x0000007b, 0x0000007d,
    182   0x0000001d, 0x0000007b, 0x0000007d, 0x0000007f,
    183   0x0000001e, 0x0000007c, 0x0000007e, 0x00000080,
    184   0x0000001f, 0x0000007d, 0x0000007f, 0x00000081,
    185   0x00000020, 0x0000007e, 0x00000080, 0x0000008f,
    186   0x00000021, 0x0000007f, 0x0000008e, 0x000000fc,
    187   0x00000022, 0x0000008d, 0x000000fb, 0x000000fd,
    188   0x00000030, 0x000000fa, 0x000000fc, 0x000000fe,
    189   0x0000009d, 0x000000fb, 0x000000fd, 0x000033b2,
    190   0x0000009e, 0x000000fc, 0x000033b1, 0x000055d4,
    191   0x0000009f, 0x000033b0, 0x000055d3, 0x0000807c,
    192   0x00003353, 0x000055d2, 0x0000807b, 0x0000807d,
    193   0x00005575, 0x0000807a, 0x0000807c, 0x0000807e,
    194   0x0000801d, 0x0000807b, 0x0000807d, 0xffff807f,
    195   0x0000801e, 0x0000807c, 0xffff807e, 0xffff8080,
    196   0x0000801f, 0xffff807d, 0xffff807f, 0xffffab29,
    197   0xffff8020, 0xffff807e, 0xffffab28, 0xffffcd4b,
    198   0xffff8021, 0xffffab27, 0xffffcd4a, 0xffffffff,
    199   0xffffaaca, 0xffffcd49, 0xfffffffe, 0x00000000,
    200   0xffffccec, 0xfffffffd, 0xffffffff, 0x00000001,
    201   0xffffffa0, 0xfffffffe, 0x00000000, 0x00000002,
    202   0xffffffa1, 0xffffffff, 0x00000001, 0x0000006f,
    203   0xffffffa2, 0x00000000, 0x0000006e, 0x0000007c,
    204   0xffffffa3, 0x0000006d, 0x0000007b, 0x0000007d,
    205   0x00000010, 0x0000007a, 0x0000007c, 0x0000007e,
    206   0x0000007a, 0x0000007c, 0x0000007e, 0x00007ffd,
    207   0x0000007b, 0x0000007d, 0x0000007f, 0x00007ffe,
    208   0x0000007c, 0x0000007e, 0x00000080, 0x00007fff,
    209   0x0000007d, 0x0000007f, 0x00000081, 0x0000800d,
    210   0x0000007e, 0x00000080, 0x0000008f, 0x0000807a,
    211   0x0000007f, 0x0000008e, 0x000000fc, 0x0000807b,
    212   0x0000008d, 0x000000fb, 0x000000fd, 0x0000807c,
    213   0x000000fa, 0x000000fc, 0x000000fe, 0x0000b330,
    214   0x000000fb, 0x000000fd, 0x000033b2, 0x0000d552,
    215   0x000000fc, 0x000033b1, 0x000055d4, 0x0000fffa,
    216   0x000033b0, 0x000055d3, 0x0000807c, 0x0000fffb,
    217   0x000055d2, 0x0000807b, 0x0000807d, 0x0000fffc,
    218   0x0000807a, 0x0000807c, 0x0000807e, 0xfffffffd,
    219   0x0000807b, 0x0000807d, 0xffff807f, 0xfffffffe,
    220   0x0000807c, 0xffff807e, 0xffff8080, 0x00002aa7,
    221   0xffff807d, 0xffff807f, 0xffffab29, 0x00004cc9,
    222   0xffff807e, 0xffffab28, 0xffffcd4b, 0x00007f7d,
    223   0xffffab27, 0xffffcd4a, 0xffffffff, 0x00007f7e,
    224   0xffffcd49, 0xfffffffe, 0x00000000, 0x00007f7f,
    225   0xfffffffd, 0xffffffff, 0x00000001, 0x00007f80,
    226   0xfffffffe, 0x00000000, 0x00000002, 0x00007fed,
    227   0xffffffff, 0x00000001, 0x0000006f, 0x00007ffa,
    228   0x00000000, 0x0000006e, 0x0000007c, 0x00007ffb,
    229   0x0000006d, 0x0000007b, 0x0000007d, 0x00007ffc,
    230   0x0000007b, 0x0000007d, 0x00007ffc, 0x00007ffe,
    231   0x0000007c, 0x0000007e, 0x00007ffd, 0x00007fff,
    232   0x0000007d, 0x0000007f, 0x00007ffe, 0x00008000,
    233   0x0000007e, 0x00000080, 0x00007fff, 0x0000800e,
    234   0x0000007f, 0x00000081, 0x0000800d, 0x0000807b,
    235   0x00000080, 0x0000008f, 0x0000807a, 0x0000807c,
    236   0x0000008e, 0x000000fc, 0x0000807b, 0x0000807d,
    237   0x000000fb, 0x000000fd, 0x0000807c, 0x0000b331,
    238   0x000000fc, 0x000000fe, 0x0000b330, 0x0000d553,
    239   0x000000fd, 0x000033b2, 0x0000d552, 0x0000fffb,
    240   0x000033b1, 0x000055d4, 0x0000fffa, 0x0000fffc,
    241   0x000055d3, 0x0000807c, 0x0000fffb, 0x0000fffd,
    242   0x0000807b, 0x0000807d, 0x0000fffc, 0xfffffffe,
    243   0x0000807c, 0x0000807e, 0xfffffffd, 0xffffffff,
    244   0x0000807d, 0xffff807f, 0xfffffffe, 0x00002aa8,
    245   0xffff807e, 0xffff8080, 0x00002aa7, 0x00004cca,
    246   0xffff807f, 0xffffab29, 0x00004cc9, 0x00007f7e,
    247   0xffffab28, 0xffffcd4b, 0x00007f7d, 0x00007f7f,
    248   0xffffcd4a, 0xffffffff, 0x00007f7e, 0x00007f80,
    249   0xfffffffe, 0x00000000, 0x00007f7f, 0x00007f81,
    250   0xffffffff, 0x00000001, 0x00007f80, 0x00007fee,
    251   0x00000000, 0x00000002, 0x00007fed, 0x00007ffb,
    252   0x00000001, 0x0000006f, 0x00007ffa, 0x00007ffc,
    253   0x0000006e, 0x0000007c, 0x00007ffb, 0x00007ffd,
    254   0x0000007c, 0x00007ffb, 0x00007ffd, 0x00007fff,
    255   0x0000007d, 0x00007ffc, 0x00007ffe, 0x00008000,
    256   0x0000007e, 0x00007ffd, 0x00007fff, 0x00008001,
    257   0x0000007f, 0x00007ffe, 0x00008000, 0x0000800f,
    258   0x00000080, 0x00007fff, 0x0000800e, 0x0000807c,
    259   0x00000081, 0x0000800d, 0x0000807b, 0x0000807d,
    260   0x0000008f, 0x0000807a, 0x0000807c, 0x0000807e,
    261   0x000000fc, 0x0000807b, 0x0000807d, 0x0000b332,
    262   0x000000fd, 0x0000807c, 0x0000b331, 0x0000d554,
    263   0x000000fe, 0x0000b330, 0x0000d553, 0x0000fffc,
    264   0x000033b2, 0x0000d552, 0x0000fffb, 0x0000fffd,
    265   0x000055d4, 0x0000fffa, 0x0000fffc, 0x0000fffe,
    266   0x0000807c, 0x0000fffb, 0x0000fffd, 0xffffffff,
    267   0x0000807d, 0x0000fffc, 0xfffffffe, 0x00000000,
    268   0x0000807e, 0xfffffffd, 0xffffffff, 0x00002aa9,
    269   0xffff807f, 0xfffffffe, 0x00002aa8, 0x00004ccb,
    270   0xffff8080, 0x00002aa7, 0x00004cca, 0x00007f7f,
    271   0xffffab29, 0x00004cc9, 0x00007f7e, 0x00007f80,
    272   0xffffcd4b, 0x00007f7d, 0x00007f7f, 0x00007f81,
    273   0xffffffff, 0x00007f7e, 0x00007f80, 0x00007f82,
    274   0x00000000, 0x00007f7f, 0x00007f81, 0x00007fef,
    275   0x00000001, 0x00007f80, 0x00007fee, 0x00007ffc,
    276   0x00000002, 0x00007fed, 0x00007ffb, 0x00007ffd,
    277   0x0000006f, 0x00007ffa, 0x00007ffc, 0x00007ffe,
    278   0x00007ffa, 0x00007ffc, 0x00007ffe, 0x33333333,
    279   0x00007ffb, 0x00007ffd, 0x00007fff, 0x33333334,
    280   0x00007ffc, 0x00007ffe, 0x00008000, 0x33333335,
    281   0x00007ffd, 0x00007fff, 0x00008001, 0x33333343,
    282   0x00007ffe, 0x00008000, 0x0000800f, 0x333333b0,
    283   0x00007fff, 0x0000800e, 0x0000807c, 0x333333b1,
    284   0x0000800d, 0x0000807b, 0x0000807d, 0x333333b2,
    285   0x0000807a, 0x0000807c, 0x0000807e, 0x33336666,
    286   0x0000807b, 0x0000807d, 0x0000b332, 0x33338888,
    287   0x0000807c, 0x0000b331, 0x0000d554, 0x3333b330,
    288   0x0000b330, 0x0000d553, 0x0000fffc, 0x3333b331,
    289   0x0000d552, 0x0000fffb, 0x0000fffd, 0x3333b332,
    290   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x3332b333,
    291   0x0000fffb, 0x0000fffd, 0xffffffff, 0x3332b334,
    292   0x0000fffc, 0xfffffffe, 0x00000000, 0x3332dddd,
    293   0xfffffffd, 0xffffffff, 0x00002aa9, 0x3332ffff,
    294   0xfffffffe, 0x00002aa8, 0x00004ccb, 0x333332b3,
    295   0x00002aa7, 0x00004cca, 0x00007f7f, 0x333332b4,
    296   0x00004cc9, 0x00007f7e, 0x00007f80, 0x333332b5,
    297   0x00007f7d, 0x00007f7f, 0x00007f81, 0x333332b6,
    298   0x00007f7e, 0x00007f80, 0x00007f82, 0x33333323,
    299   0x00007f7f, 0x00007f81, 0x00007fef, 0x33333330,
    300   0x00007f80, 0x00007fee, 0x00007ffc, 0x33333331,
    301   0x00007fed, 0x00007ffb, 0x00007ffd, 0x33333332,
    302   0x00007ffb, 0x00007ffd, 0x33333332, 0x55555555,
    303   0x00007ffc, 0x00007ffe, 0x33333333, 0x55555556,
    304   0x00007ffd, 0x00007fff, 0x33333334, 0x55555557,
    305   0x00007ffe, 0x00008000, 0x33333335, 0x55555565,
    306   0x00007fff, 0x00008001, 0x33333343, 0x555555d2,
    307   0x00008000, 0x0000800f, 0x333333b0, 0x555555d3,
    308   0x0000800e, 0x0000807c, 0x333333b1, 0x555555d4,
    309   0x0000807b, 0x0000807d, 0x333333b2, 0x55558888,
    310   0x0000807c, 0x0000807e, 0x33336666, 0x5555aaaa,
    311   0x0000807d, 0x0000b332, 0x33338888, 0x5555d552,
    312   0x0000b331, 0x0000d554, 0x3333b330, 0x5555d553,
    313   0x0000d553, 0x0000fffc, 0x3333b331, 0x5555d554,
    314   0x0000fffb, 0x0000fffd, 0x3333b332, 0x5554d555,
    315   0x0000fffc, 0x0000fffe, 0x3332b333, 0x5554d556,
    316   0x0000fffd, 0xffffffff, 0x3332b334, 0x5554ffff,
    317   0xfffffffe, 0x00000000, 0x3332dddd, 0x55552221,
    318   0xffffffff, 0x00002aa9, 0x3332ffff, 0x555554d5,
    319   0x00002aa8, 0x00004ccb, 0x333332b3, 0x555554d6,
    320   0x00004cca, 0x00007f7f, 0x333332b4, 0x555554d7,
    321   0x00007f7e, 0x00007f80, 0x333332b5, 0x555554d8,
    322   0x00007f7f, 0x00007f81, 0x333332b6, 0x55555545,
    323   0x00007f80, 0x00007f82, 0x33333323, 0x55555552,
    324   0x00007f81, 0x00007fef, 0x33333330, 0x55555553,
    325   0x00007fee, 0x00007ffc, 0x33333331, 0x55555554,
    326   0x00007ffc, 0x33333331, 0x55555554, 0x7ffffffd,
    327   0x00007ffd, 0x33333332, 0x55555555, 0x7ffffffe,
    328   0x00007ffe, 0x33333333, 0x55555556, 0x7fffffff,
    329   0x00007fff, 0x33333334, 0x55555557, 0x8000000d,
    330   0x00008000, 0x33333335, 0x55555565, 0x8000007a,
    331   0x00008001, 0x33333343, 0x555555d2, 0x8000007b,
    332   0x0000800f, 0x333333b0, 0x555555d3, 0x8000007c,
    333   0x0000807c, 0x333333b1, 0x555555d4, 0x80003330,
    334   0x0000807d, 0x333333b2, 0x55558888, 0x80005552,
    335   0x0000807e, 0x33336666, 0x5555aaaa, 0x80007ffa,
    336   0x0000b332, 0x33338888, 0x5555d552, 0x80007ffb,
    337   0x0000d554, 0x3333b330, 0x5555d553, 0x80007ffc,
    338   0x0000fffc, 0x3333b331, 0x5555d554, 0x7fff7ffd,
    339   0x0000fffd, 0x3333b332, 0x5554d555, 0x7fff7ffe,
    340   0x0000fffe, 0x3332b333, 0x5554d556, 0x7fffaaa7,
    341   0xffffffff, 0x3332b334, 0x5554ffff, 0x7fffccc9,
    342   0x00000000, 0x3332dddd, 0x55552221, 0x7fffff7d,
    343   0x00002aa9, 0x3332ffff, 0x555554d5, 0x7fffff7e,
    344   0x00004ccb, 0x333332b3, 0x555554d6, 0x7fffff7f,
    345   0x00007f7f, 0x333332b4, 0x555554d7, 0x7fffff80,
    346   0x00007f80, 0x333332b5, 0x555554d8, 0x7fffffed,
    347   0x00007f81, 0x333332b6, 0x55555545, 0x7ffffffa,
    348   0x00007f82, 0x33333323, 0x55555552, 0x7ffffffb,
    349   0x00007fef, 0x33333330, 0x55555553, 0x7ffffffc,
    350   0x33333330, 0x55555553, 0x7ffffffc, 0x7ffffffe,
    351   0x33333331, 0x55555554, 0x7ffffffd, 0x7fffffff,
    352   0x33333332, 0x55555555, 0x7ffffffe, 0x80000000,
    353   0x33333333, 0x55555556, 0x7fffffff, 0x8000000e,
    354   0x33333334, 0x55555557, 0x8000000d, 0x8000007b,
    355   0x33333335, 0x55555565, 0x8000007a, 0x8000007c,
    356   0x33333343, 0x555555d2, 0x8000007b, 0x8000007d,
    357   0x333333b0, 0x555555d3, 0x8000007c, 0x80003331,
    358   0x333333b1, 0x555555d4, 0x80003330, 0x80005553,
    359   0x333333b2, 0x55558888, 0x80005552, 0x80007ffb,
    360   0x33336666, 0x5555aaaa, 0x80007ffa, 0x80007ffc,
    361   0x33338888, 0x5555d552, 0x80007ffb, 0x80007ffd,
    362   0x3333b330, 0x5555d553, 0x80007ffc, 0x7fff7ffe,
    363   0x3333b331, 0x5555d554, 0x7fff7ffd, 0x7fff7fff,
    364   0x3333b332, 0x5554d555, 0x7fff7ffe, 0x7fffaaa8,
    365   0x3332b333, 0x5554d556, 0x7fffaaa7, 0x7fffccca,
    366   0x3332b334, 0x5554ffff, 0x7fffccc9, 0x7fffff7e,
    367   0x3332dddd, 0x55552221, 0x7fffff7d, 0x7fffff7f,
    368   0x3332ffff, 0x555554d5, 0x7fffff7e, 0x7fffff80,
    369   0x333332b3, 0x555554d6, 0x7fffff7f, 0x7fffff81,
    370   0x333332b4, 0x555554d7, 0x7fffff80, 0x7fffffee,
    371   0x333332b5, 0x555554d8, 0x7fffffed, 0x7ffffffb,
    372   0x333332b6, 0x55555545, 0x7ffffffa, 0x7ffffffc,
    373   0x33333323, 0x55555552, 0x7ffffffb, 0x7ffffffd,
    374   0x55555552, 0x7ffffffb, 0x7ffffffd, 0x7fffffff,
    375   0x55555553, 0x7ffffffc, 0x7ffffffe, 0x80000000,
    376   0x55555554, 0x7ffffffd, 0x7fffffff, 0x80000001,
    377   0x55555555, 0x7ffffffe, 0x80000000, 0x8000000f,
    378   0x55555556, 0x7fffffff, 0x8000000e, 0x8000007c,
    379   0x55555557, 0x8000000d, 0x8000007b, 0x8000007d,
    380   0x55555565, 0x8000007a, 0x8000007c, 0x8000007e,
    381   0x555555d2, 0x8000007b, 0x8000007d, 0x80003332,
    382   0x555555d3, 0x8000007c, 0x80003331, 0x80005554,
    383   0x555555d4, 0x80003330, 0x80005553, 0x80007ffc,
    384   0x55558888, 0x80005552, 0x80007ffb, 0x80007ffd,
    385   0x5555aaaa, 0x80007ffa, 0x80007ffc, 0x80007ffe,
    386   0x5555d552, 0x80007ffb, 0x80007ffd, 0x7fff7fff,
    387   0x5555d553, 0x80007ffc, 0x7fff7ffe, 0x7fff8000,
    388   0x5555d554, 0x7fff7ffd, 0x7fff7fff, 0x7fffaaa9,
    389   0x5554d555, 0x7fff7ffe, 0x7fffaaa8, 0x7fffcccb,
    390   0x5554d556, 0x7fffaaa7, 0x7fffccca, 0x7fffff7f,
    391   0x5554ffff, 0x7fffccc9, 0x7fffff7e, 0x7fffff80,
    392   0x55552221, 0x7fffff7d, 0x7fffff7f, 0x7fffff81,
    393   0x555554d5, 0x7fffff7e, 0x7fffff80, 0x7fffff82,
    394   0x555554d6, 0x7fffff7f, 0x7fffff81, 0x7fffffef,
    395   0x555554d7, 0x7fffff80, 0x7fffffee, 0x7ffffffc,
    396   0x555554d8, 0x7fffffed, 0x7ffffffb, 0x7ffffffd,
    397   0x55555545, 0x7ffffffa, 0x7ffffffc, 0x7ffffffe,
    398   0x7ffffffa, 0x7ffffffc, 0x7ffffffe, 0x80000000,
    399   0x7ffffffb, 0x7ffffffd, 0x7fffffff, 0x80000001,
    400   0x7ffffffc, 0x7ffffffe, 0x80000000, 0x80000002,
    401   0x7ffffffd, 0x7fffffff, 0x80000001, 0x80000010,
    402   0x7ffffffe, 0x80000000, 0x8000000f, 0x8000007d,
    403   0x7fffffff, 0x8000000e, 0x8000007c, 0x8000007e,
    404   0x8000000d, 0x8000007b, 0x8000007d, 0x8000007f,
    405   0x8000007a, 0x8000007c, 0x8000007e, 0x80003333,
    406   0x8000007b, 0x8000007d, 0x80003332, 0x80005555,
    407   0x8000007c, 0x80003331, 0x80005554, 0x80007ffd,
    408   0x80003330, 0x80005553, 0x80007ffc, 0x80007ffe,
    409   0x80005552, 0x80007ffb, 0x80007ffd, 0x80007fff,
    410   0x80007ffa, 0x80007ffc, 0x80007ffe, 0x7fff8000,
    411   0x80007ffb, 0x80007ffd, 0x7fff7fff, 0x7fff8001,
    412   0x80007ffc, 0x7fff7ffe, 0x7fff8000, 0x7fffaaaa,
    413   0x7fff7ffd, 0x7fff7fff, 0x7fffaaa9, 0x7fffcccc,
    414   0x7fff7ffe, 0x7fffaaa8, 0x7fffcccb, 0x7fffff80,
    415   0x7fffaaa7, 0x7fffccca, 0x7fffff7f, 0x7fffff81,
    416   0x7fffccc9, 0x7fffff7e, 0x7fffff80, 0x7fffff82,
    417   0x7fffff7d, 0x7fffff7f, 0x7fffff81, 0x7fffff83,
    418   0x7fffff7e, 0x7fffff80, 0x7fffff82, 0x7ffffff0,
    419   0x7fffff7f, 0x7fffff81, 0x7fffffef, 0x7ffffffd,
    420   0x7fffff80, 0x7fffffee, 0x7ffffffc, 0x7ffffffe,
    421   0x7fffffed, 0x7ffffffb, 0x7ffffffd, 0x7fffffff,
    422   0x7ffffffb, 0x7ffffffd, 0x7fffffff, 0x80000001,
    423   0x7ffffffc, 0x7ffffffe, 0x80000000, 0x80000002,
    424   0x7ffffffd, 0x7fffffff, 0x80000001, 0x80000003,
    425   0x7ffffffe, 0x80000000, 0x80000002, 0x80000011,
    426   0x7fffffff, 0x80000001, 0x80000010, 0x8000007e,
    427   0x80000000, 0x8000000f, 0x8000007d, 0x8000007f,
    428   0x8000000e, 0x8000007c, 0x8000007e, 0x80000080,
    429   0x8000007b, 0x8000007d, 0x8000007f, 0x80003334,
    430   0x8000007c, 0x8000007e, 0x80003333, 0x80005556,
    431   0x8000007d, 0x80003332, 0x80005555, 0x80007ffe,
    432   0x80003331, 0x80005554, 0x80007ffd, 0x80007fff,
    433   0x80005553, 0x80007ffc, 0x80007ffe, 0x80008000,
    434   0x80007ffb, 0x80007ffd, 0x80007fff, 0x7fff8001,
    435   0x80007ffc, 0x80007ffe, 0x7fff8000, 0x7fff8002,
    436   0x80007ffd, 0x7fff7fff, 0x7fff8001, 0x7fffaaab,
    437   0x7fff7ffe, 0x7fff8000, 0x7fffaaaa, 0x7fffcccd,
    438   0x7fff7fff, 0x7fffaaa9, 0x7fffcccc, 0x7fffff81,
    439   0x7fffaaa8, 0x7fffcccb, 0x7fffff80, 0x7fffff82,
    440   0x7fffccca, 0x7fffff7f, 0x7fffff81, 0x7fffff83,
    441   0x7fffff7e, 0x7fffff80, 0x7fffff82, 0x7fffff84,
    442   0x7fffff7f, 0x7fffff81, 0x7fffff83, 0x7ffffff1,
    443   0x7fffff80, 0x7fffff82, 0x7ffffff0, 0x7ffffffe,
    444   0x7fffff81, 0x7fffffef, 0x7ffffffd, 0x7fffffff,
    445   0x7fffffee, 0x7ffffffc, 0x7ffffffe, 0x80000000,
    446   0x7ffffffc, 0x7ffffffe, 0x80000000, 0xaaaaaaaa,
    447   0x7ffffffd, 0x7fffffff, 0x80000001, 0xaaaaaaab,
    448   0x7ffffffe, 0x80000000, 0x80000002, 0xaaaaaaac,
    449   0x7fffffff, 0x80000001, 0x80000003, 0xaaaaaaba,
    450   0x80000000, 0x80000002, 0x80000011, 0xaaaaab27,
    451   0x80000001, 0x80000010, 0x8000007e, 0xaaaaab28,
    452   0x8000000f, 0x8000007d, 0x8000007f, 0xaaaaab29,
    453   0x8000007c, 0x8000007e, 0x80000080, 0xaaaadddd,
    454   0x8000007d, 0x8000007f, 0x80003334, 0xaaaaffff,
    455   0x8000007e, 0x80003333, 0x80005556, 0xaaab2aa7,
    456   0x80003332, 0x80005555, 0x80007ffe, 0xaaab2aa8,
    457   0x80005554, 0x80007ffd, 0x80007fff, 0xaaab2aa9,
    458   0x80007ffc, 0x80007ffe, 0x80008000, 0xaaaa2aaa,
    459   0x80007ffd, 0x80007fff, 0x7fff8001, 0xaaaa2aab,
    460   0x80007ffe, 0x7fff8000, 0x7fff8002, 0xaaaa5554,
    461   0x7fff7fff, 0x7fff8001, 0x7fffaaab, 0xaaaa7776,
    462   0x7fff8000, 0x7fffaaaa, 0x7fffcccd, 0xaaaaaa2a,
    463   0x7fffaaa9, 0x7fffcccc, 0x7fffff81, 0xaaaaaa2b,
    464   0x7fffcccb, 0x7fffff80, 0x7fffff82, 0xaaaaaa2c,
    465   0x7fffff7f, 0x7fffff81, 0x7fffff83, 0xaaaaaa2d,
    466   0x7fffff80, 0x7fffff82, 0x7fffff84, 0xaaaaaa9a,
    467   0x7fffff81, 0x7fffff83, 0x7ffffff1, 0xaaaaaaa7,
    468   0x7fffff82, 0x7ffffff0, 0x7ffffffe, 0xaaaaaaa8,
    469   0x7fffffef, 0x7ffffffd, 0x7fffffff, 0xaaaaaaa9,
    470   0x7ffffffd, 0x7fffffff, 0xaaaaaaa9, 0xcccccccc,
    471   0x7ffffffe, 0x80000000, 0xaaaaaaaa, 0xcccccccd,
    472   0x7fffffff, 0x80000001, 0xaaaaaaab, 0xccccccce,
    473   0x80000000, 0x80000002, 0xaaaaaaac, 0xccccccdc,
    474   0x80000001, 0x80000003, 0xaaaaaaba, 0xcccccd49,
    475   0x80000002, 0x80000011, 0xaaaaab27, 0xcccccd4a,
    476   0x80000010, 0x8000007e, 0xaaaaab28, 0xcccccd4b,
    477   0x8000007d, 0x8000007f, 0xaaaaab29, 0xccccffff,
    478   0x8000007e, 0x80000080, 0xaaaadddd, 0xcccd2221,
    479   0x8000007f, 0x80003334, 0xaaaaffff, 0xcccd4cc9,
    480   0x80003333, 0x80005556, 0xaaab2aa7, 0xcccd4cca,
    481   0x80005555, 0x80007ffe, 0xaaab2aa8, 0xcccd4ccb,
    482   0x80007ffd, 0x80007fff, 0xaaab2aa9, 0xcccc4ccc,
    483   0x80007ffe, 0x80008000, 0xaaaa2aaa, 0xcccc4ccd,
    484   0x80007fff, 0x7fff8001, 0xaaaa2aab, 0xcccc7776,
    485   0x7fff8000, 0x7fff8002, 0xaaaa5554, 0xcccc9998,
    486   0x7fff8001, 0x7fffaaab, 0xaaaa7776, 0xcccccc4c,
    487   0x7fffaaaa, 0x7fffcccd, 0xaaaaaa2a, 0xcccccc4d,
    488   0x7fffcccc, 0x7fffff81, 0xaaaaaa2b, 0xcccccc4e,
    489   0x7fffff80, 0x7fffff82, 0xaaaaaa2c, 0xcccccc4f,
    490   0x7fffff81, 0x7fffff83, 0xaaaaaa2d, 0xccccccbc,
    491   0x7fffff82, 0x7fffff84, 0xaaaaaa9a, 0xccccccc9,
    492   0x7fffff83, 0x7ffffff1, 0xaaaaaaa7, 0xccccccca,
    493   0x7ffffff0, 0x7ffffffe, 0xaaaaaaa8, 0xcccccccb,
    494   0x7ffffffe, 0xaaaaaaa8, 0xcccccccb, 0xffff8000,
    495   0x7fffffff, 0xaaaaaaa9, 0xcccccccc, 0xffff8001,
    496   0x80000000, 0xaaaaaaaa, 0xcccccccd, 0xffff8002,
    497   0x80000001, 0xaaaaaaab, 0xccccccce, 0xffff8010,
    498   0x80000002, 0xaaaaaaac, 0xccccccdc, 0xffff807d,
    499   0x80000003, 0xaaaaaaba, 0xcccccd49, 0xffff807e,
    500   0x80000011, 0xaaaaab27, 0xcccccd4a, 0xffff807f,
    501   0x8000007e, 0xaaaaab28, 0xcccccd4b, 0xffffb333,
    502   0x8000007f, 0xaaaaab29, 0xccccffff, 0xffffd555,
    503   0x80000080, 0xaaaadddd, 0xcccd2221, 0xfffffffd,
    504   0x80003334, 0xaaaaffff, 0xcccd4cc9, 0xfffffffe,
    505   0x80005556, 0xaaab2aa7, 0xcccd4cca, 0xffffffff,
    506   0x80007ffe, 0xaaab2aa8, 0xcccd4ccb, 0xffff0000,
    507   0x80007fff, 0xaaab2aa9, 0xcccc4ccc, 0xffff0001,
    508   0x80008000, 0xaaaa2aaa, 0xcccc4ccd, 0xffff2aaa,
    509   0x7fff8001, 0xaaaa2aab, 0xcccc7776, 0xffff4ccc,
    510   0x7fff8002, 0xaaaa5554, 0xcccc9998, 0xffff7f80,
    511   0x7fffaaab, 0xaaaa7776, 0xcccccc4c, 0xffff7f81,
    512   0x7fffcccd, 0xaaaaaa2a, 0xcccccc4d, 0xffff7f82,
    513   0x7fffff81, 0xaaaaaa2b, 0xcccccc4e, 0xffff7f83,
    514   0x7fffff82, 0xaaaaaa2c, 0xcccccc4f, 0xffff7ff0,
    515   0x7fffff83, 0xaaaaaa2d, 0xccccccbc, 0xffff7ffd,
    516   0x7fffff84, 0xaaaaaa9a, 0xccccccc9, 0xffff7ffe,
    517   0x7ffffff1, 0xaaaaaaa7, 0xccccccca, 0xffff7fff,
    518   0xaaaaaaa7, 0xccccccca, 0xffff7fff, 0xffff8001,
    519   0xaaaaaaa8, 0xcccccccb, 0xffff8000, 0xffff8002,
    520   0xaaaaaaa9, 0xcccccccc, 0xffff8001, 0xffff8003,
    521   0xaaaaaaaa, 0xcccccccd, 0xffff8002, 0xffff8011,
    522   0xaaaaaaab, 0xccccccce, 0xffff8010, 0xffff807e,
    523   0xaaaaaaac, 0xccccccdc, 0xffff807d, 0xffff807f,
    524   0xaaaaaaba, 0xcccccd49, 0xffff807e, 0xffff8080,
    525   0xaaaaab27, 0xcccccd4a, 0xffff807f, 0xffffb334,
    526   0xaaaaab28, 0xcccccd4b, 0xffffb333, 0xffffd556,
    527   0xaaaaab29, 0xccccffff, 0xffffd555, 0xfffffffe,
    528   0xaaaadddd, 0xcccd2221, 0xfffffffd, 0xffffffff,
    529   0xaaaaffff, 0xcccd4cc9, 0xfffffffe, 0x00000000,
    530   0xaaab2aa7, 0xcccd4cca, 0xffffffff, 0xffff0001,
    531   0xaaab2aa8, 0xcccd4ccb, 0xffff0000, 0xffff0002,
    532   0xaaab2aa9, 0xcccc4ccc, 0xffff0001, 0xffff2aab,
    533   0xaaaa2aaa, 0xcccc4ccd, 0xffff2aaa, 0xffff4ccd,
    534   0xaaaa2aab, 0xcccc7776, 0xffff4ccc, 0xffff7f81,
    535   0xaaaa5554, 0xcccc9998, 0xffff7f80, 0xffff7f82,
    536   0xaaaa7776, 0xcccccc4c, 0xffff7f81, 0xffff7f83,
    537   0xaaaaaa2a, 0xcccccc4d, 0xffff7f82, 0xffff7f84,
    538   0xaaaaaa2b, 0xcccccc4e, 0xffff7f83, 0xffff7ff1,
    539   0xaaaaaa2c, 0xcccccc4f, 0xffff7ff0, 0xffff7ffe,
    540   0xaaaaaa2d, 0xccccccbc, 0xffff7ffd, 0xffff7fff,
    541   0xaaaaaa9a, 0xccccccc9, 0xffff7ffe, 0xffff8000,
    542   0xccccccc9, 0xffff7ffe, 0xffff8000, 0xffff8002,
    543   0xccccccca, 0xffff7fff, 0xffff8001, 0xffff8003,
    544   0xcccccccb, 0xffff8000, 0xffff8002, 0xffff8004,
    545   0xcccccccc, 0xffff8001, 0xffff8003, 0xffff8012,
    546   0xcccccccd, 0xffff8002, 0xffff8011, 0xffff807f,
    547   0xccccccce, 0xffff8010, 0xffff807e, 0xffff8080,
    548   0xccccccdc, 0xffff807d, 0xffff807f, 0xffff8081,
    549   0xcccccd49, 0xffff807e, 0xffff8080, 0xffffb335,
    550   0xcccccd4a, 0xffff807f, 0xffffb334, 0xffffd557,
    551   0xcccccd4b, 0xffffb333, 0xffffd556, 0xffffffff,
    552   0xccccffff, 0xffffd555, 0xfffffffe, 0x00000000,
    553   0xcccd2221, 0xfffffffd, 0xffffffff, 0x00000001,
    554   0xcccd4cc9, 0xfffffffe, 0x00000000, 0xffff0002,
    555   0xcccd4cca, 0xffffffff, 0xffff0001, 0xffff0003,
    556   0xcccd4ccb, 0xffff0000, 0xffff0002, 0xffff2aac,
    557   0xcccc4ccc, 0xffff0001, 0xffff2aab, 0xffff4cce,
    558   0xcccc4ccd, 0xffff2aaa, 0xffff4ccd, 0xffff7f82,
    559   0xcccc7776, 0xffff4ccc, 0xffff7f81, 0xffff7f83,
    560   0xcccc9998, 0xffff7f80, 0xffff7f82, 0xffff7f84,
    561   0xcccccc4c, 0xffff7f81, 0xffff7f83, 0xffff7f85,
    562   0xcccccc4d, 0xffff7f82, 0xffff7f84, 0xffff7ff2,
    563   0xcccccc4e, 0xffff7f83, 0xffff7ff1, 0xffff7fff,
    564   0xcccccc4f, 0xffff7ff0, 0xffff7ffe, 0xffff8000,
    565   0xccccccbc, 0xffff7ffd, 0xffff7fff, 0xffff8001,
    566   0xffff7ffd, 0xffff7fff, 0xffff8001, 0xffff8003,
    567   0xffff7ffe, 0xffff8000, 0xffff8002, 0xffff8004,
    568   0xffff7fff, 0xffff8001, 0xffff8003, 0xffff8005,
    569   0xffff8000, 0xffff8002, 0xffff8004, 0xffff8013,
    570   0xffff8001, 0xffff8003, 0xffff8012, 0xffff8080,
    571   0xffff8002, 0xffff8011, 0xffff807f, 0xffff8081,
    572   0xffff8010, 0xffff807e, 0xffff8080, 0xffff8082,
    573   0xffff807d, 0xffff807f, 0xffff8081, 0xffffb336,
    574   0xffff807e, 0xffff8080, 0xffffb335, 0xffffd558,
    575   0xffff807f, 0xffffb334, 0xffffd557, 0x00000000,
    576   0xffffb333, 0xffffd556, 0xffffffff, 0x00000001,
    577   0xffffd555, 0xfffffffe, 0x00000000, 0x00000002,
    578   0xfffffffd, 0xffffffff, 0x00000001, 0xffff0003,
    579   0xfffffffe, 0x00000000, 0xffff0002, 0xffff0004,
    580   0xffffffff, 0xffff0001, 0xffff0003, 0xffff2aad,
    581   0xffff0000, 0xffff0002, 0xffff2aac, 0xffff4ccf,
    582   0xffff0001, 0xffff2aab, 0xffff4cce, 0xffff7f83,
    583   0xffff2aaa, 0xffff4ccd, 0xffff7f82, 0xffff7f84,
    584   0xffff4ccc, 0xffff7f81, 0xffff7f83, 0xffff7f85,
    585   0xffff7f80, 0xffff7f82, 0xffff7f84, 0xffff7f86,
    586   0xffff7f81, 0xffff7f83, 0xffff7f85, 0xffff7ff3,
    587   0xffff7f82, 0xffff7f84, 0xffff7ff2, 0xffff8000,
    588   0xffff7f83, 0xffff7ff1, 0xffff7fff, 0xffff8001,
    589   0xffff7ff0, 0xffff7ffe, 0xffff8000, 0xffff8002,
    590   0xffff7ffe, 0xffff8000, 0xffff8002, 0xffffff80,
    591   0xffff7fff, 0xffff8001, 0xffff8003, 0xffffff81,
    592   0xffff8000, 0xffff8002, 0xffff8004, 0xffffff82,
    593   0xffff8001, 0xffff8003, 0xffff8005, 0xffffff90,
    594   0xffff8002, 0xffff8004, 0xffff8013, 0xfffffffd,
    595   0xffff8003, 0xffff8012, 0xffff8080, 0xfffffffe,
    596   0xffff8011, 0xffff807f, 0xffff8081, 0xffffffff,
    597   0xffff807e, 0xffff8080, 0xffff8082, 0x000032b3,
    598   0xffff807f, 0xffff8081, 0xffffb336, 0x000054d5,
    599   0xffff8080, 0xffffb335, 0xffffd558, 0x00007f7d,
    600   0xffffb334, 0xffffd557, 0x00000000, 0x00007f7e,
    601   0xffffd556, 0xffffffff, 0x00000001, 0x00007f7f,
    602   0xfffffffe, 0x00000000, 0x00000002, 0xffff7f80,
    603   0xffffffff, 0x00000001, 0xffff0003, 0xffff7f81,
    604   0x00000000, 0xffff0002, 0xffff0004, 0xffffaa2a,
    605   0xffff0001, 0xffff0003, 0xffff2aad, 0xffffcc4c,
    606   0xffff0002, 0xffff2aac, 0xffff4ccf, 0xffffff00,
    607   0xffff2aab, 0xffff4cce, 0xffff7f83, 0xffffff01,
    608   0xffff4ccd, 0xffff7f82, 0xffff7f84, 0xffffff02,
    609   0xffff7f81, 0xffff7f83, 0xffff7f85, 0xffffff03,
    610   0xffff7f82, 0xffff7f84, 0xffff7f86, 0xffffff70,
    611   0xffff7f83, 0xffff7f85, 0xffff7ff3, 0xffffff7d,
    612   0xffff7f84, 0xffff7ff2, 0xffff8000, 0xffffff7e,
    613   0xffff7ff1, 0xffff7fff, 0xffff8001, 0xffffff7f,
    614   0xffff7fff, 0xffff8001, 0xffffff7f, 0xffffff81,
    615   0xffff8000, 0xffff8002, 0xffffff80, 0xffffff82,
    616   0xffff8001, 0xffff8003, 0xffffff81, 0xffffff83,
    617   0xffff8002, 0xffff8004, 0xffffff82, 0xffffff91,
    618   0xffff8003, 0xffff8005, 0xffffff90, 0xfffffffe,
    619   0xffff8004, 0xffff8013, 0xfffffffd, 0xffffffff,
    620   0xffff8012, 0xffff8080, 0xfffffffe, 0x00000000,
    621   0xffff807f, 0xffff8081, 0xffffffff, 0x000032b4,
    622   0xffff8080, 0xffff8082, 0x000032b3, 0x000054d6,
    623   0xffff8081, 0xffffb336, 0x000054d5, 0x00007f7e,
    624   0xffffb335, 0xffffd558, 0x00007f7d, 0x00007f7f,
    625   0xffffd557, 0x00000000, 0x00007f7e, 0x00007f80,
    626   0xffffffff, 0x00000001, 0x00007f7f, 0xffff7f81,
    627   0x00000000, 0x00000002, 0xffff7f80, 0xffff7f82,
    628   0x00000001, 0xffff0003, 0xffff7f81, 0xffffaa2b,
    629   0xffff0002, 0xffff0004, 0xffffaa2a, 0xffffcc4d,
    630   0xffff0003, 0xffff2aad, 0xffffcc4c, 0xffffff01,
    631   0xffff2aac, 0xffff4ccf, 0xffffff00, 0xffffff02,
    632   0xffff4cce, 0xffff7f83, 0xffffff01, 0xffffff03,
    633   0xffff7f82, 0xffff7f84, 0xffffff02, 0xffffff04,
    634   0xffff7f83, 0xffff7f85, 0xffffff03, 0xffffff71,
    635   0xffff7f84, 0xffff7f86, 0xffffff70, 0xffffff7e,
    636   0xffff7f85, 0xffff7ff3, 0xffffff7d, 0xffffff7f,
    637   0xffff7ff2, 0xffff8000, 0xffffff7e, 0xffffff80,
    638   0xffff8000, 0xffffff7e, 0xffffff80, 0xffffff82,
    639   0xffff8001, 0xffffff7f, 0xffffff81, 0xffffff83,
    640   0xffff8002, 0xffffff80, 0xffffff82, 0xffffff84,
    641   0xffff8003, 0xffffff81, 0xffffff83, 0xffffff92,
    642   0xffff8004, 0xffffff82, 0xffffff91, 0xffffffff,
    643   0xffff8005, 0xffffff90, 0xfffffffe, 0x00000000,
    644   0xffff8013, 0xfffffffd, 0xffffffff, 0x00000001,
    645   0xffff8080, 0xfffffffe, 0x00000000, 0x000032b5,
    646   0xffff8081, 0xffffffff, 0x000032b4, 0x000054d7,
    647   0xffff8082, 0x000032b3, 0x000054d6, 0x00007f7f,
    648   0xffffb336, 0x000054d5, 0x00007f7e, 0x00007f80,
    649   0xffffd558, 0x00007f7d, 0x00007f7f, 0x00007f81,
    650   0x00000000, 0x00007f7e, 0x00007f80, 0xffff7f82,
    651   0x00000001, 0x00007f7f, 0xffff7f81, 0xffff7f83,
    652   0x00000002, 0xffff7f80, 0xffff7f82, 0xffffaa2c,
    653   0xffff0003, 0xffff7f81, 0xffffaa2b, 0xffffcc4e,
    654   0xffff0004, 0xffffaa2a, 0xffffcc4d, 0xffffff02,
    655   0xffff2aad, 0xffffcc4c, 0xffffff01, 0xffffff03,
    656   0xffff4ccf, 0xffffff00, 0xffffff02, 0xffffff04,
    657   0xffff7f83, 0xffffff01, 0xffffff03, 0xffffff05,
    658   0xffff7f84, 0xffffff02, 0xffffff04, 0xffffff72,
    659   0xffff7f85, 0xffffff03, 0xffffff71, 0xffffff7f,
    660   0xffff7f86, 0xffffff70, 0xffffff7e, 0xffffff80,
    661   0xffff7ff3, 0xffffff7d, 0xffffff7f, 0xffffff81,
    662   0xffffff7d, 0xffffff7f, 0xffffff81, 0xffffff83,
    663   0xffffff7e, 0xffffff80, 0xffffff82, 0xffffff84,
    664   0xffffff7f, 0xffffff81, 0xffffff83, 0xffffff85,
    665   0xffffff80, 0xffffff82, 0xffffff84, 0xffffff93,
    666   0xffffff81, 0xffffff83, 0xffffff92, 0x00000000,
    667   0xffffff82, 0xffffff91, 0xffffffff, 0x00000001,
    668   0xffffff90, 0xfffffffe, 0x00000000, 0x00000002,
    669   0xfffffffd, 0xffffffff, 0x00000001, 0x000032b6,
    670   0xfffffffe, 0x00000000, 0x000032b5, 0x000054d8,
    671   0xffffffff, 0x000032b4, 0x000054d7, 0x00007f80,
    672   0x000032b3, 0x000054d6, 0x00007f7f, 0x00007f81,
    673   0x000054d5, 0x00007f7e, 0x00007f80, 0x00007f82,
    674   0x00007f7d, 0x00007f7f, 0x00007f81, 0xffff7f83,
    675   0x00007f7e, 0x00007f80, 0xffff7f82, 0xffff7f84,
    676   0x00007f7f, 0xffff7f81, 0xffff7f83, 0xffffaa2d,
    677   0xffff7f80, 0xffff7f82, 0xffffaa2c, 0xffffcc4f,
    678   0xffff7f81, 0xffffaa2b, 0xffffcc4e, 0xffffff03,
    679   0xffffaa2a, 0xffffcc4d, 0xffffff02, 0xffffff04,
    680   0xffffcc4c, 0xffffff01, 0xffffff03, 0xffffff05,
    681   0xffffff00, 0xffffff02, 0xffffff04, 0xffffff06,
    682   0xffffff01, 0xffffff03, 0xffffff05, 0xffffff73,
    683   0xffffff02, 0xffffff04, 0xffffff72, 0xffffff80,
    684   0xffffff03, 0xffffff71, 0xffffff7f, 0xffffff81,
    685   0xffffff70, 0xffffff7e, 0xffffff80, 0xffffff82,
    686   0xffffff7e, 0xffffff80, 0xffffff82, 0xffffffe0,
    687   0xffffff7f, 0xffffff81, 0xffffff83, 0xffffffe1,
    688   0xffffff80, 0xffffff82, 0xffffff84, 0xffffffe2,
    689   0xffffff81, 0xffffff83, 0xffffff85, 0xfffffff0,
    690   0xffffff82, 0xffffff84, 0xffffff93, 0x0000005d,
    691   0xffffff83, 0xffffff92, 0x00000000, 0x0000005e,
    692   0xffffff91, 0xffffffff, 0x00000001, 0x0000005f,
    693   0xfffffffe, 0x00000000, 0x00000002, 0x00003313,
    694   0xffffffff, 0x00000001, 0x000032b6, 0x00005535,
    695   0x00000000, 0x000032b5, 0x000054d8, 0x00007fdd,
    696   0x000032b4, 0x000054d7, 0x00007f80, 0x00007fde,
    697   0x000054d6, 0x00007f7f, 0x00007f81, 0x00007fdf,
    698   0x00007f7e, 0x00007f80, 0x00007f82, 0xffff7fe0,
    699   0x00007f7f, 0x00007f81, 0xffff7f83, 0xffff7fe1,
    700   0x00007f80, 0xffff7f82, 0xffff7f84, 0xffffaa8a,
    701   0xffff7f81, 0xffff7f83, 0xffffaa2d, 0xffffccac,
    702   0xffff7f82, 0xffffaa2c, 0xffffcc4f, 0xffffff60,
    703   0xffffaa2b, 0xffffcc4e, 0xffffff03, 0xffffff61,
    704   0xffffcc4d, 0xffffff02, 0xffffff04, 0xffffff62,
    705   0xffffff01, 0xffffff03, 0xffffff05, 0xffffff63,
    706   0xffffff02, 0xffffff04, 0xffffff06, 0xffffffd0,
    707   0xffffff03, 0xffffff05, 0xffffff73, 0xffffffdd,
    708   0xffffff04, 0xffffff72, 0xffffff80, 0xffffffde,
    709   0xffffff71, 0xffffff7f, 0xffffff81, 0xffffffdf,
    710   0xffffff7f, 0xffffff81, 0xffffffdf, 0xfffffffd,
    711   0xffffff80, 0xffffff82, 0xffffffe0, 0xfffffffe,
    712   0xffffff81, 0xffffff83, 0xffffffe1, 0xffffffff,
    713   0xffffff82, 0xffffff84, 0xffffffe2, 0x0000000d,
    714   0xffffff83, 0xffffff85, 0xfffffff0, 0x0000007a,
    715   0xffffff84, 0xffffff93, 0x0000005d, 0x0000007b,
    716   0xffffff92, 0x00000000, 0x0000005e, 0x0000007c,
    717   0xffffffff, 0x00000001, 0x0000005f, 0x00003330,
    718   0x00000000, 0x00000002, 0x00003313, 0x00005552,
    719   0x00000001, 0x000032b6, 0x00005535, 0x00007ffa,
    720   0x000032b5, 0x000054d8, 0x00007fdd, 0x00007ffb,
    721   0x000054d7, 0x00007f80, 0x00007fde, 0x00007ffc,
    722   0x00007f7f, 0x00007f81, 0x00007fdf, 0xffff7ffd,
    723   0x00007f80, 0x00007f82, 0xffff7fe0, 0xffff7ffe,
    724   0x00007f81, 0xffff7f83, 0xffff7fe1, 0xffffaaa7,
    725   0xffff7f82, 0xffff7f84, 0xffffaa8a, 0xffffccc9,
    726   0xffff7f83, 0xffffaa2d, 0xffffccac, 0xffffff7d,
    727   0xffffaa2c, 0xffffcc4f, 0xffffff60, 0xffffff7e,
    728   0xffffcc4e, 0xffffff03, 0xffffff61, 0xffffff7f,
    729   0xffffff02, 0xffffff04, 0xffffff62, 0xffffff80,
    730   0xffffff03, 0xffffff05, 0xffffff63, 0xffffffed,
    731   0xffffff04, 0xffffff06, 0xffffffd0, 0xfffffffa,
    732   0xffffff05, 0xffffff73, 0xffffffdd, 0xfffffffb,
    733   0xffffff72, 0xffffff80, 0xffffffde, 0xfffffffc,
    734   0xffffff80, 0xffffffde, 0xfffffffc, 0xfffffffe,
    735   0xffffff81, 0xffffffdf, 0xfffffffd, 0xffffffff,
    736   0xffffff82, 0xffffffe0, 0xfffffffe, 0x00000000,
    737   0xffffff83, 0xffffffe1, 0xffffffff, 0x0000000e,
    738   0xffffff84, 0xffffffe2, 0x0000000d, 0x0000007b,
    739   0xffffff85, 0xfffffff0, 0x0000007a, 0x0000007c,
    740   0xffffff93, 0x0000005d, 0x0000007b, 0x0000007d,
    741   0x00000000, 0x0000005e, 0x0000007c, 0x00003331,
    742   0x00000001, 0x0000005f, 0x00003330, 0x00005553,
    743   0x00000002, 0x00003313, 0x00005552, 0x00007ffb,
    744   0x000032b6, 0x00005535, 0x00007ffa, 0x00007ffc,
    745   0x000054d8, 0x00007fdd, 0x00007ffb, 0x00007ffd,
    746   0x00007f80, 0x00007fde, 0x00007ffc, 0xffff7ffe,
    747   0x00007f81, 0x00007fdf, 0xffff7ffd, 0xffff7fff,
    748   0x00007f82, 0xffff7fe0, 0xffff7ffe, 0xffffaaa8,
    749   0xffff7f83, 0xffff7fe1, 0xffffaaa7, 0xffffccca,
    750   0xffff7f84, 0xffffaa8a, 0xffffccc9, 0xffffff7e,
    751   0xffffaa2d, 0xffffccac, 0xffffff7d, 0xffffff7f,
    752   0xffffcc4f, 0xffffff60, 0xffffff7e, 0xffffff80,
    753   0xffffff03, 0xffffff61, 0xffffff7f, 0xffffff81,
    754   0xffffff04, 0xffffff62, 0xffffff80, 0xffffffee,
    755   0xffffff05, 0xffffff63, 0xffffffed, 0xfffffffb,
    756   0xffffff06, 0xffffffd0, 0xfffffffa, 0xfffffffc,
    757   0xffffff73, 0xffffffdd, 0xfffffffb, 0xfffffffd,
    758   0xffffffdd, 0xfffffffb, 0xfffffffd, 0xffffffff,
    759   0xffffffde, 0xfffffffc, 0xfffffffe, 0x00000000,
    760   0xffffffdf, 0xfffffffd, 0xffffffff, 0x00000001,
    761   0xffffffe0, 0xfffffffe, 0x00000000, 0x0000000f,
    762   0xffffffe1, 0xffffffff, 0x0000000e, 0x0000007c,
    763   0xffffffe2, 0x0000000d, 0x0000007b, 0x0000007d,
    764   0xfffffff0, 0x0000007a, 0x0000007c, 0x0000007e,
    765   0x0000005d, 0x0000007b, 0x0000007d, 0x00003332,
    766   0x0000005e, 0x0000007c, 0x00003331, 0x00005554,
    767   0x0000005f, 0x00003330, 0x00005553, 0x00007ffc,
    768   0x00003313, 0x00005552, 0x00007ffb, 0x00007ffd,
    769   0x00005535, 0x00007ffa, 0x00007ffc, 0x00007ffe,
    770   0x00007fdd, 0x00007ffb, 0x00007ffd, 0xffff7fff,
    771   0x00007fde, 0x00007ffc, 0xffff7ffe, 0xffff8000,
    772   0x00007fdf, 0xffff7ffd, 0xffff7fff, 0xffffaaa9,
    773   0xffff7fe0, 0xffff7ffe, 0xffffaaa8, 0xffffcccb,
    774   0xffff7fe1, 0xffffaaa7, 0xffffccca, 0xffffff7f,
    775   0xffffaa8a, 0xffffccc9, 0xffffff7e, 0xffffff80,
    776   0xffffccac, 0xffffff7d, 0xffffff7f, 0xffffff81,
    777   0xffffff60, 0xffffff7e, 0xffffff80, 0xffffff82,
    778   0xffffff61, 0xffffff7f, 0xffffff81, 0xffffffef,
    779   0xffffff62, 0xffffff80, 0xffffffee, 0xfffffffc,
    780   0xffffff63, 0xffffffed, 0xfffffffb, 0xfffffffd,
    781   0xffffffd0, 0xfffffffa, 0xfffffffc, 0xfffffffe,
    782 };
    783 const unsigned kExpectedCount_NEON_saddw2_4S = 744;
    784 
    785 #endif  // VIXL_SIM_SADDW2_4S_TRACE_AARCH64_H_
    786