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_SSHLL_4S_2OPIMM_TRACE_AARCH64_H_
     35 #define VIXL_SIM_SSHLL_4S_2OPIMM_TRACE_AARCH64_H_
     36 
     37 const uint32_t kExpected_NEON_sshll_4S_2OPIMM[] = {
     38   0xffffff81, 0xffffff82, 0xffffff83, 0xfffffff0,
     39   0xffffff02, 0xffffff04, 0xffffff06, 0xffffffe0,
     40   0xfffffe04, 0xfffffe08, 0xfffffe0c, 0xffffffc0,
     41   0xfffffc08, 0xfffffc10, 0xfffffc18, 0xffffff80,
     42   0xfffff810, 0xfffff820, 0xfffff830, 0xffffff00,
     43   0xfffff020, 0xfffff040, 0xfffff060, 0xfffffe00,
     44   0xffffe040, 0xffffe080, 0xffffe0c0, 0xfffffc00,
     45   0xffffc080, 0xffffc100, 0xffffc180, 0xfffff800,
     46   0xffff8100, 0xffff8200, 0xffff8300, 0xfffff000,
     47   0xffff0200, 0xffff0400, 0xffff0600, 0xffffe000,
     48   0xfffe0400, 0xfffe0800, 0xfffe0c00, 0xffffc000,
     49   0xfffc0800, 0xfffc1000, 0xfffc1800, 0xffff8000,
     50   0xfff81000, 0xfff82000, 0xfff83000, 0xffff0000,
     51   0xfff02000, 0xfff04000, 0xfff06000, 0xfffe0000,
     52   0xffe04000, 0xffe08000, 0xffe0c000, 0xfffc0000,
     53   0xffc08000, 0xffc10000, 0xffc18000, 0xfff80000,
     54   0xffffff82, 0xffffff83, 0xfffffff0, 0xfffffffd,
     55   0xffffff04, 0xffffff06, 0xffffffe0, 0xfffffffa,
     56   0xfffffe08, 0xfffffe0c, 0xffffffc0, 0xfffffff4,
     57   0xfffffc10, 0xfffffc18, 0xffffff80, 0xffffffe8,
     58   0xfffff820, 0xfffff830, 0xffffff00, 0xffffffd0,
     59   0xfffff040, 0xfffff060, 0xfffffe00, 0xffffffa0,
     60   0xffffe080, 0xffffe0c0, 0xfffffc00, 0xffffff40,
     61   0xffffc100, 0xffffc180, 0xfffff800, 0xfffffe80,
     62   0xffff8200, 0xffff8300, 0xfffff000, 0xfffffd00,
     63   0xffff0400, 0xffff0600, 0xffffe000, 0xfffffa00,
     64   0xfffe0800, 0xfffe0c00, 0xffffc000, 0xfffff400,
     65   0xfffc1000, 0xfffc1800, 0xffff8000, 0xffffe800,
     66   0xfff82000, 0xfff83000, 0xffff0000, 0xffffd000,
     67   0xfff04000, 0xfff06000, 0xfffe0000, 0xffffa000,
     68   0xffe08000, 0xffe0c000, 0xfffc0000, 0xffff4000,
     69   0xffc10000, 0xffc18000, 0xfff80000, 0xfffe8000,
     70   0xffffff83, 0xfffffff0, 0xfffffffd, 0xfffffffe,
     71   0xffffff06, 0xffffffe0, 0xfffffffa, 0xfffffffc,
     72   0xfffffe0c, 0xffffffc0, 0xfffffff4, 0xfffffff8,
     73   0xfffffc18, 0xffffff80, 0xffffffe8, 0xfffffff0,
     74   0xfffff830, 0xffffff00, 0xffffffd0, 0xffffffe0,
     75   0xfffff060, 0xfffffe00, 0xffffffa0, 0xffffffc0,
     76   0xffffe0c0, 0xfffffc00, 0xffffff40, 0xffffff80,
     77   0xffffc180, 0xfffff800, 0xfffffe80, 0xffffff00,
     78   0xffff8300, 0xfffff000, 0xfffffd00, 0xfffffe00,
     79   0xffff0600, 0xffffe000, 0xfffffa00, 0xfffffc00,
     80   0xfffe0c00, 0xffffc000, 0xfffff400, 0xfffff800,
     81   0xfffc1800, 0xffff8000, 0xffffe800, 0xfffff000,
     82   0xfff83000, 0xffff0000, 0xffffd000, 0xffffe000,
     83   0xfff06000, 0xfffe0000, 0xffffa000, 0xffffc000,
     84   0xffe0c000, 0xfffc0000, 0xffff4000, 0xffff8000,
     85   0xffc18000, 0xfff80000, 0xfffe8000, 0xffff0000,
     86   0xfffffff0, 0xfffffffd, 0xfffffffe, 0xffffffff,
     87   0xffffffe0, 0xfffffffa, 0xfffffffc, 0xfffffffe,
     88   0xffffffc0, 0xfffffff4, 0xfffffff8, 0xfffffffc,
     89   0xffffff80, 0xffffffe8, 0xfffffff0, 0xfffffff8,
     90   0xffffff00, 0xffffffd0, 0xffffffe0, 0xfffffff0,
     91   0xfffffe00, 0xffffffa0, 0xffffffc0, 0xffffffe0,
     92   0xfffffc00, 0xffffff40, 0xffffff80, 0xffffffc0,
     93   0xfffff800, 0xfffffe80, 0xffffff00, 0xffffff80,
     94   0xfffff000, 0xfffffd00, 0xfffffe00, 0xffffff00,
     95   0xffffe000, 0xfffffa00, 0xfffffc00, 0xfffffe00,
     96   0xffffc000, 0xfffff400, 0xfffff800, 0xfffffc00,
     97   0xffff8000, 0xffffe800, 0xfffff000, 0xfffff800,
     98   0xffff0000, 0xffffd000, 0xffffe000, 0xfffff000,
     99   0xfffe0000, 0xffffa000, 0xffffc000, 0xffffe000,
    100   0xfffc0000, 0xffff4000, 0xffff8000, 0xffffc000,
    101   0xfff80000, 0xfffe8000, 0xffff0000, 0xffff8000,
    102   0xfffffffd, 0xfffffffe, 0xffffffff, 0x00000000,
    103   0xfffffffa, 0xfffffffc, 0xfffffffe, 0x00000000,
    104   0xfffffff4, 0xfffffff8, 0xfffffffc, 0x00000000,
    105   0xffffffe8, 0xfffffff0, 0xfffffff8, 0x00000000,
    106   0xffffffd0, 0xffffffe0, 0xfffffff0, 0x00000000,
    107   0xffffffa0, 0xffffffc0, 0xffffffe0, 0x00000000,
    108   0xffffff40, 0xffffff80, 0xffffffc0, 0x00000000,
    109   0xfffffe80, 0xffffff00, 0xffffff80, 0x00000000,
    110   0xfffffd00, 0xfffffe00, 0xffffff00, 0x00000000,
    111   0xfffffa00, 0xfffffc00, 0xfffffe00, 0x00000000,
    112   0xfffff400, 0xfffff800, 0xfffffc00, 0x00000000,
    113   0xffffe800, 0xfffff000, 0xfffff800, 0x00000000,
    114   0xffffd000, 0xffffe000, 0xfffff000, 0x00000000,
    115   0xffffa000, 0xffffc000, 0xffffe000, 0x00000000,
    116   0xffff4000, 0xffff8000, 0xffffc000, 0x00000000,
    117   0xfffe8000, 0xffff0000, 0xffff8000, 0x00000000,
    118   0xfffffffe, 0xffffffff, 0x00000000, 0x00000001,
    119   0xfffffffc, 0xfffffffe, 0x00000000, 0x00000002,
    120   0xfffffff8, 0xfffffffc, 0x00000000, 0x00000004,
    121   0xfffffff0, 0xfffffff8, 0x00000000, 0x00000008,
    122   0xffffffe0, 0xfffffff0, 0x00000000, 0x00000010,
    123   0xffffffc0, 0xffffffe0, 0x00000000, 0x00000020,
    124   0xffffff80, 0xffffffc0, 0x00000000, 0x00000040,
    125   0xffffff00, 0xffffff80, 0x00000000, 0x00000080,
    126   0xfffffe00, 0xffffff00, 0x00000000, 0x00000100,
    127   0xfffffc00, 0xfffffe00, 0x00000000, 0x00000200,
    128   0xfffff800, 0xfffffc00, 0x00000000, 0x00000400,
    129   0xfffff000, 0xfffff800, 0x00000000, 0x00000800,
    130   0xffffe000, 0xfffff000, 0x00000000, 0x00001000,
    131   0xffffc000, 0xffffe000, 0x00000000, 0x00002000,
    132   0xffff8000, 0xffffc000, 0x00000000, 0x00004000,
    133   0xffff0000, 0xffff8000, 0x00000000, 0x00008000,
    134   0xffffffff, 0x00000000, 0x00000001, 0x00000002,
    135   0xfffffffe, 0x00000000, 0x00000002, 0x00000004,
    136   0xfffffffc, 0x00000000, 0x00000004, 0x00000008,
    137   0xfffffff8, 0x00000000, 0x00000008, 0x00000010,
    138   0xfffffff0, 0x00000000, 0x00000010, 0x00000020,
    139   0xffffffe0, 0x00000000, 0x00000020, 0x00000040,
    140   0xffffffc0, 0x00000000, 0x00000040, 0x00000080,
    141   0xffffff80, 0x00000000, 0x00000080, 0x00000100,
    142   0xffffff00, 0x00000000, 0x00000100, 0x00000200,
    143   0xfffffe00, 0x00000000, 0x00000200, 0x00000400,
    144   0xfffffc00, 0x00000000, 0x00000400, 0x00000800,
    145   0xfffff800, 0x00000000, 0x00000800, 0x00001000,
    146   0xfffff000, 0x00000000, 0x00001000, 0x00002000,
    147   0xffffe000, 0x00000000, 0x00002000, 0x00004000,
    148   0xffffc000, 0x00000000, 0x00004000, 0x00008000,
    149   0xffff8000, 0x00000000, 0x00008000, 0x00010000,
    150   0x00000000, 0x00000001, 0x00000002, 0x00000010,
    151   0x00000000, 0x00000002, 0x00000004, 0x00000020,
    152   0x00000000, 0x00000004, 0x00000008, 0x00000040,
    153   0x00000000, 0x00000008, 0x00000010, 0x00000080,
    154   0x00000000, 0x00000010, 0x00000020, 0x00000100,
    155   0x00000000, 0x00000020, 0x00000040, 0x00000200,
    156   0x00000000, 0x00000040, 0x00000080, 0x00000400,
    157   0x00000000, 0x00000080, 0x00000100, 0x00000800,
    158   0x00000000, 0x00000100, 0x00000200, 0x00001000,
    159   0x00000000, 0x00000200, 0x00000400, 0x00002000,
    160   0x00000000, 0x00000400, 0x00000800, 0x00004000,
    161   0x00000000, 0x00000800, 0x00001000, 0x00008000,
    162   0x00000000, 0x00001000, 0x00002000, 0x00010000,
    163   0x00000000, 0x00002000, 0x00004000, 0x00020000,
    164   0x00000000, 0x00004000, 0x00008000, 0x00040000,
    165   0x00000000, 0x00008000, 0x00010000, 0x00080000,
    166   0x00000001, 0x00000002, 0x00000010, 0x0000007d,
    167   0x00000002, 0x00000004, 0x00000020, 0x000000fa,
    168   0x00000004, 0x00000008, 0x00000040, 0x000001f4,
    169   0x00000008, 0x00000010, 0x00000080, 0x000003e8,
    170   0x00000010, 0x00000020, 0x00000100, 0x000007d0,
    171   0x00000020, 0x00000040, 0x00000200, 0x00000fa0,
    172   0x00000040, 0x00000080, 0x00000400, 0x00001f40,
    173   0x00000080, 0x00000100, 0x00000800, 0x00003e80,
    174   0x00000100, 0x00000200, 0x00001000, 0x00007d00,
    175   0x00000200, 0x00000400, 0x00002000, 0x0000fa00,
    176   0x00000400, 0x00000800, 0x00004000, 0x0001f400,
    177   0x00000800, 0x00001000, 0x00008000, 0x0003e800,
    178   0x00001000, 0x00002000, 0x00010000, 0x0007d000,
    179   0x00002000, 0x00004000, 0x00020000, 0x000fa000,
    180   0x00004000, 0x00008000, 0x00040000, 0x001f4000,
    181   0x00008000, 0x00010000, 0x00080000, 0x003e8000,
    182   0x00000002, 0x00000010, 0x0000007d, 0x0000007e,
    183   0x00000004, 0x00000020, 0x000000fa, 0x000000fc,
    184   0x00000008, 0x00000040, 0x000001f4, 0x000001f8,
    185   0x00000010, 0x00000080, 0x000003e8, 0x000003f0,
    186   0x00000020, 0x00000100, 0x000007d0, 0x000007e0,
    187   0x00000040, 0x00000200, 0x00000fa0, 0x00000fc0,
    188   0x00000080, 0x00000400, 0x00001f40, 0x00001f80,
    189   0x00000100, 0x00000800, 0x00003e80, 0x00003f00,
    190   0x00000200, 0x00001000, 0x00007d00, 0x00007e00,
    191   0x00000400, 0x00002000, 0x0000fa00, 0x0000fc00,
    192   0x00000800, 0x00004000, 0x0001f400, 0x0001f800,
    193   0x00001000, 0x00008000, 0x0003e800, 0x0003f000,
    194   0x00002000, 0x00010000, 0x0007d000, 0x0007e000,
    195   0x00004000, 0x00020000, 0x000fa000, 0x000fc000,
    196   0x00008000, 0x00040000, 0x001f4000, 0x001f8000,
    197   0x00010000, 0x00080000, 0x003e8000, 0x003f0000,
    198   0x00000010, 0x0000007d, 0x0000007e, 0x0000007f,
    199   0x00000020, 0x000000fa, 0x000000fc, 0x000000fe,
    200   0x00000040, 0x000001f4, 0x000001f8, 0x000001fc,
    201   0x00000080, 0x000003e8, 0x000003f0, 0x000003f8,
    202   0x00000100, 0x000007d0, 0x000007e0, 0x000007f0,
    203   0x00000200, 0x00000fa0, 0x00000fc0, 0x00000fe0,
    204   0x00000400, 0x00001f40, 0x00001f80, 0x00001fc0,
    205   0x00000800, 0x00003e80, 0x00003f00, 0x00003f80,
    206   0x00001000, 0x00007d00, 0x00007e00, 0x00007f00,
    207   0x00002000, 0x0000fa00, 0x0000fc00, 0x0000fe00,
    208   0x00004000, 0x0001f400, 0x0001f800, 0x0001fc00,
    209   0x00008000, 0x0003e800, 0x0003f000, 0x0003f800,
    210   0x00010000, 0x0007d000, 0x0007e000, 0x0007f000,
    211   0x00020000, 0x000fa000, 0x000fc000, 0x000fe000,
    212   0x00040000, 0x001f4000, 0x001f8000, 0x001fc000,
    213   0x00080000, 0x003e8000, 0x003f0000, 0x003f8000,
    214   0x0000007d, 0x0000007e, 0x0000007f, 0x00003333,
    215   0x000000fa, 0x000000fc, 0x000000fe, 0x00006666,
    216   0x000001f4, 0x000001f8, 0x000001fc, 0x0000cccc,
    217   0x000003e8, 0x000003f0, 0x000003f8, 0x00019998,
    218   0x000007d0, 0x000007e0, 0x000007f0, 0x00033330,
    219   0x00000fa0, 0x00000fc0, 0x00000fe0, 0x00066660,
    220   0x00001f40, 0x00001f80, 0x00001fc0, 0x000cccc0,
    221   0x00003e80, 0x00003f00, 0x00003f80, 0x00199980,
    222   0x00007d00, 0x00007e00, 0x00007f00, 0x00333300,
    223   0x0000fa00, 0x0000fc00, 0x0000fe00, 0x00666600,
    224   0x0001f400, 0x0001f800, 0x0001fc00, 0x00cccc00,
    225   0x0003e800, 0x0003f000, 0x0003f800, 0x01999800,
    226   0x0007d000, 0x0007e000, 0x0007f000, 0x03333000,
    227   0x000fa000, 0x000fc000, 0x000fe000, 0x06666000,
    228   0x001f4000, 0x001f8000, 0x001fc000, 0x0cccc000,
    229   0x003e8000, 0x003f0000, 0x003f8000, 0x19998000,
    230   0x0000007e, 0x0000007f, 0x00003333, 0x00005555,
    231   0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
    232   0x000001f8, 0x000001fc, 0x0000cccc, 0x00015554,
    233   0x000003f0, 0x000003f8, 0x00019998, 0x0002aaa8,
    234   0x000007e0, 0x000007f0, 0x00033330, 0x00055550,
    235   0x00000fc0, 0x00000fe0, 0x00066660, 0x000aaaa0,
    236   0x00001f80, 0x00001fc0, 0x000cccc0, 0x00155540,
    237   0x00003f00, 0x00003f80, 0x00199980, 0x002aaa80,
    238   0x00007e00, 0x00007f00, 0x00333300, 0x00555500,
    239   0x0000fc00, 0x0000fe00, 0x00666600, 0x00aaaa00,
    240   0x0001f800, 0x0001fc00, 0x00cccc00, 0x01555400,
    241   0x0003f000, 0x0003f800, 0x01999800, 0x02aaa800,
    242   0x0007e000, 0x0007f000, 0x03333000, 0x05555000,
    243   0x000fc000, 0x000fe000, 0x06666000, 0x0aaaa000,
    244   0x001f8000, 0x001fc000, 0x0cccc000, 0x15554000,
    245   0x003f0000, 0x003f8000, 0x19998000, 0x2aaa8000,
    246   0x0000007f, 0x00003333, 0x00005555, 0x00007ffd,
    247   0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
    248   0x000001fc, 0x0000cccc, 0x00015554, 0x0001fff4,
    249   0x000003f8, 0x00019998, 0x0002aaa8, 0x0003ffe8,
    250   0x000007f0, 0x00033330, 0x00055550, 0x0007ffd0,
    251   0x00000fe0, 0x00066660, 0x000aaaa0, 0x000fffa0,
    252   0x00001fc0, 0x000cccc0, 0x00155540, 0x001fff40,
    253   0x00003f80, 0x00199980, 0x002aaa80, 0x003ffe80,
    254   0x00007f00, 0x00333300, 0x00555500, 0x007ffd00,
    255   0x0000fe00, 0x00666600, 0x00aaaa00, 0x00fffa00,
    256   0x0001fc00, 0x00cccc00, 0x01555400, 0x01fff400,
    257   0x0003f800, 0x01999800, 0x02aaa800, 0x03ffe800,
    258   0x0007f000, 0x03333000, 0x05555000, 0x07ffd000,
    259   0x000fe000, 0x06666000, 0x0aaaa000, 0x0fffa000,
    260   0x001fc000, 0x0cccc000, 0x15554000, 0x1fff4000,
    261   0x003f8000, 0x19998000, 0x2aaa8000, 0x3ffe8000,
    262   0x00003333, 0x00005555, 0x00007ffd, 0x00007ffe,
    263   0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
    264   0x0000cccc, 0x00015554, 0x0001fff4, 0x0001fff8,
    265   0x00019998, 0x0002aaa8, 0x0003ffe8, 0x0003fff0,
    266   0x00033330, 0x00055550, 0x0007ffd0, 0x0007ffe0,
    267   0x00066660, 0x000aaaa0, 0x000fffa0, 0x000fffc0,
    268   0x000cccc0, 0x00155540, 0x001fff40, 0x001fff80,
    269   0x00199980, 0x002aaa80, 0x003ffe80, 0x003fff00,
    270   0x00333300, 0x00555500, 0x007ffd00, 0x007ffe00,
    271   0x00666600, 0x00aaaa00, 0x00fffa00, 0x00fffc00,
    272   0x00cccc00, 0x01555400, 0x01fff400, 0x01fff800,
    273   0x01999800, 0x02aaa800, 0x03ffe800, 0x03fff000,
    274   0x03333000, 0x05555000, 0x07ffd000, 0x07ffe000,
    275   0x06666000, 0x0aaaa000, 0x0fffa000, 0x0fffc000,
    276   0x0cccc000, 0x15554000, 0x1fff4000, 0x1fff8000,
    277   0x19998000, 0x2aaa8000, 0x3ffe8000, 0x3fff0000,
    278   0x00005555, 0x00007ffd, 0x00007ffe, 0x00007fff,
    279   0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
    280   0x00015554, 0x0001fff4, 0x0001fff8, 0x0001fffc,
    281   0x0002aaa8, 0x0003ffe8, 0x0003fff0, 0x0003fff8,
    282   0x00055550, 0x0007ffd0, 0x0007ffe0, 0x0007fff0,
    283   0x000aaaa0, 0x000fffa0, 0x000fffc0, 0x000fffe0,
    284   0x00155540, 0x001fff40, 0x001fff80, 0x001fffc0,
    285   0x002aaa80, 0x003ffe80, 0x003fff00, 0x003fff80,
    286   0x00555500, 0x007ffd00, 0x007ffe00, 0x007fff00,
    287   0x00aaaa00, 0x00fffa00, 0x00fffc00, 0x00fffe00,
    288   0x01555400, 0x01fff400, 0x01fff800, 0x01fffc00,
    289   0x02aaa800, 0x03ffe800, 0x03fff000, 0x03fff800,
    290   0x05555000, 0x07ffd000, 0x07ffe000, 0x07fff000,
    291   0x0aaaa000, 0x0fffa000, 0x0fffc000, 0x0fffe000,
    292   0x15554000, 0x1fff4000, 0x1fff8000, 0x1fffc000,
    293   0x2aaa8000, 0x3ffe8000, 0x3fff0000, 0x3fff8000,
    294   0x00007ffd, 0x00007ffe, 0x00007fff, 0xffff8000,
    295   0x0000fffa, 0x0000fffc, 0x0000fffe, 0xffff0000,
    296   0x0001fff4, 0x0001fff8, 0x0001fffc, 0xfffe0000,
    297   0x0003ffe8, 0x0003fff0, 0x0003fff8, 0xfffc0000,
    298   0x0007ffd0, 0x0007ffe0, 0x0007fff0, 0xfff80000,
    299   0x000fffa0, 0x000fffc0, 0x000fffe0, 0xfff00000,
    300   0x001fff40, 0x001fff80, 0x001fffc0, 0xffe00000,
    301   0x003ffe80, 0x003fff00, 0x003fff80, 0xffc00000,
    302   0x007ffd00, 0x007ffe00, 0x007fff00, 0xff800000,
    303   0x00fffa00, 0x00fffc00, 0x00fffe00, 0xff000000,
    304   0x01fff400, 0x01fff800, 0x01fffc00, 0xfe000000,
    305   0x03ffe800, 0x03fff000, 0x03fff800, 0xfc000000,
    306   0x07ffd000, 0x07ffe000, 0x07fff000, 0xf8000000,
    307   0x0fffa000, 0x0fffc000, 0x0fffe000, 0xf0000000,
    308   0x1fff4000, 0x1fff8000, 0x1fffc000, 0xe0000000,
    309   0x3ffe8000, 0x3fff0000, 0x3fff8000, 0xc0000000,
    310   0x00007ffe, 0x00007fff, 0xffff8000, 0xffff8001,
    311   0x0000fffc, 0x0000fffe, 0xffff0000, 0xffff0002,
    312   0x0001fff8, 0x0001fffc, 0xfffe0000, 0xfffe0004,
    313   0x0003fff0, 0x0003fff8, 0xfffc0000, 0xfffc0008,
    314   0x0007ffe0, 0x0007fff0, 0xfff80000, 0xfff80010,
    315   0x000fffc0, 0x000fffe0, 0xfff00000, 0xfff00020,
    316   0x001fff80, 0x001fffc0, 0xffe00000, 0xffe00040,
    317   0x003fff00, 0x003fff80, 0xffc00000, 0xffc00080,
    318   0x007ffe00, 0x007fff00, 0xff800000, 0xff800100,
    319   0x00fffc00, 0x00fffe00, 0xff000000, 0xff000200,
    320   0x01fff800, 0x01fffc00, 0xfe000000, 0xfe000400,
    321   0x03fff000, 0x03fff800, 0xfc000000, 0xfc000800,
    322   0x07ffe000, 0x07fff000, 0xf8000000, 0xf8001000,
    323   0x0fffc000, 0x0fffe000, 0xf0000000, 0xf0002000,
    324   0x1fff8000, 0x1fffc000, 0xe0000000, 0xe0004000,
    325   0x3fff0000, 0x3fff8000, 0xc0000000, 0xc0008000,
    326   0x00007fff, 0xffff8000, 0xffff8001, 0xffffaaaa,
    327   0x0000fffe, 0xffff0000, 0xffff0002, 0xffff5554,
    328   0x0001fffc, 0xfffe0000, 0xfffe0004, 0xfffeaaa8,
    329   0x0003fff8, 0xfffc0000, 0xfffc0008, 0xfffd5550,
    330   0x0007fff0, 0xfff80000, 0xfff80010, 0xfffaaaa0,
    331   0x000fffe0, 0xfff00000, 0xfff00020, 0xfff55540,
    332   0x001fffc0, 0xffe00000, 0xffe00040, 0xffeaaa80,
    333   0x003fff80, 0xffc00000, 0xffc00080, 0xffd55500,
    334   0x007fff00, 0xff800000, 0xff800100, 0xffaaaa00,
    335   0x00fffe00, 0xff000000, 0xff000200, 0xff555400,
    336   0x01fffc00, 0xfe000000, 0xfe000400, 0xfeaaa800,
    337   0x03fff800, 0xfc000000, 0xfc000800, 0xfd555000,
    338   0x07fff000, 0xf8000000, 0xf8001000, 0xfaaaa000,
    339   0x0fffe000, 0xf0000000, 0xf0002000, 0xf5554000,
    340   0x1fffc000, 0xe0000000, 0xe0004000, 0xeaaa8000,
    341   0x3fff8000, 0xc0000000, 0xc0008000, 0xd5550000,
    342   0xffff8000, 0xffff8001, 0xffffaaaa, 0xffffcccc,
    343   0xffff0000, 0xffff0002, 0xffff5554, 0xffff9998,
    344   0xfffe0000, 0xfffe0004, 0xfffeaaa8, 0xffff3330,
    345   0xfffc0000, 0xfffc0008, 0xfffd5550, 0xfffe6660,
    346   0xfff80000, 0xfff80010, 0xfffaaaa0, 0xfffcccc0,
    347   0xfff00000, 0xfff00020, 0xfff55540, 0xfff99980,
    348   0xffe00000, 0xffe00040, 0xffeaaa80, 0xfff33300,
    349   0xffc00000, 0xffc00080, 0xffd55500, 0xffe66600,
    350   0xff800000, 0xff800100, 0xffaaaa00, 0xffcccc00,
    351   0xff000000, 0xff000200, 0xff555400, 0xff999800,
    352   0xfe000000, 0xfe000400, 0xfeaaa800, 0xff333000,
    353   0xfc000000, 0xfc000800, 0xfd555000, 0xfe666000,
    354   0xf8000000, 0xf8001000, 0xfaaaa000, 0xfcccc000,
    355   0xf0000000, 0xf0002000, 0xf5554000, 0xf9998000,
    356   0xe0000000, 0xe0004000, 0xeaaa8000, 0xf3330000,
    357   0xc0000000, 0xc0008000, 0xd5550000, 0xe6660000,
    358   0xffff8001, 0xffffaaaa, 0xffffcccc, 0xffffff80,
    359   0xffff0002, 0xffff5554, 0xffff9998, 0xffffff00,
    360   0xfffe0004, 0xfffeaaa8, 0xffff3330, 0xfffffe00,
    361   0xfffc0008, 0xfffd5550, 0xfffe6660, 0xfffffc00,
    362   0xfff80010, 0xfffaaaa0, 0xfffcccc0, 0xfffff800,
    363   0xfff00020, 0xfff55540, 0xfff99980, 0xfffff000,
    364   0xffe00040, 0xffeaaa80, 0xfff33300, 0xffffe000,
    365   0xffc00080, 0xffd55500, 0xffe66600, 0xffffc000,
    366   0xff800100, 0xffaaaa00, 0xffcccc00, 0xffff8000,
    367   0xff000200, 0xff555400, 0xff999800, 0xffff0000,
    368   0xfe000400, 0xfeaaa800, 0xff333000, 0xfffe0000,
    369   0xfc000800, 0xfd555000, 0xfe666000, 0xfffc0000,
    370   0xf8001000, 0xfaaaa000, 0xfcccc000, 0xfff80000,
    371   0xf0002000, 0xf5554000, 0xf9998000, 0xfff00000,
    372   0xe0004000, 0xeaaa8000, 0xf3330000, 0xffe00000,
    373   0xc0008000, 0xd5550000, 0xe6660000, 0xffc00000,
    374   0xffffaaaa, 0xffffcccc, 0xffffff80, 0xffffff81,
    375   0xffff5554, 0xffff9998, 0xffffff00, 0xffffff02,
    376   0xfffeaaa8, 0xffff3330, 0xfffffe00, 0xfffffe04,
    377   0xfffd5550, 0xfffe6660, 0xfffffc00, 0xfffffc08,
    378   0xfffaaaa0, 0xfffcccc0, 0xfffff800, 0xfffff810,
    379   0xfff55540, 0xfff99980, 0xfffff000, 0xfffff020,
    380   0xffeaaa80, 0xfff33300, 0xffffe000, 0xffffe040,
    381   0xffd55500, 0xffe66600, 0xffffc000, 0xffffc080,
    382   0xffaaaa00, 0xffcccc00, 0xffff8000, 0xffff8100,
    383   0xff555400, 0xff999800, 0xffff0000, 0xffff0200,
    384   0xfeaaa800, 0xff333000, 0xfffe0000, 0xfffe0400,
    385   0xfd555000, 0xfe666000, 0xfffc0000, 0xfffc0800,
    386   0xfaaaa000, 0xfcccc000, 0xfff80000, 0xfff81000,
    387   0xf5554000, 0xf9998000, 0xfff00000, 0xfff02000,
    388   0xeaaa8000, 0xf3330000, 0xffe00000, 0xffe04000,
    389   0xd5550000, 0xe6660000, 0xffc00000, 0xffc08000,
    390   0xffffcccc, 0xffffff80, 0xffffff81, 0xffffff82,
    391   0xffff9998, 0xffffff00, 0xffffff02, 0xffffff04,
    392   0xffff3330, 0xfffffe00, 0xfffffe04, 0xfffffe08,
    393   0xfffe6660, 0xfffffc00, 0xfffffc08, 0xfffffc10,
    394   0xfffcccc0, 0xfffff800, 0xfffff810, 0xfffff820,
    395   0xfff99980, 0xfffff000, 0xfffff020, 0xfffff040,
    396   0xfff33300, 0xffffe000, 0xffffe040, 0xffffe080,
    397   0xffe66600, 0xffffc000, 0xffffc080, 0xffffc100,
    398   0xffcccc00, 0xffff8000, 0xffff8100, 0xffff8200,
    399   0xff999800, 0xffff0000, 0xffff0200, 0xffff0400,
    400   0xff333000, 0xfffe0000, 0xfffe0400, 0xfffe0800,
    401   0xfe666000, 0xfffc0000, 0xfffc0800, 0xfffc1000,
    402   0xfcccc000, 0xfff80000, 0xfff81000, 0xfff82000,
    403   0xf9998000, 0xfff00000, 0xfff02000, 0xfff04000,
    404   0xf3330000, 0xffe00000, 0xffe04000, 0xffe08000,
    405   0xe6660000, 0xffc00000, 0xffc08000, 0xffc10000,
    406   0xffffff80, 0xffffff81, 0xffffff82, 0xffffff83,
    407   0xffffff00, 0xffffff02, 0xffffff04, 0xffffff06,
    408   0xfffffe00, 0xfffffe04, 0xfffffe08, 0xfffffe0c,
    409   0xfffffc00, 0xfffffc08, 0xfffffc10, 0xfffffc18,
    410   0xfffff800, 0xfffff810, 0xfffff820, 0xfffff830,
    411   0xfffff000, 0xfffff020, 0xfffff040, 0xfffff060,
    412   0xffffe000, 0xffffe040, 0xffffe080, 0xffffe0c0,
    413   0xffffc000, 0xffffc080, 0xffffc100, 0xffffc180,
    414   0xffff8000, 0xffff8100, 0xffff8200, 0xffff8300,
    415   0xffff0000, 0xffff0200, 0xffff0400, 0xffff0600,
    416   0xfffe0000, 0xfffe0400, 0xfffe0800, 0xfffe0c00,
    417   0xfffc0000, 0xfffc0800, 0xfffc1000, 0xfffc1800,
    418   0xfff80000, 0xfff81000, 0xfff82000, 0xfff83000,
    419   0xfff00000, 0xfff02000, 0xfff04000, 0xfff06000,
    420   0xffe00000, 0xffe04000, 0xffe08000, 0xffe0c000,
    421   0xffc00000, 0xffc08000, 0xffc10000, 0xffc18000,
    422 };
    423 const unsigned kExpectedCount_NEON_sshll_4S_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_SSHLL_4S_2OPIMM_TRACE_AARCH64_H_
    426