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