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
37const 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};
423const unsigned kExpectedCount_NEON_ushll_4S_2OPIMM = 384;
424
425#endif  // VIXL_SIM_USHLL_4S_2OPIMM_TRACE_AARCH64_H_
426