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_INS_S_TRACE_A64_H_
     35 #define VIXL_SIM_INS_S_TRACE_A64_H_
     36 
     37 const uint32_t kExpected_NEON_ins_4S[] = {
     38   0xfffffffd, 0x00000001, 0x00000002, 0x00000020,
     39   0xfffffffe, 0x00000001, 0x00000002, 0x00000020,
     40   0xffffffff, 0x00000001, 0x00000002, 0x00000020,
     41   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     42   0x00000000, 0xfffffffd, 0x00000002, 0x00000020,
     43   0x00000000, 0xfffffffe, 0x00000002, 0x00000020,
     44   0x00000000, 0xffffffff, 0x00000002, 0x00000020,
     45   0x00000000, 0x00000000, 0x00000002, 0x00000020,
     46   0x00000000, 0x00000001, 0xfffffffd, 0x00000020,
     47   0x00000000, 0x00000001, 0xfffffffe, 0x00000020,
     48   0x00000000, 0x00000001, 0xffffffff, 0x00000020,
     49   0x00000000, 0x00000001, 0x00000000, 0x00000020,
     50   0x00000000, 0x00000001, 0x00000002, 0xfffffffd,
     51   0x00000000, 0x00000001, 0x00000002, 0xfffffffe,
     52   0x00000000, 0x00000001, 0x00000002, 0xffffffff,
     53   0x00000000, 0x00000001, 0x00000002, 0x00000000,
     54   0xfffffffe, 0x00000001, 0x00000002, 0x00000020,
     55   0xffffffff, 0x00000001, 0x00000002, 0x00000020,
     56   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     57   0x00000001, 0x00000001, 0x00000002, 0x00000020,
     58   0x00000000, 0xfffffffe, 0x00000002, 0x00000020,
     59   0x00000000, 0xffffffff, 0x00000002, 0x00000020,
     60   0x00000000, 0x00000000, 0x00000002, 0x00000020,
     61   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     62   0x00000000, 0x00000001, 0xfffffffe, 0x00000020,
     63   0x00000000, 0x00000001, 0xffffffff, 0x00000020,
     64   0x00000000, 0x00000001, 0x00000000, 0x00000020,
     65   0x00000000, 0x00000001, 0x00000001, 0x00000020,
     66   0x00000000, 0x00000001, 0x00000002, 0xfffffffe,
     67   0x00000000, 0x00000001, 0x00000002, 0xffffffff,
     68   0x00000000, 0x00000001, 0x00000002, 0x00000000,
     69   0x00000000, 0x00000001, 0x00000002, 0x00000001,
     70   0xffffffff, 0x00000001, 0x00000002, 0x00000020,
     71   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     72   0x00000001, 0x00000001, 0x00000002, 0x00000020,
     73   0x00000002, 0x00000001, 0x00000002, 0x00000020,
     74   0x00000000, 0xffffffff, 0x00000002, 0x00000020,
     75   0x00000000, 0x00000000, 0x00000002, 0x00000020,
     76   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     77   0x00000000, 0x00000002, 0x00000002, 0x00000020,
     78   0x00000000, 0x00000001, 0xffffffff, 0x00000020,
     79   0x00000000, 0x00000001, 0x00000000, 0x00000020,
     80   0x00000000, 0x00000001, 0x00000001, 0x00000020,
     81   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     82   0x00000000, 0x00000001, 0x00000002, 0xffffffff,
     83   0x00000000, 0x00000001, 0x00000002, 0x00000000,
     84   0x00000000, 0x00000001, 0x00000002, 0x00000001,
     85   0x00000000, 0x00000001, 0x00000002, 0x00000002,
     86   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     87   0x00000001, 0x00000001, 0x00000002, 0x00000020,
     88   0x00000002, 0x00000001, 0x00000002, 0x00000020,
     89   0x00000020, 0x00000001, 0x00000002, 0x00000020,
     90   0x00000000, 0x00000000, 0x00000002, 0x00000020,
     91   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     92   0x00000000, 0x00000002, 0x00000002, 0x00000020,
     93   0x00000000, 0x00000020, 0x00000002, 0x00000020,
     94   0x00000000, 0x00000001, 0x00000000, 0x00000020,
     95   0x00000000, 0x00000001, 0x00000001, 0x00000020,
     96   0x00000000, 0x00000001, 0x00000002, 0x00000020,
     97   0x00000000, 0x00000001, 0x00000020, 0x00000020,
     98   0x00000000, 0x00000001, 0x00000002, 0x00000000,
     99   0x00000000, 0x00000001, 0x00000002, 0x00000001,
    100   0x00000000, 0x00000001, 0x00000002, 0x00000002,
    101   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    102   0x00000001, 0x00000001, 0x00000002, 0x00000020,
    103   0x00000002, 0x00000001, 0x00000002, 0x00000020,
    104   0x00000020, 0x00000001, 0x00000002, 0x00000020,
    105   0x0000007d, 0x00000001, 0x00000002, 0x00000020,
    106   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    107   0x00000000, 0x00000002, 0x00000002, 0x00000020,
    108   0x00000000, 0x00000020, 0x00000002, 0x00000020,
    109   0x00000000, 0x0000007d, 0x00000002, 0x00000020,
    110   0x00000000, 0x00000001, 0x00000001, 0x00000020,
    111   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    112   0x00000000, 0x00000001, 0x00000020, 0x00000020,
    113   0x00000000, 0x00000001, 0x0000007d, 0x00000020,
    114   0x00000000, 0x00000001, 0x00000002, 0x00000001,
    115   0x00000000, 0x00000001, 0x00000002, 0x00000002,
    116   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    117   0x00000000, 0x00000001, 0x00000002, 0x0000007d,
    118   0x00000002, 0x00000001, 0x00000002, 0x00000020,
    119   0x00000020, 0x00000001, 0x00000002, 0x00000020,
    120   0x0000007d, 0x00000001, 0x00000002, 0x00000020,
    121   0x0000007e, 0x00000001, 0x00000002, 0x00000020,
    122   0x00000000, 0x00000002, 0x00000002, 0x00000020,
    123   0x00000000, 0x00000020, 0x00000002, 0x00000020,
    124   0x00000000, 0x0000007d, 0x00000002, 0x00000020,
    125   0x00000000, 0x0000007e, 0x00000002, 0x00000020,
    126   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    127   0x00000000, 0x00000001, 0x00000020, 0x00000020,
    128   0x00000000, 0x00000001, 0x0000007d, 0x00000020,
    129   0x00000000, 0x00000001, 0x0000007e, 0x00000020,
    130   0x00000000, 0x00000001, 0x00000002, 0x00000002,
    131   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    132   0x00000000, 0x00000001, 0x00000002, 0x0000007d,
    133   0x00000000, 0x00000001, 0x00000002, 0x0000007e,
    134   0x00000020, 0x00000001, 0x00000002, 0x00000020,
    135   0x0000007d, 0x00000001, 0x00000002, 0x00000020,
    136   0x0000007e, 0x00000001, 0x00000002, 0x00000020,
    137   0x0000007f, 0x00000001, 0x00000002, 0x00000020,
    138   0x00000000, 0x00000020, 0x00000002, 0x00000020,
    139   0x00000000, 0x0000007d, 0x00000002, 0x00000020,
    140   0x00000000, 0x0000007e, 0x00000002, 0x00000020,
    141   0x00000000, 0x0000007f, 0x00000002, 0x00000020,
    142   0x00000000, 0x00000001, 0x00000020, 0x00000020,
    143   0x00000000, 0x00000001, 0x0000007d, 0x00000020,
    144   0x00000000, 0x00000001, 0x0000007e, 0x00000020,
    145   0x00000000, 0x00000001, 0x0000007f, 0x00000020,
    146   0x00000000, 0x00000001, 0x00000002, 0x00000020,
    147   0x00000000, 0x00000001, 0x00000002, 0x0000007d,
    148   0x00000000, 0x00000001, 0x00000002, 0x0000007e,
    149   0x00000000, 0x00000001, 0x00000002, 0x0000007f,
    150   0x0000007d, 0x00000001, 0x00000002, 0x00000020,
    151   0x0000007e, 0x00000001, 0x00000002, 0x00000020,
    152   0x0000007f, 0x00000001, 0x00000002, 0x00000020,
    153   0x00007ffd, 0x00000001, 0x00000002, 0x00000020,
    154   0x00000000, 0x0000007d, 0x00000002, 0x00000020,
    155   0x00000000, 0x0000007e, 0x00000002, 0x00000020,
    156   0x00000000, 0x0000007f, 0x00000002, 0x00000020,
    157   0x00000000, 0x00007ffd, 0x00000002, 0x00000020,
    158   0x00000000, 0x00000001, 0x0000007d, 0x00000020,
    159   0x00000000, 0x00000001, 0x0000007e, 0x00000020,
    160   0x00000000, 0x00000001, 0x0000007f, 0x00000020,
    161   0x00000000, 0x00000001, 0x00007ffd, 0x00000020,
    162   0x00000000, 0x00000001, 0x00000002, 0x0000007d,
    163   0x00000000, 0x00000001, 0x00000002, 0x0000007e,
    164   0x00000000, 0x00000001, 0x00000002, 0x0000007f,
    165   0x00000000, 0x00000001, 0x00000002, 0x00007ffd,
    166   0x0000007e, 0x00000001, 0x00000002, 0x00000020,
    167   0x0000007f, 0x00000001, 0x00000002, 0x00000020,
    168   0x00007ffd, 0x00000001, 0x00000002, 0x00000020,
    169   0x00007ffe, 0x00000001, 0x00000002, 0x00000020,
    170   0x00000000, 0x0000007e, 0x00000002, 0x00000020,
    171   0x00000000, 0x0000007f, 0x00000002, 0x00000020,
    172   0x00000000, 0x00007ffd, 0x00000002, 0x00000020,
    173   0x00000000, 0x00007ffe, 0x00000002, 0x00000020,
    174   0x00000000, 0x00000001, 0x0000007e, 0x00000020,
    175   0x00000000, 0x00000001, 0x0000007f, 0x00000020,
    176   0x00000000, 0x00000001, 0x00007ffd, 0x00000020,
    177   0x00000000, 0x00000001, 0x00007ffe, 0x00000020,
    178   0x00000000, 0x00000001, 0x00000002, 0x0000007e,
    179   0x00000000, 0x00000001, 0x00000002, 0x0000007f,
    180   0x00000000, 0x00000001, 0x00000002, 0x00007ffd,
    181   0x00000000, 0x00000001, 0x00000002, 0x00007ffe,
    182   0x0000007f, 0x00000001, 0x00000002, 0x00000020,
    183   0x00007ffd, 0x00000001, 0x00000002, 0x00000020,
    184   0x00007ffe, 0x00000001, 0x00000002, 0x00000020,
    185   0x00007fff, 0x00000001, 0x00000002, 0x00000020,
    186   0x00000000, 0x0000007f, 0x00000002, 0x00000020,
    187   0x00000000, 0x00007ffd, 0x00000002, 0x00000020,
    188   0x00000000, 0x00007ffe, 0x00000002, 0x00000020,
    189   0x00000000, 0x00007fff, 0x00000002, 0x00000020,
    190   0x00000000, 0x00000001, 0x0000007f, 0x00000020,
    191   0x00000000, 0x00000001, 0x00007ffd, 0x00000020,
    192   0x00000000, 0x00000001, 0x00007ffe, 0x00000020,
    193   0x00000000, 0x00000001, 0x00007fff, 0x00000020,
    194   0x00000000, 0x00000001, 0x00000002, 0x0000007f,
    195   0x00000000, 0x00000001, 0x00000002, 0x00007ffd,
    196   0x00000000, 0x00000001, 0x00000002, 0x00007ffe,
    197   0x00000000, 0x00000001, 0x00000002, 0x00007fff,
    198   0x00007ffd, 0x00000001, 0x00000002, 0x00000020,
    199   0x00007ffe, 0x00000001, 0x00000002, 0x00000020,
    200   0x00007fff, 0x00000001, 0x00000002, 0x00000020,
    201   0x33333333, 0x00000001, 0x00000002, 0x00000020,
    202   0x00000000, 0x00007ffd, 0x00000002, 0x00000020,
    203   0x00000000, 0x00007ffe, 0x00000002, 0x00000020,
    204   0x00000000, 0x00007fff, 0x00000002, 0x00000020,
    205   0x00000000, 0x33333333, 0x00000002, 0x00000020,
    206   0x00000000, 0x00000001, 0x00007ffd, 0x00000020,
    207   0x00000000, 0x00000001, 0x00007ffe, 0x00000020,
    208   0x00000000, 0x00000001, 0x00007fff, 0x00000020,
    209   0x00000000, 0x00000001, 0x33333333, 0x00000020,
    210   0x00000000, 0x00000001, 0x00000002, 0x00007ffd,
    211   0x00000000, 0x00000001, 0x00000002, 0x00007ffe,
    212   0x00000000, 0x00000001, 0x00000002, 0x00007fff,
    213   0x00000000, 0x00000001, 0x00000002, 0x33333333,
    214   0x00007ffe, 0x00000001, 0x00000002, 0x00000020,
    215   0x00007fff, 0x00000001, 0x00000002, 0x00000020,
    216   0x33333333, 0x00000001, 0x00000002, 0x00000020,
    217   0x55555555, 0x00000001, 0x00000002, 0x00000020,
    218   0x00000000, 0x00007ffe, 0x00000002, 0x00000020,
    219   0x00000000, 0x00007fff, 0x00000002, 0x00000020,
    220   0x00000000, 0x33333333, 0x00000002, 0x00000020,
    221   0x00000000, 0x55555555, 0x00000002, 0x00000020,
    222   0x00000000, 0x00000001, 0x00007ffe, 0x00000020,
    223   0x00000000, 0x00000001, 0x00007fff, 0x00000020,
    224   0x00000000, 0x00000001, 0x33333333, 0x00000020,
    225   0x00000000, 0x00000001, 0x55555555, 0x00000020,
    226   0x00000000, 0x00000001, 0x00000002, 0x00007ffe,
    227   0x00000000, 0x00000001, 0x00000002, 0x00007fff,
    228   0x00000000, 0x00000001, 0x00000002, 0x33333333,
    229   0x00000000, 0x00000001, 0x00000002, 0x55555555,
    230   0x00007fff, 0x00000001, 0x00000002, 0x00000020,
    231   0x33333333, 0x00000001, 0x00000002, 0x00000020,
    232   0x55555555, 0x00000001, 0x00000002, 0x00000020,
    233   0x7ffffffd, 0x00000001, 0x00000002, 0x00000020,
    234   0x00000000, 0x00007fff, 0x00000002, 0x00000020,
    235   0x00000000, 0x33333333, 0x00000002, 0x00000020,
    236   0x00000000, 0x55555555, 0x00000002, 0x00000020,
    237   0x00000000, 0x7ffffffd, 0x00000002, 0x00000020,
    238   0x00000000, 0x00000001, 0x00007fff, 0x00000020,
    239   0x00000000, 0x00000001, 0x33333333, 0x00000020,
    240   0x00000000, 0x00000001, 0x55555555, 0x00000020,
    241   0x00000000, 0x00000001, 0x7ffffffd, 0x00000020,
    242   0x00000000, 0x00000001, 0x00000002, 0x00007fff,
    243   0x00000000, 0x00000001, 0x00000002, 0x33333333,
    244   0x00000000, 0x00000001, 0x00000002, 0x55555555,
    245   0x00000000, 0x00000001, 0x00000002, 0x7ffffffd,
    246   0x33333333, 0x00000001, 0x00000002, 0x00000020,
    247   0x55555555, 0x00000001, 0x00000002, 0x00000020,
    248   0x7ffffffd, 0x00000001, 0x00000002, 0x00000020,
    249   0x7ffffffe, 0x00000001, 0x00000002, 0x00000020,
    250   0x00000000, 0x33333333, 0x00000002, 0x00000020,
    251   0x00000000, 0x55555555, 0x00000002, 0x00000020,
    252   0x00000000, 0x7ffffffd, 0x00000002, 0x00000020,
    253   0x00000000, 0x7ffffffe, 0x00000002, 0x00000020,
    254   0x00000000, 0x00000001, 0x33333333, 0x00000020,
    255   0x00000000, 0x00000001, 0x55555555, 0x00000020,
    256   0x00000000, 0x00000001, 0x7ffffffd, 0x00000020,
    257   0x00000000, 0x00000001, 0x7ffffffe, 0x00000020,
    258   0x00000000, 0x00000001, 0x00000002, 0x33333333,
    259   0x00000000, 0x00000001, 0x00000002, 0x55555555,
    260   0x00000000, 0x00000001, 0x00000002, 0x7ffffffd,
    261   0x00000000, 0x00000001, 0x00000002, 0x7ffffffe,
    262   0x55555555, 0x00000001, 0x00000002, 0x00000020,
    263   0x7ffffffd, 0x00000001, 0x00000002, 0x00000020,
    264   0x7ffffffe, 0x00000001, 0x00000002, 0x00000020,
    265   0x7fffffff, 0x00000001, 0x00000002, 0x00000020,
    266   0x00000000, 0x55555555, 0x00000002, 0x00000020,
    267   0x00000000, 0x7ffffffd, 0x00000002, 0x00000020,
    268   0x00000000, 0x7ffffffe, 0x00000002, 0x00000020,
    269   0x00000000, 0x7fffffff, 0x00000002, 0x00000020,
    270   0x00000000, 0x00000001, 0x55555555, 0x00000020,
    271   0x00000000, 0x00000001, 0x7ffffffd, 0x00000020,
    272   0x00000000, 0x00000001, 0x7ffffffe, 0x00000020,
    273   0x00000000, 0x00000001, 0x7fffffff, 0x00000020,
    274   0x00000000, 0x00000001, 0x00000002, 0x55555555,
    275   0x00000000, 0x00000001, 0x00000002, 0x7ffffffd,
    276   0x00000000, 0x00000001, 0x00000002, 0x7ffffffe,
    277   0x00000000, 0x00000001, 0x00000002, 0x7fffffff,
    278   0x7ffffffd, 0x00000001, 0x00000002, 0x00000020,
    279   0x7ffffffe, 0x00000001, 0x00000002, 0x00000020,
    280   0x7fffffff, 0x00000001, 0x00000002, 0x00000020,
    281   0x80000000, 0x00000001, 0x00000002, 0x00000020,
    282   0x00000000, 0x7ffffffd, 0x00000002, 0x00000020,
    283   0x00000000, 0x7ffffffe, 0x00000002, 0x00000020,
    284   0x00000000, 0x7fffffff, 0x00000002, 0x00000020,
    285   0x00000000, 0x80000000, 0x00000002, 0x00000020,
    286   0x00000000, 0x00000001, 0x7ffffffd, 0x00000020,
    287   0x00000000, 0x00000001, 0x7ffffffe, 0x00000020,
    288   0x00000000, 0x00000001, 0x7fffffff, 0x00000020,
    289   0x00000000, 0x00000001, 0x80000000, 0x00000020,
    290   0x00000000, 0x00000001, 0x00000002, 0x7ffffffd,
    291   0x00000000, 0x00000001, 0x00000002, 0x7ffffffe,
    292   0x00000000, 0x00000001, 0x00000002, 0x7fffffff,
    293   0x00000000, 0x00000001, 0x00000002, 0x80000000,
    294   0x7ffffffe, 0x00000001, 0x00000002, 0x00000020,
    295   0x7fffffff, 0x00000001, 0x00000002, 0x00000020,
    296   0x80000000, 0x00000001, 0x00000002, 0x00000020,
    297   0x80000001, 0x00000001, 0x00000002, 0x00000020,
    298   0x00000000, 0x7ffffffe, 0x00000002, 0x00000020,
    299   0x00000000, 0x7fffffff, 0x00000002, 0x00000020,
    300   0x00000000, 0x80000000, 0x00000002, 0x00000020,
    301   0x00000000, 0x80000001, 0x00000002, 0x00000020,
    302   0x00000000, 0x00000001, 0x7ffffffe, 0x00000020,
    303   0x00000000, 0x00000001, 0x7fffffff, 0x00000020,
    304   0x00000000, 0x00000001, 0x80000000, 0x00000020,
    305   0x00000000, 0x00000001, 0x80000001, 0x00000020,
    306   0x00000000, 0x00000001, 0x00000002, 0x7ffffffe,
    307   0x00000000, 0x00000001, 0x00000002, 0x7fffffff,
    308   0x00000000, 0x00000001, 0x00000002, 0x80000000,
    309   0x00000000, 0x00000001, 0x00000002, 0x80000001,
    310   0x7fffffff, 0x00000001, 0x00000002, 0x00000020,
    311   0x80000000, 0x00000001, 0x00000002, 0x00000020,
    312   0x80000001, 0x00000001, 0x00000002, 0x00000020,
    313   0xaaaaaaaa, 0x00000001, 0x00000002, 0x00000020,
    314   0x00000000, 0x7fffffff, 0x00000002, 0x00000020,
    315   0x00000000, 0x80000000, 0x00000002, 0x00000020,
    316   0x00000000, 0x80000001, 0x00000002, 0x00000020,
    317   0x00000000, 0xaaaaaaaa, 0x00000002, 0x00000020,
    318   0x00000000, 0x00000001, 0x7fffffff, 0x00000020,
    319   0x00000000, 0x00000001, 0x80000000, 0x00000020,
    320   0x00000000, 0x00000001, 0x80000001, 0x00000020,
    321   0x00000000, 0x00000001, 0xaaaaaaaa, 0x00000020,
    322   0x00000000, 0x00000001, 0x00000002, 0x7fffffff,
    323   0x00000000, 0x00000001, 0x00000002, 0x80000000,
    324   0x00000000, 0x00000001, 0x00000002, 0x80000001,
    325   0x00000000, 0x00000001, 0x00000002, 0xaaaaaaaa,
    326   0x80000000, 0x00000001, 0x00000002, 0x00000020,
    327   0x80000001, 0x00000001, 0x00000002, 0x00000020,
    328   0xaaaaaaaa, 0x00000001, 0x00000002, 0x00000020,
    329   0xcccccccc, 0x00000001, 0x00000002, 0x00000020,
    330   0x00000000, 0x80000000, 0x00000002, 0x00000020,
    331   0x00000000, 0x80000001, 0x00000002, 0x00000020,
    332   0x00000000, 0xaaaaaaaa, 0x00000002, 0x00000020,
    333   0x00000000, 0xcccccccc, 0x00000002, 0x00000020,
    334   0x00000000, 0x00000001, 0x80000000, 0x00000020,
    335   0x00000000, 0x00000001, 0x80000001, 0x00000020,
    336   0x00000000, 0x00000001, 0xaaaaaaaa, 0x00000020,
    337   0x00000000, 0x00000001, 0xcccccccc, 0x00000020,
    338   0x00000000, 0x00000001, 0x00000002, 0x80000000,
    339   0x00000000, 0x00000001, 0x00000002, 0x80000001,
    340   0x00000000, 0x00000001, 0x00000002, 0xaaaaaaaa,
    341   0x00000000, 0x00000001, 0x00000002, 0xcccccccc,
    342   0x80000001, 0x00000001, 0x00000002, 0x00000020,
    343   0xaaaaaaaa, 0x00000001, 0x00000002, 0x00000020,
    344   0xcccccccc, 0x00000001, 0x00000002, 0x00000020,
    345   0xffff8000, 0x00000001, 0x00000002, 0x00000020,
    346   0x00000000, 0x80000001, 0x00000002, 0x00000020,
    347   0x00000000, 0xaaaaaaaa, 0x00000002, 0x00000020,
    348   0x00000000, 0xcccccccc, 0x00000002, 0x00000020,
    349   0x00000000, 0xffff8000, 0x00000002, 0x00000020,
    350   0x00000000, 0x00000001, 0x80000001, 0x00000020,
    351   0x00000000, 0x00000001, 0xaaaaaaaa, 0x00000020,
    352   0x00000000, 0x00000001, 0xcccccccc, 0x00000020,
    353   0x00000000, 0x00000001, 0xffff8000, 0x00000020,
    354   0x00000000, 0x00000001, 0x00000002, 0x80000001,
    355   0x00000000, 0x00000001, 0x00000002, 0xaaaaaaaa,
    356   0x00000000, 0x00000001, 0x00000002, 0xcccccccc,
    357   0x00000000, 0x00000001, 0x00000002, 0xffff8000,
    358   0xaaaaaaaa, 0x00000001, 0x00000002, 0x00000020,
    359   0xcccccccc, 0x00000001, 0x00000002, 0x00000020,
    360   0xffff8000, 0x00000001, 0x00000002, 0x00000020,
    361   0xffff8001, 0x00000001, 0x00000002, 0x00000020,
    362   0x00000000, 0xaaaaaaaa, 0x00000002, 0x00000020,
    363   0x00000000, 0xcccccccc, 0x00000002, 0x00000020,
    364   0x00000000, 0xffff8000, 0x00000002, 0x00000020,
    365   0x00000000, 0xffff8001, 0x00000002, 0x00000020,
    366   0x00000000, 0x00000001, 0xaaaaaaaa, 0x00000020,
    367   0x00000000, 0x00000001, 0xcccccccc, 0x00000020,
    368   0x00000000, 0x00000001, 0xffff8000, 0x00000020,
    369   0x00000000, 0x00000001, 0xffff8001, 0x00000020,
    370   0x00000000, 0x00000001, 0x00000002, 0xaaaaaaaa,
    371   0x00000000, 0x00000001, 0x00000002, 0xcccccccc,
    372   0x00000000, 0x00000001, 0x00000002, 0xffff8000,
    373   0x00000000, 0x00000001, 0x00000002, 0xffff8001,
    374   0xcccccccc, 0x00000001, 0x00000002, 0x00000020,
    375   0xffff8000, 0x00000001, 0x00000002, 0x00000020,
    376   0xffff8001, 0x00000001, 0x00000002, 0x00000020,
    377   0xffff8002, 0x00000001, 0x00000002, 0x00000020,
    378   0x00000000, 0xcccccccc, 0x00000002, 0x00000020,
    379   0x00000000, 0xffff8000, 0x00000002, 0x00000020,
    380   0x00000000, 0xffff8001, 0x00000002, 0x00000020,
    381   0x00000000, 0xffff8002, 0x00000002, 0x00000020,
    382   0x00000000, 0x00000001, 0xcccccccc, 0x00000020,
    383   0x00000000, 0x00000001, 0xffff8000, 0x00000020,
    384   0x00000000, 0x00000001, 0xffff8001, 0x00000020,
    385   0x00000000, 0x00000001, 0xffff8002, 0x00000020,
    386   0x00000000, 0x00000001, 0x00000002, 0xcccccccc,
    387   0x00000000, 0x00000001, 0x00000002, 0xffff8000,
    388   0x00000000, 0x00000001, 0x00000002, 0xffff8001,
    389   0x00000000, 0x00000001, 0x00000002, 0xffff8002,
    390   0xffff8000, 0x00000001, 0x00000002, 0x00000020,
    391   0xffff8001, 0x00000001, 0x00000002, 0x00000020,
    392   0xffff8002, 0x00000001, 0x00000002, 0x00000020,
    393   0xffff8003, 0x00000001, 0x00000002, 0x00000020,
    394   0x00000000, 0xffff8000, 0x00000002, 0x00000020,
    395   0x00000000, 0xffff8001, 0x00000002, 0x00000020,
    396   0x00000000, 0xffff8002, 0x00000002, 0x00000020,
    397   0x00000000, 0xffff8003, 0x00000002, 0x00000020,
    398   0x00000000, 0x00000001, 0xffff8000, 0x00000020,
    399   0x00000000, 0x00000001, 0xffff8001, 0x00000020,
    400   0x00000000, 0x00000001, 0xffff8002, 0x00000020,
    401   0x00000000, 0x00000001, 0xffff8003, 0x00000020,
    402   0x00000000, 0x00000001, 0x00000002, 0xffff8000,
    403   0x00000000, 0x00000001, 0x00000002, 0xffff8001,
    404   0x00000000, 0x00000001, 0x00000002, 0xffff8002,
    405   0x00000000, 0x00000001, 0x00000002, 0xffff8003,
    406   0xffff8001, 0x00000001, 0x00000002, 0x00000020,
    407   0xffff8002, 0x00000001, 0x00000002, 0x00000020,
    408   0xffff8003, 0x00000001, 0x00000002, 0x00000020,
    409   0xffffff80, 0x00000001, 0x00000002, 0x00000020,
    410   0x00000000, 0xffff8001, 0x00000002, 0x00000020,
    411   0x00000000, 0xffff8002, 0x00000002, 0x00000020,
    412   0x00000000, 0xffff8003, 0x00000002, 0x00000020,
    413   0x00000000, 0xffffff80, 0x00000002, 0x00000020,
    414   0x00000000, 0x00000001, 0xffff8001, 0x00000020,
    415   0x00000000, 0x00000001, 0xffff8002, 0x00000020,
    416   0x00000000, 0x00000001, 0xffff8003, 0x00000020,
    417   0x00000000, 0x00000001, 0xffffff80, 0x00000020,
    418   0x00000000, 0x00000001, 0x00000002, 0xffff8001,
    419   0x00000000, 0x00000001, 0x00000002, 0xffff8002,
    420   0x00000000, 0x00000001, 0x00000002, 0xffff8003,
    421   0x00000000, 0x00000001, 0x00000002, 0xffffff80,
    422   0xffff8002, 0x00000001, 0x00000002, 0x00000020,
    423   0xffff8003, 0x00000001, 0x00000002, 0x00000020,
    424   0xffffff80, 0x00000001, 0x00000002, 0x00000020,
    425   0xffffff81, 0x00000001, 0x00000002, 0x00000020,
    426   0x00000000, 0xffff8002, 0x00000002, 0x00000020,
    427   0x00000000, 0xffff8003, 0x00000002, 0x00000020,
    428   0x00000000, 0xffffff80, 0x00000002, 0x00000020,
    429   0x00000000, 0xffffff81, 0x00000002, 0x00000020,
    430   0x00000000, 0x00000001, 0xffff8002, 0x00000020,
    431   0x00000000, 0x00000001, 0xffff8003, 0x00000020,
    432   0x00000000, 0x00000001, 0xffffff80, 0x00000020,
    433   0x00000000, 0x00000001, 0xffffff81, 0x00000020,
    434   0x00000000, 0x00000001, 0x00000002, 0xffff8002,
    435   0x00000000, 0x00000001, 0x00000002, 0xffff8003,
    436   0x00000000, 0x00000001, 0x00000002, 0xffffff80,
    437   0x00000000, 0x00000001, 0x00000002, 0xffffff81,
    438   0xffff8003, 0x00000001, 0x00000002, 0x00000020,
    439   0xffffff80, 0x00000001, 0x00000002, 0x00000020,
    440   0xffffff81, 0x00000001, 0x00000002, 0x00000020,
    441   0xffffff82, 0x00000001, 0x00000002, 0x00000020,
    442   0x00000000, 0xffff8003, 0x00000002, 0x00000020,
    443   0x00000000, 0xffffff80, 0x00000002, 0x00000020,
    444   0x00000000, 0xffffff81, 0x00000002, 0x00000020,
    445   0x00000000, 0xffffff82, 0x00000002, 0x00000020,
    446   0x00000000, 0x00000001, 0xffff8003, 0x00000020,
    447   0x00000000, 0x00000001, 0xffffff80, 0x00000020,
    448   0x00000000, 0x00000001, 0xffffff81, 0x00000020,
    449   0x00000000, 0x00000001, 0xffffff82, 0x00000020,
    450   0x00000000, 0x00000001, 0x00000002, 0xffff8003,
    451   0x00000000, 0x00000001, 0x00000002, 0xffffff80,
    452   0x00000000, 0x00000001, 0x00000002, 0xffffff81,
    453   0x00000000, 0x00000001, 0x00000002, 0xffffff82,
    454   0xffffff80, 0x00000001, 0x00000002, 0x00000020,
    455   0xffffff81, 0x00000001, 0x00000002, 0x00000020,
    456   0xffffff82, 0x00000001, 0x00000002, 0x00000020,
    457   0xffffff83, 0x00000001, 0x00000002, 0x00000020,
    458   0x00000000, 0xffffff80, 0x00000002, 0x00000020,
    459   0x00000000, 0xffffff81, 0x00000002, 0x00000020,
    460   0x00000000, 0xffffff82, 0x00000002, 0x00000020,
    461   0x00000000, 0xffffff83, 0x00000002, 0x00000020,
    462   0x00000000, 0x00000001, 0xffffff80, 0x00000020,
    463   0x00000000, 0x00000001, 0xffffff81, 0x00000020,
    464   0x00000000, 0x00000001, 0xffffff82, 0x00000020,
    465   0x00000000, 0x00000001, 0xffffff83, 0x00000020,
    466   0x00000000, 0x00000001, 0x00000002, 0xffffff80,
    467   0x00000000, 0x00000001, 0x00000002, 0xffffff81,
    468   0x00000000, 0x00000001, 0x00000002, 0xffffff82,
    469   0x00000000, 0x00000001, 0x00000002, 0xffffff83,
    470   0xffffff81, 0x00000001, 0x00000002, 0x00000020,
    471   0xffffff82, 0x00000001, 0x00000002, 0x00000020,
    472   0xffffff83, 0x00000001, 0x00000002, 0x00000020,
    473   0xffffffe0, 0x00000001, 0x00000002, 0x00000020,
    474   0x00000000, 0xffffff81, 0x00000002, 0x00000020,
    475   0x00000000, 0xffffff82, 0x00000002, 0x00000020,
    476   0x00000000, 0xffffff83, 0x00000002, 0x00000020,
    477   0x00000000, 0xffffffe0, 0x00000002, 0x00000020,
    478   0x00000000, 0x00000001, 0xffffff81, 0x00000020,
    479   0x00000000, 0x00000001, 0xffffff82, 0x00000020,
    480   0x00000000, 0x00000001, 0xffffff83, 0x00000020,
    481   0x00000000, 0x00000001, 0xffffffe0, 0x00000020,
    482   0x00000000, 0x00000001, 0x00000002, 0xffffff81,
    483   0x00000000, 0x00000001, 0x00000002, 0xffffff82,
    484   0x00000000, 0x00000001, 0x00000002, 0xffffff83,
    485   0x00000000, 0x00000001, 0x00000002, 0xffffffe0,
    486   0xffffff82, 0x00000001, 0x00000002, 0x00000020,
    487   0xffffff83, 0x00000001, 0x00000002, 0x00000020,
    488   0xffffffe0, 0x00000001, 0x00000002, 0x00000020,
    489   0xfffffffd, 0x00000001, 0x00000002, 0x00000020,
    490   0x00000000, 0xffffff82, 0x00000002, 0x00000020,
    491   0x00000000, 0xffffff83, 0x00000002, 0x00000020,
    492   0x00000000, 0xffffffe0, 0x00000002, 0x00000020,
    493   0x00000000, 0xfffffffd, 0x00000002, 0x00000020,
    494   0x00000000, 0x00000001, 0xffffff82, 0x00000020,
    495   0x00000000, 0x00000001, 0xffffff83, 0x00000020,
    496   0x00000000, 0x00000001, 0xffffffe0, 0x00000020,
    497   0x00000000, 0x00000001, 0xfffffffd, 0x00000020,
    498   0x00000000, 0x00000001, 0x00000002, 0xffffff82,
    499   0x00000000, 0x00000001, 0x00000002, 0xffffff83,
    500   0x00000000, 0x00000001, 0x00000002, 0xffffffe0,
    501   0x00000000, 0x00000001, 0x00000002, 0xfffffffd,
    502   0xffffff83, 0x00000001, 0x00000002, 0x00000020,
    503   0xffffffe0, 0x00000001, 0x00000002, 0x00000020,
    504   0xfffffffd, 0x00000001, 0x00000002, 0x00000020,
    505   0xfffffffe, 0x00000001, 0x00000002, 0x00000020,
    506   0x00000000, 0xffffff83, 0x00000002, 0x00000020,
    507   0x00000000, 0xffffffe0, 0x00000002, 0x00000020,
    508   0x00000000, 0xfffffffd, 0x00000002, 0x00000020,
    509   0x00000000, 0xfffffffe, 0x00000002, 0x00000020,
    510   0x00000000, 0x00000001, 0xffffff83, 0x00000020,
    511   0x00000000, 0x00000001, 0xffffffe0, 0x00000020,
    512   0x00000000, 0x00000001, 0xfffffffd, 0x00000020,
    513   0x00000000, 0x00000001, 0xfffffffe, 0x00000020,
    514   0x00000000, 0x00000001, 0x00000002, 0xffffff83,
    515   0x00000000, 0x00000001, 0x00000002, 0xffffffe0,
    516   0x00000000, 0x00000001, 0x00000002, 0xfffffffd,
    517   0x00000000, 0x00000001, 0x00000002, 0xfffffffe,
    518   0xffffffe0, 0x00000001, 0x00000002, 0x00000020,
    519   0xfffffffd, 0x00000001, 0x00000002, 0x00000020,
    520   0xfffffffe, 0x00000001, 0x00000002, 0x00000020,
    521   0xffffffff, 0x00000001, 0x00000002, 0x00000020,
    522   0x00000000, 0xffffffe0, 0x00000002, 0x00000020,
    523   0x00000000, 0xfffffffd, 0x00000002, 0x00000020,
    524   0x00000000, 0xfffffffe, 0x00000002, 0x00000020,
    525   0x00000000, 0xffffffff, 0x00000002, 0x00000020,
    526   0x00000000, 0x00000001, 0xffffffe0, 0x00000020,
    527   0x00000000, 0x00000001, 0xfffffffd, 0x00000020,
    528   0x00000000, 0x00000001, 0xfffffffe, 0x00000020,
    529   0x00000000, 0x00000001, 0xffffffff, 0x00000020,
    530   0x00000000, 0x00000001, 0x00000002, 0xffffffe0,
    531   0x00000000, 0x00000001, 0x00000002, 0xfffffffd,
    532   0x00000000, 0x00000001, 0x00000002, 0xfffffffe,
    533   0x00000000, 0x00000001, 0x00000002, 0xffffffff,
    534 };
    535 const unsigned kExpectedCount_NEON_ins_4S = 496;
    536 
    537 #endif  // VIXL_SIM_INS_S_TRACE_A64_H_
    538