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_USUBW2_4S_TRACE_AARCH64_H_
     35 #define VIXL_SIM_USUBW2_4S_TRACE_AARCH64_H_
     36 
     37 const uint32_t kExpected_NEON_usubw2_4S[] = {
     38   0xfffffe03, 0xffffff02, 0x007f7d01, 0x00000000,
     39   0xfffffe02, 0xffffff01, 0x007ffd00, 0xffffffff,
     40   0xfffffe01, 0x00007f00, 0x007ffcff, 0xfffffffe,
     41   0x00007e00, 0x00007eff, 0x007ffcfe, 0xfffffff0,
     42   0x00007dff, 0x00007efe, 0x007ffcf0, 0xffffff83,
     43   0x00007dfe, 0x00007ef0, 0x007ffc83, 0xffffff82,
     44   0x00007df0, 0x00007e83, 0x007ffc82, 0xffffff81,
     45   0x00007d83, 0x00007e82, 0x007ffc81, 0xffffcccd,
     46   0x00007d82, 0x00007e81, 0x007fc9cd, 0xffffaaab,
     47   0x00007d81, 0x00004bcd, 0x007fa7ab, 0xffff8003,
     48   0x00004acd, 0x000029ab, 0x007f7d03, 0xffff8002,
     49   0x000028ab, 0xffffff03, 0x007f7d02, 0xffff8001,
     50   0xfffffe03, 0xffffff02, 0x007f7d01, 0xffff8000,
     51   0xfffffe02, 0xffffff01, 0x007f7d00, 0xffff7fff,
     52   0xfffffe01, 0xffffff00, 0x007f7cff, 0xffff5556,
     53   0xfffffe00, 0xfffffeff, 0x007f5256, 0xffff3334,
     54   0xfffffdff, 0xffffd456, 0x007f3034, 0xffff0080,
     55   0xffffd356, 0xffffb234, 0x007efd80, 0xffff007f,
     56   0xffffb134, 0xffff7f80, 0x007efd7f, 0xffff007e,
     57   0xffff7e80, 0xffff7f7f, 0x007efd7e, 0xffff007d,
     58   0xffff7e7f, 0xffff7f7e, 0x007efd7d, 0xffff0010,
     59   0xffff7e7e, 0xffff7f7d, 0x007efd10, 0xffff0003,
     60   0xffff7e7d, 0xffff7f10, 0x007efd03, 0xffff0002,
     61   0xffff7e10, 0xffff7f03, 0x007efd02, 0xffff0001,
     62   0xffff7f03, 0x007efd02, 0xffff0001, 0x00000001,
     63   0xffff7f02, 0x007efd01, 0x00000000, 0x00000000,
     64   0xffff7f01, 0x007ffd00, 0xffffffff, 0xffffffff,
     65   0x00007f00, 0x007ffcff, 0xfffffffe, 0xfffffff1,
     66   0x00007eff, 0x007ffcfe, 0xfffffff0, 0xffffff84,
     67   0x00007efe, 0x007ffcf0, 0xffffff83, 0xffffff83,
     68   0x00007ef0, 0x007ffc83, 0xffffff82, 0xffffff82,
     69   0x00007e83, 0x007ffc82, 0xffffff81, 0xffffccce,
     70   0x00007e82, 0x007ffc81, 0xffffcccd, 0xffffaaac,
     71   0x00007e81, 0x007fc9cd, 0xffffaaab, 0xffff8004,
     72   0x00004bcd, 0x007fa7ab, 0xffff8003, 0xffff8003,
     73   0x000029ab, 0x007f7d03, 0xffff8002, 0xffff8002,
     74   0xffffff03, 0x007f7d02, 0xffff8001, 0xffff8001,
     75   0xffffff02, 0x007f7d01, 0xffff8000, 0xffff8000,
     76   0xffffff01, 0x007f7d00, 0xffff7fff, 0xffff5557,
     77   0xffffff00, 0x007f7cff, 0xffff5556, 0xffff3335,
     78   0xfffffeff, 0x007f5256, 0xffff3334, 0xffff0081,
     79   0xffffd456, 0x007f3034, 0xffff0080, 0xffff0080,
     80   0xffffb234, 0x007efd80, 0xffff007f, 0xffff007f,
     81   0xffff7f80, 0x007efd7f, 0xffff007e, 0xffff007e,
     82   0xffff7f7f, 0x007efd7e, 0xffff007d, 0xffff0011,
     83   0xffff7f7e, 0x007efd7d, 0xffff0010, 0xffff0004,
     84   0xffff7f7d, 0x007efd10, 0xffff0003, 0xffff0003,
     85   0xffff7f10, 0x007efd03, 0xffff0002, 0xffff0002,
     86   0x007efd03, 0xffff0002, 0xffff0002, 0x00000002,
     87   0x007efd02, 0xffff0001, 0x00000001, 0x00000001,
     88   0x007efd01, 0x00000000, 0x00000000, 0x00000000,
     89   0x007ffd00, 0xffffffff, 0xffffffff, 0xfffffff2,
     90   0x007ffcff, 0xfffffffe, 0xfffffff1, 0xffffff85,
     91   0x007ffcfe, 0xfffffff0, 0xffffff84, 0xffffff84,
     92   0x007ffcf0, 0xffffff83, 0xffffff83, 0xffffff83,
     93   0x007ffc83, 0xffffff82, 0xffffff82, 0xffffcccf,
     94   0x007ffc82, 0xffffff81, 0xffffccce, 0xffffaaad,
     95   0x007ffc81, 0xffffcccd, 0xffffaaac, 0xffff8005,
     96   0x007fc9cd, 0xffffaaab, 0xffff8004, 0xffff8004,
     97   0x007fa7ab, 0xffff8003, 0xffff8003, 0xffff8003,
     98   0x007f7d03, 0xffff8002, 0xffff8002, 0xffff8002,
     99   0x007f7d02, 0xffff8001, 0xffff8001, 0xffff8001,
    100   0x007f7d01, 0xffff8000, 0xffff8000, 0xffff5558,
    101   0x007f7d00, 0xffff7fff, 0xffff5557, 0xffff3336,
    102   0x007f7cff, 0xffff5556, 0xffff3335, 0xffff0082,
    103   0x007f5256, 0xffff3334, 0xffff0081, 0xffff0081,
    104   0x007f3034, 0xffff0080, 0xffff0080, 0xffff0080,
    105   0x007efd80, 0xffff007f, 0xffff007f, 0xffff007f,
    106   0x007efd7f, 0xffff007e, 0xffff007e, 0xffff0012,
    107   0x007efd7e, 0xffff007d, 0xffff0011, 0xffff0005,
    108   0x007efd7d, 0xffff0010, 0xffff0004, 0xffff0004,
    109   0x007efd10, 0xffff0003, 0xffff0003, 0xffff0003,
    110   0xffff0003, 0xffff0003, 0xffff0003, 0x00000020,
    111   0xffff0002, 0xffff0002, 0x00000002, 0x0000001f,
    112   0xffff0001, 0x00000001, 0x00000001, 0x0000001e,
    113   0x00000000, 0x00000000, 0x00000000, 0x00000010,
    114   0xffffffff, 0xffffffff, 0xfffffff2, 0xffffffa3,
    115   0xfffffffe, 0xfffffff1, 0xffffff85, 0xffffffa2,
    116   0xfffffff0, 0xffffff84, 0xffffff84, 0xffffffa1,
    117   0xffffff83, 0xffffff83, 0xffffff83, 0xffffcced,
    118   0xffffff82, 0xffffff82, 0xffffcccf, 0xffffaacb,
    119   0xffffff81, 0xffffccce, 0xffffaaad, 0xffff8023,
    120   0xffffcccd, 0xffffaaac, 0xffff8005, 0xffff8022,
    121   0xffffaaab, 0xffff8004, 0xffff8004, 0xffff8021,
    122   0xffff8003, 0xffff8003, 0xffff8003, 0xffff8020,
    123   0xffff8002, 0xffff8002, 0xffff8002, 0xffff801f,
    124   0xffff8001, 0xffff8001, 0xffff8001, 0xffff5576,
    125   0xffff8000, 0xffff8000, 0xffff5558, 0xffff3354,
    126   0xffff7fff, 0xffff5557, 0xffff3336, 0xffff00a0,
    127   0xffff5556, 0xffff3335, 0xffff0082, 0xffff009f,
    128   0xffff3334, 0xffff0081, 0xffff0081, 0xffff009e,
    129   0xffff0080, 0xffff0080, 0xffff0080, 0xffff009d,
    130   0xffff007f, 0xffff007f, 0xffff007f, 0xffff0030,
    131   0xffff007e, 0xffff007e, 0xffff0012, 0xffff0023,
    132   0xffff007d, 0xffff0011, 0xffff0005, 0xffff0022,
    133   0xffff0010, 0xffff0004, 0xffff0004, 0xffff0021,
    134   0xffff0004, 0xffff0004, 0xffff0021, 0x0000007d,
    135   0xffff0003, 0xffff0003, 0x00000020, 0x0000007c,
    136   0xffff0002, 0x00000002, 0x0000001f, 0x0000007b,
    137   0x00000001, 0x00000001, 0x0000001e, 0x0000006d,
    138   0x00000000, 0x00000000, 0x00000010, 0x00000000,
    139   0xffffffff, 0xfffffff2, 0xffffffa3, 0xffffffff,
    140   0xfffffff1, 0xffffff85, 0xffffffa2, 0xfffffffe,
    141   0xffffff84, 0xffffff84, 0xffffffa1, 0xffffcd4a,
    142   0xffffff83, 0xffffff83, 0xffffcced, 0xffffab28,
    143   0xffffff82, 0xffffcccf, 0xffffaacb, 0xffff8080,
    144   0xffffccce, 0xffffaaad, 0xffff8023, 0xffff807f,
    145   0xffffaaac, 0xffff8005, 0xffff8022, 0xffff807e,
    146   0xffff8004, 0xffff8004, 0xffff8021, 0xffff807d,
    147   0xffff8003, 0xffff8003, 0xffff8020, 0xffff807c,
    148   0xffff8002, 0xffff8002, 0xffff801f, 0xffff55d3,
    149   0xffff8001, 0xffff8001, 0xffff5576, 0xffff33b1,
    150   0xffff8000, 0xffff5558, 0xffff3354, 0xffff00fd,
    151   0xffff5557, 0xffff3336, 0xffff00a0, 0xffff00fc,
    152   0xffff3335, 0xffff0082, 0xffff009f, 0xffff00fb,
    153   0xffff0081, 0xffff0081, 0xffff009e, 0xffff00fa,
    154   0xffff0080, 0xffff0080, 0xffff009d, 0xffff008d,
    155   0xffff007f, 0xffff007f, 0xffff0030, 0xffff0080,
    156   0xffff007e, 0xffff0012, 0xffff0023, 0xffff007f,
    157   0xffff0011, 0xffff0005, 0xffff0022, 0xffff007e,
    158   0xffff0005, 0xffff0022, 0xffff007e, 0x0000007e,
    159   0xffff0004, 0xffff0021, 0x0000007d, 0x0000007d,
    160   0xffff0003, 0x00000020, 0x0000007c, 0x0000007c,
    161   0x00000002, 0x0000001f, 0x0000007b, 0x0000006e,
    162   0x00000001, 0x0000001e, 0x0000006d, 0x00000001,
    163   0x00000000, 0x00000010, 0x00000000, 0x00000000,
    164   0xfffffff2, 0xffffffa3, 0xffffffff, 0xffffffff,
    165   0xffffff85, 0xffffffa2, 0xfffffffe, 0xffffcd4b,
    166   0xffffff84, 0xffffffa1, 0xffffcd4a, 0xffffab29,
    167   0xffffff83, 0xffffcced, 0xffffab28, 0xffff8081,
    168   0xffffcccf, 0xffffaacb, 0xffff8080, 0xffff8080,
    169   0xffffaaad, 0xffff8023, 0xffff807f, 0xffff807f,
    170   0xffff8005, 0xffff8022, 0xffff807e, 0xffff807e,
    171   0xffff8004, 0xffff8021, 0xffff807d, 0xffff807d,
    172   0xffff8003, 0xffff8020, 0xffff807c, 0xffff55d4,
    173   0xffff8002, 0xffff801f, 0xffff55d3, 0xffff33b2,
    174   0xffff8001, 0xffff5576, 0xffff33b1, 0xffff00fe,
    175   0xffff5558, 0xffff3354, 0xffff00fd, 0xffff00fd,
    176   0xffff3336, 0xffff00a0, 0xffff00fc, 0xffff00fc,
    177   0xffff0082, 0xffff009f, 0xffff00fb, 0xffff00fb,
    178   0xffff0081, 0xffff009e, 0xffff00fa, 0xffff008e,
    179   0xffff0080, 0xffff009d, 0xffff008d, 0xffff0081,
    180   0xffff007f, 0xffff0030, 0xffff0080, 0xffff0080,
    181   0xffff0012, 0xffff0023, 0xffff007f, 0xffff007f,
    182   0xffff0023, 0xffff007f, 0xffff007f, 0x0000007f,
    183   0xffff0022, 0xffff007e, 0x0000007e, 0x0000007e,
    184   0xffff0021, 0x0000007d, 0x0000007d, 0x0000007d,
    185   0x00000020, 0x0000007c, 0x0000007c, 0x0000006f,
    186   0x0000001f, 0x0000007b, 0x0000006e, 0x00000002,
    187   0x0000001e, 0x0000006d, 0x00000001, 0x00000001,
    188   0x00000010, 0x00000000, 0x00000000, 0x00000000,
    189   0xffffffa3, 0xffffffff, 0xffffffff, 0xffffcd4c,
    190   0xffffffa2, 0xfffffffe, 0xffffcd4b, 0xffffab2a,
    191   0xffffffa1, 0xffffcd4a, 0xffffab29, 0xffff8082,
    192   0xffffcced, 0xffffab28, 0xffff8081, 0xffff8081,
    193   0xffffaacb, 0xffff8080, 0xffff8080, 0xffff8080,
    194   0xffff8023, 0xffff807f, 0xffff807f, 0xffff807f,
    195   0xffff8022, 0xffff807e, 0xffff807e, 0xffff807e,
    196   0xffff8021, 0xffff807d, 0xffff807d, 0xffff55d5,
    197   0xffff8020, 0xffff807c, 0xffff55d4, 0xffff33b3,
    198   0xffff801f, 0xffff55d3, 0xffff33b2, 0xffff00ff,
    199   0xffff5576, 0xffff33b1, 0xffff00fe, 0xffff00fe,
    200   0xffff3354, 0xffff00fd, 0xffff00fd, 0xffff00fd,
    201   0xffff00a0, 0xffff00fc, 0xffff00fc, 0xffff00fc,
    202   0xffff009f, 0xffff00fb, 0xffff00fb, 0xffff008f,
    203   0xffff009e, 0xffff00fa, 0xffff008e, 0xffff0082,
    204   0xffff009d, 0xffff008d, 0xffff0081, 0xffff0081,
    205   0xffff0030, 0xffff0080, 0xffff0080, 0xffff0080,
    206   0xffff0080, 0xffff0080, 0xffff0080, 0x00007ffd,
    207   0xffff007f, 0xffff007f, 0x0000007f, 0x00007ffc,
    208   0xffff007e, 0x0000007e, 0x0000007e, 0x00007ffb,
    209   0x0000007d, 0x0000007d, 0x0000007d, 0x00007fed,
    210   0x0000007c, 0x0000007c, 0x0000006f, 0x00007f80,
    211   0x0000007b, 0x0000006e, 0x00000002, 0x00007f7f,
    212   0x0000006d, 0x00000001, 0x00000001, 0x00007f7e,
    213   0x00000000, 0x00000000, 0x00000000, 0x00004cca,
    214   0xffffffff, 0xffffffff, 0xffffcd4c, 0x00002aa8,
    215   0xfffffffe, 0xffffcd4b, 0xffffab2a, 0x00000000,
    216   0xffffcd4a, 0xffffab29, 0xffff8082, 0xffffffff,
    217   0xffffab28, 0xffff8081, 0xffff8081, 0xfffffffe,
    218   0xffff8080, 0xffff8080, 0xffff8080, 0xfffffffd,
    219   0xffff807f, 0xffff807f, 0xffff807f, 0xfffffffc,
    220   0xffff807e, 0xffff807e, 0xffff807e, 0xffffd553,
    221   0xffff807d, 0xffff807d, 0xffff55d5, 0xffffb331,
    222   0xffff807c, 0xffff55d4, 0xffff33b3, 0xffff807d,
    223   0xffff55d3, 0xffff33b2, 0xffff00ff, 0xffff807c,
    224   0xffff33b1, 0xffff00fe, 0xffff00fe, 0xffff807b,
    225   0xffff00fd, 0xffff00fd, 0xffff00fd, 0xffff807a,
    226   0xffff00fc, 0xffff00fc, 0xffff00fc, 0xffff800d,
    227   0xffff00fb, 0xffff00fb, 0xffff008f, 0xffff8000,
    228   0xffff00fa, 0xffff008e, 0xffff0082, 0xffff7fff,
    229   0xffff008d, 0xffff0081, 0xffff0081, 0xffff7ffe,
    230   0xffff0081, 0xffff0081, 0xffff7ffe, 0x00007ffe,
    231   0xffff0080, 0xffff0080, 0x00007ffd, 0x00007ffd,
    232   0xffff007f, 0x0000007f, 0x00007ffc, 0x00007ffc,
    233   0x0000007e, 0x0000007e, 0x00007ffb, 0x00007fee,
    234   0x0000007d, 0x0000007d, 0x00007fed, 0x00007f81,
    235   0x0000007c, 0x0000006f, 0x00007f80, 0x00007f80,
    236   0x0000006e, 0x00000002, 0x00007f7f, 0x00007f7f,
    237   0x00000001, 0x00000001, 0x00007f7e, 0x00004ccb,
    238   0x00000000, 0x00000000, 0x00004cca, 0x00002aa9,
    239   0xffffffff, 0xffffcd4c, 0x00002aa8, 0x00000001,
    240   0xffffcd4b, 0xffffab2a, 0x00000000, 0x00000000,
    241   0xffffab29, 0xffff8082, 0xffffffff, 0xffffffff,
    242   0xffff8081, 0xffff8081, 0xfffffffe, 0xfffffffe,
    243   0xffff8080, 0xffff8080, 0xfffffffd, 0xfffffffd,
    244   0xffff807f, 0xffff807f, 0xfffffffc, 0xffffd554,
    245   0xffff807e, 0xffff807e, 0xffffd553, 0xffffb332,
    246   0xffff807d, 0xffff55d5, 0xffffb331, 0xffff807e,
    247   0xffff55d4, 0xffff33b3, 0xffff807d, 0xffff807d,
    248   0xffff33b2, 0xffff00ff, 0xffff807c, 0xffff807c,
    249   0xffff00fe, 0xffff00fe, 0xffff807b, 0xffff807b,
    250   0xffff00fd, 0xffff00fd, 0xffff807a, 0xffff800e,
    251   0xffff00fc, 0xffff00fc, 0xffff800d, 0xffff8001,
    252   0xffff00fb, 0xffff008f, 0xffff8000, 0xffff8000,
    253   0xffff008e, 0xffff0082, 0xffff7fff, 0xffff7fff,
    254   0xffff0082, 0xffff7fff, 0xffff7fff, 0x00007fff,
    255   0xffff0081, 0xffff7ffe, 0x00007ffe, 0x00007ffe,
    256   0xffff0080, 0x00007ffd, 0x00007ffd, 0x00007ffd,
    257   0x0000007f, 0x00007ffc, 0x00007ffc, 0x00007fef,
    258   0x0000007e, 0x00007ffb, 0x00007fee, 0x00007f82,
    259   0x0000007d, 0x00007fed, 0x00007f81, 0x00007f81,
    260   0x0000006f, 0x00007f80, 0x00007f80, 0x00007f80,
    261   0x00000002, 0x00007f7f, 0x00007f7f, 0x00004ccc,
    262   0x00000001, 0x00007f7e, 0x00004ccb, 0x00002aaa,
    263   0x00000000, 0x00004cca, 0x00002aa9, 0x00000002,
    264   0xffffcd4c, 0x00002aa8, 0x00000001, 0x00000001,
    265   0xffffab2a, 0x00000000, 0x00000000, 0x00000000,
    266   0xffff8082, 0xffffffff, 0xffffffff, 0xffffffff,
    267   0xffff8081, 0xfffffffe, 0xfffffffe, 0xfffffffe,
    268   0xffff8080, 0xfffffffd, 0xfffffffd, 0xffffd555,
    269   0xffff807f, 0xfffffffc, 0xffffd554, 0xffffb333,
    270   0xffff807e, 0xffffd553, 0xffffb332, 0xffff807f,
    271   0xffff55d5, 0xffffb331, 0xffff807e, 0xffff807e,
    272   0xffff33b3, 0xffff807d, 0xffff807d, 0xffff807d,
    273   0xffff00ff, 0xffff807c, 0xffff807c, 0xffff807c,
    274   0xffff00fe, 0xffff807b, 0xffff807b, 0xffff800f,
    275   0xffff00fd, 0xffff807a, 0xffff800e, 0xffff8002,
    276   0xffff00fc, 0xffff800d, 0xffff8001, 0xffff8001,
    277   0xffff008f, 0xffff8000, 0xffff8000, 0xffff8000,
    278   0xffff8000, 0xffff8000, 0xffff8000, 0x33333333,
    279   0xffff7fff, 0xffff7fff, 0x00007fff, 0x33333332,
    280   0xffff7ffe, 0x00007ffe, 0x00007ffe, 0x33333331,
    281   0x00007ffd, 0x00007ffd, 0x00007ffd, 0x33333323,
    282   0x00007ffc, 0x00007ffc, 0x00007fef, 0x333332b6,
    283   0x00007ffb, 0x00007fee, 0x00007f82, 0x333332b5,
    284   0x00007fed, 0x00007f81, 0x00007f81, 0x333332b4,
    285   0x00007f80, 0x00007f80, 0x00007f80, 0x33330000,
    286   0x00007f7f, 0x00007f7f, 0x00004ccc, 0x3332ddde,
    287   0x00007f7e, 0x00004ccb, 0x00002aaa, 0x3332b336,
    288   0x00004cca, 0x00002aa9, 0x00000002, 0x3332b335,
    289   0x00002aa8, 0x00000001, 0x00000001, 0x3332b334,
    290   0x00000000, 0x00000000, 0x00000000, 0x3332b333,
    291   0xffffffff, 0xffffffff, 0xffffffff, 0x3332b332,
    292   0xfffffffe, 0xfffffffe, 0xfffffffe, 0x33328889,
    293   0xfffffffd, 0xfffffffd, 0xffffd555, 0x33326667,
    294   0xfffffffc, 0xffffd554, 0xffffb333, 0x333233b3,
    295   0xffffd553, 0xffffb332, 0xffff807f, 0x333233b2,
    296   0xffffb331, 0xffff807e, 0xffff807e, 0x333233b1,
    297   0xffff807d, 0xffff807d, 0xffff807d, 0x333233b0,
    298   0xffff807c, 0xffff807c, 0xffff807c, 0x33323343,
    299   0xffff807b, 0xffff807b, 0xffff800f, 0x33323336,
    300   0xffff807a, 0xffff800e, 0xffff8002, 0x33323335,
    301   0xffff800d, 0xffff8001, 0xffff8001, 0x33323334,
    302   0xffff8001, 0xffff8001, 0x33323334, 0x55555555,
    303   0xffff8000, 0xffff8000, 0x33333333, 0x55555554,
    304   0xffff7fff, 0x00007fff, 0x33333332, 0x55555553,
    305   0x00007ffe, 0x00007ffe, 0x33333331, 0x55555545,
    306   0x00007ffd, 0x00007ffd, 0x33333323, 0x555554d8,
    307   0x00007ffc, 0x00007fef, 0x333332b6, 0x555554d7,
    308   0x00007fee, 0x00007f82, 0x333332b5, 0x555554d6,
    309   0x00007f81, 0x00007f81, 0x333332b4, 0x55552222,
    310   0x00007f80, 0x00007f80, 0x33330000, 0x55550000,
    311   0x00007f7f, 0x00004ccc, 0x3332ddde, 0x5554d558,
    312   0x00004ccb, 0x00002aaa, 0x3332b336, 0x5554d557,
    313   0x00002aa9, 0x00000002, 0x3332b335, 0x5554d556,
    314   0x00000001, 0x00000001, 0x3332b334, 0x5554d555,
    315   0x00000000, 0x00000000, 0x3332b333, 0x5554d554,
    316   0xffffffff, 0xffffffff, 0x3332b332, 0x5554aaab,
    317   0xfffffffe, 0xfffffffe, 0x33328889, 0x55548889,
    318   0xfffffffd, 0xffffd555, 0x33326667, 0x555455d5,
    319   0xffffd554, 0xffffb333, 0x333233b3, 0x555455d4,
    320   0xffffb332, 0xffff807f, 0x333233b2, 0x555455d3,
    321   0xffff807e, 0xffff807e, 0x333233b1, 0x555455d2,
    322   0xffff807d, 0xffff807d, 0x333233b0, 0x55545565,
    323   0xffff807c, 0xffff807c, 0x33323343, 0x55545558,
    324   0xffff807b, 0xffff800f, 0x33323336, 0x55545557,
    325   0xffff800e, 0xffff8002, 0x33323335, 0x55545556,
    326   0xffff8002, 0x33323335, 0x55545556, 0x7ffffffd,
    327   0xffff8001, 0x33323334, 0x55555555, 0x7ffffffc,
    328   0xffff8000, 0x33333333, 0x55555554, 0x7ffffffb,
    329   0x00007fff, 0x33333332, 0x55555553, 0x7fffffed,
    330   0x00007ffe, 0x33333331, 0x55555545, 0x7fffff80,
    331   0x00007ffd, 0x33333323, 0x555554d8, 0x7fffff7f,
    332   0x00007fef, 0x333332b6, 0x555554d7, 0x7fffff7e,
    333   0x00007f82, 0x333332b5, 0x555554d6, 0x7fffccca,
    334   0x00007f81, 0x333332b4, 0x55552222, 0x7fffaaa8,
    335   0x00007f80, 0x33330000, 0x55550000, 0x7fff8000,
    336   0x00004ccc, 0x3332ddde, 0x5554d558, 0x7fff7fff,
    337   0x00002aaa, 0x3332b336, 0x5554d557, 0x7fff7ffe,
    338   0x00000002, 0x3332b335, 0x5554d556, 0x7fff7ffd,
    339   0x00000001, 0x3332b334, 0x5554d555, 0x7fff7ffc,
    340   0x00000000, 0x3332b333, 0x5554d554, 0x7fff5553,
    341   0xffffffff, 0x3332b332, 0x5554aaab, 0x7fff3331,
    342   0xfffffffe, 0x33328889, 0x55548889, 0x7fff007d,
    343   0xffffd555, 0x33326667, 0x555455d5, 0x7fff007c,
    344   0xffffb333, 0x333233b3, 0x555455d4, 0x7fff007b,
    345   0xffff807f, 0x333233b2, 0x555455d3, 0x7fff007a,
    346   0xffff807e, 0x333233b1, 0x555455d2, 0x7fff000d,
    347   0xffff807d, 0x333233b0, 0x55545565, 0x7fff0000,
    348   0xffff807c, 0x33323343, 0x55545558, 0x7ffeffff,
    349   0xffff800f, 0x33323336, 0x55545557, 0x7ffefffe,
    350   0x33323336, 0x55545557, 0x7ffefffe, 0x7ffffffe,
    351   0x33323335, 0x55545556, 0x7ffffffd, 0x7ffffffd,
    352   0x33323334, 0x55555555, 0x7ffffffc, 0x7ffffffc,
    353   0x33333333, 0x55555554, 0x7ffffffb, 0x7fffffee,
    354   0x33333332, 0x55555553, 0x7fffffed, 0x7fffff81,
    355   0x33333331, 0x55555545, 0x7fffff80, 0x7fffff80,
    356   0x33333323, 0x555554d8, 0x7fffff7f, 0x7fffff7f,
    357   0x333332b6, 0x555554d7, 0x7fffff7e, 0x7fffcccb,
    358   0x333332b5, 0x555554d6, 0x7fffccca, 0x7fffaaa9,
    359   0x333332b4, 0x55552222, 0x7fffaaa8, 0x7fff8001,
    360   0x33330000, 0x55550000, 0x7fff8000, 0x7fff8000,
    361   0x3332ddde, 0x5554d558, 0x7fff7fff, 0x7fff7fff,
    362   0x3332b336, 0x5554d557, 0x7fff7ffe, 0x7fff7ffe,
    363   0x3332b335, 0x5554d556, 0x7fff7ffd, 0x7fff7ffd,
    364   0x3332b334, 0x5554d555, 0x7fff7ffc, 0x7fff5554,
    365   0x3332b333, 0x5554d554, 0x7fff5553, 0x7fff3332,
    366   0x3332b332, 0x5554aaab, 0x7fff3331, 0x7fff007e,
    367   0x33328889, 0x55548889, 0x7fff007d, 0x7fff007d,
    368   0x33326667, 0x555455d5, 0x7fff007c, 0x7fff007c,
    369   0x333233b3, 0x555455d4, 0x7fff007b, 0x7fff007b,
    370   0x333233b2, 0x555455d3, 0x7fff007a, 0x7fff000e,
    371   0x333233b1, 0x555455d2, 0x7fff000d, 0x7fff0001,
    372   0x333233b0, 0x55545565, 0x7fff0000, 0x7fff0000,
    373   0x33323343, 0x55545558, 0x7ffeffff, 0x7ffeffff,
    374   0x55545558, 0x7ffeffff, 0x7ffeffff, 0x7fffffff,
    375   0x55545557, 0x7ffefffe, 0x7ffffffe, 0x7ffffffe,
    376   0x55545556, 0x7ffffffd, 0x7ffffffd, 0x7ffffffd,
    377   0x55555555, 0x7ffffffc, 0x7ffffffc, 0x7fffffef,
    378   0x55555554, 0x7ffffffb, 0x7fffffee, 0x7fffff82,
    379   0x55555553, 0x7fffffed, 0x7fffff81, 0x7fffff81,
    380   0x55555545, 0x7fffff80, 0x7fffff80, 0x7fffff80,
    381   0x555554d8, 0x7fffff7f, 0x7fffff7f, 0x7fffcccc,
    382   0x555554d7, 0x7fffff7e, 0x7fffcccb, 0x7fffaaaa,
    383   0x555554d6, 0x7fffccca, 0x7fffaaa9, 0x7fff8002,
    384   0x55552222, 0x7fffaaa8, 0x7fff8001, 0x7fff8001,
    385   0x55550000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
    386   0x5554d558, 0x7fff7fff, 0x7fff7fff, 0x7fff7fff,
    387   0x5554d557, 0x7fff7ffe, 0x7fff7ffe, 0x7fff7ffe,
    388   0x5554d556, 0x7fff7ffd, 0x7fff7ffd, 0x7fff5555,
    389   0x5554d555, 0x7fff7ffc, 0x7fff5554, 0x7fff3333,
    390   0x5554d554, 0x7fff5553, 0x7fff3332, 0x7fff007f,
    391   0x5554aaab, 0x7fff3331, 0x7fff007e, 0x7fff007e,
    392   0x55548889, 0x7fff007d, 0x7fff007d, 0x7fff007d,
    393   0x555455d5, 0x7fff007c, 0x7fff007c, 0x7fff007c,
    394   0x555455d4, 0x7fff007b, 0x7fff007b, 0x7fff000f,
    395   0x555455d3, 0x7fff007a, 0x7fff000e, 0x7fff0002,
    396   0x555455d2, 0x7fff000d, 0x7fff0001, 0x7fff0001,
    397   0x55545565, 0x7fff0000, 0x7fff0000, 0x7fff0000,
    398   0x7fff0000, 0x7fff0000, 0x7fff0000, 0x80000000,
    399   0x7ffeffff, 0x7ffeffff, 0x7fffffff, 0x7fffffff,
    400   0x7ffefffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffffe,
    401   0x7ffffffd, 0x7ffffffd, 0x7ffffffd, 0x7ffffff0,
    402   0x7ffffffc, 0x7ffffffc, 0x7fffffef, 0x7fffff83,
    403   0x7ffffffb, 0x7fffffee, 0x7fffff82, 0x7fffff82,
    404   0x7fffffed, 0x7fffff81, 0x7fffff81, 0x7fffff81,
    405   0x7fffff80, 0x7fffff80, 0x7fffff80, 0x7fffcccd,
    406   0x7fffff7f, 0x7fffff7f, 0x7fffcccc, 0x7fffaaab,
    407   0x7fffff7e, 0x7fffcccb, 0x7fffaaaa, 0x7fff8003,
    408   0x7fffccca, 0x7fffaaa9, 0x7fff8002, 0x7fff8002,
    409   0x7fffaaa8, 0x7fff8001, 0x7fff8001, 0x7fff8001,
    410   0x7fff8000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
    411   0x7fff7fff, 0x7fff7fff, 0x7fff7fff, 0x7fff7fff,
    412   0x7fff7ffe, 0x7fff7ffe, 0x7fff7ffe, 0x7fff5556,
    413   0x7fff7ffd, 0x7fff7ffd, 0x7fff5555, 0x7fff3334,
    414   0x7fff7ffc, 0x7fff5554, 0x7fff3333, 0x7fff0080,
    415   0x7fff5553, 0x7fff3332, 0x7fff007f, 0x7fff007f,
    416   0x7fff3331, 0x7fff007e, 0x7fff007e, 0x7fff007e,
    417   0x7fff007d, 0x7fff007d, 0x7fff007d, 0x7fff007d,
    418   0x7fff007c, 0x7fff007c, 0x7fff007c, 0x7fff0010,
    419   0x7fff007b, 0x7fff007b, 0x7fff000f, 0x7fff0003,
    420   0x7fff007a, 0x7fff000e, 0x7fff0002, 0x7fff0002,
    421   0x7fff000d, 0x7fff0001, 0x7fff0001, 0x7fff0001,
    422   0x7fff0001, 0x7fff0001, 0x7fff0001, 0x80000001,
    423   0x7fff0000, 0x7fff0000, 0x80000000, 0x80000000,
    424   0x7ffeffff, 0x7fffffff, 0x7fffffff, 0x7fffffff,
    425   0x7ffffffe, 0x7ffffffe, 0x7ffffffe, 0x7ffffff1,
    426   0x7ffffffd, 0x7ffffffd, 0x7ffffff0, 0x7fffff84,
    427   0x7ffffffc, 0x7fffffef, 0x7fffff83, 0x7fffff83,
    428   0x7fffffee, 0x7fffff82, 0x7fffff82, 0x7fffff82,
    429   0x7fffff81, 0x7fffff81, 0x7fffff81, 0x7fffccce,
    430   0x7fffff80, 0x7fffff80, 0x7fffcccd, 0x7fffaaac,
    431   0x7fffff7f, 0x7fffcccc, 0x7fffaaab, 0x7fff8004,
    432   0x7fffcccb, 0x7fffaaaa, 0x7fff8003, 0x7fff8003,
    433   0x7fffaaa9, 0x7fff8002, 0x7fff8002, 0x7fff8002,
    434   0x7fff8001, 0x7fff8001, 0x7fff8001, 0x7fff8001,
    435   0x7fff8000, 0x7fff8000, 0x7fff8000, 0x7fff8000,
    436   0x7fff7fff, 0x7fff7fff, 0x7fff7fff, 0x7fff5557,
    437   0x7fff7ffe, 0x7fff7ffe, 0x7fff5556, 0x7fff3335,
    438   0x7fff7ffd, 0x7fff5555, 0x7fff3334, 0x7fff0081,
    439   0x7fff5554, 0x7fff3333, 0x7fff0080, 0x7fff0080,
    440   0x7fff3332, 0x7fff007f, 0x7fff007f, 0x7fff007f,
    441   0x7fff007e, 0x7fff007e, 0x7fff007e, 0x7fff007e,
    442   0x7fff007d, 0x7fff007d, 0x7fff007d, 0x7fff0011,
    443   0x7fff007c, 0x7fff007c, 0x7fff0010, 0x7fff0004,
    444   0x7fff007b, 0x7fff000f, 0x7fff0003, 0x7fff0003,
    445   0x7fff000e, 0x7fff0002, 0x7fff0002, 0x7fff0002,
    446   0x7fff0002, 0x7fff0002, 0x7fff0002, 0xaaaaaaaa,
    447   0x7fff0001, 0x7fff0001, 0x80000001, 0xaaaaaaa9,
    448   0x7fff0000, 0x80000000, 0x80000000, 0xaaaaaaa8,
    449   0x7fffffff, 0x7fffffff, 0x7fffffff, 0xaaaaaa9a,
    450   0x7ffffffe, 0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d,
    451   0x7ffffffd, 0x7ffffff0, 0x7fffff84, 0xaaaaaa2c,
    452   0x7fffffef, 0x7fffff83, 0x7fffff83, 0xaaaaaa2b,
    453   0x7fffff82, 0x7fffff82, 0x7fffff82, 0xaaaa7777,
    454   0x7fffff81, 0x7fffff81, 0x7fffccce, 0xaaaa5555,
    455   0x7fffff80, 0x7fffcccd, 0x7fffaaac, 0xaaaa2aad,
    456   0x7fffcccc, 0x7fffaaab, 0x7fff8004, 0xaaaa2aac,
    457   0x7fffaaaa, 0x7fff8003, 0x7fff8003, 0xaaaa2aab,
    458   0x7fff8002, 0x7fff8002, 0x7fff8002, 0xaaaa2aaa,
    459   0x7fff8001, 0x7fff8001, 0x7fff8001, 0xaaaa2aa9,
    460   0x7fff8000, 0x7fff8000, 0x7fff8000, 0xaaaa0000,
    461   0x7fff7fff, 0x7fff7fff, 0x7fff5557, 0xaaa9ddde,
    462   0x7fff7ffe, 0x7fff5556, 0x7fff3335, 0xaaa9ab2a,
    463   0x7fff5555, 0x7fff3334, 0x7fff0081, 0xaaa9ab29,
    464   0x7fff3333, 0x7fff0080, 0x7fff0080, 0xaaa9ab28,
    465   0x7fff007f, 0x7fff007f, 0x7fff007f, 0xaaa9ab27,
    466   0x7fff007e, 0x7fff007e, 0x7fff007e, 0xaaa9aaba,
    467   0x7fff007d, 0x7fff007d, 0x7fff0011, 0xaaa9aaad,
    468   0x7fff007c, 0x7fff0010, 0x7fff0004, 0xaaa9aaac,
    469   0x7fff000f, 0x7fff0003, 0x7fff0003, 0xaaa9aaab,
    470   0x7fff0003, 0x7fff0003, 0xaaa9aaab, 0xcccccccc,
    471   0x7fff0002, 0x7fff0002, 0xaaaaaaaa, 0xcccccccb,
    472   0x7fff0001, 0x80000001, 0xaaaaaaa9, 0xccccccca,
    473   0x80000000, 0x80000000, 0xaaaaaaa8, 0xccccccbc,
    474   0x7fffffff, 0x7fffffff, 0xaaaaaa9a, 0xcccccc4f,
    475   0x7ffffffe, 0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e,
    476   0x7ffffff0, 0x7fffff84, 0xaaaaaa2c, 0xcccccc4d,
    477   0x7fffff83, 0x7fffff83, 0xaaaaaa2b, 0xcccc9999,
    478   0x7fffff82, 0x7fffff82, 0xaaaa7777, 0xcccc7777,
    479   0x7fffff81, 0x7fffccce, 0xaaaa5555, 0xcccc4ccf,
    480   0x7fffcccd, 0x7fffaaac, 0xaaaa2aad, 0xcccc4cce,
    481   0x7fffaaab, 0x7fff8004, 0xaaaa2aac, 0xcccc4ccd,
    482   0x7fff8003, 0x7fff8003, 0xaaaa2aab, 0xcccc4ccc,
    483   0x7fff8002, 0x7fff8002, 0xaaaa2aaa, 0xcccc4ccb,
    484   0x7fff8001, 0x7fff8001, 0xaaaa2aa9, 0xcccc2222,
    485   0x7fff8000, 0x7fff8000, 0xaaaa0000, 0xcccc0000,
    486   0x7fff7fff, 0x7fff5557, 0xaaa9ddde, 0xcccbcd4c,
    487   0x7fff5556, 0x7fff3335, 0xaaa9ab2a, 0xcccbcd4b,
    488   0x7fff3334, 0x7fff0081, 0xaaa9ab29, 0xcccbcd4a,
    489   0x7fff0080, 0x7fff0080, 0xaaa9ab28, 0xcccbcd49,
    490   0x7fff007f, 0x7fff007f, 0xaaa9ab27, 0xcccbccdc,
    491   0x7fff007e, 0x7fff007e, 0xaaa9aaba, 0xcccbcccf,
    492   0x7fff007d, 0x7fff0011, 0xaaa9aaad, 0xcccbccce,
    493   0x7fff0010, 0x7fff0004, 0xaaa9aaac, 0xcccbcccd,
    494   0x7fff0004, 0xaaa9aaac, 0xcccbcccd, 0xffff8000,
    495   0x7fff0003, 0xaaa9aaab, 0xcccccccc, 0xffff7fff,
    496   0x7fff0002, 0xaaaaaaaa, 0xcccccccb, 0xffff7ffe,
    497   0x80000001, 0xaaaaaaa9, 0xccccccca, 0xffff7ff0,
    498   0x80000000, 0xaaaaaaa8, 0xccccccbc, 0xffff7f83,
    499   0x7fffffff, 0xaaaaaa9a, 0xcccccc4f, 0xffff7f82,
    500   0x7ffffff1, 0xaaaaaa2d, 0xcccccc4e, 0xffff7f81,
    501   0x7fffff84, 0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd,
    502   0x7fffff83, 0xaaaaaa2b, 0xcccc9999, 0xffff2aab,
    503   0x7fffff82, 0xaaaa7777, 0xcccc7777, 0xffff0003,
    504   0x7fffccce, 0xaaaa5555, 0xcccc4ccf, 0xffff0002,
    505   0x7fffaaac, 0xaaaa2aad, 0xcccc4cce, 0xffff0001,
    506   0x7fff8004, 0xaaaa2aac, 0xcccc4ccd, 0xffff0000,
    507   0x7fff8003, 0xaaaa2aab, 0xcccc4ccc, 0xfffeffff,
    508   0x7fff8002, 0xaaaa2aaa, 0xcccc4ccb, 0xfffed556,
    509   0x7fff8001, 0xaaaa2aa9, 0xcccc2222, 0xfffeb334,
    510   0x7fff8000, 0xaaaa0000, 0xcccc0000, 0xfffe8080,
    511   0x7fff5557, 0xaaa9ddde, 0xcccbcd4c, 0xfffe807f,
    512   0x7fff3335, 0xaaa9ab2a, 0xcccbcd4b, 0xfffe807e,
    513   0x7fff0081, 0xaaa9ab29, 0xcccbcd4a, 0xfffe807d,
    514   0x7fff0080, 0xaaa9ab28, 0xcccbcd49, 0xfffe8010,
    515   0x7fff007f, 0xaaa9ab27, 0xcccbccdc, 0xfffe8003,
    516   0x7fff007e, 0xaaa9aaba, 0xcccbcccf, 0xfffe8002,
    517   0x7fff0011, 0xaaa9aaad, 0xcccbccce, 0xfffe8001,
    518   0xaaa9aaad, 0xcccbccce, 0xfffe8001, 0xffff8001,
    519   0xaaa9aaac, 0xcccbcccd, 0xffff8000, 0xffff8000,
    520   0xaaa9aaab, 0xcccccccc, 0xffff7fff, 0xffff7fff,
    521   0xaaaaaaaa, 0xcccccccb, 0xffff7ffe, 0xffff7ff1,
    522   0xaaaaaaa9, 0xccccccca, 0xffff7ff0, 0xffff7f84,
    523   0xaaaaaaa8, 0xccccccbc, 0xffff7f83, 0xffff7f83,
    524   0xaaaaaa9a, 0xcccccc4f, 0xffff7f82, 0xffff7f82,
    525   0xaaaaaa2d, 0xcccccc4e, 0xffff7f81, 0xffff4cce,
    526   0xaaaaaa2c, 0xcccccc4d, 0xffff4ccd, 0xffff2aac,
    527   0xaaaaaa2b, 0xcccc9999, 0xffff2aab, 0xffff0004,
    528   0xaaaa7777, 0xcccc7777, 0xffff0003, 0xffff0003,
    529   0xaaaa5555, 0xcccc4ccf, 0xffff0002, 0xffff0002,
    530   0xaaaa2aad, 0xcccc4cce, 0xffff0001, 0xffff0001,
    531   0xaaaa2aac, 0xcccc4ccd, 0xffff0000, 0xffff0000,
    532   0xaaaa2aab, 0xcccc4ccc, 0xfffeffff, 0xfffed557,
    533   0xaaaa2aaa, 0xcccc4ccb, 0xfffed556, 0xfffeb335,
    534   0xaaaa2aa9, 0xcccc2222, 0xfffeb334, 0xfffe8081,
    535   0xaaaa0000, 0xcccc0000, 0xfffe8080, 0xfffe8080,
    536   0xaaa9ddde, 0xcccbcd4c, 0xfffe807f, 0xfffe807f,
    537   0xaaa9ab2a, 0xcccbcd4b, 0xfffe807e, 0xfffe807e,
    538   0xaaa9ab29, 0xcccbcd4a, 0xfffe807d, 0xfffe8011,
    539   0xaaa9ab28, 0xcccbcd49, 0xfffe8010, 0xfffe8004,
    540   0xaaa9ab27, 0xcccbccdc, 0xfffe8003, 0xfffe8003,
    541   0xaaa9aaba, 0xcccbcccf, 0xfffe8002, 0xfffe8002,
    542   0xcccbcccf, 0xfffe8002, 0xfffe8002, 0xffff8002,
    543   0xcccbccce, 0xfffe8001, 0xffff8001, 0xffff8001,
    544   0xcccbcccd, 0xffff8000, 0xffff8000, 0xffff8000,
    545   0xcccccccc, 0xffff7fff, 0xffff7fff, 0xffff7ff2,
    546   0xcccccccb, 0xffff7ffe, 0xffff7ff1, 0xffff7f85,
    547   0xccccccca, 0xffff7ff0, 0xffff7f84, 0xffff7f84,
    548   0xccccccbc, 0xffff7f83, 0xffff7f83, 0xffff7f83,
    549   0xcccccc4f, 0xffff7f82, 0xffff7f82, 0xffff4ccf,
    550   0xcccccc4e, 0xffff7f81, 0xffff4cce, 0xffff2aad,
    551   0xcccccc4d, 0xffff4ccd, 0xffff2aac, 0xffff0005,
    552   0xcccc9999, 0xffff2aab, 0xffff0004, 0xffff0004,
    553   0xcccc7777, 0xffff0003, 0xffff0003, 0xffff0003,
    554   0xcccc4ccf, 0xffff0002, 0xffff0002, 0xffff0002,
    555   0xcccc4cce, 0xffff0001, 0xffff0001, 0xffff0001,
    556   0xcccc4ccd, 0xffff0000, 0xffff0000, 0xfffed558,
    557   0xcccc4ccc, 0xfffeffff, 0xfffed557, 0xfffeb336,
    558   0xcccc4ccb, 0xfffed556, 0xfffeb335, 0xfffe8082,
    559   0xcccc2222, 0xfffeb334, 0xfffe8081, 0xfffe8081,
    560   0xcccc0000, 0xfffe8080, 0xfffe8080, 0xfffe8080,
    561   0xcccbcd4c, 0xfffe807f, 0xfffe807f, 0xfffe807f,
    562   0xcccbcd4b, 0xfffe807e, 0xfffe807e, 0xfffe8012,
    563   0xcccbcd4a, 0xfffe807d, 0xfffe8011, 0xfffe8005,
    564   0xcccbcd49, 0xfffe8010, 0xfffe8004, 0xfffe8004,
    565   0xcccbccdc, 0xfffe8003, 0xfffe8003, 0xfffe8003,
    566   0xfffe8003, 0xfffe8003, 0xfffe8003, 0xffff8003,
    567   0xfffe8002, 0xfffe8002, 0xffff8002, 0xffff8002,
    568   0xfffe8001, 0xffff8001, 0xffff8001, 0xffff8001,
    569   0xffff8000, 0xffff8000, 0xffff8000, 0xffff7ff3,
    570   0xffff7fff, 0xffff7fff, 0xffff7ff2, 0xffff7f86,
    571   0xffff7ffe, 0xffff7ff1, 0xffff7f85, 0xffff7f85,
    572   0xffff7ff0, 0xffff7f84, 0xffff7f84, 0xffff7f84,
    573   0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff4cd0,
    574   0xffff7f82, 0xffff7f82, 0xffff4ccf, 0xffff2aae,
    575   0xffff7f81, 0xffff4cce, 0xffff2aad, 0xffff0006,
    576   0xffff4ccd, 0xffff2aac, 0xffff0005, 0xffff0005,
    577   0xffff2aab, 0xffff0004, 0xffff0004, 0xffff0004,
    578   0xffff0003, 0xffff0003, 0xffff0003, 0xffff0003,
    579   0xffff0002, 0xffff0002, 0xffff0002, 0xffff0002,
    580   0xffff0001, 0xffff0001, 0xffff0001, 0xfffed559,
    581   0xffff0000, 0xffff0000, 0xfffed558, 0xfffeb337,
    582   0xfffeffff, 0xfffed557, 0xfffeb336, 0xfffe8083,
    583   0xfffed556, 0xfffeb335, 0xfffe8082, 0xfffe8082,
    584   0xfffeb334, 0xfffe8081, 0xfffe8081, 0xfffe8081,
    585   0xfffe8080, 0xfffe8080, 0xfffe8080, 0xfffe8080,
    586   0xfffe807f, 0xfffe807f, 0xfffe807f, 0xfffe8013,
    587   0xfffe807e, 0xfffe807e, 0xfffe8012, 0xfffe8006,
    588   0xfffe807d, 0xfffe8011, 0xfffe8005, 0xfffe8005,
    589   0xfffe8010, 0xfffe8004, 0xfffe8004, 0xfffe8004,
    590   0xfffe8004, 0xfffe8004, 0xfffe8004, 0xffffff80,
    591   0xfffe8003, 0xfffe8003, 0xffff8003, 0xffffff7f,
    592   0xfffe8002, 0xffff8002, 0xffff8002, 0xffffff7e,
    593   0xffff8001, 0xffff8001, 0xffff8001, 0xffffff70,
    594   0xffff8000, 0xffff8000, 0xffff7ff3, 0xffffff03,
    595   0xffff7fff, 0xffff7ff2, 0xffff7f86, 0xffffff02,
    596   0xffff7ff1, 0xffff7f85, 0xffff7f85, 0xffffff01,
    597   0xffff7f84, 0xffff7f84, 0xffff7f84, 0xffffcc4d,
    598   0xffff7f83, 0xffff7f83, 0xffff4cd0, 0xffffaa2b,
    599   0xffff7f82, 0xffff4ccf, 0xffff2aae, 0xffff7f83,
    600   0xffff4cce, 0xffff2aad, 0xffff0006, 0xffff7f82,
    601   0xffff2aac, 0xffff0005, 0xffff0005, 0xffff7f81,
    602   0xffff0004, 0xffff0004, 0xffff0004, 0xffff7f80,
    603   0xffff0003, 0xffff0003, 0xffff0003, 0xffff7f7f,
    604   0xffff0002, 0xffff0002, 0xffff0002, 0xffff54d6,
    605   0xffff0001, 0xffff0001, 0xfffed559, 0xffff32b4,
    606   0xffff0000, 0xfffed558, 0xfffeb337, 0xffff0000,
    607   0xfffed557, 0xfffeb336, 0xfffe8083, 0xfffeffff,
    608   0xfffeb335, 0xfffe8082, 0xfffe8082, 0xfffefffe,
    609   0xfffe8081, 0xfffe8081, 0xfffe8081, 0xfffefffd,
    610   0xfffe8080, 0xfffe8080, 0xfffe8080, 0xfffeff90,
    611   0xfffe807f, 0xfffe807f, 0xfffe8013, 0xfffeff83,
    612   0xfffe807e, 0xfffe8012, 0xfffe8006, 0xfffeff82,
    613   0xfffe8011, 0xfffe8005, 0xfffe8005, 0xfffeff81,
    614   0xfffe8005, 0xfffe8005, 0xfffeff81, 0xffffff81,
    615   0xfffe8004, 0xfffe8004, 0xffffff80, 0xffffff80,
    616   0xfffe8003, 0xffff8003, 0xffffff7f, 0xffffff7f,
    617   0xffff8002, 0xffff8002, 0xffffff7e, 0xffffff71,
    618   0xffff8001, 0xffff8001, 0xffffff70, 0xffffff04,
    619   0xffff8000, 0xffff7ff3, 0xffffff03, 0xffffff03,
    620   0xffff7ff2, 0xffff7f86, 0xffffff02, 0xffffff02,
    621   0xffff7f85, 0xffff7f85, 0xffffff01, 0xffffcc4e,
    622   0xffff7f84, 0xffff7f84, 0xffffcc4d, 0xffffaa2c,
    623   0xffff7f83, 0xffff4cd0, 0xffffaa2b, 0xffff7f84,
    624   0xffff4ccf, 0xffff2aae, 0xffff7f83, 0xffff7f83,
    625   0xffff2aad, 0xffff0006, 0xffff7f82, 0xffff7f82,
    626   0xffff0005, 0xffff0005, 0xffff7f81, 0xffff7f81,
    627   0xffff0004, 0xffff0004, 0xffff7f80, 0xffff7f80,
    628   0xffff0003, 0xffff0003, 0xffff7f7f, 0xffff54d7,
    629   0xffff0002, 0xffff0002, 0xffff54d6, 0xffff32b5,
    630   0xffff0001, 0xfffed559, 0xffff32b4, 0xffff0001,
    631   0xfffed558, 0xfffeb337, 0xffff0000, 0xffff0000,
    632   0xfffeb336, 0xfffe8083, 0xfffeffff, 0xfffeffff,
    633   0xfffe8082, 0xfffe8082, 0xfffefffe, 0xfffefffe,
    634   0xfffe8081, 0xfffe8081, 0xfffefffd, 0xfffeff91,
    635   0xfffe8080, 0xfffe8080, 0xfffeff90, 0xfffeff84,
    636   0xfffe807f, 0xfffe8013, 0xfffeff83, 0xfffeff83,
    637   0xfffe8012, 0xfffe8006, 0xfffeff82, 0xfffeff82,
    638   0xfffe8006, 0xfffeff82, 0xfffeff82, 0xffffff82,
    639   0xfffe8005, 0xfffeff81, 0xffffff81, 0xffffff81,
    640   0xfffe8004, 0xffffff80, 0xffffff80, 0xffffff80,
    641   0xffff8003, 0xffffff7f, 0xffffff7f, 0xffffff72,
    642   0xffff8002, 0xffffff7e, 0xffffff71, 0xffffff05,
    643   0xffff8001, 0xffffff70, 0xffffff04, 0xffffff04,
    644   0xffff7ff3, 0xffffff03, 0xffffff03, 0xffffff03,
    645   0xffff7f86, 0xffffff02, 0xffffff02, 0xffffcc4f,
    646   0xffff7f85, 0xffffff01, 0xffffcc4e, 0xffffaa2d,
    647   0xffff7f84, 0xffffcc4d, 0xffffaa2c, 0xffff7f85,
    648   0xffff4cd0, 0xffffaa2b, 0xffff7f84, 0xffff7f84,
    649   0xffff2aae, 0xffff7f83, 0xffff7f83, 0xffff7f83,
    650   0xffff0006, 0xffff7f82, 0xffff7f82, 0xffff7f82,
    651   0xffff0005, 0xffff7f81, 0xffff7f81, 0xffff7f81,
    652   0xffff0004, 0xffff7f80, 0xffff7f80, 0xffff54d8,
    653   0xffff0003, 0xffff7f7f, 0xffff54d7, 0xffff32b6,
    654   0xffff0002, 0xffff54d6, 0xffff32b5, 0xffff0002,
    655   0xfffed559, 0xffff32b4, 0xffff0001, 0xffff0001,
    656   0xfffeb337, 0xffff0000, 0xffff0000, 0xffff0000,
    657   0xfffe8083, 0xfffeffff, 0xfffeffff, 0xfffeffff,
    658   0xfffe8082, 0xfffefffe, 0xfffefffe, 0xfffeff92,
    659   0xfffe8081, 0xfffefffd, 0xfffeff91, 0xfffeff85,
    660   0xfffe8080, 0xfffeff90, 0xfffeff84, 0xfffeff84,
    661   0xfffe8013, 0xfffeff83, 0xfffeff83, 0xfffeff83,
    662   0xfffeff83, 0xfffeff83, 0xfffeff83, 0xffffff83,
    663   0xfffeff82, 0xfffeff82, 0xffffff82, 0xffffff82,
    664   0xfffeff81, 0xffffff81, 0xffffff81, 0xffffff81,
    665   0xffffff80, 0xffffff80, 0xffffff80, 0xffffff73,
    666   0xffffff7f, 0xffffff7f, 0xffffff72, 0xffffff06,
    667   0xffffff7e, 0xffffff71, 0xffffff05, 0xffffff05,
    668   0xffffff70, 0xffffff04, 0xffffff04, 0xffffff04,
    669   0xffffff03, 0xffffff03, 0xffffff03, 0xffffcc50,
    670   0xffffff02, 0xffffff02, 0xffffcc4f, 0xffffaa2e,
    671   0xffffff01, 0xffffcc4e, 0xffffaa2d, 0xffff7f86,
    672   0xffffcc4d, 0xffffaa2c, 0xffff7f85, 0xffff7f85,
    673   0xffffaa2b, 0xffff7f84, 0xffff7f84, 0xffff7f84,
    674   0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff7f83,
    675   0xffff7f82, 0xffff7f82, 0xffff7f82, 0xffff7f82,
    676   0xffff7f81, 0xffff7f81, 0xffff7f81, 0xffff54d9,
    677   0xffff7f80, 0xffff7f80, 0xffff54d8, 0xffff32b7,
    678   0xffff7f7f, 0xffff54d7, 0xffff32b6, 0xffff0003,
    679   0xffff54d6, 0xffff32b5, 0xffff0002, 0xffff0002,
    680   0xffff32b4, 0xffff0001, 0xffff0001, 0xffff0001,
    681   0xffff0000, 0xffff0000, 0xffff0000, 0xffff0000,
    682   0xfffeffff, 0xfffeffff, 0xfffeffff, 0xfffeff93,
    683   0xfffefffe, 0xfffefffe, 0xfffeff92, 0xfffeff86,
    684   0xfffefffd, 0xfffeff91, 0xfffeff85, 0xfffeff85,
    685   0xfffeff90, 0xfffeff84, 0xfffeff84, 0xfffeff84,
    686   0xfffeff84, 0xfffeff84, 0xfffeff84, 0xffffffe0,
    687   0xfffeff83, 0xfffeff83, 0xffffff83, 0xffffffdf,
    688   0xfffeff82, 0xffffff82, 0xffffff82, 0xffffffde,
    689   0xffffff81, 0xffffff81, 0xffffff81, 0xffffffd0,
    690   0xffffff80, 0xffffff80, 0xffffff73, 0xffffff63,
    691   0xffffff7f, 0xffffff72, 0xffffff06, 0xffffff62,
    692   0xffffff71, 0xffffff05, 0xffffff05, 0xffffff61,
    693   0xffffff04, 0xffffff04, 0xffffff04, 0xffffccad,
    694   0xffffff03, 0xffffff03, 0xffffcc50, 0xffffaa8b,
    695   0xffffff02, 0xffffcc4f, 0xffffaa2e, 0xffff7fe3,
    696   0xffffcc4e, 0xffffaa2d, 0xffff7f86, 0xffff7fe2,
    697   0xffffaa2c, 0xffff7f85, 0xffff7f85, 0xffff7fe1,
    698   0xffff7f84, 0xffff7f84, 0xffff7f84, 0xffff7fe0,
    699   0xffff7f83, 0xffff7f83, 0xffff7f83, 0xffff7fdf,
    700   0xffff7f82, 0xffff7f82, 0xffff7f82, 0xffff5536,
    701   0xffff7f81, 0xffff7f81, 0xffff54d9, 0xffff3314,
    702   0xffff7f80, 0xffff54d8, 0xffff32b7, 0xffff0060,
    703   0xffff54d7, 0xffff32b6, 0xffff0003, 0xffff005f,
    704   0xffff32b5, 0xffff0002, 0xffff0002, 0xffff005e,
    705   0xffff0001, 0xffff0001, 0xffff0001, 0xffff005d,
    706   0xffff0000, 0xffff0000, 0xffff0000, 0xfffefff0,
    707   0xfffeffff, 0xfffeffff, 0xfffeff93, 0xfffeffe3,
    708   0xfffefffe, 0xfffeff92, 0xfffeff86, 0xfffeffe2,
    709   0xfffeff91, 0xfffeff85, 0xfffeff85, 0xfffeffe1,
    710   0xfffeff85, 0xfffeff85, 0xfffeffe1, 0xfffffffd,
    711   0xfffeff84, 0xfffeff84, 0xffffffe0, 0xfffffffc,
    712   0xfffeff83, 0xffffff83, 0xffffffdf, 0xfffffffb,
    713   0xffffff82, 0xffffff82, 0xffffffde, 0xffffffed,
    714   0xffffff81, 0xffffff81, 0xffffffd0, 0xffffff80,
    715   0xffffff80, 0xffffff73, 0xffffff63, 0xffffff7f,
    716   0xffffff72, 0xffffff06, 0xffffff62, 0xffffff7e,
    717   0xffffff05, 0xffffff05, 0xffffff61, 0xffffccca,
    718   0xffffff04, 0xffffff04, 0xffffccad, 0xffffaaa8,
    719   0xffffff03, 0xffffcc50, 0xffffaa8b, 0xffff8000,
    720   0xffffcc4f, 0xffffaa2e, 0xffff7fe3, 0xffff7fff,
    721   0xffffaa2d, 0xffff7f86, 0xffff7fe2, 0xffff7ffe,
    722   0xffff7f85, 0xffff7f85, 0xffff7fe1, 0xffff7ffd,
    723   0xffff7f84, 0xffff7f84, 0xffff7fe0, 0xffff7ffc,
    724   0xffff7f83, 0xffff7f83, 0xffff7fdf, 0xffff5553,
    725   0xffff7f82, 0xffff7f82, 0xffff5536, 0xffff3331,
    726   0xffff7f81, 0xffff54d9, 0xffff3314, 0xffff007d,
    727   0xffff54d8, 0xffff32b7, 0xffff0060, 0xffff007c,
    728   0xffff32b6, 0xffff0003, 0xffff005f, 0xffff007b,
    729   0xffff0002, 0xffff0002, 0xffff005e, 0xffff007a,
    730   0xffff0001, 0xffff0001, 0xffff005d, 0xffff000d,
    731   0xffff0000, 0xffff0000, 0xfffefff0, 0xffff0000,
    732   0xfffeffff, 0xfffeff93, 0xfffeffe3, 0xfffeffff,
    733   0xfffeff92, 0xfffeff86, 0xfffeffe2, 0xfffefffe,
    734   0xfffeff86, 0xfffeffe2, 0xfffefffe, 0xfffffffe,
    735   0xfffeff85, 0xfffeffe1, 0xfffffffd, 0xfffffffd,
    736   0xfffeff84, 0xffffffe0, 0xfffffffc, 0xfffffffc,
    737   0xffffff83, 0xffffffdf, 0xfffffffb, 0xffffffee,
    738   0xffffff82, 0xffffffde, 0xffffffed, 0xffffff81,
    739   0xffffff81, 0xffffffd0, 0xffffff80, 0xffffff80,
    740   0xffffff73, 0xffffff63, 0xffffff7f, 0xffffff7f,
    741   0xffffff06, 0xffffff62, 0xffffff7e, 0xffffcccb,
    742   0xffffff05, 0xffffff61, 0xffffccca, 0xffffaaa9,
    743   0xffffff04, 0xffffccad, 0xffffaaa8, 0xffff8001,
    744   0xffffcc50, 0xffffaa8b, 0xffff8000, 0xffff8000,
    745   0xffffaa2e, 0xffff7fe3, 0xffff7fff, 0xffff7fff,
    746   0xffff7f86, 0xffff7fe2, 0xffff7ffe, 0xffff7ffe,
    747   0xffff7f85, 0xffff7fe1, 0xffff7ffd, 0xffff7ffd,
    748   0xffff7f84, 0xffff7fe0, 0xffff7ffc, 0xffff5554,
    749   0xffff7f83, 0xffff7fdf, 0xffff5553, 0xffff3332,
    750   0xffff7f82, 0xffff5536, 0xffff3331, 0xffff007e,
    751   0xffff54d9, 0xffff3314, 0xffff007d, 0xffff007d,
    752   0xffff32b7, 0xffff0060, 0xffff007c, 0xffff007c,
    753   0xffff0003, 0xffff005f, 0xffff007b, 0xffff007b,
    754   0xffff0002, 0xffff005e, 0xffff007a, 0xffff000e,
    755   0xffff0001, 0xffff005d, 0xffff000d, 0xffff0001,
    756   0xffff0000, 0xfffefff0, 0xffff0000, 0xffff0000,
    757   0xfffeff93, 0xfffeffe3, 0xfffeffff, 0xfffeffff,
    758   0xfffeffe3, 0xfffeffff, 0xfffeffff, 0xffffffff,
    759   0xfffeffe2, 0xfffefffe, 0xfffffffe, 0xfffffffe,
    760   0xfffeffe1, 0xfffffffd, 0xfffffffd, 0xfffffffd,
    761   0xffffffe0, 0xfffffffc, 0xfffffffc, 0xffffffef,
    762   0xffffffdf, 0xfffffffb, 0xffffffee, 0xffffff82,
    763   0xffffffde, 0xffffffed, 0xffffff81, 0xffffff81,
    764   0xffffffd0, 0xffffff80, 0xffffff80, 0xffffff80,
    765   0xffffff63, 0xffffff7f, 0xffffff7f, 0xffffcccc,
    766   0xffffff62, 0xffffff7e, 0xffffcccb, 0xffffaaaa,
    767   0xffffff61, 0xffffccca, 0xffffaaa9, 0xffff8002,
    768   0xffffccad, 0xffffaaa8, 0xffff8001, 0xffff8001,
    769   0xffffaa8b, 0xffff8000, 0xffff8000, 0xffff8000,
    770   0xffff7fe3, 0xffff7fff, 0xffff7fff, 0xffff7fff,
    771   0xffff7fe2, 0xffff7ffe, 0xffff7ffe, 0xffff7ffe,
    772   0xffff7fe1, 0xffff7ffd, 0xffff7ffd, 0xffff5555,
    773   0xffff7fe0, 0xffff7ffc, 0xffff5554, 0xffff3333,
    774   0xffff7fdf, 0xffff5553, 0xffff3332, 0xffff007f,
    775   0xffff5536, 0xffff3331, 0xffff007e, 0xffff007e,
    776   0xffff3314, 0xffff007d, 0xffff007d, 0xffff007d,
    777   0xffff0060, 0xffff007c, 0xffff007c, 0xffff007c,
    778   0xffff005f, 0xffff007b, 0xffff007b, 0xffff000f,
    779   0xffff005e, 0xffff007a, 0xffff000e, 0xffff0002,
    780   0xffff005d, 0xffff000d, 0xffff0001, 0xffff0001,
    781   0xfffefff0, 0xffff0000, 0xffff0000, 0xffff0000,
    782 };
    783 const unsigned kExpectedCount_NEON_usubw2_4S = 744;
    784 
    785 #endif  // VIXL_SIM_USUBW2_4S_TRACE_AARCH64_H_
    786