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_URSRA_4H_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_URSRA_4H_2OPIMM_TRACE_AARCH64_H_
36
37const uint16_t kExpected_NEON_ursra_4H_2OPIMM[] = {
38  0x7fc1, 0x7fc1, 0x7fc2, 0x7ff8,
39  0xbfa1, 0xbfa2, 0xbfa3, 0xbff4,
40  0xdf91, 0xdf92, 0xdf93, 0xdff2,
41  0xef89, 0xef8a, 0xef8b, 0xeff1,
42  0xf785, 0xf786, 0xf787, 0xf7f1,
43  0xfb83, 0xfb84, 0xfb85, 0xfbf1,
44  0xfd82, 0xfd83, 0xfd84, 0xfdf1,
45  0xfe82, 0xfe83, 0xfe84, 0xfef1,
46  0xff02, 0xff03, 0xff04, 0xff71,
47  0xff42, 0xff43, 0xff44, 0xffb1,
48  0xff62, 0xff63, 0xff64, 0xffd1,
49  0xff72, 0xff73, 0xff74, 0xffe1,
50  0xff7a, 0xff7b, 0xff7c, 0xffe9,
51  0xff7e, 0xff7f, 0xff80, 0xffed,
52  0xff80, 0xff81, 0xff82, 0xffef,
53  0xff81, 0xff82, 0xff83, 0xfff0,
54  0x7fc1, 0x7fc2, 0x7ff8, 0x7fff,
55  0xbfa2, 0xbfa3, 0xbff4, 0xbffe,
56  0xdf92, 0xdf93, 0xdff2, 0xdffe,
57  0xef8a, 0xef8b, 0xeff1, 0xeffe,
58  0xf786, 0xf787, 0xf7f1, 0xf7fe,
59  0xfb84, 0xfb85, 0xfbf1, 0xfbfe,
60  0xfd83, 0xfd84, 0xfdf1, 0xfdfe,
61  0xfe83, 0xfe84, 0xfef1, 0xfefe,
62  0xff03, 0xff04, 0xff71, 0xff7e,
63  0xff43, 0xff44, 0xffb1, 0xffbe,
64  0xff63, 0xff64, 0xffd1, 0xffde,
65  0xff73, 0xff74, 0xffe1, 0xffee,
66  0xff7b, 0xff7c, 0xffe9, 0xfff6,
67  0xff7f, 0xff80, 0xffed, 0xfffa,
68  0xff81, 0xff82, 0xffef, 0xfffc,
69  0xff82, 0xff83, 0xfff0, 0xfffd,
70  0x7fc2, 0x7ff8, 0x7fff, 0x7fff,
71  0xbfa3, 0xbff4, 0xbffe, 0xbfff,
72  0xdf93, 0xdff2, 0xdffe, 0xdfff,
73  0xef8b, 0xeff1, 0xeffe, 0xefff,
74  0xf787, 0xf7f1, 0xf7fe, 0xf7ff,
75  0xfb85, 0xfbf1, 0xfbfe, 0xfbff,
76  0xfd84, 0xfdf1, 0xfdfe, 0xfdff,
77  0xfe84, 0xfef1, 0xfefe, 0xfeff,
78  0xff04, 0xff71, 0xff7e, 0xff7f,
79  0xff44, 0xffb1, 0xffbe, 0xffbf,
80  0xff64, 0xffd1, 0xffde, 0xffdf,
81  0xff74, 0xffe1, 0xffee, 0xffef,
82  0xff7c, 0xffe9, 0xfff6, 0xfff7,
83  0xff80, 0xffed, 0xfffa, 0xfffb,
84  0xff82, 0xffef, 0xfffc, 0xfffd,
85  0xff83, 0xfff0, 0xfffd, 0xfffe,
86  0x7ff8, 0x7fff, 0x7fff, 0x8000,
87  0xbff4, 0xbffe, 0xbfff, 0xc000,
88  0xdff2, 0xdffe, 0xdfff, 0xe000,
89  0xeff1, 0xeffe, 0xefff, 0xf000,
90  0xf7f1, 0xf7fe, 0xf7ff, 0xf800,
91  0xfbf1, 0xfbfe, 0xfbff, 0xfc00,
92  0xfdf1, 0xfdfe, 0xfdff, 0xfe00,
93  0xfef1, 0xfefe, 0xfeff, 0xff00,
94  0xff71, 0xff7e, 0xff7f, 0xff80,
95  0xffb1, 0xffbe, 0xffbf, 0xffc0,
96  0xffd1, 0xffde, 0xffdf, 0xffe0,
97  0xffe1, 0xffee, 0xffef, 0xfff0,
98  0xffe9, 0xfff6, 0xfff7, 0xfff8,
99  0xffed, 0xfffa, 0xfffb, 0xfffc,
100  0xffef, 0xfffc, 0xfffd, 0xfffe,
101  0xfff0, 0xfffd, 0xfffe, 0xffff,
102  0x7fff, 0x7fff, 0x8000, 0x0000,
103  0xbffe, 0xbfff, 0xc000, 0x0000,
104  0xdffe, 0xdfff, 0xe000, 0x0000,
105  0xeffe, 0xefff, 0xf000, 0x0000,
106  0xf7fe, 0xf7ff, 0xf800, 0x0000,
107  0xfbfe, 0xfbff, 0xfc00, 0x0000,
108  0xfdfe, 0xfdff, 0xfe00, 0x0000,
109  0xfefe, 0xfeff, 0xff00, 0x0000,
110  0xff7e, 0xff7f, 0xff80, 0x0000,
111  0xffbe, 0xffbf, 0xffc0, 0x0000,
112  0xffde, 0xffdf, 0xffe0, 0x0000,
113  0xffee, 0xffef, 0xfff0, 0x0000,
114  0xfff6, 0xfff7, 0xfff8, 0x0000,
115  0xfffa, 0xfffb, 0xfffc, 0x0000,
116  0xfffc, 0xfffd, 0xfffe, 0x0000,
117  0xfffd, 0xfffe, 0xffff, 0x0000,
118  0x7fff, 0x8000, 0x0000, 0x0001,
119  0xbfff, 0xc000, 0x0000, 0x0001,
120  0xdfff, 0xe000, 0x0000, 0x0001,
121  0xefff, 0xf000, 0x0000, 0x0001,
122  0xf7ff, 0xf800, 0x0000, 0x0001,
123  0xfbff, 0xfc00, 0x0000, 0x0001,
124  0xfdff, 0xfe00, 0x0000, 0x0001,
125  0xfeff, 0xff00, 0x0000, 0x0001,
126  0xff7f, 0xff80, 0x0000, 0x0001,
127  0xffbf, 0xffc0, 0x0000, 0x0001,
128  0xffdf, 0xffe0, 0x0000, 0x0001,
129  0xffef, 0xfff0, 0x0000, 0x0001,
130  0xfff7, 0xfff8, 0x0000, 0x0001,
131  0xfffb, 0xfffc, 0x0000, 0x0001,
132  0xfffd, 0xfffe, 0x0000, 0x0001,
133  0xfffe, 0xffff, 0x0000, 0x0001,
134  0x8000, 0x0000, 0x0001, 0x0001,
135  0xc000, 0x0000, 0x0001, 0x0002,
136  0xe000, 0x0000, 0x0001, 0x0002,
137  0xf000, 0x0000, 0x0001, 0x0002,
138  0xf800, 0x0000, 0x0001, 0x0002,
139  0xfc00, 0x0000, 0x0001, 0x0002,
140  0xfe00, 0x0000, 0x0001, 0x0002,
141  0xff00, 0x0000, 0x0001, 0x0002,
142  0xff80, 0x0000, 0x0001, 0x0002,
143  0xffc0, 0x0000, 0x0001, 0x0002,
144  0xffe0, 0x0000, 0x0001, 0x0002,
145  0xfff0, 0x0000, 0x0001, 0x0002,
146  0xfff8, 0x0000, 0x0001, 0x0002,
147  0xfffc, 0x0000, 0x0001, 0x0002,
148  0xfffe, 0x0000, 0x0001, 0x0002,
149  0xffff, 0x0000, 0x0001, 0x0002,
150  0x0000, 0x0001, 0x0001, 0x0008,
151  0x0000, 0x0001, 0x0002, 0x000c,
152  0x0000, 0x0001, 0x0002, 0x000e,
153  0x0000, 0x0001, 0x0002, 0x000f,
154  0x0000, 0x0001, 0x0002, 0x0010,
155  0x0000, 0x0001, 0x0002, 0x0010,
156  0x0000, 0x0001, 0x0002, 0x0010,
157  0x0000, 0x0001, 0x0002, 0x0010,
158  0x0000, 0x0001, 0x0002, 0x0010,
159  0x0000, 0x0001, 0x0002, 0x0010,
160  0x0000, 0x0001, 0x0002, 0x0010,
161  0x0000, 0x0001, 0x0002, 0x0010,
162  0x0000, 0x0001, 0x0002, 0x0010,
163  0x0000, 0x0001, 0x0002, 0x0010,
164  0x0000, 0x0001, 0x0002, 0x0010,
165  0x0000, 0x0001, 0x0002, 0x0010,
166  0x0001, 0x0001, 0x0008, 0x003f,
167  0x0001, 0x0002, 0x000c, 0x005e,
168  0x0001, 0x0002, 0x000e, 0x006e,
169  0x0001, 0x0002, 0x000f, 0x0076,
170  0x0001, 0x0002, 0x0010, 0x007a,
171  0x0001, 0x0002, 0x0010, 0x007c,
172  0x0001, 0x0002, 0x0010, 0x007d,
173  0x0001, 0x0002, 0x0010, 0x007d,
174  0x0001, 0x0002, 0x0010, 0x007d,
175  0x0001, 0x0002, 0x0010, 0x007d,
176  0x0001, 0x0002, 0x0010, 0x007d,
177  0x0001, 0x0002, 0x0010, 0x007d,
178  0x0001, 0x0002, 0x0010, 0x007d,
179  0x0001, 0x0002, 0x0010, 0x007d,
180  0x0001, 0x0002, 0x0010, 0x007d,
181  0x0001, 0x0002, 0x0010, 0x007d,
182  0x0001, 0x0008, 0x003f, 0x003f,
183  0x0002, 0x000c, 0x005e, 0x005f,
184  0x0002, 0x000e, 0x006e, 0x006f,
185  0x0002, 0x000f, 0x0076, 0x0077,
186  0x0002, 0x0010, 0x007a, 0x007b,
187  0x0002, 0x0010, 0x007c, 0x007d,
188  0x0002, 0x0010, 0x007d, 0x007e,
189  0x0002, 0x0010, 0x007d, 0x007e,
190  0x0002, 0x0010, 0x007d, 0x007e,
191  0x0002, 0x0010, 0x007d, 0x007e,
192  0x0002, 0x0010, 0x007d, 0x007e,
193  0x0002, 0x0010, 0x007d, 0x007e,
194  0x0002, 0x0010, 0x007d, 0x007e,
195  0x0002, 0x0010, 0x007d, 0x007e,
196  0x0002, 0x0010, 0x007d, 0x007e,
197  0x0002, 0x0010, 0x007d, 0x007e,
198  0x0008, 0x003f, 0x003f, 0x0040,
199  0x000c, 0x005e, 0x005f, 0x0060,
200  0x000e, 0x006e, 0x006f, 0x0070,
201  0x000f, 0x0076, 0x0077, 0x0078,
202  0x0010, 0x007a, 0x007b, 0x007c,
203  0x0010, 0x007c, 0x007d, 0x007e,
204  0x0010, 0x007d, 0x007e, 0x007f,
205  0x0010, 0x007d, 0x007e, 0x007f,
206  0x0010, 0x007d, 0x007e, 0x007f,
207  0x0010, 0x007d, 0x007e, 0x007f,
208  0x0010, 0x007d, 0x007e, 0x007f,
209  0x0010, 0x007d, 0x007e, 0x007f,
210  0x0010, 0x007d, 0x007e, 0x007f,
211  0x0010, 0x007d, 0x007e, 0x007f,
212  0x0010, 0x007d, 0x007e, 0x007f,
213  0x0010, 0x007d, 0x007e, 0x007f,
214  0x003f, 0x003f, 0x0040, 0x199a,
215  0x005e, 0x005f, 0x0060, 0x2667,
216  0x006e, 0x006f, 0x0070, 0x2ccd,
217  0x0076, 0x0077, 0x0078, 0x3000,
218  0x007a, 0x007b, 0x007c, 0x319a,
219  0x007c, 0x007d, 0x007e, 0x3267,
220  0x007d, 0x007e, 0x007f, 0x32cd,
221  0x007d, 0x007e, 0x007f, 0x3300,
222  0x007d, 0x007e, 0x007f, 0x331a,
223  0x007d, 0x007e, 0x007f, 0x3327,
224  0x007d, 0x007e, 0x007f, 0x332d,
225  0x007d, 0x007e, 0x007f, 0x3330,
226  0x007d, 0x007e, 0x007f, 0x3332,
227  0x007d, 0x007e, 0x007f, 0x3333,
228  0x007d, 0x007e, 0x007f, 0x3333,
229  0x007d, 0x007e, 0x007f, 0x3333,
230  0x003f, 0x0040, 0x199a, 0x2aab,
231  0x005f, 0x0060, 0x2667, 0x4000,
232  0x006f, 0x0070, 0x2ccd, 0x4aab,
233  0x0077, 0x0078, 0x3000, 0x5000,
234  0x007b, 0x007c, 0x319a, 0x52ab,
235  0x007d, 0x007e, 0x3267, 0x5400,
236  0x007e, 0x007f, 0x32cd, 0x54ab,
237  0x007e, 0x007f, 0x3300, 0x5500,
238  0x007e, 0x007f, 0x331a, 0x552b,
239  0x007e, 0x007f, 0x3327, 0x5540,
240  0x007e, 0x007f, 0x332d, 0x554b,
241  0x007e, 0x007f, 0x3330, 0x5550,
242  0x007e, 0x007f, 0x3332, 0x5553,
243  0x007e, 0x007f, 0x3333, 0x5554,
244  0x007e, 0x007f, 0x3333, 0x5555,
245  0x007e, 0x007f, 0x3333, 0x5555,
246  0x0040, 0x199a, 0x2aab, 0x3fff,
247  0x0060, 0x2667, 0x4000, 0x5ffe,
248  0x0070, 0x2ccd, 0x4aab, 0x6ffe,
249  0x0078, 0x3000, 0x5000, 0x77fe,
250  0x007c, 0x319a, 0x52ab, 0x7bfe,
251  0x007e, 0x3267, 0x5400, 0x7dfe,
252  0x007f, 0x32cd, 0x54ab, 0x7efe,
253  0x007f, 0x3300, 0x5500, 0x7f7e,
254  0x007f, 0x331a, 0x552b, 0x7fbe,
255  0x007f, 0x3327, 0x5540, 0x7fde,
256  0x007f, 0x332d, 0x554b, 0x7fee,
257  0x007f, 0x3330, 0x5550, 0x7ff6,
258  0x007f, 0x3332, 0x5553, 0x7ffa,
259  0x007f, 0x3333, 0x5554, 0x7ffc,
260  0x007f, 0x3333, 0x5555, 0x7ffd,
261  0x007f, 0x3333, 0x5555, 0x7ffd,
262  0x199a, 0x2aab, 0x3fff, 0x3fff,
263  0x2667, 0x4000, 0x5ffe, 0x5fff,
264  0x2ccd, 0x4aab, 0x6ffe, 0x6fff,
265  0x3000, 0x5000, 0x77fe, 0x77ff,
266  0x319a, 0x52ab, 0x7bfe, 0x7bff,
267  0x3267, 0x5400, 0x7dfe, 0x7dff,
268  0x32cd, 0x54ab, 0x7efe, 0x7eff,
269  0x3300, 0x5500, 0x7f7e, 0x7f7f,
270  0x331a, 0x552b, 0x7fbe, 0x7fbf,
271  0x3327, 0x5540, 0x7fde, 0x7fdf,
272  0x332d, 0x554b, 0x7fee, 0x7fef,
273  0x3330, 0x5550, 0x7ff6, 0x7ff7,
274  0x3332, 0x5553, 0x7ffa, 0x7ffb,
275  0x3333, 0x5554, 0x7ffc, 0x7ffd,
276  0x3333, 0x5555, 0x7ffd, 0x7ffe,
277  0x3333, 0x5555, 0x7ffd, 0x7ffe,
278  0x2aab, 0x3fff, 0x3fff, 0x4000,
279  0x4000, 0x5ffe, 0x5fff, 0x6000,
280  0x4aab, 0x6ffe, 0x6fff, 0x7000,
281  0x5000, 0x77fe, 0x77ff, 0x7800,
282  0x52ab, 0x7bfe, 0x7bff, 0x7c00,
283  0x5400, 0x7dfe, 0x7dff, 0x7e00,
284  0x54ab, 0x7efe, 0x7eff, 0x7f00,
285  0x5500, 0x7f7e, 0x7f7f, 0x7f80,
286  0x552b, 0x7fbe, 0x7fbf, 0x7fc0,
287  0x5540, 0x7fde, 0x7fdf, 0x7fe0,
288  0x554b, 0x7fee, 0x7fef, 0x7ff0,
289  0x5550, 0x7ff6, 0x7ff7, 0x7ff8,
290  0x5553, 0x7ffa, 0x7ffb, 0x7ffc,
291  0x5554, 0x7ffc, 0x7ffd, 0x7ffe,
292  0x5555, 0x7ffd, 0x7ffe, 0x7fff,
293  0x5555, 0x7ffd, 0x7ffe, 0x7fff,
294  0x3fff, 0x3fff, 0x4000, 0x4000,
295  0x5ffe, 0x5fff, 0x6000, 0x6000,
296  0x6ffe, 0x6fff, 0x7000, 0x7000,
297  0x77fe, 0x77ff, 0x7800, 0x7800,
298  0x7bfe, 0x7bff, 0x7c00, 0x7c00,
299  0x7dfe, 0x7dff, 0x7e00, 0x7e00,
300  0x7efe, 0x7eff, 0x7f00, 0x7f00,
301  0x7f7e, 0x7f7f, 0x7f80, 0x7f80,
302  0x7fbe, 0x7fbf, 0x7fc0, 0x7fc0,
303  0x7fde, 0x7fdf, 0x7fe0, 0x7fe0,
304  0x7fee, 0x7fef, 0x7ff0, 0x7ff0,
305  0x7ff6, 0x7ff7, 0x7ff8, 0x7ff8,
306  0x7ffa, 0x7ffb, 0x7ffc, 0x7ffc,
307  0x7ffc, 0x7ffd, 0x7ffe, 0x7ffe,
308  0x7ffd, 0x7ffe, 0x7fff, 0x7fff,
309  0x7ffd, 0x7ffe, 0x7fff, 0x8000,
310  0x3fff, 0x4000, 0x4000, 0x4001,
311  0x5fff, 0x6000, 0x6000, 0x6001,
312  0x6fff, 0x7000, 0x7000, 0x7001,
313  0x77ff, 0x7800, 0x7800, 0x7801,
314  0x7bff, 0x7c00, 0x7c00, 0x7c01,
315  0x7dff, 0x7e00, 0x7e00, 0x7e01,
316  0x7eff, 0x7f00, 0x7f00, 0x7f01,
317  0x7f7f, 0x7f80, 0x7f80, 0x7f81,
318  0x7fbf, 0x7fc0, 0x7fc0, 0x7fc1,
319  0x7fdf, 0x7fe0, 0x7fe0, 0x7fe1,
320  0x7fef, 0x7ff0, 0x7ff0, 0x7ff1,
321  0x7ff7, 0x7ff8, 0x7ff8, 0x7ff9,
322  0x7ffb, 0x7ffc, 0x7ffc, 0x7ffd,
323  0x7ffd, 0x7ffe, 0x7ffe, 0x7fff,
324  0x7ffe, 0x7fff, 0x7fff, 0x8000,
325  0x7ffe, 0x7fff, 0x8000, 0x8001,
326  0x4000, 0x4000, 0x4001, 0x5555,
327  0x6000, 0x6000, 0x6001, 0x8000,
328  0x7000, 0x7000, 0x7001, 0x9555,
329  0x7800, 0x7800, 0x7801, 0xa000,
330  0x7c00, 0x7c00, 0x7c01, 0xa555,
331  0x7e00, 0x7e00, 0x7e01, 0xa800,
332  0x7f00, 0x7f00, 0x7f01, 0xa955,
333  0x7f80, 0x7f80, 0x7f81, 0xaa00,
334  0x7fc0, 0x7fc0, 0x7fc1, 0xaa55,
335  0x7fe0, 0x7fe0, 0x7fe1, 0xaa80,
336  0x7ff0, 0x7ff0, 0x7ff1, 0xaa95,
337  0x7ff8, 0x7ff8, 0x7ff9, 0xaaa0,
338  0x7ffc, 0x7ffc, 0x7ffd, 0xaaa5,
339  0x7ffe, 0x7ffe, 0x7fff, 0xaaa8,
340  0x7fff, 0x7fff, 0x8000, 0xaaa9,
341  0x7fff, 0x8000, 0x8001, 0xaaaa,
342  0x4000, 0x4001, 0x5555, 0x6666,
343  0x6000, 0x6001, 0x8000, 0x9999,
344  0x7000, 0x7001, 0x9555, 0xb333,
345  0x7800, 0x7801, 0xa000, 0xc000,
346  0x7c00, 0x7c01, 0xa555, 0xc666,
347  0x7e00, 0x7e01, 0xa800, 0xc999,
348  0x7f00, 0x7f01, 0xa955, 0xcb33,
349  0x7f80, 0x7f81, 0xaa00, 0xcc00,
350  0x7fc0, 0x7fc1, 0xaa55, 0xcc66,
351  0x7fe0, 0x7fe1, 0xaa80, 0xcc99,
352  0x7ff0, 0x7ff1, 0xaa95, 0xccb3,
353  0x7ff8, 0x7ff9, 0xaaa0, 0xccc0,
354  0x7ffc, 0x7ffd, 0xaaa5, 0xccc6,
355  0x7ffe, 0x7fff, 0xaaa8, 0xccc9,
356  0x7fff, 0x8000, 0xaaa9, 0xcccb,
357  0x8000, 0x8001, 0xaaaa, 0xcccc,
358  0x4001, 0x5555, 0x6666, 0x7fc0,
359  0x6001, 0x8000, 0x9999, 0xbfa0,
360  0x7001, 0x9555, 0xb333, 0xdf90,
361  0x7801, 0xa000, 0xc000, 0xef88,
362  0x7c01, 0xa555, 0xc666, 0xf784,
363  0x7e01, 0xa800, 0xc999, 0xfb82,
364  0x7f01, 0xa955, 0xcb33, 0xfd81,
365  0x7f81, 0xaa00, 0xcc00, 0xfe81,
366  0x7fc1, 0xaa55, 0xcc66, 0xff01,
367  0x7fe1, 0xaa80, 0xcc99, 0xff41,
368  0x7ff1, 0xaa95, 0xccb3, 0xff61,
369  0x7ff9, 0xaaa0, 0xccc0, 0xff71,
370  0x7ffd, 0xaaa5, 0xccc6, 0xff79,
371  0x7fff, 0xaaa8, 0xccc9, 0xff7d,
372  0x8000, 0xaaa9, 0xcccb, 0xff7f,
373  0x8001, 0xaaaa, 0xcccc, 0xff80,
374  0x5555, 0x6666, 0x7fc0, 0x7fc1,
375  0x8000, 0x9999, 0xbfa0, 0xbfa1,
376  0x9555, 0xb333, 0xdf90, 0xdf91,
377  0xa000, 0xc000, 0xef88, 0xef89,
378  0xa555, 0xc666, 0xf784, 0xf785,
379  0xa800, 0xc999, 0xfb82, 0xfb83,
380  0xa955, 0xcb33, 0xfd81, 0xfd82,
381  0xaa00, 0xcc00, 0xfe81, 0xfe82,
382  0xaa55, 0xcc66, 0xff01, 0xff02,
383  0xaa80, 0xcc99, 0xff41, 0xff42,
384  0xaa95, 0xccb3, 0xff61, 0xff62,
385  0xaaa0, 0xccc0, 0xff71, 0xff72,
386  0xaaa5, 0xccc6, 0xff79, 0xff7a,
387  0xaaa8, 0xccc9, 0xff7d, 0xff7e,
388  0xaaa9, 0xcccb, 0xff7f, 0xff80,
389  0xaaaa, 0xcccc, 0xff80, 0xff81,
390  0x6666, 0x7fc0, 0x7fc1, 0x7fc1,
391  0x9999, 0xbfa0, 0xbfa1, 0xbfa2,
392  0xb333, 0xdf90, 0xdf91, 0xdf92,
393  0xc000, 0xef88, 0xef89, 0xef8a,
394  0xc666, 0xf784, 0xf785, 0xf786,
395  0xc999, 0xfb82, 0xfb83, 0xfb84,
396  0xcb33, 0xfd81, 0xfd82, 0xfd83,
397  0xcc00, 0xfe81, 0xfe82, 0xfe83,
398  0xcc66, 0xff01, 0xff02, 0xff03,
399  0xcc99, 0xff41, 0xff42, 0xff43,
400  0xccb3, 0xff61, 0xff62, 0xff63,
401  0xccc0, 0xff71, 0xff72, 0xff73,
402  0xccc6, 0xff79, 0xff7a, 0xff7b,
403  0xccc9, 0xff7d, 0xff7e, 0xff7f,
404  0xcccb, 0xff7f, 0xff80, 0xff81,
405  0xcccc, 0xff80, 0xff81, 0xff82,
406  0x7fc0, 0x7fc1, 0x7fc1, 0x7fc2,
407  0xbfa0, 0xbfa1, 0xbfa2, 0xbfa3,
408  0xdf90, 0xdf91, 0xdf92, 0xdf93,
409  0xef88, 0xef89, 0xef8a, 0xef8b,
410  0xf784, 0xf785, 0xf786, 0xf787,
411  0xfb82, 0xfb83, 0xfb84, 0xfb85,
412  0xfd81, 0xfd82, 0xfd83, 0xfd84,
413  0xfe81, 0xfe82, 0xfe83, 0xfe84,
414  0xff01, 0xff02, 0xff03, 0xff04,
415  0xff41, 0xff42, 0xff43, 0xff44,
416  0xff61, 0xff62, 0xff63, 0xff64,
417  0xff71, 0xff72, 0xff73, 0xff74,
418  0xff79, 0xff7a, 0xff7b, 0xff7c,
419  0xff7d, 0xff7e, 0xff7f, 0xff80,
420  0xff7f, 0xff80, 0xff81, 0xff82,
421  0xff80, 0xff81, 0xff82, 0xff83,
422};
423const unsigned kExpectedCount_NEON_ursra_4H_2OPIMM = 384;
424
425#endif  // VIXL_SIM_URSRA_4H_2OPIMM_TRACE_AARCH64_H_
426