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_USHR_2S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_USHR_2S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_ushr_2S_2OPIMM[] = {
38  0x7ffffffe, 0x7fffffff,
39  0x3fffffff, 0x3fffffff,
40  0x1fffffff, 0x1fffffff,
41  0x0fffffff, 0x0fffffff,
42  0x07ffffff, 0x07ffffff,
43  0x03ffffff, 0x03ffffff,
44  0x01ffffff, 0x01ffffff,
45  0x00ffffff, 0x00ffffff,
46  0x007fffff, 0x007fffff,
47  0x003fffff, 0x003fffff,
48  0x001fffff, 0x001fffff,
49  0x000fffff, 0x000fffff,
50  0x0007ffff, 0x0007ffff,
51  0x0003ffff, 0x0003ffff,
52  0x0001ffff, 0x0001ffff,
53  0x0000ffff, 0x0000ffff,
54  0x00007fff, 0x00007fff,
55  0x00003fff, 0x00003fff,
56  0x00001fff, 0x00001fff,
57  0x00000fff, 0x00000fff,
58  0x000007ff, 0x000007ff,
59  0x000003ff, 0x000003ff,
60  0x000001ff, 0x000001ff,
61  0x000000ff, 0x000000ff,
62  0x0000007f, 0x0000007f,
63  0x0000003f, 0x0000003f,
64  0x0000001f, 0x0000001f,
65  0x0000000f, 0x0000000f,
66  0x00000007, 0x00000007,
67  0x00000003, 0x00000003,
68  0x00000001, 0x00000001,
69  0x00000000, 0x00000000,
70  0x7fffffff, 0x7fffffff,
71  0x3fffffff, 0x3fffffff,
72  0x1fffffff, 0x1fffffff,
73  0x0fffffff, 0x0fffffff,
74  0x07ffffff, 0x07ffffff,
75  0x03ffffff, 0x03ffffff,
76  0x01ffffff, 0x01ffffff,
77  0x00ffffff, 0x00ffffff,
78  0x007fffff, 0x007fffff,
79  0x003fffff, 0x003fffff,
80  0x001fffff, 0x001fffff,
81  0x000fffff, 0x000fffff,
82  0x0007ffff, 0x0007ffff,
83  0x0003ffff, 0x0003ffff,
84  0x0001ffff, 0x0001ffff,
85  0x0000ffff, 0x0000ffff,
86  0x00007fff, 0x00007fff,
87  0x00003fff, 0x00003fff,
88  0x00001fff, 0x00001fff,
89  0x00000fff, 0x00000fff,
90  0x000007ff, 0x000007ff,
91  0x000003ff, 0x000003ff,
92  0x000001ff, 0x000001ff,
93  0x000000ff, 0x000000ff,
94  0x0000007f, 0x0000007f,
95  0x0000003f, 0x0000003f,
96  0x0000001f, 0x0000001f,
97  0x0000000f, 0x0000000f,
98  0x00000007, 0x00000007,
99  0x00000003, 0x00000003,
100  0x00000001, 0x00000001,
101  0x00000000, 0x00000000,
102  0x7fffffff, 0x00000000,
103  0x3fffffff, 0x00000000,
104  0x1fffffff, 0x00000000,
105  0x0fffffff, 0x00000000,
106  0x07ffffff, 0x00000000,
107  0x03ffffff, 0x00000000,
108  0x01ffffff, 0x00000000,
109  0x00ffffff, 0x00000000,
110  0x007fffff, 0x00000000,
111  0x003fffff, 0x00000000,
112  0x001fffff, 0x00000000,
113  0x000fffff, 0x00000000,
114  0x0007ffff, 0x00000000,
115  0x0003ffff, 0x00000000,
116  0x0001ffff, 0x00000000,
117  0x0000ffff, 0x00000000,
118  0x00007fff, 0x00000000,
119  0x00003fff, 0x00000000,
120  0x00001fff, 0x00000000,
121  0x00000fff, 0x00000000,
122  0x000007ff, 0x00000000,
123  0x000003ff, 0x00000000,
124  0x000001ff, 0x00000000,
125  0x000000ff, 0x00000000,
126  0x0000007f, 0x00000000,
127  0x0000003f, 0x00000000,
128  0x0000001f, 0x00000000,
129  0x0000000f, 0x00000000,
130  0x00000007, 0x00000000,
131  0x00000003, 0x00000000,
132  0x00000001, 0x00000000,
133  0x00000000, 0x00000000,
134  0x00000000, 0x00000000,
135  0x00000000, 0x00000000,
136  0x00000000, 0x00000000,
137  0x00000000, 0x00000000,
138  0x00000000, 0x00000000,
139  0x00000000, 0x00000000,
140  0x00000000, 0x00000000,
141  0x00000000, 0x00000000,
142  0x00000000, 0x00000000,
143  0x00000000, 0x00000000,
144  0x00000000, 0x00000000,
145  0x00000000, 0x00000000,
146  0x00000000, 0x00000000,
147  0x00000000, 0x00000000,
148  0x00000000, 0x00000000,
149  0x00000000, 0x00000000,
150  0x00000000, 0x00000000,
151  0x00000000, 0x00000000,
152  0x00000000, 0x00000000,
153  0x00000000, 0x00000000,
154  0x00000000, 0x00000000,
155  0x00000000, 0x00000000,
156  0x00000000, 0x00000000,
157  0x00000000, 0x00000000,
158  0x00000000, 0x00000000,
159  0x00000000, 0x00000000,
160  0x00000000, 0x00000000,
161  0x00000000, 0x00000000,
162  0x00000000, 0x00000000,
163  0x00000000, 0x00000000,
164  0x00000000, 0x00000000,
165  0x00000000, 0x00000000,
166  0x00000000, 0x00000001,
167  0x00000000, 0x00000000,
168  0x00000000, 0x00000000,
169  0x00000000, 0x00000000,
170  0x00000000, 0x00000000,
171  0x00000000, 0x00000000,
172  0x00000000, 0x00000000,
173  0x00000000, 0x00000000,
174  0x00000000, 0x00000000,
175  0x00000000, 0x00000000,
176  0x00000000, 0x00000000,
177  0x00000000, 0x00000000,
178  0x00000000, 0x00000000,
179  0x00000000, 0x00000000,
180  0x00000000, 0x00000000,
181  0x00000000, 0x00000000,
182  0x00000000, 0x00000000,
183  0x00000000, 0x00000000,
184  0x00000000, 0x00000000,
185  0x00000000, 0x00000000,
186  0x00000000, 0x00000000,
187  0x00000000, 0x00000000,
188  0x00000000, 0x00000000,
189  0x00000000, 0x00000000,
190  0x00000000, 0x00000000,
191  0x00000000, 0x00000000,
192  0x00000000, 0x00000000,
193  0x00000000, 0x00000000,
194  0x00000000, 0x00000000,
195  0x00000000, 0x00000000,
196  0x00000000, 0x00000000,
197  0x00000000, 0x00000000,
198  0x00000001, 0x00000010,
199  0x00000000, 0x00000008,
200  0x00000000, 0x00000004,
201  0x00000000, 0x00000002,
202  0x00000000, 0x00000001,
203  0x00000000, 0x00000000,
204  0x00000000, 0x00000000,
205  0x00000000, 0x00000000,
206  0x00000000, 0x00000000,
207  0x00000000, 0x00000000,
208  0x00000000, 0x00000000,
209  0x00000000, 0x00000000,
210  0x00000000, 0x00000000,
211  0x00000000, 0x00000000,
212  0x00000000, 0x00000000,
213  0x00000000, 0x00000000,
214  0x00000000, 0x00000000,
215  0x00000000, 0x00000000,
216  0x00000000, 0x00000000,
217  0x00000000, 0x00000000,
218  0x00000000, 0x00000000,
219  0x00000000, 0x00000000,
220  0x00000000, 0x00000000,
221  0x00000000, 0x00000000,
222  0x00000000, 0x00000000,
223  0x00000000, 0x00000000,
224  0x00000000, 0x00000000,
225  0x00000000, 0x00000000,
226  0x00000000, 0x00000000,
227  0x00000000, 0x00000000,
228  0x00000000, 0x00000000,
229  0x00000000, 0x00000000,
230  0x00000010, 0x0000003e,
231  0x00000008, 0x0000001f,
232  0x00000004, 0x0000000f,
233  0x00000002, 0x00000007,
234  0x00000001, 0x00000003,
235  0x00000000, 0x00000001,
236  0x00000000, 0x00000000,
237  0x00000000, 0x00000000,
238  0x00000000, 0x00000000,
239  0x00000000, 0x00000000,
240  0x00000000, 0x00000000,
241  0x00000000, 0x00000000,
242  0x00000000, 0x00000000,
243  0x00000000, 0x00000000,
244  0x00000000, 0x00000000,
245  0x00000000, 0x00000000,
246  0x00000000, 0x00000000,
247  0x00000000, 0x00000000,
248  0x00000000, 0x00000000,
249  0x00000000, 0x00000000,
250  0x00000000, 0x00000000,
251  0x00000000, 0x00000000,
252  0x00000000, 0x00000000,
253  0x00000000, 0x00000000,
254  0x00000000, 0x00000000,
255  0x00000000, 0x00000000,
256  0x00000000, 0x00000000,
257  0x00000000, 0x00000000,
258  0x00000000, 0x00000000,
259  0x00000000, 0x00000000,
260  0x00000000, 0x00000000,
261  0x00000000, 0x00000000,
262  0x0000003e, 0x0000003f,
263  0x0000001f, 0x0000001f,
264  0x0000000f, 0x0000000f,
265  0x00000007, 0x00000007,
266  0x00000003, 0x00000003,
267  0x00000001, 0x00000001,
268  0x00000000, 0x00000000,
269  0x00000000, 0x00000000,
270  0x00000000, 0x00000000,
271  0x00000000, 0x00000000,
272  0x00000000, 0x00000000,
273  0x00000000, 0x00000000,
274  0x00000000, 0x00000000,
275  0x00000000, 0x00000000,
276  0x00000000, 0x00000000,
277  0x00000000, 0x00000000,
278  0x00000000, 0x00000000,
279  0x00000000, 0x00000000,
280  0x00000000, 0x00000000,
281  0x00000000, 0x00000000,
282  0x00000000, 0x00000000,
283  0x00000000, 0x00000000,
284  0x00000000, 0x00000000,
285  0x00000000, 0x00000000,
286  0x00000000, 0x00000000,
287  0x00000000, 0x00000000,
288  0x00000000, 0x00000000,
289  0x00000000, 0x00000000,
290  0x00000000, 0x00000000,
291  0x00000000, 0x00000000,
292  0x00000000, 0x00000000,
293  0x00000000, 0x00000000,
294  0x0000003f, 0x0000003f,
295  0x0000001f, 0x0000001f,
296  0x0000000f, 0x0000000f,
297  0x00000007, 0x00000007,
298  0x00000003, 0x00000003,
299  0x00000001, 0x00000001,
300  0x00000000, 0x00000000,
301  0x00000000, 0x00000000,
302  0x00000000, 0x00000000,
303  0x00000000, 0x00000000,
304  0x00000000, 0x00000000,
305  0x00000000, 0x00000000,
306  0x00000000, 0x00000000,
307  0x00000000, 0x00000000,
308  0x00000000, 0x00000000,
309  0x00000000, 0x00000000,
310  0x00000000, 0x00000000,
311  0x00000000, 0x00000000,
312  0x00000000, 0x00000000,
313  0x00000000, 0x00000000,
314  0x00000000, 0x00000000,
315  0x00000000, 0x00000000,
316  0x00000000, 0x00000000,
317  0x00000000, 0x00000000,
318  0x00000000, 0x00000000,
319  0x00000000, 0x00000000,
320  0x00000000, 0x00000000,
321  0x00000000, 0x00000000,
322  0x00000000, 0x00000000,
323  0x00000000, 0x00000000,
324  0x00000000, 0x00000000,
325  0x00000000, 0x00000000,
326  0x0000003f, 0x00003ffe,
327  0x0000001f, 0x00001fff,
328  0x0000000f, 0x00000fff,
329  0x00000007, 0x000007ff,
330  0x00000003, 0x000003ff,
331  0x00000001, 0x000001ff,
332  0x00000000, 0x000000ff,
333  0x00000000, 0x0000007f,
334  0x00000000, 0x0000003f,
335  0x00000000, 0x0000001f,
336  0x00000000, 0x0000000f,
337  0x00000000, 0x00000007,
338  0x00000000, 0x00000003,
339  0x00000000, 0x00000001,
340  0x00000000, 0x00000000,
341  0x00000000, 0x00000000,
342  0x00000000, 0x00000000,
343  0x00000000, 0x00000000,
344  0x00000000, 0x00000000,
345  0x00000000, 0x00000000,
346  0x00000000, 0x00000000,
347  0x00000000, 0x00000000,
348  0x00000000, 0x00000000,
349  0x00000000, 0x00000000,
350  0x00000000, 0x00000000,
351  0x00000000, 0x00000000,
352  0x00000000, 0x00000000,
353  0x00000000, 0x00000000,
354  0x00000000, 0x00000000,
355  0x00000000, 0x00000000,
356  0x00000000, 0x00000000,
357  0x00000000, 0x00000000,
358  0x00003ffe, 0x00003fff,
359  0x00001fff, 0x00001fff,
360  0x00000fff, 0x00000fff,
361  0x000007ff, 0x000007ff,
362  0x000003ff, 0x000003ff,
363  0x000001ff, 0x000001ff,
364  0x000000ff, 0x000000ff,
365  0x0000007f, 0x0000007f,
366  0x0000003f, 0x0000003f,
367  0x0000001f, 0x0000001f,
368  0x0000000f, 0x0000000f,
369  0x00000007, 0x00000007,
370  0x00000003, 0x00000003,
371  0x00000001, 0x00000001,
372  0x00000000, 0x00000000,
373  0x00000000, 0x00000000,
374  0x00000000, 0x00000000,
375  0x00000000, 0x00000000,
376  0x00000000, 0x00000000,
377  0x00000000, 0x00000000,
378  0x00000000, 0x00000000,
379  0x00000000, 0x00000000,
380  0x00000000, 0x00000000,
381  0x00000000, 0x00000000,
382  0x00000000, 0x00000000,
383  0x00000000, 0x00000000,
384  0x00000000, 0x00000000,
385  0x00000000, 0x00000000,
386  0x00000000, 0x00000000,
387  0x00000000, 0x00000000,
388  0x00000000, 0x00000000,
389  0x00000000, 0x00000000,
390  0x00003fff, 0x00003fff,
391  0x00001fff, 0x00001fff,
392  0x00000fff, 0x00000fff,
393  0x000007ff, 0x000007ff,
394  0x000003ff, 0x000003ff,
395  0x000001ff, 0x000001ff,
396  0x000000ff, 0x000000ff,
397  0x0000007f, 0x0000007f,
398  0x0000003f, 0x0000003f,
399  0x0000001f, 0x0000001f,
400  0x0000000f, 0x0000000f,
401  0x00000007, 0x00000007,
402  0x00000003, 0x00000003,
403  0x00000001, 0x00000001,
404  0x00000000, 0x00000000,
405  0x00000000, 0x00000000,
406  0x00000000, 0x00000000,
407  0x00000000, 0x00000000,
408  0x00000000, 0x00000000,
409  0x00000000, 0x00000000,
410  0x00000000, 0x00000000,
411  0x00000000, 0x00000000,
412  0x00000000, 0x00000000,
413  0x00000000, 0x00000000,
414  0x00000000, 0x00000000,
415  0x00000000, 0x00000000,
416  0x00000000, 0x00000000,
417  0x00000000, 0x00000000,
418  0x00000000, 0x00000000,
419  0x00000000, 0x00000000,
420  0x00000000, 0x00000000,
421  0x00000000, 0x00000000,
422  0x00003fff, 0x19999999,
423  0x00001fff, 0x0ccccccc,
424  0x00000fff, 0x06666666,
425  0x000007ff, 0x03333333,
426  0x000003ff, 0x01999999,
427  0x000001ff, 0x00cccccc,
428  0x000000ff, 0x00666666,
429  0x0000007f, 0x00333333,
430  0x0000003f, 0x00199999,
431  0x0000001f, 0x000ccccc,
432  0x0000000f, 0x00066666,
433  0x00000007, 0x00033333,
434  0x00000003, 0x00019999,
435  0x00000001, 0x0000cccc,
436  0x00000000, 0x00006666,
437  0x00000000, 0x00003333,
438  0x00000000, 0x00001999,
439  0x00000000, 0x00000ccc,
440  0x00000000, 0x00000666,
441  0x00000000, 0x00000333,
442  0x00000000, 0x00000199,
443  0x00000000, 0x000000cc,
444  0x00000000, 0x00000066,
445  0x00000000, 0x00000033,
446  0x00000000, 0x00000019,
447  0x00000000, 0x0000000c,
448  0x00000000, 0x00000006,
449  0x00000000, 0x00000003,
450  0x00000000, 0x00000001,
451  0x00000000, 0x00000000,
452  0x00000000, 0x00000000,
453  0x00000000, 0x00000000,
454  0x19999999, 0x2aaaaaaa,
455  0x0ccccccc, 0x15555555,
456  0x06666666, 0x0aaaaaaa,
457  0x03333333, 0x05555555,
458  0x01999999, 0x02aaaaaa,
459  0x00cccccc, 0x01555555,
460  0x00666666, 0x00aaaaaa,
461  0x00333333, 0x00555555,
462  0x00199999, 0x002aaaaa,
463  0x000ccccc, 0x00155555,
464  0x00066666, 0x000aaaaa,
465  0x00033333, 0x00055555,
466  0x00019999, 0x0002aaaa,
467  0x0000cccc, 0x00015555,
468  0x00006666, 0x0000aaaa,
469  0x00003333, 0x00005555,
470  0x00001999, 0x00002aaa,
471  0x00000ccc, 0x00001555,
472  0x00000666, 0x00000aaa,
473  0x00000333, 0x00000555,
474  0x00000199, 0x000002aa,
475  0x000000cc, 0x00000155,
476  0x00000066, 0x000000aa,
477  0x00000033, 0x00000055,
478  0x00000019, 0x0000002a,
479  0x0000000c, 0x00000015,
480  0x00000006, 0x0000000a,
481  0x00000003, 0x00000005,
482  0x00000001, 0x00000002,
483  0x00000000, 0x00000001,
484  0x00000000, 0x00000000,
485  0x00000000, 0x00000000,
486  0x2aaaaaaa, 0x3ffffffe,
487  0x15555555, 0x1fffffff,
488  0x0aaaaaaa, 0x0fffffff,
489  0x05555555, 0x07ffffff,
490  0x02aaaaaa, 0x03ffffff,
491  0x01555555, 0x01ffffff,
492  0x00aaaaaa, 0x00ffffff,
493  0x00555555, 0x007fffff,
494  0x002aaaaa, 0x003fffff,
495  0x00155555, 0x001fffff,
496  0x000aaaaa, 0x000fffff,
497  0x00055555, 0x0007ffff,
498  0x0002aaaa, 0x0003ffff,
499  0x00015555, 0x0001ffff,
500  0x0000aaaa, 0x0000ffff,
501  0x00005555, 0x00007fff,
502  0x00002aaa, 0x00003fff,
503  0x00001555, 0x00001fff,
504  0x00000aaa, 0x00000fff,
505  0x00000555, 0x000007ff,
506  0x000002aa, 0x000003ff,
507  0x00000155, 0x000001ff,
508  0x000000aa, 0x000000ff,
509  0x00000055, 0x0000007f,
510  0x0000002a, 0x0000003f,
511  0x00000015, 0x0000001f,
512  0x0000000a, 0x0000000f,
513  0x00000005, 0x00000007,
514  0x00000002, 0x00000003,
515  0x00000001, 0x00000001,
516  0x00000000, 0x00000000,
517  0x00000000, 0x00000000,
518  0x3ffffffe, 0x3fffffff,
519  0x1fffffff, 0x1fffffff,
520  0x0fffffff, 0x0fffffff,
521  0x07ffffff, 0x07ffffff,
522  0x03ffffff, 0x03ffffff,
523  0x01ffffff, 0x01ffffff,
524  0x00ffffff, 0x00ffffff,
525  0x007fffff, 0x007fffff,
526  0x003fffff, 0x003fffff,
527  0x001fffff, 0x001fffff,
528  0x000fffff, 0x000fffff,
529  0x0007ffff, 0x0007ffff,
530  0x0003ffff, 0x0003ffff,
531  0x0001ffff, 0x0001ffff,
532  0x0000ffff, 0x0000ffff,
533  0x00007fff, 0x00007fff,
534  0x00003fff, 0x00003fff,
535  0x00001fff, 0x00001fff,
536  0x00000fff, 0x00000fff,
537  0x000007ff, 0x000007ff,
538  0x000003ff, 0x000003ff,
539  0x000001ff, 0x000001ff,
540  0x000000ff, 0x000000ff,
541  0x0000007f, 0x0000007f,
542  0x0000003f, 0x0000003f,
543  0x0000001f, 0x0000001f,
544  0x0000000f, 0x0000000f,
545  0x00000007, 0x00000007,
546  0x00000003, 0x00000003,
547  0x00000001, 0x00000001,
548  0x00000000, 0x00000000,
549  0x00000000, 0x00000000,
550  0x3fffffff, 0x3fffffff,
551  0x1fffffff, 0x1fffffff,
552  0x0fffffff, 0x0fffffff,
553  0x07ffffff, 0x07ffffff,
554  0x03ffffff, 0x03ffffff,
555  0x01ffffff, 0x01ffffff,
556  0x00ffffff, 0x00ffffff,
557  0x007fffff, 0x007fffff,
558  0x003fffff, 0x003fffff,
559  0x001fffff, 0x001fffff,
560  0x000fffff, 0x000fffff,
561  0x0007ffff, 0x0007ffff,
562  0x0003ffff, 0x0003ffff,
563  0x0001ffff, 0x0001ffff,
564  0x0000ffff, 0x0000ffff,
565  0x00007fff, 0x00007fff,
566  0x00003fff, 0x00003fff,
567  0x00001fff, 0x00001fff,
568  0x00000fff, 0x00000fff,
569  0x000007ff, 0x000007ff,
570  0x000003ff, 0x000003ff,
571  0x000001ff, 0x000001ff,
572  0x000000ff, 0x000000ff,
573  0x0000007f, 0x0000007f,
574  0x0000003f, 0x0000003f,
575  0x0000001f, 0x0000001f,
576  0x0000000f, 0x0000000f,
577  0x00000007, 0x00000007,
578  0x00000003, 0x00000003,
579  0x00000001, 0x00000001,
580  0x00000000, 0x00000000,
581  0x00000000, 0x00000000,
582  0x3fffffff, 0x40000000,
583  0x1fffffff, 0x20000000,
584  0x0fffffff, 0x10000000,
585  0x07ffffff, 0x08000000,
586  0x03ffffff, 0x04000000,
587  0x01ffffff, 0x02000000,
588  0x00ffffff, 0x01000000,
589  0x007fffff, 0x00800000,
590  0x003fffff, 0x00400000,
591  0x001fffff, 0x00200000,
592  0x000fffff, 0x00100000,
593  0x0007ffff, 0x00080000,
594  0x0003ffff, 0x00040000,
595  0x0001ffff, 0x00020000,
596  0x0000ffff, 0x00010000,
597  0x00007fff, 0x00008000,
598  0x00003fff, 0x00004000,
599  0x00001fff, 0x00002000,
600  0x00000fff, 0x00001000,
601  0x000007ff, 0x00000800,
602  0x000003ff, 0x00000400,
603  0x000001ff, 0x00000200,
604  0x000000ff, 0x00000100,
605  0x0000007f, 0x00000080,
606  0x0000003f, 0x00000040,
607  0x0000001f, 0x00000020,
608  0x0000000f, 0x00000010,
609  0x00000007, 0x00000008,
610  0x00000003, 0x00000004,
611  0x00000001, 0x00000002,
612  0x00000000, 0x00000001,
613  0x00000000, 0x00000000,
614  0x40000000, 0x40000000,
615  0x20000000, 0x20000000,
616  0x10000000, 0x10000000,
617  0x08000000, 0x08000000,
618  0x04000000, 0x04000000,
619  0x02000000, 0x02000000,
620  0x01000000, 0x01000000,
621  0x00800000, 0x00800000,
622  0x00400000, 0x00400000,
623  0x00200000, 0x00200000,
624  0x00100000, 0x00100000,
625  0x00080000, 0x00080000,
626  0x00040000, 0x00040000,
627  0x00020000, 0x00020000,
628  0x00010000, 0x00010000,
629  0x00008000, 0x00008000,
630  0x00004000, 0x00004000,
631  0x00002000, 0x00002000,
632  0x00001000, 0x00001000,
633  0x00000800, 0x00000800,
634  0x00000400, 0x00000400,
635  0x00000200, 0x00000200,
636  0x00000100, 0x00000100,
637  0x00000080, 0x00000080,
638  0x00000040, 0x00000040,
639  0x00000020, 0x00000020,
640  0x00000010, 0x00000010,
641  0x00000008, 0x00000008,
642  0x00000004, 0x00000004,
643  0x00000002, 0x00000002,
644  0x00000001, 0x00000001,
645  0x00000000, 0x00000000,
646  0x40000000, 0x55555555,
647  0x20000000, 0x2aaaaaaa,
648  0x10000000, 0x15555555,
649  0x08000000, 0x0aaaaaaa,
650  0x04000000, 0x05555555,
651  0x02000000, 0x02aaaaaa,
652  0x01000000, 0x01555555,
653  0x00800000, 0x00aaaaaa,
654  0x00400000, 0x00555555,
655  0x00200000, 0x002aaaaa,
656  0x00100000, 0x00155555,
657  0x00080000, 0x000aaaaa,
658  0x00040000, 0x00055555,
659  0x00020000, 0x0002aaaa,
660  0x00010000, 0x00015555,
661  0x00008000, 0x0000aaaa,
662  0x00004000, 0x00005555,
663  0x00002000, 0x00002aaa,
664  0x00001000, 0x00001555,
665  0x00000800, 0x00000aaa,
666  0x00000400, 0x00000555,
667  0x00000200, 0x000002aa,
668  0x00000100, 0x00000155,
669  0x00000080, 0x000000aa,
670  0x00000040, 0x00000055,
671  0x00000020, 0x0000002a,
672  0x00000010, 0x00000015,
673  0x00000008, 0x0000000a,
674  0x00000004, 0x00000005,
675  0x00000002, 0x00000002,
676  0x00000001, 0x00000001,
677  0x00000000, 0x00000000,
678  0x55555555, 0x66666666,
679  0x2aaaaaaa, 0x33333333,
680  0x15555555, 0x19999999,
681  0x0aaaaaaa, 0x0ccccccc,
682  0x05555555, 0x06666666,
683  0x02aaaaaa, 0x03333333,
684  0x01555555, 0x01999999,
685  0x00aaaaaa, 0x00cccccc,
686  0x00555555, 0x00666666,
687  0x002aaaaa, 0x00333333,
688  0x00155555, 0x00199999,
689  0x000aaaaa, 0x000ccccc,
690  0x00055555, 0x00066666,
691  0x0002aaaa, 0x00033333,
692  0x00015555, 0x00019999,
693  0x0000aaaa, 0x0000cccc,
694  0x00005555, 0x00006666,
695  0x00002aaa, 0x00003333,
696  0x00001555, 0x00001999,
697  0x00000aaa, 0x00000ccc,
698  0x00000555, 0x00000666,
699  0x000002aa, 0x00000333,
700  0x00000155, 0x00000199,
701  0x000000aa, 0x000000cc,
702  0x00000055, 0x00000066,
703  0x0000002a, 0x00000033,
704  0x00000015, 0x00000019,
705  0x0000000a, 0x0000000c,
706  0x00000005, 0x00000006,
707  0x00000002, 0x00000003,
708  0x00000001, 0x00000001,
709  0x00000000, 0x00000000,
710  0x66666666, 0x7fffc000,
711  0x33333333, 0x3fffe000,
712  0x19999999, 0x1ffff000,
713  0x0ccccccc, 0x0ffff800,
714  0x06666666, 0x07fffc00,
715  0x03333333, 0x03fffe00,
716  0x01999999, 0x01ffff00,
717  0x00cccccc, 0x00ffff80,
718  0x00666666, 0x007fffc0,
719  0x00333333, 0x003fffe0,
720  0x00199999, 0x001ffff0,
721  0x000ccccc, 0x000ffff8,
722  0x00066666, 0x0007fffc,
723  0x00033333, 0x0003fffe,
724  0x00019999, 0x0001ffff,
725  0x0000cccc, 0x0000ffff,
726  0x00006666, 0x00007fff,
727  0x00003333, 0x00003fff,
728  0x00001999, 0x00001fff,
729  0x00000ccc, 0x00000fff,
730  0x00000666, 0x000007ff,
731  0x00000333, 0x000003ff,
732  0x00000199, 0x000001ff,
733  0x000000cc, 0x000000ff,
734  0x00000066, 0x0000007f,
735  0x00000033, 0x0000003f,
736  0x00000019, 0x0000001f,
737  0x0000000c, 0x0000000f,
738  0x00000006, 0x00000007,
739  0x00000003, 0x00000003,
740  0x00000001, 0x00000001,
741  0x00000000, 0x00000000,
742  0x7fffc000, 0x7fffc000,
743  0x3fffe000, 0x3fffe000,
744  0x1ffff000, 0x1ffff000,
745  0x0ffff800, 0x0ffff800,
746  0x07fffc00, 0x07fffc00,
747  0x03fffe00, 0x03fffe00,
748  0x01ffff00, 0x01ffff00,
749  0x00ffff80, 0x00ffff80,
750  0x007fffc0, 0x007fffc0,
751  0x003fffe0, 0x003fffe0,
752  0x001ffff0, 0x001ffff0,
753  0x000ffff8, 0x000ffff8,
754  0x0007fffc, 0x0007fffc,
755  0x0003fffe, 0x0003fffe,
756  0x0001ffff, 0x0001ffff,
757  0x0000ffff, 0x0000ffff,
758  0x00007fff, 0x00007fff,
759  0x00003fff, 0x00003fff,
760  0x00001fff, 0x00001fff,
761  0x00000fff, 0x00000fff,
762  0x000007ff, 0x000007ff,
763  0x000003ff, 0x000003ff,
764  0x000001ff, 0x000001ff,
765  0x000000ff, 0x000000ff,
766  0x0000007f, 0x0000007f,
767  0x0000003f, 0x0000003f,
768  0x0000001f, 0x0000001f,
769  0x0000000f, 0x0000000f,
770  0x00000007, 0x00000007,
771  0x00000003, 0x00000003,
772  0x00000001, 0x00000001,
773  0x00000000, 0x00000000,
774  0x7fffc000, 0x7fffc001,
775  0x3fffe000, 0x3fffe000,
776  0x1ffff000, 0x1ffff000,
777  0x0ffff800, 0x0ffff800,
778  0x07fffc00, 0x07fffc00,
779  0x03fffe00, 0x03fffe00,
780  0x01ffff00, 0x01ffff00,
781  0x00ffff80, 0x00ffff80,
782  0x007fffc0, 0x007fffc0,
783  0x003fffe0, 0x003fffe0,
784  0x001ffff0, 0x001ffff0,
785  0x000ffff8, 0x000ffff8,
786  0x0007fffc, 0x0007fffc,
787  0x0003fffe, 0x0003fffe,
788  0x0001ffff, 0x0001ffff,
789  0x0000ffff, 0x0000ffff,
790  0x00007fff, 0x00007fff,
791  0x00003fff, 0x00003fff,
792  0x00001fff, 0x00001fff,
793  0x00000fff, 0x00000fff,
794  0x000007ff, 0x000007ff,
795  0x000003ff, 0x000003ff,
796  0x000001ff, 0x000001ff,
797  0x000000ff, 0x000000ff,
798  0x0000007f, 0x0000007f,
799  0x0000003f, 0x0000003f,
800  0x0000001f, 0x0000001f,
801  0x0000000f, 0x0000000f,
802  0x00000007, 0x00000007,
803  0x00000003, 0x00000003,
804  0x00000001, 0x00000001,
805  0x00000000, 0x00000000,
806  0x7fffc001, 0x7fffc001,
807  0x3fffe000, 0x3fffe000,
808  0x1ffff000, 0x1ffff000,
809  0x0ffff800, 0x0ffff800,
810  0x07fffc00, 0x07fffc00,
811  0x03fffe00, 0x03fffe00,
812  0x01ffff00, 0x01ffff00,
813  0x00ffff80, 0x00ffff80,
814  0x007fffc0, 0x007fffc0,
815  0x003fffe0, 0x003fffe0,
816  0x001ffff0, 0x001ffff0,
817  0x000ffff8, 0x000ffff8,
818  0x0007fffc, 0x0007fffc,
819  0x0003fffe, 0x0003fffe,
820  0x0001ffff, 0x0001ffff,
821  0x0000ffff, 0x0000ffff,
822  0x00007fff, 0x00007fff,
823  0x00003fff, 0x00003fff,
824  0x00001fff, 0x00001fff,
825  0x00000fff, 0x00000fff,
826  0x000007ff, 0x000007ff,
827  0x000003ff, 0x000003ff,
828  0x000001ff, 0x000001ff,
829  0x000000ff, 0x000000ff,
830  0x0000007f, 0x0000007f,
831  0x0000003f, 0x0000003f,
832  0x0000001f, 0x0000001f,
833  0x0000000f, 0x0000000f,
834  0x00000007, 0x00000007,
835  0x00000003, 0x00000003,
836  0x00000001, 0x00000001,
837  0x00000000, 0x00000000,
838  0x7fffc001, 0x7fffffc0,
839  0x3fffe000, 0x3fffffe0,
840  0x1ffff000, 0x1ffffff0,
841  0x0ffff800, 0x0ffffff8,
842  0x07fffc00, 0x07fffffc,
843  0x03fffe00, 0x03fffffe,
844  0x01ffff00, 0x01ffffff,
845  0x00ffff80, 0x00ffffff,
846  0x007fffc0, 0x007fffff,
847  0x003fffe0, 0x003fffff,
848  0x001ffff0, 0x001fffff,
849  0x000ffff8, 0x000fffff,
850  0x0007fffc, 0x0007ffff,
851  0x0003fffe, 0x0003ffff,
852  0x0001ffff, 0x0001ffff,
853  0x0000ffff, 0x0000ffff,
854  0x00007fff, 0x00007fff,
855  0x00003fff, 0x00003fff,
856  0x00001fff, 0x00001fff,
857  0x00000fff, 0x00000fff,
858  0x000007ff, 0x000007ff,
859  0x000003ff, 0x000003ff,
860  0x000001ff, 0x000001ff,
861  0x000000ff, 0x000000ff,
862  0x0000007f, 0x0000007f,
863  0x0000003f, 0x0000003f,
864  0x0000001f, 0x0000001f,
865  0x0000000f, 0x0000000f,
866  0x00000007, 0x00000007,
867  0x00000003, 0x00000003,
868  0x00000001, 0x00000001,
869  0x00000000, 0x00000000,
870  0x7fffffc0, 0x7fffffc0,
871  0x3fffffe0, 0x3fffffe0,
872  0x1ffffff0, 0x1ffffff0,
873  0x0ffffff8, 0x0ffffff8,
874  0x07fffffc, 0x07fffffc,
875  0x03fffffe, 0x03fffffe,
876  0x01ffffff, 0x01ffffff,
877  0x00ffffff, 0x00ffffff,
878  0x007fffff, 0x007fffff,
879  0x003fffff, 0x003fffff,
880  0x001fffff, 0x001fffff,
881  0x000fffff, 0x000fffff,
882  0x0007ffff, 0x0007ffff,
883  0x0003ffff, 0x0003ffff,
884  0x0001ffff, 0x0001ffff,
885  0x0000ffff, 0x0000ffff,
886  0x00007fff, 0x00007fff,
887  0x00003fff, 0x00003fff,
888  0x00001fff, 0x00001fff,
889  0x00000fff, 0x00000fff,
890  0x000007ff, 0x000007ff,
891  0x000003ff, 0x000003ff,
892  0x000001ff, 0x000001ff,
893  0x000000ff, 0x000000ff,
894  0x0000007f, 0x0000007f,
895  0x0000003f, 0x0000003f,
896  0x0000001f, 0x0000001f,
897  0x0000000f, 0x0000000f,
898  0x00000007, 0x00000007,
899  0x00000003, 0x00000003,
900  0x00000001, 0x00000001,
901  0x00000000, 0x00000000,
902  0x7fffffc0, 0x7fffffc1,
903  0x3fffffe0, 0x3fffffe0,
904  0x1ffffff0, 0x1ffffff0,
905  0x0ffffff8, 0x0ffffff8,
906  0x07fffffc, 0x07fffffc,
907  0x03fffffe, 0x03fffffe,
908  0x01ffffff, 0x01ffffff,
909  0x00ffffff, 0x00ffffff,
910  0x007fffff, 0x007fffff,
911  0x003fffff, 0x003fffff,
912  0x001fffff, 0x001fffff,
913  0x000fffff, 0x000fffff,
914  0x0007ffff, 0x0007ffff,
915  0x0003ffff, 0x0003ffff,
916  0x0001ffff, 0x0001ffff,
917  0x0000ffff, 0x0000ffff,
918  0x00007fff, 0x00007fff,
919  0x00003fff, 0x00003fff,
920  0x00001fff, 0x00001fff,
921  0x00000fff, 0x00000fff,
922  0x000007ff, 0x000007ff,
923  0x000003ff, 0x000003ff,
924  0x000001ff, 0x000001ff,
925  0x000000ff, 0x000000ff,
926  0x0000007f, 0x0000007f,
927  0x0000003f, 0x0000003f,
928  0x0000001f, 0x0000001f,
929  0x0000000f, 0x0000000f,
930  0x00000007, 0x00000007,
931  0x00000003, 0x00000003,
932  0x00000001, 0x00000001,
933  0x00000000, 0x00000000,
934  0x7fffffc1, 0x7fffffc1,
935  0x3fffffe0, 0x3fffffe0,
936  0x1ffffff0, 0x1ffffff0,
937  0x0ffffff8, 0x0ffffff8,
938  0x07fffffc, 0x07fffffc,
939  0x03fffffe, 0x03fffffe,
940  0x01ffffff, 0x01ffffff,
941  0x00ffffff, 0x00ffffff,
942  0x007fffff, 0x007fffff,
943  0x003fffff, 0x003fffff,
944  0x001fffff, 0x001fffff,
945  0x000fffff, 0x000fffff,
946  0x0007ffff, 0x0007ffff,
947  0x0003ffff, 0x0003ffff,
948  0x0001ffff, 0x0001ffff,
949  0x0000ffff, 0x0000ffff,
950  0x00007fff, 0x00007fff,
951  0x00003fff, 0x00003fff,
952  0x00001fff, 0x00001fff,
953  0x00000fff, 0x00000fff,
954  0x000007ff, 0x000007ff,
955  0x000003ff, 0x000003ff,
956  0x000001ff, 0x000001ff,
957  0x000000ff, 0x000000ff,
958  0x0000007f, 0x0000007f,
959  0x0000003f, 0x0000003f,
960  0x0000001f, 0x0000001f,
961  0x0000000f, 0x0000000f,
962  0x00000007, 0x00000007,
963  0x00000003, 0x00000003,
964  0x00000001, 0x00000001,
965  0x00000000, 0x00000000,
966  0x7fffffc1, 0x7ffffff0,
967  0x3fffffe0, 0x3ffffff8,
968  0x1ffffff0, 0x1ffffffc,
969  0x0ffffff8, 0x0ffffffe,
970  0x07fffffc, 0x07ffffff,
971  0x03fffffe, 0x03ffffff,
972  0x01ffffff, 0x01ffffff,
973  0x00ffffff, 0x00ffffff,
974  0x007fffff, 0x007fffff,
975  0x003fffff, 0x003fffff,
976  0x001fffff, 0x001fffff,
977  0x000fffff, 0x000fffff,
978  0x0007ffff, 0x0007ffff,
979  0x0003ffff, 0x0003ffff,
980  0x0001ffff, 0x0001ffff,
981  0x0000ffff, 0x0000ffff,
982  0x00007fff, 0x00007fff,
983  0x00003fff, 0x00003fff,
984  0x00001fff, 0x00001fff,
985  0x00000fff, 0x00000fff,
986  0x000007ff, 0x000007ff,
987  0x000003ff, 0x000003ff,
988  0x000001ff, 0x000001ff,
989  0x000000ff, 0x000000ff,
990  0x0000007f, 0x0000007f,
991  0x0000003f, 0x0000003f,
992  0x0000001f, 0x0000001f,
993  0x0000000f, 0x0000000f,
994  0x00000007, 0x00000007,
995  0x00000003, 0x00000003,
996  0x00000001, 0x00000001,
997  0x00000000, 0x00000000,
998  0x7ffffff0, 0x7ffffffe,
999  0x3ffffff8, 0x3fffffff,
1000  0x1ffffffc, 0x1fffffff,
1001  0x0ffffffe, 0x0fffffff,
1002  0x07ffffff, 0x07ffffff,
1003  0x03ffffff, 0x03ffffff,
1004  0x01ffffff, 0x01ffffff,
1005  0x00ffffff, 0x00ffffff,
1006  0x007fffff, 0x007fffff,
1007  0x003fffff, 0x003fffff,
1008  0x001fffff, 0x001fffff,
1009  0x000fffff, 0x000fffff,
1010  0x0007ffff, 0x0007ffff,
1011  0x0003ffff, 0x0003ffff,
1012  0x0001ffff, 0x0001ffff,
1013  0x0000ffff, 0x0000ffff,
1014  0x00007fff, 0x00007fff,
1015  0x00003fff, 0x00003fff,
1016  0x00001fff, 0x00001fff,
1017  0x00000fff, 0x00000fff,
1018  0x000007ff, 0x000007ff,
1019  0x000003ff, 0x000003ff,
1020  0x000001ff, 0x000001ff,
1021  0x000000ff, 0x000000ff,
1022  0x0000007f, 0x0000007f,
1023  0x0000003f, 0x0000003f,
1024  0x0000001f, 0x0000001f,
1025  0x0000000f, 0x0000000f,
1026  0x00000007, 0x00000007,
1027  0x00000003, 0x00000003,
1028  0x00000001, 0x00000001,
1029  0x00000000, 0x00000000,
1030};
1031const unsigned kExpectedCount_NEON_ushr_2S_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_USHR_2S_2OPIMM_TRACE_AARCH64_H_
1034