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_SRSRA_2S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SRSRA_2S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_srsra_2S_2OPIMM[] = {
38  0xffffffff, 0xffffffff,
39  0xfffffffe, 0xffffffff,
40  0xfffffffe, 0xffffffff,
41  0xfffffffe, 0xffffffff,
42  0xfffffffe, 0xffffffff,
43  0xfffffffe, 0xffffffff,
44  0xfffffffe, 0xffffffff,
45  0xfffffffe, 0xffffffff,
46  0xfffffffe, 0xffffffff,
47  0xfffffffe, 0xffffffff,
48  0xfffffffe, 0xffffffff,
49  0xfffffffe, 0xffffffff,
50  0xfffffffe, 0xffffffff,
51  0xfffffffe, 0xffffffff,
52  0xfffffffe, 0xffffffff,
53  0xfffffffe, 0xffffffff,
54  0xfffffffe, 0xffffffff,
55  0xfffffffe, 0xffffffff,
56  0xfffffffe, 0xffffffff,
57  0xfffffffe, 0xffffffff,
58  0xfffffffe, 0xffffffff,
59  0xfffffffe, 0xffffffff,
60  0xfffffffe, 0xffffffff,
61  0xfffffffe, 0xffffffff,
62  0xfffffffe, 0xffffffff,
63  0xfffffffe, 0xffffffff,
64  0xfffffffe, 0xffffffff,
65  0xfffffffe, 0xffffffff,
66  0xfffffffe, 0xffffffff,
67  0xfffffffe, 0xffffffff,
68  0xfffffffe, 0xffffffff,
69  0xfffffffe, 0xffffffff,
70  0xffffffff, 0x00000000,
71  0xffffffff, 0x00000000,
72  0xffffffff, 0x00000000,
73  0xffffffff, 0x00000000,
74  0xffffffff, 0x00000000,
75  0xffffffff, 0x00000000,
76  0xffffffff, 0x00000000,
77  0xffffffff, 0x00000000,
78  0xffffffff, 0x00000000,
79  0xffffffff, 0x00000000,
80  0xffffffff, 0x00000000,
81  0xffffffff, 0x00000000,
82  0xffffffff, 0x00000000,
83  0xffffffff, 0x00000000,
84  0xffffffff, 0x00000000,
85  0xffffffff, 0x00000000,
86  0xffffffff, 0x00000000,
87  0xffffffff, 0x00000000,
88  0xffffffff, 0x00000000,
89  0xffffffff, 0x00000000,
90  0xffffffff, 0x00000000,
91  0xffffffff, 0x00000000,
92  0xffffffff, 0x00000000,
93  0xffffffff, 0x00000000,
94  0xffffffff, 0x00000000,
95  0xffffffff, 0x00000000,
96  0xffffffff, 0x00000000,
97  0xffffffff, 0x00000000,
98  0xffffffff, 0x00000000,
99  0xffffffff, 0x00000000,
100  0xffffffff, 0x00000000,
101  0xffffffff, 0x00000000,
102  0x00000000, 0x00000000,
103  0x00000000, 0x00000000,
104  0x00000000, 0x00000000,
105  0x00000000, 0x00000000,
106  0x00000000, 0x00000000,
107  0x00000000, 0x00000000,
108  0x00000000, 0x00000000,
109  0x00000000, 0x00000000,
110  0x00000000, 0x00000000,
111  0x00000000, 0x00000000,
112  0x00000000, 0x00000000,
113  0x00000000, 0x00000000,
114  0x00000000, 0x00000000,
115  0x00000000, 0x00000000,
116  0x00000000, 0x00000000,
117  0x00000000, 0x00000000,
118  0x00000000, 0x00000000,
119  0x00000000, 0x00000000,
120  0x00000000, 0x00000000,
121  0x00000000, 0x00000000,
122  0x00000000, 0x00000000,
123  0x00000000, 0x00000000,
124  0x00000000, 0x00000000,
125  0x00000000, 0x00000000,
126  0x00000000, 0x00000000,
127  0x00000000, 0x00000000,
128  0x00000000, 0x00000000,
129  0x00000000, 0x00000000,
130  0x00000000, 0x00000000,
131  0x00000000, 0x00000000,
132  0x00000000, 0x00000000,
133  0x00000000, 0x00000000,
134  0x00000000, 0x00000001,
135  0x00000000, 0x00000001,
136  0x00000000, 0x00000001,
137  0x00000000, 0x00000001,
138  0x00000000, 0x00000001,
139  0x00000000, 0x00000001,
140  0x00000000, 0x00000001,
141  0x00000000, 0x00000001,
142  0x00000000, 0x00000001,
143  0x00000000, 0x00000001,
144  0x00000000, 0x00000001,
145  0x00000000, 0x00000001,
146  0x00000000, 0x00000001,
147  0x00000000, 0x00000001,
148  0x00000000, 0x00000001,
149  0x00000000, 0x00000001,
150  0x00000000, 0x00000001,
151  0x00000000, 0x00000001,
152  0x00000000, 0x00000001,
153  0x00000000, 0x00000001,
154  0x00000000, 0x00000001,
155  0x00000000, 0x00000001,
156  0x00000000, 0x00000001,
157  0x00000000, 0x00000001,
158  0x00000000, 0x00000001,
159  0x00000000, 0x00000001,
160  0x00000000, 0x00000001,
161  0x00000000, 0x00000001,
162  0x00000000, 0x00000001,
163  0x00000000, 0x00000001,
164  0x00000000, 0x00000001,
165  0x00000000, 0x00000001,
166  0x00000001, 0x00000001,
167  0x00000001, 0x00000002,
168  0x00000001, 0x00000002,
169  0x00000001, 0x00000002,
170  0x00000001, 0x00000002,
171  0x00000001, 0x00000002,
172  0x00000001, 0x00000002,
173  0x00000001, 0x00000002,
174  0x00000001, 0x00000002,
175  0x00000001, 0x00000002,
176  0x00000001, 0x00000002,
177  0x00000001, 0x00000002,
178  0x00000001, 0x00000002,
179  0x00000001, 0x00000002,
180  0x00000001, 0x00000002,
181  0x00000001, 0x00000002,
182  0x00000001, 0x00000002,
183  0x00000001, 0x00000002,
184  0x00000001, 0x00000002,
185  0x00000001, 0x00000002,
186  0x00000001, 0x00000002,
187  0x00000001, 0x00000002,
188  0x00000001, 0x00000002,
189  0x00000001, 0x00000002,
190  0x00000001, 0x00000002,
191  0x00000001, 0x00000002,
192  0x00000001, 0x00000002,
193  0x00000001, 0x00000002,
194  0x00000001, 0x00000002,
195  0x00000001, 0x00000002,
196  0x00000001, 0x00000002,
197  0x00000001, 0x00000002,
198  0x00000001, 0x00000010,
199  0x00000002, 0x00000018,
200  0x00000002, 0x0000001c,
201  0x00000002, 0x0000001e,
202  0x00000002, 0x0000001f,
203  0x00000002, 0x00000020,
204  0x00000002, 0x00000020,
205  0x00000002, 0x00000020,
206  0x00000002, 0x00000020,
207  0x00000002, 0x00000020,
208  0x00000002, 0x00000020,
209  0x00000002, 0x00000020,
210  0x00000002, 0x00000020,
211  0x00000002, 0x00000020,
212  0x00000002, 0x00000020,
213  0x00000002, 0x00000020,
214  0x00000002, 0x00000020,
215  0x00000002, 0x00000020,
216  0x00000002, 0x00000020,
217  0x00000002, 0x00000020,
218  0x00000002, 0x00000020,
219  0x00000002, 0x00000020,
220  0x00000002, 0x00000020,
221  0x00000002, 0x00000020,
222  0x00000002, 0x00000020,
223  0x00000002, 0x00000020,
224  0x00000002, 0x00000020,
225  0x00000002, 0x00000020,
226  0x00000002, 0x00000020,
227  0x00000002, 0x00000020,
228  0x00000002, 0x00000020,
229  0x00000002, 0x00000020,
230  0x00000010, 0x0000003f,
231  0x00000018, 0x0000005e,
232  0x0000001c, 0x0000006e,
233  0x0000001e, 0x00000076,
234  0x0000001f, 0x0000007a,
235  0x00000020, 0x0000007c,
236  0x00000020, 0x0000007d,
237  0x00000020, 0x0000007d,
238  0x00000020, 0x0000007d,
239  0x00000020, 0x0000007d,
240  0x00000020, 0x0000007d,
241  0x00000020, 0x0000007d,
242  0x00000020, 0x0000007d,
243  0x00000020, 0x0000007d,
244  0x00000020, 0x0000007d,
245  0x00000020, 0x0000007d,
246  0x00000020, 0x0000007d,
247  0x00000020, 0x0000007d,
248  0x00000020, 0x0000007d,
249  0x00000020, 0x0000007d,
250  0x00000020, 0x0000007d,
251  0x00000020, 0x0000007d,
252  0x00000020, 0x0000007d,
253  0x00000020, 0x0000007d,
254  0x00000020, 0x0000007d,
255  0x00000020, 0x0000007d,
256  0x00000020, 0x0000007d,
257  0x00000020, 0x0000007d,
258  0x00000020, 0x0000007d,
259  0x00000020, 0x0000007d,
260  0x00000020, 0x0000007d,
261  0x00000020, 0x0000007d,
262  0x0000003f, 0x0000003f,
263  0x0000005e, 0x0000005f,
264  0x0000006e, 0x0000006f,
265  0x00000076, 0x00000077,
266  0x0000007a, 0x0000007b,
267  0x0000007c, 0x0000007d,
268  0x0000007d, 0x0000007e,
269  0x0000007d, 0x0000007e,
270  0x0000007d, 0x0000007e,
271  0x0000007d, 0x0000007e,
272  0x0000007d, 0x0000007e,
273  0x0000007d, 0x0000007e,
274  0x0000007d, 0x0000007e,
275  0x0000007d, 0x0000007e,
276  0x0000007d, 0x0000007e,
277  0x0000007d, 0x0000007e,
278  0x0000007d, 0x0000007e,
279  0x0000007d, 0x0000007e,
280  0x0000007d, 0x0000007e,
281  0x0000007d, 0x0000007e,
282  0x0000007d, 0x0000007e,
283  0x0000007d, 0x0000007e,
284  0x0000007d, 0x0000007e,
285  0x0000007d, 0x0000007e,
286  0x0000007d, 0x0000007e,
287  0x0000007d, 0x0000007e,
288  0x0000007d, 0x0000007e,
289  0x0000007d, 0x0000007e,
290  0x0000007d, 0x0000007e,
291  0x0000007d, 0x0000007e,
292  0x0000007d, 0x0000007e,
293  0x0000007d, 0x0000007e,
294  0x0000003f, 0x00000040,
295  0x0000005f, 0x00000060,
296  0x0000006f, 0x00000070,
297  0x00000077, 0x00000078,
298  0x0000007b, 0x0000007c,
299  0x0000007d, 0x0000007e,
300  0x0000007e, 0x0000007f,
301  0x0000007e, 0x0000007f,
302  0x0000007e, 0x0000007f,
303  0x0000007e, 0x0000007f,
304  0x0000007e, 0x0000007f,
305  0x0000007e, 0x0000007f,
306  0x0000007e, 0x0000007f,
307  0x0000007e, 0x0000007f,
308  0x0000007e, 0x0000007f,
309  0x0000007e, 0x0000007f,
310  0x0000007e, 0x0000007f,
311  0x0000007e, 0x0000007f,
312  0x0000007e, 0x0000007f,
313  0x0000007e, 0x0000007f,
314  0x0000007e, 0x0000007f,
315  0x0000007e, 0x0000007f,
316  0x0000007e, 0x0000007f,
317  0x0000007e, 0x0000007f,
318  0x0000007e, 0x0000007f,
319  0x0000007e, 0x0000007f,
320  0x0000007e, 0x0000007f,
321  0x0000007e, 0x0000007f,
322  0x0000007e, 0x0000007f,
323  0x0000007e, 0x0000007f,
324  0x0000007e, 0x0000007f,
325  0x0000007e, 0x0000007f,
326  0x00000040, 0x00003fff,
327  0x00000060, 0x00005ffe,
328  0x00000070, 0x00006ffe,
329  0x00000078, 0x000077fe,
330  0x0000007c, 0x00007bfe,
331  0x0000007e, 0x00007dfe,
332  0x0000007f, 0x00007efe,
333  0x0000007f, 0x00007f7e,
334  0x0000007f, 0x00007fbe,
335  0x0000007f, 0x00007fde,
336  0x0000007f, 0x00007fee,
337  0x0000007f, 0x00007ff6,
338  0x0000007f, 0x00007ffa,
339  0x0000007f, 0x00007ffc,
340  0x0000007f, 0x00007ffd,
341  0x0000007f, 0x00007ffd,
342  0x0000007f, 0x00007ffd,
343  0x0000007f, 0x00007ffd,
344  0x0000007f, 0x00007ffd,
345  0x0000007f, 0x00007ffd,
346  0x0000007f, 0x00007ffd,
347  0x0000007f, 0x00007ffd,
348  0x0000007f, 0x00007ffd,
349  0x0000007f, 0x00007ffd,
350  0x0000007f, 0x00007ffd,
351  0x0000007f, 0x00007ffd,
352  0x0000007f, 0x00007ffd,
353  0x0000007f, 0x00007ffd,
354  0x0000007f, 0x00007ffd,
355  0x0000007f, 0x00007ffd,
356  0x0000007f, 0x00007ffd,
357  0x0000007f, 0x00007ffd,
358  0x00003fff, 0x00003fff,
359  0x00005ffe, 0x00005fff,
360  0x00006ffe, 0x00006fff,
361  0x000077fe, 0x000077ff,
362  0x00007bfe, 0x00007bff,
363  0x00007dfe, 0x00007dff,
364  0x00007efe, 0x00007eff,
365  0x00007f7e, 0x00007f7f,
366  0x00007fbe, 0x00007fbf,
367  0x00007fde, 0x00007fdf,
368  0x00007fee, 0x00007fef,
369  0x00007ff6, 0x00007ff7,
370  0x00007ffa, 0x00007ffb,
371  0x00007ffc, 0x00007ffd,
372  0x00007ffd, 0x00007ffe,
373  0x00007ffd, 0x00007ffe,
374  0x00007ffd, 0x00007ffe,
375  0x00007ffd, 0x00007ffe,
376  0x00007ffd, 0x00007ffe,
377  0x00007ffd, 0x00007ffe,
378  0x00007ffd, 0x00007ffe,
379  0x00007ffd, 0x00007ffe,
380  0x00007ffd, 0x00007ffe,
381  0x00007ffd, 0x00007ffe,
382  0x00007ffd, 0x00007ffe,
383  0x00007ffd, 0x00007ffe,
384  0x00007ffd, 0x00007ffe,
385  0x00007ffd, 0x00007ffe,
386  0x00007ffd, 0x00007ffe,
387  0x00007ffd, 0x00007ffe,
388  0x00007ffd, 0x00007ffe,
389  0x00007ffd, 0x00007ffe,
390  0x00003fff, 0x00004000,
391  0x00005fff, 0x00006000,
392  0x00006fff, 0x00007000,
393  0x000077ff, 0x00007800,
394  0x00007bff, 0x00007c00,
395  0x00007dff, 0x00007e00,
396  0x00007eff, 0x00007f00,
397  0x00007f7f, 0x00007f80,
398  0x00007fbf, 0x00007fc0,
399  0x00007fdf, 0x00007fe0,
400  0x00007fef, 0x00007ff0,
401  0x00007ff7, 0x00007ff8,
402  0x00007ffb, 0x00007ffc,
403  0x00007ffd, 0x00007ffe,
404  0x00007ffe, 0x00007fff,
405  0x00007ffe, 0x00007fff,
406  0x00007ffe, 0x00007fff,
407  0x00007ffe, 0x00007fff,
408  0x00007ffe, 0x00007fff,
409  0x00007ffe, 0x00007fff,
410  0x00007ffe, 0x00007fff,
411  0x00007ffe, 0x00007fff,
412  0x00007ffe, 0x00007fff,
413  0x00007ffe, 0x00007fff,
414  0x00007ffe, 0x00007fff,
415  0x00007ffe, 0x00007fff,
416  0x00007ffe, 0x00007fff,
417  0x00007ffe, 0x00007fff,
418  0x00007ffe, 0x00007fff,
419  0x00007ffe, 0x00007fff,
420  0x00007ffe, 0x00007fff,
421  0x00007ffe, 0x00007fff,
422  0x00004000, 0x1999999a,
423  0x00006000, 0x26666667,
424  0x00007000, 0x2ccccccd,
425  0x00007800, 0x30000000,
426  0x00007c00, 0x3199999a,
427  0x00007e00, 0x32666667,
428  0x00007f00, 0x32cccccd,
429  0x00007f80, 0x33000000,
430  0x00007fc0, 0x3319999a,
431  0x00007fe0, 0x33266667,
432  0x00007ff0, 0x332ccccd,
433  0x00007ff8, 0x33300000,
434  0x00007ffc, 0x3331999a,
435  0x00007ffe, 0x33326667,
436  0x00007fff, 0x3332cccd,
437  0x00007fff, 0x33330000,
438  0x00007fff, 0x3333199a,
439  0x00007fff, 0x33332667,
440  0x00007fff, 0x33332ccd,
441  0x00007fff, 0x33333000,
442  0x00007fff, 0x3333319a,
443  0x00007fff, 0x33333267,
444  0x00007fff, 0x333332cd,
445  0x00007fff, 0x33333300,
446  0x00007fff, 0x3333331a,
447  0x00007fff, 0x33333327,
448  0x00007fff, 0x3333332d,
449  0x00007fff, 0x33333330,
450  0x00007fff, 0x33333332,
451  0x00007fff, 0x33333333,
452  0x00007fff, 0x33333333,
453  0x00007fff, 0x33333333,
454  0x1999999a, 0x2aaaaaab,
455  0x26666667, 0x40000000,
456  0x2ccccccd, 0x4aaaaaab,
457  0x30000000, 0x50000000,
458  0x3199999a, 0x52aaaaab,
459  0x32666667, 0x54000000,
460  0x32cccccd, 0x54aaaaab,
461  0x33000000, 0x55000000,
462  0x3319999a, 0x552aaaab,
463  0x33266667, 0x55400000,
464  0x332ccccd, 0x554aaaab,
465  0x33300000, 0x55500000,
466  0x3331999a, 0x5552aaab,
467  0x33326667, 0x55540000,
468  0x3332cccd, 0x5554aaab,
469  0x33330000, 0x55550000,
470  0x3333199a, 0x55552aab,
471  0x33332667, 0x55554000,
472  0x33332ccd, 0x55554aab,
473  0x33333000, 0x55555000,
474  0x3333319a, 0x555552ab,
475  0x33333267, 0x55555400,
476  0x333332cd, 0x555554ab,
477  0x33333300, 0x55555500,
478  0x3333331a, 0x5555552b,
479  0x33333327, 0x55555540,
480  0x3333332d, 0x5555554b,
481  0x33333330, 0x55555550,
482  0x33333332, 0x55555553,
483  0x33333333, 0x55555554,
484  0x33333333, 0x55555555,
485  0x33333333, 0x55555555,
486  0x2aaaaaab, 0x3fffffff,
487  0x40000000, 0x5ffffffe,
488  0x4aaaaaab, 0x6ffffffe,
489  0x50000000, 0x77fffffe,
490  0x52aaaaab, 0x7bfffffe,
491  0x54000000, 0x7dfffffe,
492  0x54aaaaab, 0x7efffffe,
493  0x55000000, 0x7f7ffffe,
494  0x552aaaab, 0x7fbffffe,
495  0x55400000, 0x7fdffffe,
496  0x554aaaab, 0x7feffffe,
497  0x55500000, 0x7ff7fffe,
498  0x5552aaab, 0x7ffbfffe,
499  0x55540000, 0x7ffdfffe,
500  0x5554aaab, 0x7ffefffe,
501  0x55550000, 0x7fff7ffe,
502  0x55552aab, 0x7fffbffe,
503  0x55554000, 0x7fffdffe,
504  0x55554aab, 0x7fffeffe,
505  0x55555000, 0x7ffff7fe,
506  0x555552ab, 0x7ffffbfe,
507  0x55555400, 0x7ffffdfe,
508  0x555554ab, 0x7ffffefe,
509  0x55555500, 0x7fffff7e,
510  0x5555552b, 0x7fffffbe,
511  0x55555540, 0x7fffffde,
512  0x5555554b, 0x7fffffee,
513  0x55555550, 0x7ffffff6,
514  0x55555553, 0x7ffffffa,
515  0x55555554, 0x7ffffffc,
516  0x55555555, 0x7ffffffd,
517  0x55555555, 0x7ffffffd,
518  0x3fffffff, 0x3fffffff,
519  0x5ffffffe, 0x5fffffff,
520  0x6ffffffe, 0x6fffffff,
521  0x77fffffe, 0x77ffffff,
522  0x7bfffffe, 0x7bffffff,
523  0x7dfffffe, 0x7dffffff,
524  0x7efffffe, 0x7effffff,
525  0x7f7ffffe, 0x7f7fffff,
526  0x7fbffffe, 0x7fbfffff,
527  0x7fdffffe, 0x7fdfffff,
528  0x7feffffe, 0x7fefffff,
529  0x7ff7fffe, 0x7ff7ffff,
530  0x7ffbfffe, 0x7ffbffff,
531  0x7ffdfffe, 0x7ffdffff,
532  0x7ffefffe, 0x7ffeffff,
533  0x7fff7ffe, 0x7fff7fff,
534  0x7fffbffe, 0x7fffbfff,
535  0x7fffdffe, 0x7fffdfff,
536  0x7fffeffe, 0x7fffefff,
537  0x7ffff7fe, 0x7ffff7ff,
538  0x7ffffbfe, 0x7ffffbff,
539  0x7ffffdfe, 0x7ffffdff,
540  0x7ffffefe, 0x7ffffeff,
541  0x7fffff7e, 0x7fffff7f,
542  0x7fffffbe, 0x7fffffbf,
543  0x7fffffde, 0x7fffffdf,
544  0x7fffffee, 0x7fffffef,
545  0x7ffffff6, 0x7ffffff7,
546  0x7ffffffa, 0x7ffffffb,
547  0x7ffffffc, 0x7ffffffd,
548  0x7ffffffd, 0x7ffffffe,
549  0x7ffffffd, 0x7ffffffe,
550  0x3fffffff, 0x40000000,
551  0x5fffffff, 0x60000000,
552  0x6fffffff, 0x70000000,
553  0x77ffffff, 0x78000000,
554  0x7bffffff, 0x7c000000,
555  0x7dffffff, 0x7e000000,
556  0x7effffff, 0x7f000000,
557  0x7f7fffff, 0x7f800000,
558  0x7fbfffff, 0x7fc00000,
559  0x7fdfffff, 0x7fe00000,
560  0x7fefffff, 0x7ff00000,
561  0x7ff7ffff, 0x7ff80000,
562  0x7ffbffff, 0x7ffc0000,
563  0x7ffdffff, 0x7ffe0000,
564  0x7ffeffff, 0x7fff0000,
565  0x7fff7fff, 0x7fff8000,
566  0x7fffbfff, 0x7fffc000,
567  0x7fffdfff, 0x7fffe000,
568  0x7fffefff, 0x7ffff000,
569  0x7ffff7ff, 0x7ffff800,
570  0x7ffffbff, 0x7ffffc00,
571  0x7ffffdff, 0x7ffffe00,
572  0x7ffffeff, 0x7fffff00,
573  0x7fffff7f, 0x7fffff80,
574  0x7fffffbf, 0x7fffffc0,
575  0x7fffffdf, 0x7fffffe0,
576  0x7fffffef, 0x7ffffff0,
577  0x7ffffff7, 0x7ffffff8,
578  0x7ffffffb, 0x7ffffffc,
579  0x7ffffffd, 0x7ffffffe,
580  0x7ffffffe, 0x7fffffff,
581  0x7ffffffe, 0x7fffffff,
582  0x40000000, 0xc0000000,
583  0x60000000, 0xa0000000,
584  0x70000000, 0x90000000,
585  0x78000000, 0x88000000,
586  0x7c000000, 0x84000000,
587  0x7e000000, 0x82000000,
588  0x7f000000, 0x81000000,
589  0x7f800000, 0x80800000,
590  0x7fc00000, 0x80400000,
591  0x7fe00000, 0x80200000,
592  0x7ff00000, 0x80100000,
593  0x7ff80000, 0x80080000,
594  0x7ffc0000, 0x80040000,
595  0x7ffe0000, 0x80020000,
596  0x7fff0000, 0x80010000,
597  0x7fff8000, 0x80008000,
598  0x7fffc000, 0x80004000,
599  0x7fffe000, 0x80002000,
600  0x7ffff000, 0x80001000,
601  0x7ffff800, 0x80000800,
602  0x7ffffc00, 0x80000400,
603  0x7ffffe00, 0x80000200,
604  0x7fffff00, 0x80000100,
605  0x7fffff80, 0x80000080,
606  0x7fffffc0, 0x80000040,
607  0x7fffffe0, 0x80000020,
608  0x7ffffff0, 0x80000010,
609  0x7ffffff8, 0x80000008,
610  0x7ffffffc, 0x80000004,
611  0x7ffffffe, 0x80000002,
612  0x7fffffff, 0x80000001,
613  0x7fffffff, 0x80000001,
614  0xc0000000, 0xc0000001,
615  0xa0000000, 0xa0000001,
616  0x90000000, 0x90000001,
617  0x88000000, 0x88000001,
618  0x84000000, 0x84000001,
619  0x82000000, 0x82000001,
620  0x81000000, 0x81000001,
621  0x80800000, 0x80800001,
622  0x80400000, 0x80400001,
623  0x80200000, 0x80200001,
624  0x80100000, 0x80100001,
625  0x80080000, 0x80080001,
626  0x80040000, 0x80040001,
627  0x80020000, 0x80020001,
628  0x80010000, 0x80010001,
629  0x80008000, 0x80008001,
630  0x80004000, 0x80004001,
631  0x80002000, 0x80002001,
632  0x80001000, 0x80001001,
633  0x80000800, 0x80000801,
634  0x80000400, 0x80000401,
635  0x80000200, 0x80000201,
636  0x80000100, 0x80000101,
637  0x80000080, 0x80000081,
638  0x80000040, 0x80000041,
639  0x80000020, 0x80000021,
640  0x80000010, 0x80000011,
641  0x80000008, 0x80000009,
642  0x80000004, 0x80000005,
643  0x80000002, 0x80000003,
644  0x80000001, 0x80000002,
645  0x80000001, 0x80000002,
646  0xc0000001, 0xd5555555,
647  0xa0000001, 0xc0000000,
648  0x90000001, 0xb5555555,
649  0x88000001, 0xb0000000,
650  0x84000001, 0xad555555,
651  0x82000001, 0xac000000,
652  0x81000001, 0xab555555,
653  0x80800001, 0xab000000,
654  0x80400001, 0xaad55555,
655  0x80200001, 0xaac00000,
656  0x80100001, 0xaab55555,
657  0x80080001, 0xaab00000,
658  0x80040001, 0xaaad5555,
659  0x80020001, 0xaaac0000,
660  0x80010001, 0xaaab5555,
661  0x80008001, 0xaaab0000,
662  0x80004001, 0xaaaad555,
663  0x80002001, 0xaaaac000,
664  0x80001001, 0xaaaab555,
665  0x80000801, 0xaaaab000,
666  0x80000401, 0xaaaaad55,
667  0x80000201, 0xaaaaac00,
668  0x80000101, 0xaaaaab55,
669  0x80000081, 0xaaaaab00,
670  0x80000041, 0xaaaaaad5,
671  0x80000021, 0xaaaaaac0,
672  0x80000011, 0xaaaaaab5,
673  0x80000009, 0xaaaaaab0,
674  0x80000005, 0xaaaaaaad,
675  0x80000003, 0xaaaaaaac,
676  0x80000002, 0xaaaaaaab,
677  0x80000002, 0xaaaaaaab,
678  0xd5555555, 0xe6666666,
679  0xc0000000, 0xd9999999,
680  0xb5555555, 0xd3333333,
681  0xb0000000, 0xd0000000,
682  0xad555555, 0xce666666,
683  0xac000000, 0xcd999999,
684  0xab555555, 0xcd333333,
685  0xab000000, 0xcd000000,
686  0xaad55555, 0xcce66666,
687  0xaac00000, 0xccd99999,
688  0xaab55555, 0xccd33333,
689  0xaab00000, 0xccd00000,
690  0xaaad5555, 0xccce6666,
691  0xaaac0000, 0xcccd9999,
692  0xaaab5555, 0xcccd3333,
693  0xaaab0000, 0xcccd0000,
694  0xaaaad555, 0xcccce666,
695  0xaaaac000, 0xccccd999,
696  0xaaaab555, 0xccccd333,
697  0xaaaab000, 0xccccd000,
698  0xaaaaad55, 0xccccce66,
699  0xaaaaac00, 0xcccccd99,
700  0xaaaaab55, 0xcccccd33,
701  0xaaaaab00, 0xcccccd00,
702  0xaaaaaad5, 0xcccccce6,
703  0xaaaaaac0, 0xccccccd9,
704  0xaaaaaab5, 0xccccccd3,
705  0xaaaaaab0, 0xccccccd0,
706  0xaaaaaaad, 0xccccccce,
707  0xaaaaaaac, 0xcccccccd,
708  0xaaaaaaab, 0xcccccccd,
709  0xaaaaaaab, 0xcccccccd,
710  0xe6666666, 0xffffc000,
711  0xd9999999, 0xffffa000,
712  0xd3333333, 0xffff9000,
713  0xd0000000, 0xffff8800,
714  0xce666666, 0xffff8400,
715  0xcd999999, 0xffff8200,
716  0xcd333333, 0xffff8100,
717  0xcd000000, 0xffff8080,
718  0xcce66666, 0xffff8040,
719  0xccd99999, 0xffff8020,
720  0xccd33333, 0xffff8010,
721  0xccd00000, 0xffff8008,
722  0xccce6666, 0xffff8004,
723  0xcccd9999, 0xffff8002,
724  0xcccd3333, 0xffff8001,
725  0xcccd0000, 0xffff8001,
726  0xcccce666, 0xffff8001,
727  0xccccd999, 0xffff8001,
728  0xccccd333, 0xffff8001,
729  0xccccd000, 0xffff8001,
730  0xccccce66, 0xffff8001,
731  0xcccccd99, 0xffff8001,
732  0xcccccd33, 0xffff8001,
733  0xcccccd00, 0xffff8001,
734  0xcccccce6, 0xffff8001,
735  0xccccccd9, 0xffff8001,
736  0xccccccd3, 0xffff8001,
737  0xccccccd0, 0xffff8001,
738  0xccccccce, 0xffff8001,
739  0xcccccccd, 0xffff8001,
740  0xcccccccd, 0xffff8001,
741  0xcccccccd, 0xffff8001,
742  0xffffc000, 0xffffc001,
743  0xffffa000, 0xffffa001,
744  0xffff9000, 0xffff9001,
745  0xffff8800, 0xffff8801,
746  0xffff8400, 0xffff8401,
747  0xffff8200, 0xffff8201,
748  0xffff8100, 0xffff8101,
749  0xffff8080, 0xffff8081,
750  0xffff8040, 0xffff8041,
751  0xffff8020, 0xffff8021,
752  0xffff8010, 0xffff8011,
753  0xffff8008, 0xffff8009,
754  0xffff8004, 0xffff8005,
755  0xffff8002, 0xffff8003,
756  0xffff8001, 0xffff8002,
757  0xffff8001, 0xffff8002,
758  0xffff8001, 0xffff8002,
759  0xffff8001, 0xffff8002,
760  0xffff8001, 0xffff8002,
761  0xffff8001, 0xffff8002,
762  0xffff8001, 0xffff8002,
763  0xffff8001, 0xffff8002,
764  0xffff8001, 0xffff8002,
765  0xffff8001, 0xffff8002,
766  0xffff8001, 0xffff8002,
767  0xffff8001, 0xffff8002,
768  0xffff8001, 0xffff8002,
769  0xffff8001, 0xffff8002,
770  0xffff8001, 0xffff8002,
771  0xffff8001, 0xffff8002,
772  0xffff8001, 0xffff8002,
773  0xffff8001, 0xffff8002,
774  0xffffc001, 0xffffc001,
775  0xffffa001, 0xffffa002,
776  0xffff9001, 0xffff9002,
777  0xffff8801, 0xffff8802,
778  0xffff8401, 0xffff8402,
779  0xffff8201, 0xffff8202,
780  0xffff8101, 0xffff8102,
781  0xffff8081, 0xffff8082,
782  0xffff8041, 0xffff8042,
783  0xffff8021, 0xffff8022,
784  0xffff8011, 0xffff8012,
785  0xffff8009, 0xffff800a,
786  0xffff8005, 0xffff8006,
787  0xffff8003, 0xffff8004,
788  0xffff8002, 0xffff8003,
789  0xffff8002, 0xffff8003,
790  0xffff8002, 0xffff8003,
791  0xffff8002, 0xffff8003,
792  0xffff8002, 0xffff8003,
793  0xffff8002, 0xffff8003,
794  0xffff8002, 0xffff8003,
795  0xffff8002, 0xffff8003,
796  0xffff8002, 0xffff8003,
797  0xffff8002, 0xffff8003,
798  0xffff8002, 0xffff8003,
799  0xffff8002, 0xffff8003,
800  0xffff8002, 0xffff8003,
801  0xffff8002, 0xffff8003,
802  0xffff8002, 0xffff8003,
803  0xffff8002, 0xffff8003,
804  0xffff8002, 0xffff8003,
805  0xffff8002, 0xffff8003,
806  0xffffc001, 0xffffc002,
807  0xffffa002, 0xffffa003,
808  0xffff9002, 0xffff9003,
809  0xffff8802, 0xffff8803,
810  0xffff8402, 0xffff8403,
811  0xffff8202, 0xffff8203,
812  0xffff8102, 0xffff8103,
813  0xffff8082, 0xffff8083,
814  0xffff8042, 0xffff8043,
815  0xffff8022, 0xffff8023,
816  0xffff8012, 0xffff8013,
817  0xffff800a, 0xffff800b,
818  0xffff8006, 0xffff8007,
819  0xffff8004, 0xffff8005,
820  0xffff8003, 0xffff8004,
821  0xffff8003, 0xffff8004,
822  0xffff8003, 0xffff8004,
823  0xffff8003, 0xffff8004,
824  0xffff8003, 0xffff8004,
825  0xffff8003, 0xffff8004,
826  0xffff8003, 0xffff8004,
827  0xffff8003, 0xffff8004,
828  0xffff8003, 0xffff8004,
829  0xffff8003, 0xffff8004,
830  0xffff8003, 0xffff8004,
831  0xffff8003, 0xffff8004,
832  0xffff8003, 0xffff8004,
833  0xffff8003, 0xffff8004,
834  0xffff8003, 0xffff8004,
835  0xffff8003, 0xffff8004,
836  0xffff8003, 0xffff8004,
837  0xffff8003, 0xffff8004,
838  0xffffc002, 0xffffffc0,
839  0xffffa003, 0xffffffa0,
840  0xffff9003, 0xffffff90,
841  0xffff8803, 0xffffff88,
842  0xffff8403, 0xffffff84,
843  0xffff8203, 0xffffff82,
844  0xffff8103, 0xffffff81,
845  0xffff8083, 0xffffff81,
846  0xffff8043, 0xffffff81,
847  0xffff8023, 0xffffff81,
848  0xffff8013, 0xffffff81,
849  0xffff800b, 0xffffff81,
850  0xffff8007, 0xffffff81,
851  0xffff8005, 0xffffff81,
852  0xffff8004, 0xffffff81,
853  0xffff8004, 0xffffff81,
854  0xffff8004, 0xffffff81,
855  0xffff8004, 0xffffff81,
856  0xffff8004, 0xffffff81,
857  0xffff8004, 0xffffff81,
858  0xffff8004, 0xffffff81,
859  0xffff8004, 0xffffff81,
860  0xffff8004, 0xffffff81,
861  0xffff8004, 0xffffff81,
862  0xffff8004, 0xffffff81,
863  0xffff8004, 0xffffff81,
864  0xffff8004, 0xffffff81,
865  0xffff8004, 0xffffff81,
866  0xffff8004, 0xffffff81,
867  0xffff8004, 0xffffff81,
868  0xffff8004, 0xffffff81,
869  0xffff8004, 0xffffff81,
870  0xffffffc0, 0xffffffc1,
871  0xffffffa0, 0xffffffa1,
872  0xffffff90, 0xffffff91,
873  0xffffff88, 0xffffff89,
874  0xffffff84, 0xffffff85,
875  0xffffff82, 0xffffff83,
876  0xffffff81, 0xffffff82,
877  0xffffff81, 0xffffff82,
878  0xffffff81, 0xffffff82,
879  0xffffff81, 0xffffff82,
880  0xffffff81, 0xffffff82,
881  0xffffff81, 0xffffff82,
882  0xffffff81, 0xffffff82,
883  0xffffff81, 0xffffff82,
884  0xffffff81, 0xffffff82,
885  0xffffff81, 0xffffff82,
886  0xffffff81, 0xffffff82,
887  0xffffff81, 0xffffff82,
888  0xffffff81, 0xffffff82,
889  0xffffff81, 0xffffff82,
890  0xffffff81, 0xffffff82,
891  0xffffff81, 0xffffff82,
892  0xffffff81, 0xffffff82,
893  0xffffff81, 0xffffff82,
894  0xffffff81, 0xffffff82,
895  0xffffff81, 0xffffff82,
896  0xffffff81, 0xffffff82,
897  0xffffff81, 0xffffff82,
898  0xffffff81, 0xffffff82,
899  0xffffff81, 0xffffff82,
900  0xffffff81, 0xffffff82,
901  0xffffff81, 0xffffff82,
902  0xffffffc1, 0xffffffc1,
903  0xffffffa1, 0xffffffa2,
904  0xffffff91, 0xffffff92,
905  0xffffff89, 0xffffff8a,
906  0xffffff85, 0xffffff86,
907  0xffffff83, 0xffffff84,
908  0xffffff82, 0xffffff83,
909  0xffffff82, 0xffffff83,
910  0xffffff82, 0xffffff83,
911  0xffffff82, 0xffffff83,
912  0xffffff82, 0xffffff83,
913  0xffffff82, 0xffffff83,
914  0xffffff82, 0xffffff83,
915  0xffffff82, 0xffffff83,
916  0xffffff82, 0xffffff83,
917  0xffffff82, 0xffffff83,
918  0xffffff82, 0xffffff83,
919  0xffffff82, 0xffffff83,
920  0xffffff82, 0xffffff83,
921  0xffffff82, 0xffffff83,
922  0xffffff82, 0xffffff83,
923  0xffffff82, 0xffffff83,
924  0xffffff82, 0xffffff83,
925  0xffffff82, 0xffffff83,
926  0xffffff82, 0xffffff83,
927  0xffffff82, 0xffffff83,
928  0xffffff82, 0xffffff83,
929  0xffffff82, 0xffffff83,
930  0xffffff82, 0xffffff83,
931  0xffffff82, 0xffffff83,
932  0xffffff82, 0xffffff83,
933  0xffffff82, 0xffffff83,
934  0xffffffc1, 0xffffffc2,
935  0xffffffa2, 0xffffffa3,
936  0xffffff92, 0xffffff93,
937  0xffffff8a, 0xffffff8b,
938  0xffffff86, 0xffffff87,
939  0xffffff84, 0xffffff85,
940  0xffffff83, 0xffffff84,
941  0xffffff83, 0xffffff84,
942  0xffffff83, 0xffffff84,
943  0xffffff83, 0xffffff84,
944  0xffffff83, 0xffffff84,
945  0xffffff83, 0xffffff84,
946  0xffffff83, 0xffffff84,
947  0xffffff83, 0xffffff84,
948  0xffffff83, 0xffffff84,
949  0xffffff83, 0xffffff84,
950  0xffffff83, 0xffffff84,
951  0xffffff83, 0xffffff84,
952  0xffffff83, 0xffffff84,
953  0xffffff83, 0xffffff84,
954  0xffffff83, 0xffffff84,
955  0xffffff83, 0xffffff84,
956  0xffffff83, 0xffffff84,
957  0xffffff83, 0xffffff84,
958  0xffffff83, 0xffffff84,
959  0xffffff83, 0xffffff84,
960  0xffffff83, 0xffffff84,
961  0xffffff83, 0xffffff84,
962  0xffffff83, 0xffffff84,
963  0xffffff83, 0xffffff84,
964  0xffffff83, 0xffffff84,
965  0xffffff83, 0xffffff84,
966  0xffffffc2, 0xfffffff0,
967  0xffffffa3, 0xffffffe8,
968  0xffffff93, 0xffffffe4,
969  0xffffff8b, 0xffffffe2,
970  0xffffff87, 0xffffffe1,
971  0xffffff85, 0xffffffe1,
972  0xffffff84, 0xffffffe1,
973  0xffffff84, 0xffffffe1,
974  0xffffff84, 0xffffffe1,
975  0xffffff84, 0xffffffe1,
976  0xffffff84, 0xffffffe1,
977  0xffffff84, 0xffffffe1,
978  0xffffff84, 0xffffffe1,
979  0xffffff84, 0xffffffe1,
980  0xffffff84, 0xffffffe1,
981  0xffffff84, 0xffffffe1,
982  0xffffff84, 0xffffffe1,
983  0xffffff84, 0xffffffe1,
984  0xffffff84, 0xffffffe1,
985  0xffffff84, 0xffffffe1,
986  0xffffff84, 0xffffffe1,
987  0xffffff84, 0xffffffe1,
988  0xffffff84, 0xffffffe1,
989  0xffffff84, 0xffffffe1,
990  0xffffff84, 0xffffffe1,
991  0xffffff84, 0xffffffe1,
992  0xffffff84, 0xffffffe1,
993  0xffffff84, 0xffffffe1,
994  0xffffff84, 0xffffffe1,
995  0xffffff84, 0xffffffe1,
996  0xffffff84, 0xffffffe1,
997  0xffffff84, 0xffffffe1,
998  0xfffffff0, 0xffffffff,
999  0xffffffe8, 0xfffffffe,
1000  0xffffffe4, 0xfffffffe,
1001  0xffffffe2, 0xfffffffe,
1002  0xffffffe1, 0xfffffffe,
1003  0xffffffe1, 0xfffffffe,
1004  0xffffffe1, 0xfffffffe,
1005  0xffffffe1, 0xfffffffe,
1006  0xffffffe1, 0xfffffffe,
1007  0xffffffe1, 0xfffffffe,
1008  0xffffffe1, 0xfffffffe,
1009  0xffffffe1, 0xfffffffe,
1010  0xffffffe1, 0xfffffffe,
1011  0xffffffe1, 0xfffffffe,
1012  0xffffffe1, 0xfffffffe,
1013  0xffffffe1, 0xfffffffe,
1014  0xffffffe1, 0xfffffffe,
1015  0xffffffe1, 0xfffffffe,
1016  0xffffffe1, 0xfffffffe,
1017  0xffffffe1, 0xfffffffe,
1018  0xffffffe1, 0xfffffffe,
1019  0xffffffe1, 0xfffffffe,
1020  0xffffffe1, 0xfffffffe,
1021  0xffffffe1, 0xfffffffe,
1022  0xffffffe1, 0xfffffffe,
1023  0xffffffe1, 0xfffffffe,
1024  0xffffffe1, 0xfffffffe,
1025  0xffffffe1, 0xfffffffe,
1026  0xffffffe1, 0xfffffffe,
1027  0xffffffe1, 0xfffffffe,
1028  0xffffffe1, 0xfffffffe,
1029  0xffffffe1, 0xfffffffe,
1030};
1031const unsigned kExpectedCount_NEON_srsra_2S_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_SRSRA_2S_2OPIMM_TRACE_AARCH64_H_
1034