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_USHLL2_4S_2OPIMM_TRACE_AARCH64_H_
     35 #define VIXL_SIM_USHLL2_4S_2OPIMM_TRACE_AARCH64_H_
     36 
     37 const uint32_t kExpected_NEON_ushll2_4S_2OPIMM[] = {
     38   0x0000fffd, 0x0000fffe, 0x0000ffff, 0x00000000,
     39   0x0001fffa, 0x0001fffc, 0x0001fffe, 0x00000000,
     40   0x0003fff4, 0x0003fff8, 0x0003fffc, 0x00000000,
     41   0x0007ffe8, 0x0007fff0, 0x0007fff8, 0x00000000,
     42   0x000fffd0, 0x000fffe0, 0x000ffff0, 0x00000000,
     43   0x001fffa0, 0x001fffc0, 0x001fffe0, 0x00000000,
     44   0x003fff40, 0x003fff80, 0x003fffc0, 0x00000000,
     45   0x007ffe80, 0x007fff00, 0x007fff80, 0x00000000,
     46   0x00fffd00, 0x00fffe00, 0x00ffff00, 0x00000000,
     47   0x01fffa00, 0x01fffc00, 0x01fffe00, 0x00000000,
     48   0x03fff400, 0x03fff800, 0x03fffc00, 0x00000000,
     49   0x07ffe800, 0x07fff000, 0x07fff800, 0x00000000,
     50   0x0fffd000, 0x0fffe000, 0x0ffff000, 0x00000000,
     51   0x1fffa000, 0x1fffc000, 0x1fffe000, 0x00000000,
     52   0x3fff4000, 0x3fff8000, 0x3fffc000, 0x00000000,
     53   0x7ffe8000, 0x7fff0000, 0x7fff8000, 0x00000000,
     54   0x0000fffe, 0x0000ffff, 0x00000000, 0x00000001,
     55   0x0001fffc, 0x0001fffe, 0x00000000, 0x00000002,
     56   0x0003fff8, 0x0003fffc, 0x00000000, 0x00000004,
     57   0x0007fff0, 0x0007fff8, 0x00000000, 0x00000008,
     58   0x000fffe0, 0x000ffff0, 0x00000000, 0x00000010,
     59   0x001fffc0, 0x001fffe0, 0x00000000, 0x00000020,
     60   0x003fff80, 0x003fffc0, 0x00000000, 0x00000040,
     61   0x007fff00, 0x007fff80, 0x00000000, 0x00000080,
     62   0x00fffe00, 0x00ffff00, 0x00000000, 0x00000100,
     63   0x01fffc00, 0x01fffe00, 0x00000000, 0x00000200,
     64   0x03fff800, 0x03fffc00, 0x00000000, 0x00000400,
     65   0x07fff000, 0x07fff800, 0x00000000, 0x00000800,
     66   0x0fffe000, 0x0ffff000, 0x00000000, 0x00001000,
     67   0x1fffc000, 0x1fffe000, 0x00000000, 0x00002000,
     68   0x3fff8000, 0x3fffc000, 0x00000000, 0x00004000,
     69   0x7fff0000, 0x7fff8000, 0x00000000, 0x00008000,
     70   0x0000ffff, 0x00000000, 0x00000001, 0x00000002,
     71   0x0001fffe, 0x00000000, 0x00000002, 0x00000004,
     72   0x0003fffc, 0x00000000, 0x00000004, 0x00000008,
     73   0x0007fff8, 0x00000000, 0x00000008, 0x00000010,
     74   0x000ffff0, 0x00000000, 0x00000010, 0x00000020,
     75   0x001fffe0, 0x00000000, 0x00000020, 0x00000040,
     76   0x003fffc0, 0x00000000, 0x00000040, 0x00000080,
     77   0x007fff80, 0x00000000, 0x00000080, 0x00000100,
     78   0x00ffff00, 0x00000000, 0x00000100, 0x00000200,
     79   0x01fffe00, 0x00000000, 0x00000200, 0x00000400,
     80   0x03fffc00, 0x00000000, 0x00000400, 0x00000800,
     81   0x07fff800, 0x00000000, 0x00000800, 0x00001000,
     82   0x0ffff000, 0x00000000, 0x00001000, 0x00002000,
     83   0x1fffe000, 0x00000000, 0x00002000, 0x00004000,
     84   0x3fffc000, 0x00000000, 0x00004000, 0x00008000,
     85   0x7fff8000, 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, 0x00008000,
    231   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00010000,
    232   0x0001fff4, 0x0001fff8, 0x0001fffc, 0x00020000,
    233   0x0003ffe8, 0x0003fff0, 0x0003fff8, 0x00040000,
    234   0x0007ffd0, 0x0007ffe0, 0x0007fff0, 0x00080000,
    235   0x000fffa0, 0x000fffc0, 0x000fffe0, 0x00100000,
    236   0x001fff40, 0x001fff80, 0x001fffc0, 0x00200000,
    237   0x003ffe80, 0x003fff00, 0x003fff80, 0x00400000,
    238   0x007ffd00, 0x007ffe00, 0x007fff00, 0x00800000,
    239   0x00fffa00, 0x00fffc00, 0x00fffe00, 0x01000000,
    240   0x01fff400, 0x01fff800, 0x01fffc00, 0x02000000,
    241   0x03ffe800, 0x03fff000, 0x03fff800, 0x04000000,
    242   0x07ffd000, 0x07ffe000, 0x07fff000, 0x08000000,
    243   0x0fffa000, 0x0fffc000, 0x0fffe000, 0x10000000,
    244   0x1fff4000, 0x1fff8000, 0x1fffc000, 0x20000000,
    245   0x3ffe8000, 0x3fff0000, 0x3fff8000, 0x40000000,
    246   0x00007ffe, 0x00007fff, 0x00008000, 0x00008001,
    247   0x0000fffc, 0x0000fffe, 0x00010000, 0x00010002,
    248   0x0001fff8, 0x0001fffc, 0x00020000, 0x00020004,
    249   0x0003fff0, 0x0003fff8, 0x00040000, 0x00040008,
    250   0x0007ffe0, 0x0007fff0, 0x00080000, 0x00080010,
    251   0x000fffc0, 0x000fffe0, 0x00100000, 0x00100020,
    252   0x001fff80, 0x001fffc0, 0x00200000, 0x00200040,
    253   0x003fff00, 0x003fff80, 0x00400000, 0x00400080,
    254   0x007ffe00, 0x007fff00, 0x00800000, 0x00800100,
    255   0x00fffc00, 0x00fffe00, 0x01000000, 0x01000200,
    256   0x01fff800, 0x01fffc00, 0x02000000, 0x02000400,
    257   0x03fff000, 0x03fff800, 0x04000000, 0x04000800,
    258   0x07ffe000, 0x07fff000, 0x08000000, 0x08001000,
    259   0x0fffc000, 0x0fffe000, 0x10000000, 0x10002000,
    260   0x1fff8000, 0x1fffc000, 0x20000000, 0x20004000,
    261   0x3fff0000, 0x3fff8000, 0x40000000, 0x40008000,
    262   0x00007fff, 0x00008000, 0x00008001, 0x0000aaaa,
    263   0x0000fffe, 0x00010000, 0x00010002, 0x00015554,
    264   0x0001fffc, 0x00020000, 0x00020004, 0x0002aaa8,
    265   0x0003fff8, 0x00040000, 0x00040008, 0x00055550,
    266   0x0007fff0, 0x00080000, 0x00080010, 0x000aaaa0,
    267   0x000fffe0, 0x00100000, 0x00100020, 0x00155540,
    268   0x001fffc0, 0x00200000, 0x00200040, 0x002aaa80,
    269   0x003fff80, 0x00400000, 0x00400080, 0x00555500,
    270   0x007fff00, 0x00800000, 0x00800100, 0x00aaaa00,
    271   0x00fffe00, 0x01000000, 0x01000200, 0x01555400,
    272   0x01fffc00, 0x02000000, 0x02000400, 0x02aaa800,
    273   0x03fff800, 0x04000000, 0x04000800, 0x05555000,
    274   0x07fff000, 0x08000000, 0x08001000, 0x0aaaa000,
    275   0x0fffe000, 0x10000000, 0x10002000, 0x15554000,
    276   0x1fffc000, 0x20000000, 0x20004000, 0x2aaa8000,
    277   0x3fff8000, 0x40000000, 0x40008000, 0x55550000,
    278   0x00008000, 0x00008001, 0x0000aaaa, 0x0000cccc,
    279   0x00010000, 0x00010002, 0x00015554, 0x00019998,
    280   0x00020000, 0x00020004, 0x0002aaa8, 0x00033330,
    281   0x00040000, 0x00040008, 0x00055550, 0x00066660,
    282   0x00080000, 0x00080010, 0x000aaaa0, 0x000cccc0,
    283   0x00100000, 0x00100020, 0x00155540, 0x00199980,
    284   0x00200000, 0x00200040, 0x002aaa80, 0x00333300,
    285   0x00400000, 0x00400080, 0x00555500, 0x00666600,
    286   0x00800000, 0x00800100, 0x00aaaa00, 0x00cccc00,
    287   0x01000000, 0x01000200, 0x01555400, 0x01999800,
    288   0x02000000, 0x02000400, 0x02aaa800, 0x03333000,
    289   0x04000000, 0x04000800, 0x05555000, 0x06666000,
    290   0x08000000, 0x08001000, 0x0aaaa000, 0x0cccc000,
    291   0x10000000, 0x10002000, 0x15554000, 0x19998000,
    292   0x20000000, 0x20004000, 0x2aaa8000, 0x33330000,
    293   0x40000000, 0x40008000, 0x55550000, 0x66660000,
    294   0x00008001, 0x0000aaaa, 0x0000cccc, 0x0000ff80,
    295   0x00010002, 0x00015554, 0x00019998, 0x0001ff00,
    296   0x00020004, 0x0002aaa8, 0x00033330, 0x0003fe00,
    297   0x00040008, 0x00055550, 0x00066660, 0x0007fc00,
    298   0x00080010, 0x000aaaa0, 0x000cccc0, 0x000ff800,
    299   0x00100020, 0x00155540, 0x00199980, 0x001ff000,
    300   0x00200040, 0x002aaa80, 0x00333300, 0x003fe000,
    301   0x00400080, 0x00555500, 0x00666600, 0x007fc000,
    302   0x00800100, 0x00aaaa00, 0x00cccc00, 0x00ff8000,
    303   0x01000200, 0x01555400, 0x01999800, 0x01ff0000,
    304   0x02000400, 0x02aaa800, 0x03333000, 0x03fe0000,
    305   0x04000800, 0x05555000, 0x06666000, 0x07fc0000,
    306   0x08001000, 0x0aaaa000, 0x0cccc000, 0x0ff80000,
    307   0x10002000, 0x15554000, 0x19998000, 0x1ff00000,
    308   0x20004000, 0x2aaa8000, 0x33330000, 0x3fe00000,
    309   0x40008000, 0x55550000, 0x66660000, 0x7fc00000,
    310   0x0000aaaa, 0x0000cccc, 0x0000ff80, 0x0000ff81,
    311   0x00015554, 0x00019998, 0x0001ff00, 0x0001ff02,
    312   0x0002aaa8, 0x00033330, 0x0003fe00, 0x0003fe04,
    313   0x00055550, 0x00066660, 0x0007fc00, 0x0007fc08,
    314   0x000aaaa0, 0x000cccc0, 0x000ff800, 0x000ff810,
    315   0x00155540, 0x00199980, 0x001ff000, 0x001ff020,
    316   0x002aaa80, 0x00333300, 0x003fe000, 0x003fe040,
    317   0x00555500, 0x00666600, 0x007fc000, 0x007fc080,
    318   0x00aaaa00, 0x00cccc00, 0x00ff8000, 0x00ff8100,
    319   0x01555400, 0x01999800, 0x01ff0000, 0x01ff0200,
    320   0x02aaa800, 0x03333000, 0x03fe0000, 0x03fe0400,
    321   0x05555000, 0x06666000, 0x07fc0000, 0x07fc0800,
    322   0x0aaaa000, 0x0cccc000, 0x0ff80000, 0x0ff81000,
    323   0x15554000, 0x19998000, 0x1ff00000, 0x1ff02000,
    324   0x2aaa8000, 0x33330000, 0x3fe00000, 0x3fe04000,
    325   0x55550000, 0x66660000, 0x7fc00000, 0x7fc08000,
    326   0x0000cccc, 0x0000ff80, 0x0000ff81, 0x0000ff82,
    327   0x00019998, 0x0001ff00, 0x0001ff02, 0x0001ff04,
    328   0x00033330, 0x0003fe00, 0x0003fe04, 0x0003fe08,
    329   0x00066660, 0x0007fc00, 0x0007fc08, 0x0007fc10,
    330   0x000cccc0, 0x000ff800, 0x000ff810, 0x000ff820,
    331   0x00199980, 0x001ff000, 0x001ff020, 0x001ff040,
    332   0x00333300, 0x003fe000, 0x003fe040, 0x003fe080,
    333   0x00666600, 0x007fc000, 0x007fc080, 0x007fc100,
    334   0x00cccc00, 0x00ff8000, 0x00ff8100, 0x00ff8200,
    335   0x01999800, 0x01ff0000, 0x01ff0200, 0x01ff0400,
    336   0x03333000, 0x03fe0000, 0x03fe0400, 0x03fe0800,
    337   0x06666000, 0x07fc0000, 0x07fc0800, 0x07fc1000,
    338   0x0cccc000, 0x0ff80000, 0x0ff81000, 0x0ff82000,
    339   0x19998000, 0x1ff00000, 0x1ff02000, 0x1ff04000,
    340   0x33330000, 0x3fe00000, 0x3fe04000, 0x3fe08000,
    341   0x66660000, 0x7fc00000, 0x7fc08000, 0x7fc10000,
    342   0x0000ff80, 0x0000ff81, 0x0000ff82, 0x0000ff83,
    343   0x0001ff00, 0x0001ff02, 0x0001ff04, 0x0001ff06,
    344   0x0003fe00, 0x0003fe04, 0x0003fe08, 0x0003fe0c,
    345   0x0007fc00, 0x0007fc08, 0x0007fc10, 0x0007fc18,
    346   0x000ff800, 0x000ff810, 0x000ff820, 0x000ff830,
    347   0x001ff000, 0x001ff020, 0x001ff040, 0x001ff060,
    348   0x003fe000, 0x003fe040, 0x003fe080, 0x003fe0c0,
    349   0x007fc000, 0x007fc080, 0x007fc100, 0x007fc180,
    350   0x00ff8000, 0x00ff8100, 0x00ff8200, 0x00ff8300,
    351   0x01ff0000, 0x01ff0200, 0x01ff0400, 0x01ff0600,
    352   0x03fe0000, 0x03fe0400, 0x03fe0800, 0x03fe0c00,
    353   0x07fc0000, 0x07fc0800, 0x07fc1000, 0x07fc1800,
    354   0x0ff80000, 0x0ff81000, 0x0ff82000, 0x0ff83000,
    355   0x1ff00000, 0x1ff02000, 0x1ff04000, 0x1ff06000,
    356   0x3fe00000, 0x3fe04000, 0x3fe08000, 0x3fe0c000,
    357   0x7fc00000, 0x7fc08000, 0x7fc10000, 0x7fc18000,
    358   0x0000ff81, 0x0000ff82, 0x0000ff83, 0x0000fff0,
    359   0x0001ff02, 0x0001ff04, 0x0001ff06, 0x0001ffe0,
    360   0x0003fe04, 0x0003fe08, 0x0003fe0c, 0x0003ffc0,
    361   0x0007fc08, 0x0007fc10, 0x0007fc18, 0x0007ff80,
    362   0x000ff810, 0x000ff820, 0x000ff830, 0x000fff00,
    363   0x001ff020, 0x001ff040, 0x001ff060, 0x001ffe00,
    364   0x003fe040, 0x003fe080, 0x003fe0c0, 0x003ffc00,
    365   0x007fc080, 0x007fc100, 0x007fc180, 0x007ff800,
    366   0x00ff8100, 0x00ff8200, 0x00ff8300, 0x00fff000,
    367   0x01ff0200, 0x01ff0400, 0x01ff0600, 0x01ffe000,
    368   0x03fe0400, 0x03fe0800, 0x03fe0c00, 0x03ffc000,
    369   0x07fc0800, 0x07fc1000, 0x07fc1800, 0x07ff8000,
    370   0x0ff81000, 0x0ff82000, 0x0ff83000, 0x0fff0000,
    371   0x1ff02000, 0x1ff04000, 0x1ff06000, 0x1ffe0000,
    372   0x3fe04000, 0x3fe08000, 0x3fe0c000, 0x3ffc0000,
    373   0x7fc08000, 0x7fc10000, 0x7fc18000, 0x7ff80000,
    374   0x0000ff82, 0x0000ff83, 0x0000fff0, 0x0000fffd,
    375   0x0001ff04, 0x0001ff06, 0x0001ffe0, 0x0001fffa,
    376   0x0003fe08, 0x0003fe0c, 0x0003ffc0, 0x0003fff4,
    377   0x0007fc10, 0x0007fc18, 0x0007ff80, 0x0007ffe8,
    378   0x000ff820, 0x000ff830, 0x000fff00, 0x000fffd0,
    379   0x001ff040, 0x001ff060, 0x001ffe00, 0x001fffa0,
    380   0x003fe080, 0x003fe0c0, 0x003ffc00, 0x003fff40,
    381   0x007fc100, 0x007fc180, 0x007ff800, 0x007ffe80,
    382   0x00ff8200, 0x00ff8300, 0x00fff000, 0x00fffd00,
    383   0x01ff0400, 0x01ff0600, 0x01ffe000, 0x01fffa00,
    384   0x03fe0800, 0x03fe0c00, 0x03ffc000, 0x03fff400,
    385   0x07fc1000, 0x07fc1800, 0x07ff8000, 0x07ffe800,
    386   0x0ff82000, 0x0ff83000, 0x0fff0000, 0x0fffd000,
    387   0x1ff04000, 0x1ff06000, 0x1ffe0000, 0x1fffa000,
    388   0x3fe08000, 0x3fe0c000, 0x3ffc0000, 0x3fff4000,
    389   0x7fc10000, 0x7fc18000, 0x7ff80000, 0x7ffe8000,
    390   0x0000ff83, 0x0000fff0, 0x0000fffd, 0x0000fffe,
    391   0x0001ff06, 0x0001ffe0, 0x0001fffa, 0x0001fffc,
    392   0x0003fe0c, 0x0003ffc0, 0x0003fff4, 0x0003fff8,
    393   0x0007fc18, 0x0007ff80, 0x0007ffe8, 0x0007fff0,
    394   0x000ff830, 0x000fff00, 0x000fffd0, 0x000fffe0,
    395   0x001ff060, 0x001ffe00, 0x001fffa0, 0x001fffc0,
    396   0x003fe0c0, 0x003ffc00, 0x003fff40, 0x003fff80,
    397   0x007fc180, 0x007ff800, 0x007ffe80, 0x007fff00,
    398   0x00ff8300, 0x00fff000, 0x00fffd00, 0x00fffe00,
    399   0x01ff0600, 0x01ffe000, 0x01fffa00, 0x01fffc00,
    400   0x03fe0c00, 0x03ffc000, 0x03fff400, 0x03fff800,
    401   0x07fc1800, 0x07ff8000, 0x07ffe800, 0x07fff000,
    402   0x0ff83000, 0x0fff0000, 0x0fffd000, 0x0fffe000,
    403   0x1ff06000, 0x1ffe0000, 0x1fffa000, 0x1fffc000,
    404   0x3fe0c000, 0x3ffc0000, 0x3fff4000, 0x3fff8000,
    405   0x7fc18000, 0x7ff80000, 0x7ffe8000, 0x7fff0000,
    406   0x0000fff0, 0x0000fffd, 0x0000fffe, 0x0000ffff,
    407   0x0001ffe0, 0x0001fffa, 0x0001fffc, 0x0001fffe,
    408   0x0003ffc0, 0x0003fff4, 0x0003fff8, 0x0003fffc,
    409   0x0007ff80, 0x0007ffe8, 0x0007fff0, 0x0007fff8,
    410   0x000fff00, 0x000fffd0, 0x000fffe0, 0x000ffff0,
    411   0x001ffe00, 0x001fffa0, 0x001fffc0, 0x001fffe0,
    412   0x003ffc00, 0x003fff40, 0x003fff80, 0x003fffc0,
    413   0x007ff800, 0x007ffe80, 0x007fff00, 0x007fff80,
    414   0x00fff000, 0x00fffd00, 0x00fffe00, 0x00ffff00,
    415   0x01ffe000, 0x01fffa00, 0x01fffc00, 0x01fffe00,
    416   0x03ffc000, 0x03fff400, 0x03fff800, 0x03fffc00,
    417   0x07ff8000, 0x07ffe800, 0x07fff000, 0x07fff800,
    418   0x0fff0000, 0x0fffd000, 0x0fffe000, 0x0ffff000,
    419   0x1ffe0000, 0x1fffa000, 0x1fffc000, 0x1fffe000,
    420   0x3ffc0000, 0x3fff4000, 0x3fff8000, 0x3fffc000,
    421   0x7ff80000, 0x7ffe8000, 0x7fff0000, 0x7fff8000,
    422 };
    423 const unsigned kExpectedCount_NEON_ushll2_4S_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_USHLL2_4S_2OPIMM_TRACE_AARCH64_H_
    426