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