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_USHLL_4S_2OPIMM_TRACE_AARCH64_H_
     35 #define VIXL_SIM_USHLL_4S_2OPIMM_TRACE_AARCH64_H_
     36 
     37 const uint32_t kExpected_NEON_ushll_4S_2OPIMM[] = {
     38   0x0000ff81, 0x0000ff82, 0x0000ff83, 0x0000fff0,
     39   0x0001ff02, 0x0001ff04, 0x0001ff06, 0x0001ffe0,
     40   0x0003fe04, 0x0003fe08, 0x0003fe0c, 0x0003ffc0,
     41   0x0007fc08, 0x0007fc10, 0x0007fc18, 0x0007ff80,
     42   0x000ff810, 0x000ff820, 0x000ff830, 0x000fff00,
     43   0x001ff020, 0x001ff040, 0x001ff060, 0x001ffe00,
     44   0x003fe040, 0x003fe080, 0x003fe0c0, 0x003ffc00,
     45   0x007fc080, 0x007fc100, 0x007fc180, 0x007ff800,
     46   0x00ff8100, 0x00ff8200, 0x00ff8300, 0x00fff000,
     47   0x01ff0200, 0x01ff0400, 0x01ff0600, 0x01ffe000,
     48   0x03fe0400, 0x03fe0800, 0x03fe0c00, 0x03ffc000,
     49   0x07fc0800, 0x07fc1000, 0x07fc1800, 0x07ff8000,
     50   0x0ff81000, 0x0ff82000, 0x0ff83000, 0x0fff0000,
     51   0x1ff02000, 0x1ff04000, 0x1ff06000, 0x1ffe0000,
     52   0x3fe04000, 0x3fe08000, 0x3fe0c000, 0x3ffc0000,
     53   0x7fc08000, 0x7fc10000, 0x7fc18000, 0x7ff80000,
     54   0x0000ff82, 0x0000ff83, 0x0000fff0, 0x0000fffd,
     55   0x0001ff04, 0x0001ff06, 0x0001ffe0, 0x0001fffa,
     56   0x0003fe08, 0x0003fe0c, 0x0003ffc0, 0x0003fff4,
     57   0x0007fc10, 0x0007fc18, 0x0007ff80, 0x0007ffe8,
     58   0x000ff820, 0x000ff830, 0x000fff00, 0x000fffd0,
     59   0x001ff040, 0x001ff060, 0x001ffe00, 0x001fffa0,
     60   0x003fe080, 0x003fe0c0, 0x003ffc00, 0x003fff40,
     61   0x007fc100, 0x007fc180, 0x007ff800, 0x007ffe80,
     62   0x00ff8200, 0x00ff8300, 0x00fff000, 0x00fffd00,
     63   0x01ff0400, 0x01ff0600, 0x01ffe000, 0x01fffa00,
     64   0x03fe0800, 0x03fe0c00, 0x03ffc000, 0x03fff400,
     65   0x07fc1000, 0x07fc1800, 0x07ff8000, 0x07ffe800,
     66   0x0ff82000, 0x0ff83000, 0x0fff0000, 0x0fffd000,
     67   0x1ff04000, 0x1ff06000, 0x1ffe0000, 0x1fffa000,
     68   0x3fe08000, 0x3fe0c000, 0x3ffc0000, 0x3fff4000,
     69   0x7fc10000, 0x7fc18000, 0x7ff80000, 0x7ffe8000,
     70   0x0000ff83, 0x0000fff0, 0x0000fffd, 0x0000fffe,
     71   0x0001ff06, 0x0001ffe0, 0x0001fffa, 0x0001fffc,
     72   0x0003fe0c, 0x0003ffc0, 0x0003fff4, 0x0003fff8,
     73   0x0007fc18, 0x0007ff80, 0x0007ffe8, 0x0007fff0,
     74   0x000ff830, 0x000fff00, 0x000fffd0, 0x000fffe0,
     75   0x001ff060, 0x001ffe00, 0x001fffa0, 0x001fffc0,
     76   0x003fe0c0, 0x003ffc00, 0x003fff40, 0x003fff80,
     77   0x007fc180, 0x007ff800, 0x007ffe80, 0x007fff00,
     78   0x00ff8300, 0x00fff000, 0x00fffd00, 0x00fffe00,
     79   0x01ff0600, 0x01ffe000, 0x01fffa00, 0x01fffc00,
     80   0x03fe0c00, 0x03ffc000, 0x03fff400, 0x03fff800,
     81   0x07fc1800, 0x07ff8000, 0x07ffe800, 0x07fff000,
     82   0x0ff83000, 0x0fff0000, 0x0fffd000, 0x0fffe000,
     83   0x1ff06000, 0x1ffe0000, 0x1fffa000, 0x1fffc000,
     84   0x3fe0c000, 0x3ffc0000, 0x3fff4000, 0x3fff8000,
     85   0x7fc18000, 0x7ff80000, 0x7ffe8000, 0x7fff0000,
     86   0x0000fff0, 0x0000fffd, 0x0000fffe, 0x0000ffff,
     87   0x0001ffe0, 0x0001fffa, 0x0001fffc, 0x0001fffe,
     88   0x0003ffc0, 0x0003fff4, 0x0003fff8, 0x0003fffc,
     89   0x0007ff80, 0x0007ffe8, 0x0007fff0, 0x0007fff8,
     90   0x000fff00, 0x000fffd0, 0x000fffe0, 0x000ffff0,
     91   0x001ffe00, 0x001fffa0, 0x001fffc0, 0x001fffe0,
     92   0x003ffc00, 0x003fff40, 0x003fff80, 0x003fffc0,
     93   0x007ff800, 0x007ffe80, 0x007fff00, 0x007fff80,
     94   0x00fff000, 0x00fffd00, 0x00fffe00, 0x00ffff00,
     95   0x01ffe000, 0x01fffa00, 0x01fffc00, 0x01fffe00,
     96   0x03ffc000, 0x03fff400, 0x03fff800, 0x03fffc00,
     97   0x07ff8000, 0x07ffe800, 0x07fff000, 0x07fff800,
     98   0x0fff0000, 0x0fffd000, 0x0fffe000, 0x0ffff000,
     99   0x1ffe0000, 0x1fffa000, 0x1fffc000, 0x1fffe000,
    100   0x3ffc0000, 0x3fff4000, 0x3fff8000, 0x3fffc000,
    101   0x7ff80000, 0x7ffe8000, 0x7fff0000, 0x7fff8000,
    102   0x0000fffd, 0x0000fffe, 0x0000ffff, 0x00000000,
    103   0x0001fffa, 0x0001fffc, 0x0001fffe, 0x00000000,
    104   0x0003fff4, 0x0003fff8, 0x0003fffc, 0x00000000,
    105   0x0007ffe8, 0x0007fff0, 0x0007fff8, 0x00000000,
    106   0x000fffd0, 0x000fffe0, 0x000ffff0, 0x00000000,
    107   0x001fffa0, 0x001fffc0, 0x001fffe0, 0x00000000,
    108   0x003fff40, 0x003fff80, 0x003fffc0, 0x00000000,
    109   0x007ffe80, 0x007fff00, 0x007fff80, 0x00000000,
    110   0x00fffd00, 0x00fffe00, 0x00ffff00, 0x00000000,
    111   0x01fffa00, 0x01fffc00, 0x01fffe00, 0x00000000,
    112   0x03fff400, 0x03fff800, 0x03fffc00, 0x00000000,
    113   0x07ffe800, 0x07fff000, 0x07fff800, 0x00000000,
    114   0x0fffd000, 0x0fffe000, 0x0ffff000, 0x00000000,
    115   0x1fffa000, 0x1fffc000, 0x1fffe000, 0x00000000,
    116   0x3fff4000, 0x3fff8000, 0x3fffc000, 0x00000000,
    117   0x7ffe8000, 0x7fff0000, 0x7fff8000, 0x00000000,
    118   0x0000fffe, 0x0000ffff, 0x00000000, 0x00000001,
    119   0x0001fffc, 0x0001fffe, 0x00000000, 0x00000002,
    120   0x0003fff8, 0x0003fffc, 0x00000000, 0x00000004,
    121   0x0007fff0, 0x0007fff8, 0x00000000, 0x00000008,
    122   0x000fffe0, 0x000ffff0, 0x00000000, 0x00000010,
    123   0x001fffc0, 0x001fffe0, 0x00000000, 0x00000020,
    124   0x003fff80, 0x003fffc0, 0x00000000, 0x00000040,
    125   0x007fff00, 0x007fff80, 0x00000000, 0x00000080,
    126   0x00fffe00, 0x00ffff00, 0x00000000, 0x00000100,
    127   0x01fffc00, 0x01fffe00, 0x00000000, 0x00000200,
    128   0x03fff800, 0x03fffc00, 0x00000000, 0x00000400,
    129   0x07fff000, 0x07fff800, 0x00000000, 0x00000800,
    130   0x0fffe000, 0x0ffff000, 0x00000000, 0x00001000,
    131   0x1fffc000, 0x1fffe000, 0x00000000, 0x00002000,
    132   0x3fff8000, 0x3fffc000, 0x00000000, 0x00004000,
    133   0x7fff0000, 0x7fff8000, 0x00000000, 0x00008000,
    134   0x0000ffff, 0x00000000, 0x00000001, 0x00000002,
    135   0x0001fffe, 0x00000000, 0x00000002, 0x00000004,
    136   0x0003fffc, 0x00000000, 0x00000004, 0x00000008,
    137   0x0007fff8, 0x00000000, 0x00000008, 0x00000010,
    138   0x000ffff0, 0x00000000, 0x00000010, 0x00000020,
    139   0x001fffe0, 0x00000000, 0x00000020, 0x00000040,
    140   0x003fffc0, 0x00000000, 0x00000040, 0x00000080,
    141   0x007fff80, 0x00000000, 0x00000080, 0x00000100,
    142   0x00ffff00, 0x00000000, 0x00000100, 0x00000200,
    143   0x01fffe00, 0x00000000, 0x00000200, 0x00000400,
    144   0x03fffc00, 0x00000000, 0x00000400, 0x00000800,
    145   0x07fff800, 0x00000000, 0x00000800, 0x00001000,
    146   0x0ffff000, 0x00000000, 0x00001000, 0x00002000,
    147   0x1fffe000, 0x00000000, 0x00002000, 0x00004000,
    148   0x3fffc000, 0x00000000, 0x00004000, 0x00008000,
    149   0x7fff8000, 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, 0x00008000,
    295   0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00010000,
    296   0x0001fff4, 0x0001fff8, 0x0001fffc, 0x00020000,
    297   0x0003ffe8, 0x0003fff0, 0x0003fff8, 0x00040000,
    298   0x0007ffd0, 0x0007ffe0, 0x0007fff0, 0x00080000,
    299   0x000fffa0, 0x000fffc0, 0x000fffe0, 0x00100000,
    300   0x001fff40, 0x001fff80, 0x001fffc0, 0x00200000,
    301   0x003ffe80, 0x003fff00, 0x003fff80, 0x00400000,
    302   0x007ffd00, 0x007ffe00, 0x007fff00, 0x00800000,
    303   0x00fffa00, 0x00fffc00, 0x00fffe00, 0x01000000,
    304   0x01fff400, 0x01fff800, 0x01fffc00, 0x02000000,
    305   0x03ffe800, 0x03fff000, 0x03fff800, 0x04000000,
    306   0x07ffd000, 0x07ffe000, 0x07fff000, 0x08000000,
    307   0x0fffa000, 0x0fffc000, 0x0fffe000, 0x10000000,
    308   0x1fff4000, 0x1fff8000, 0x1fffc000, 0x20000000,
    309   0x3ffe8000, 0x3fff0000, 0x3fff8000, 0x40000000,
    310   0x00007ffe, 0x00007fff, 0x00008000, 0x00008001,
    311   0x0000fffc, 0x0000fffe, 0x00010000, 0x00010002,
    312   0x0001fff8, 0x0001fffc, 0x00020000, 0x00020004,
    313   0x0003fff0, 0x0003fff8, 0x00040000, 0x00040008,
    314   0x0007ffe0, 0x0007fff0, 0x00080000, 0x00080010,
    315   0x000fffc0, 0x000fffe0, 0x00100000, 0x00100020,
    316   0x001fff80, 0x001fffc0, 0x00200000, 0x00200040,
    317   0x003fff00, 0x003fff80, 0x00400000, 0x00400080,
    318   0x007ffe00, 0x007fff00, 0x00800000, 0x00800100,
    319   0x00fffc00, 0x00fffe00, 0x01000000, 0x01000200,
    320   0x01fff800, 0x01fffc00, 0x02000000, 0x02000400,
    321   0x03fff000, 0x03fff800, 0x04000000, 0x04000800,
    322   0x07ffe000, 0x07fff000, 0x08000000, 0x08001000,
    323   0x0fffc000, 0x0fffe000, 0x10000000, 0x10002000,
    324   0x1fff8000, 0x1fffc000, 0x20000000, 0x20004000,
    325   0x3fff0000, 0x3fff8000, 0x40000000, 0x40008000,
    326   0x00007fff, 0x00008000, 0x00008001, 0x0000aaaa,
    327   0x0000fffe, 0x00010000, 0x00010002, 0x00015554,
    328   0x0001fffc, 0x00020000, 0x00020004, 0x0002aaa8,
    329   0x0003fff8, 0x00040000, 0x00040008, 0x00055550,
    330   0x0007fff0, 0x00080000, 0x00080010, 0x000aaaa0,
    331   0x000fffe0, 0x00100000, 0x00100020, 0x00155540,
    332   0x001fffc0, 0x00200000, 0x00200040, 0x002aaa80,
    333   0x003fff80, 0x00400000, 0x00400080, 0x00555500,
    334   0x007fff00, 0x00800000, 0x00800100, 0x00aaaa00,
    335   0x00fffe00, 0x01000000, 0x01000200, 0x01555400,
    336   0x01fffc00, 0x02000000, 0x02000400, 0x02aaa800,
    337   0x03fff800, 0x04000000, 0x04000800, 0x05555000,
    338   0x07fff000, 0x08000000, 0x08001000, 0x0aaaa000,
    339   0x0fffe000, 0x10000000, 0x10002000, 0x15554000,
    340   0x1fffc000, 0x20000000, 0x20004000, 0x2aaa8000,
    341   0x3fff8000, 0x40000000, 0x40008000, 0x55550000,
    342   0x00008000, 0x00008001, 0x0000aaaa, 0x0000cccc,
    343   0x00010000, 0x00010002, 0x00015554, 0x00019998,
    344   0x00020000, 0x00020004, 0x0002aaa8, 0x00033330,
    345   0x00040000, 0x00040008, 0x00055550, 0x00066660,
    346   0x00080000, 0x00080010, 0x000aaaa0, 0x000cccc0,
    347   0x00100000, 0x00100020, 0x00155540, 0x00199980,
    348   0x00200000, 0x00200040, 0x002aaa80, 0x00333300,
    349   0x00400000, 0x00400080, 0x00555500, 0x00666600,
    350   0x00800000, 0x00800100, 0x00aaaa00, 0x00cccc00,
    351   0x01000000, 0x01000200, 0x01555400, 0x01999800,
    352   0x02000000, 0x02000400, 0x02aaa800, 0x03333000,
    353   0x04000000, 0x04000800, 0x05555000, 0x06666000,
    354   0x08000000, 0x08001000, 0x0aaaa000, 0x0cccc000,
    355   0x10000000, 0x10002000, 0x15554000, 0x19998000,
    356   0x20000000, 0x20004000, 0x2aaa8000, 0x33330000,
    357   0x40000000, 0x40008000, 0x55550000, 0x66660000,
    358   0x00008001, 0x0000aaaa, 0x0000cccc, 0x0000ff80,
    359   0x00010002, 0x00015554, 0x00019998, 0x0001ff00,
    360   0x00020004, 0x0002aaa8, 0x00033330, 0x0003fe00,
    361   0x00040008, 0x00055550, 0x00066660, 0x0007fc00,
    362   0x00080010, 0x000aaaa0, 0x000cccc0, 0x000ff800,
    363   0x00100020, 0x00155540, 0x00199980, 0x001ff000,
    364   0x00200040, 0x002aaa80, 0x00333300, 0x003fe000,
    365   0x00400080, 0x00555500, 0x00666600, 0x007fc000,
    366   0x00800100, 0x00aaaa00, 0x00cccc00, 0x00ff8000,
    367   0x01000200, 0x01555400, 0x01999800, 0x01ff0000,
    368   0x02000400, 0x02aaa800, 0x03333000, 0x03fe0000,
    369   0x04000800, 0x05555000, 0x06666000, 0x07fc0000,
    370   0x08001000, 0x0aaaa000, 0x0cccc000, 0x0ff80000,
    371   0x10002000, 0x15554000, 0x19998000, 0x1ff00000,
    372   0x20004000, 0x2aaa8000, 0x33330000, 0x3fe00000,
    373   0x40008000, 0x55550000, 0x66660000, 0x7fc00000,
    374   0x0000aaaa, 0x0000cccc, 0x0000ff80, 0x0000ff81,
    375   0x00015554, 0x00019998, 0x0001ff00, 0x0001ff02,
    376   0x0002aaa8, 0x00033330, 0x0003fe00, 0x0003fe04,
    377   0x00055550, 0x00066660, 0x0007fc00, 0x0007fc08,
    378   0x000aaaa0, 0x000cccc0, 0x000ff800, 0x000ff810,
    379   0x00155540, 0x00199980, 0x001ff000, 0x001ff020,
    380   0x002aaa80, 0x00333300, 0x003fe000, 0x003fe040,
    381   0x00555500, 0x00666600, 0x007fc000, 0x007fc080,
    382   0x00aaaa00, 0x00cccc00, 0x00ff8000, 0x00ff8100,
    383   0x01555400, 0x01999800, 0x01ff0000, 0x01ff0200,
    384   0x02aaa800, 0x03333000, 0x03fe0000, 0x03fe0400,
    385   0x05555000, 0x06666000, 0x07fc0000, 0x07fc0800,
    386   0x0aaaa000, 0x0cccc000, 0x0ff80000, 0x0ff81000,
    387   0x15554000, 0x19998000, 0x1ff00000, 0x1ff02000,
    388   0x2aaa8000, 0x33330000, 0x3fe00000, 0x3fe04000,
    389   0x55550000, 0x66660000, 0x7fc00000, 0x7fc08000,
    390   0x0000cccc, 0x0000ff80, 0x0000ff81, 0x0000ff82,
    391   0x00019998, 0x0001ff00, 0x0001ff02, 0x0001ff04,
    392   0x00033330, 0x0003fe00, 0x0003fe04, 0x0003fe08,
    393   0x00066660, 0x0007fc00, 0x0007fc08, 0x0007fc10,
    394   0x000cccc0, 0x000ff800, 0x000ff810, 0x000ff820,
    395   0x00199980, 0x001ff000, 0x001ff020, 0x001ff040,
    396   0x00333300, 0x003fe000, 0x003fe040, 0x003fe080,
    397   0x00666600, 0x007fc000, 0x007fc080, 0x007fc100,
    398   0x00cccc00, 0x00ff8000, 0x00ff8100, 0x00ff8200,
    399   0x01999800, 0x01ff0000, 0x01ff0200, 0x01ff0400,
    400   0x03333000, 0x03fe0000, 0x03fe0400, 0x03fe0800,
    401   0x06666000, 0x07fc0000, 0x07fc0800, 0x07fc1000,
    402   0x0cccc000, 0x0ff80000, 0x0ff81000, 0x0ff82000,
    403   0x19998000, 0x1ff00000, 0x1ff02000, 0x1ff04000,
    404   0x33330000, 0x3fe00000, 0x3fe04000, 0x3fe08000,
    405   0x66660000, 0x7fc00000, 0x7fc08000, 0x7fc10000,
    406   0x0000ff80, 0x0000ff81, 0x0000ff82, 0x0000ff83,
    407   0x0001ff00, 0x0001ff02, 0x0001ff04, 0x0001ff06,
    408   0x0003fe00, 0x0003fe04, 0x0003fe08, 0x0003fe0c,
    409   0x0007fc00, 0x0007fc08, 0x0007fc10, 0x0007fc18,
    410   0x000ff800, 0x000ff810, 0x000ff820, 0x000ff830,
    411   0x001ff000, 0x001ff020, 0x001ff040, 0x001ff060,
    412   0x003fe000, 0x003fe040, 0x003fe080, 0x003fe0c0,
    413   0x007fc000, 0x007fc080, 0x007fc100, 0x007fc180,
    414   0x00ff8000, 0x00ff8100, 0x00ff8200, 0x00ff8300,
    415   0x01ff0000, 0x01ff0200, 0x01ff0400, 0x01ff0600,
    416   0x03fe0000, 0x03fe0400, 0x03fe0800, 0x03fe0c00,
    417   0x07fc0000, 0x07fc0800, 0x07fc1000, 0x07fc1800,
    418   0x0ff80000, 0x0ff81000, 0x0ff82000, 0x0ff83000,
    419   0x1ff00000, 0x1ff02000, 0x1ff04000, 0x1ff06000,
    420   0x3fe00000, 0x3fe04000, 0x3fe08000, 0x3fe0c000,
    421   0x7fc00000, 0x7fc08000, 0x7fc10000, 0x7fc18000,
    422 };
    423 const unsigned kExpectedCount_NEON_ushll_4S_2OPIMM = 384;
    424 
    425 #endif  // VIXL_SIM_USHLL_4S_2OPIMM_TRACE_AARCH64_H_
    426