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_USHLL2_4S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_USHLL2_4S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_ushll2_4S_2OPIMM[] = {
38  0x0000fffd, 0x0000fffe, 0x0000ffff, 0x00000000,
39  0x0001fffa, 0x0001fffc, 0x0001fffe, 0x00000000,
40  0x0003fff4, 0x0003fff8, 0x0003fffc, 0x00000000,
41  0x0007ffe8, 0x0007fff0, 0x0007fff8, 0x00000000,
42  0x000fffd0, 0x000fffe0, 0x000ffff0, 0x00000000,
43  0x001fffa0, 0x001fffc0, 0x001fffe0, 0x00000000,
44  0x003fff40, 0x003fff80, 0x003fffc0, 0x00000000,
45  0x007ffe80, 0x007fff00, 0x007fff80, 0x00000000,
46  0x00fffd00, 0x00fffe00, 0x00ffff00, 0x00000000,
47  0x01fffa00, 0x01fffc00, 0x01fffe00, 0x00000000,
48  0x03fff400, 0x03fff800, 0x03fffc00, 0x00000000,
49  0x07ffe800, 0x07fff000, 0x07fff800, 0x00000000,
50  0x0fffd000, 0x0fffe000, 0x0ffff000, 0x00000000,
51  0x1fffa000, 0x1fffc000, 0x1fffe000, 0x00000000,
52  0x3fff4000, 0x3fff8000, 0x3fffc000, 0x00000000,
53  0x7ffe8000, 0x7fff0000, 0x7fff8000, 0x00000000,
54  0x0000fffe, 0x0000ffff, 0x00000000, 0x00000001,
55  0x0001fffc, 0x0001fffe, 0x00000000, 0x00000002,
56  0x0003fff8, 0x0003fffc, 0x00000000, 0x00000004,
57  0x0007fff0, 0x0007fff8, 0x00000000, 0x00000008,
58  0x000fffe0, 0x000ffff0, 0x00000000, 0x00000010,
59  0x001fffc0, 0x001fffe0, 0x00000000, 0x00000020,
60  0x003fff80, 0x003fffc0, 0x00000000, 0x00000040,
61  0x007fff00, 0x007fff80, 0x00000000, 0x00000080,
62  0x00fffe00, 0x00ffff00, 0x00000000, 0x00000100,
63  0x01fffc00, 0x01fffe00, 0x00000000, 0x00000200,
64  0x03fff800, 0x03fffc00, 0x00000000, 0x00000400,
65  0x07fff000, 0x07fff800, 0x00000000, 0x00000800,
66  0x0fffe000, 0x0ffff000, 0x00000000, 0x00001000,
67  0x1fffc000, 0x1fffe000, 0x00000000, 0x00002000,
68  0x3fff8000, 0x3fffc000, 0x00000000, 0x00004000,
69  0x7fff0000, 0x7fff8000, 0x00000000, 0x00008000,
70  0x0000ffff, 0x00000000, 0x00000001, 0x00000002,
71  0x0001fffe, 0x00000000, 0x00000002, 0x00000004,
72  0x0003fffc, 0x00000000, 0x00000004, 0x00000008,
73  0x0007fff8, 0x00000000, 0x00000008, 0x00000010,
74  0x000ffff0, 0x00000000, 0x00000010, 0x00000020,
75  0x001fffe0, 0x00000000, 0x00000020, 0x00000040,
76  0x003fffc0, 0x00000000, 0x00000040, 0x00000080,
77  0x007fff80, 0x00000000, 0x00000080, 0x00000100,
78  0x00ffff00, 0x00000000, 0x00000100, 0x00000200,
79  0x01fffe00, 0x00000000, 0x00000200, 0x00000400,
80  0x03fffc00, 0x00000000, 0x00000400, 0x00000800,
81  0x07fff800, 0x00000000, 0x00000800, 0x00001000,
82  0x0ffff000, 0x00000000, 0x00001000, 0x00002000,
83  0x1fffe000, 0x00000000, 0x00002000, 0x00004000,
84  0x3fffc000, 0x00000000, 0x00004000, 0x00008000,
85  0x7fff8000, 0x00000000, 0x00008000, 0x00010000,
86  0x00000000, 0x00000001, 0x00000002, 0x00000010,
87  0x00000000, 0x00000002, 0x00000004, 0x00000020,
88  0x00000000, 0x00000004, 0x00000008, 0x00000040,
89  0x00000000, 0x00000008, 0x00000010, 0x00000080,
90  0x00000000, 0x00000010, 0x00000020, 0x00000100,
91  0x00000000, 0x00000020, 0x00000040, 0x00000200,
92  0x00000000, 0x00000040, 0x00000080, 0x00000400,
93  0x00000000, 0x00000080, 0x00000100, 0x00000800,
94  0x00000000, 0x00000100, 0x00000200, 0x00001000,
95  0x00000000, 0x00000200, 0x00000400, 0x00002000,
96  0x00000000, 0x00000400, 0x00000800, 0x00004000,
97  0x00000000, 0x00000800, 0x00001000, 0x00008000,
98  0x00000000, 0x00001000, 0x00002000, 0x00010000,
99  0x00000000, 0x00002000, 0x00004000, 0x00020000,
100  0x00000000, 0x00004000, 0x00008000, 0x00040000,
101  0x00000000, 0x00008000, 0x00010000, 0x00080000,
102  0x00000001, 0x00000002, 0x00000010, 0x0000007d,
103  0x00000002, 0x00000004, 0x00000020, 0x000000fa,
104  0x00000004, 0x00000008, 0x00000040, 0x000001f4,
105  0x00000008, 0x00000010, 0x00000080, 0x000003e8,
106  0x00000010, 0x00000020, 0x00000100, 0x000007d0,
107  0x00000020, 0x00000040, 0x00000200, 0x00000fa0,
108  0x00000040, 0x00000080, 0x00000400, 0x00001f40,
109  0x00000080, 0x00000100, 0x00000800, 0x00003e80,
110  0x00000100, 0x00000200, 0x00001000, 0x00007d00,
111  0x00000200, 0x00000400, 0x00002000, 0x0000fa00,
112  0x00000400, 0x00000800, 0x00004000, 0x0001f400,
113  0x00000800, 0x00001000, 0x00008000, 0x0003e800,
114  0x00001000, 0x00002000, 0x00010000, 0x0007d000,
115  0x00002000, 0x00004000, 0x00020000, 0x000fa000,
116  0x00004000, 0x00008000, 0x00040000, 0x001f4000,
117  0x00008000, 0x00010000, 0x00080000, 0x003e8000,
118  0x00000002, 0x00000010, 0x0000007d, 0x0000007e,
119  0x00000004, 0x00000020, 0x000000fa, 0x000000fc,
120  0x00000008, 0x00000040, 0x000001f4, 0x000001f8,
121  0x00000010, 0x00000080, 0x000003e8, 0x000003f0,
122  0x00000020, 0x00000100, 0x000007d0, 0x000007e0,
123  0x00000040, 0x00000200, 0x00000fa0, 0x00000fc0,
124  0x00000080, 0x00000400, 0x00001f40, 0x00001f80,
125  0x00000100, 0x00000800, 0x00003e80, 0x00003f00,
126  0x00000200, 0x00001000, 0x00007d00, 0x00007e00,
127  0x00000400, 0x00002000, 0x0000fa00, 0x0000fc00,
128  0x00000800, 0x00004000, 0x0001f400, 0x0001f800,
129  0x00001000, 0x00008000, 0x0003e800, 0x0003f000,
130  0x00002000, 0x00010000, 0x0007d000, 0x0007e000,
131  0x00004000, 0x00020000, 0x000fa000, 0x000fc000,
132  0x00008000, 0x00040000, 0x001f4000, 0x001f8000,
133  0x00010000, 0x00080000, 0x003e8000, 0x003f0000,
134  0x00000010, 0x0000007d, 0x0000007e, 0x0000007f,
135  0x00000020, 0x000000fa, 0x000000fc, 0x000000fe,
136  0x00000040, 0x000001f4, 0x000001f8, 0x000001fc,
137  0x00000080, 0x000003e8, 0x000003f0, 0x000003f8,
138  0x00000100, 0x000007d0, 0x000007e0, 0x000007f0,
139  0x00000200, 0x00000fa0, 0x00000fc0, 0x00000fe0,
140  0x00000400, 0x00001f40, 0x00001f80, 0x00001fc0,
141  0x00000800, 0x00003e80, 0x00003f00, 0x00003f80,
142  0x00001000, 0x00007d00, 0x00007e00, 0x00007f00,
143  0x00002000, 0x0000fa00, 0x0000fc00, 0x0000fe00,
144  0x00004000, 0x0001f400, 0x0001f800, 0x0001fc00,
145  0x00008000, 0x0003e800, 0x0003f000, 0x0003f800,
146  0x00010000, 0x0007d000, 0x0007e000, 0x0007f000,
147  0x00020000, 0x000fa000, 0x000fc000, 0x000fe000,
148  0x00040000, 0x001f4000, 0x001f8000, 0x001fc000,
149  0x00080000, 0x003e8000, 0x003f0000, 0x003f8000,
150  0x0000007d, 0x0000007e, 0x0000007f, 0x00003333,
151  0x000000fa, 0x000000fc, 0x000000fe, 0x00006666,
152  0x000001f4, 0x000001f8, 0x000001fc, 0x0000cccc,
153  0x000003e8, 0x000003f0, 0x000003f8, 0x00019998,
154  0x000007d0, 0x000007e0, 0x000007f0, 0x00033330,
155  0x00000fa0, 0x00000fc0, 0x00000fe0, 0x00066660,
156  0x00001f40, 0x00001f80, 0x00001fc0, 0x000cccc0,
157  0x00003e80, 0x00003f00, 0x00003f80, 0x00199980,
158  0x00007d00, 0x00007e00, 0x00007f00, 0x00333300,
159  0x0000fa00, 0x0000fc00, 0x0000fe00, 0x00666600,
160  0x0001f400, 0x0001f800, 0x0001fc00, 0x00cccc00,
161  0x0003e800, 0x0003f000, 0x0003f800, 0x01999800,
162  0x0007d000, 0x0007e000, 0x0007f000, 0x03333000,
163  0x000fa000, 0x000fc000, 0x000fe000, 0x06666000,
164  0x001f4000, 0x001f8000, 0x001fc000, 0x0cccc000,
165  0x003e8000, 0x003f0000, 0x003f8000, 0x19998000,
166  0x0000007e, 0x0000007f, 0x00003333, 0x00005555,
167  0x000000fc, 0x000000fe, 0x00006666, 0x0000aaaa,
168  0x000001f8, 0x000001fc, 0x0000cccc, 0x00015554,
169  0x000003f0, 0x000003f8, 0x00019998, 0x0002aaa8,
170  0x000007e0, 0x000007f0, 0x00033330, 0x00055550,
171  0x00000fc0, 0x00000fe0, 0x00066660, 0x000aaaa0,
172  0x00001f80, 0x00001fc0, 0x000cccc0, 0x00155540,
173  0x00003f00, 0x00003f80, 0x00199980, 0x002aaa80,
174  0x00007e00, 0x00007f00, 0x00333300, 0x00555500,
175  0x0000fc00, 0x0000fe00, 0x00666600, 0x00aaaa00,
176  0x0001f800, 0x0001fc00, 0x00cccc00, 0x01555400,
177  0x0003f000, 0x0003f800, 0x01999800, 0x02aaa800,
178  0x0007e000, 0x0007f000, 0x03333000, 0x05555000,
179  0x000fc000, 0x000fe000, 0x06666000, 0x0aaaa000,
180  0x001f8000, 0x001fc000, 0x0cccc000, 0x15554000,
181  0x003f0000, 0x003f8000, 0x19998000, 0x2aaa8000,
182  0x0000007f, 0x00003333, 0x00005555, 0x00007ffd,
183  0x000000fe, 0x00006666, 0x0000aaaa, 0x0000fffa,
184  0x000001fc, 0x0000cccc, 0x00015554, 0x0001fff4,
185  0x000003f8, 0x00019998, 0x0002aaa8, 0x0003ffe8,
186  0x000007f0, 0x00033330, 0x00055550, 0x0007ffd0,
187  0x00000fe0, 0x00066660, 0x000aaaa0, 0x000fffa0,
188  0x00001fc0, 0x000cccc0, 0x00155540, 0x001fff40,
189  0x00003f80, 0x00199980, 0x002aaa80, 0x003ffe80,
190  0x00007f00, 0x00333300, 0x00555500, 0x007ffd00,
191  0x0000fe00, 0x00666600, 0x00aaaa00, 0x00fffa00,
192  0x0001fc00, 0x00cccc00, 0x01555400, 0x01fff400,
193  0x0003f800, 0x01999800, 0x02aaa800, 0x03ffe800,
194  0x0007f000, 0x03333000, 0x05555000, 0x07ffd000,
195  0x000fe000, 0x06666000, 0x0aaaa000, 0x0fffa000,
196  0x001fc000, 0x0cccc000, 0x15554000, 0x1fff4000,
197  0x003f8000, 0x19998000, 0x2aaa8000, 0x3ffe8000,
198  0x00003333, 0x00005555, 0x00007ffd, 0x00007ffe,
199  0x00006666, 0x0000aaaa, 0x0000fffa, 0x0000fffc,
200  0x0000cccc, 0x00015554, 0x0001fff4, 0x0001fff8,
201  0x00019998, 0x0002aaa8, 0x0003ffe8, 0x0003fff0,
202  0x00033330, 0x00055550, 0x0007ffd0, 0x0007ffe0,
203  0x00066660, 0x000aaaa0, 0x000fffa0, 0x000fffc0,
204  0x000cccc0, 0x00155540, 0x001fff40, 0x001fff80,
205  0x00199980, 0x002aaa80, 0x003ffe80, 0x003fff00,
206  0x00333300, 0x00555500, 0x007ffd00, 0x007ffe00,
207  0x00666600, 0x00aaaa00, 0x00fffa00, 0x00fffc00,
208  0x00cccc00, 0x01555400, 0x01fff400, 0x01fff800,
209  0x01999800, 0x02aaa800, 0x03ffe800, 0x03fff000,
210  0x03333000, 0x05555000, 0x07ffd000, 0x07ffe000,
211  0x06666000, 0x0aaaa000, 0x0fffa000, 0x0fffc000,
212  0x0cccc000, 0x15554000, 0x1fff4000, 0x1fff8000,
213  0x19998000, 0x2aaa8000, 0x3ffe8000, 0x3fff0000,
214  0x00005555, 0x00007ffd, 0x00007ffe, 0x00007fff,
215  0x0000aaaa, 0x0000fffa, 0x0000fffc, 0x0000fffe,
216  0x00015554, 0x0001fff4, 0x0001fff8, 0x0001fffc,
217  0x0002aaa8, 0x0003ffe8, 0x0003fff0, 0x0003fff8,
218  0x00055550, 0x0007ffd0, 0x0007ffe0, 0x0007fff0,
219  0x000aaaa0, 0x000fffa0, 0x000fffc0, 0x000fffe0,
220  0x00155540, 0x001fff40, 0x001fff80, 0x001fffc0,
221  0x002aaa80, 0x003ffe80, 0x003fff00, 0x003fff80,
222  0x00555500, 0x007ffd00, 0x007ffe00, 0x007fff00,
223  0x00aaaa00, 0x00fffa00, 0x00fffc00, 0x00fffe00,
224  0x01555400, 0x01fff400, 0x01fff800, 0x01fffc00,
225  0x02aaa800, 0x03ffe800, 0x03fff000, 0x03fff800,
226  0x05555000, 0x07ffd000, 0x07ffe000, 0x07fff000,
227  0x0aaaa000, 0x0fffa000, 0x0fffc000, 0x0fffe000,
228  0x15554000, 0x1fff4000, 0x1fff8000, 0x1fffc000,
229  0x2aaa8000, 0x3ffe8000, 0x3fff0000, 0x3fff8000,
230  0x00007ffd, 0x00007ffe, 0x00007fff, 0x00008000,
231  0x0000fffa, 0x0000fffc, 0x0000fffe, 0x00010000,
232  0x0001fff4, 0x0001fff8, 0x0001fffc, 0x00020000,
233  0x0003ffe8, 0x0003fff0, 0x0003fff8, 0x00040000,
234  0x0007ffd0, 0x0007ffe0, 0x0007fff0, 0x00080000,
235  0x000fffa0, 0x000fffc0, 0x000fffe0, 0x00100000,
236  0x001fff40, 0x001fff80, 0x001fffc0, 0x00200000,
237  0x003ffe80, 0x003fff00, 0x003fff80, 0x00400000,
238  0x007ffd00, 0x007ffe00, 0x007fff00, 0x00800000,
239  0x00fffa00, 0x00fffc00, 0x00fffe00, 0x01000000,
240  0x01fff400, 0x01fff800, 0x01fffc00, 0x02000000,
241  0x03ffe800, 0x03fff000, 0x03fff800, 0x04000000,
242  0x07ffd000, 0x07ffe000, 0x07fff000, 0x08000000,
243  0x0fffa000, 0x0fffc000, 0x0fffe000, 0x10000000,
244  0x1fff4000, 0x1fff8000, 0x1fffc000, 0x20000000,
245  0x3ffe8000, 0x3fff0000, 0x3fff8000, 0x40000000,
246  0x00007ffe, 0x00007fff, 0x00008000, 0x00008001,
247  0x0000fffc, 0x0000fffe, 0x00010000, 0x00010002,
248  0x0001fff8, 0x0001fffc, 0x00020000, 0x00020004,
249  0x0003fff0, 0x0003fff8, 0x00040000, 0x00040008,
250  0x0007ffe0, 0x0007fff0, 0x00080000, 0x00080010,
251  0x000fffc0, 0x000fffe0, 0x00100000, 0x00100020,
252  0x001fff80, 0x001fffc0, 0x00200000, 0x00200040,
253  0x003fff00, 0x003fff80, 0x00400000, 0x00400080,
254  0x007ffe00, 0x007fff00, 0x00800000, 0x00800100,
255  0x00fffc00, 0x00fffe00, 0x01000000, 0x01000200,
256  0x01fff800, 0x01fffc00, 0x02000000, 0x02000400,
257  0x03fff000, 0x03fff800, 0x04000000, 0x04000800,
258  0x07ffe000, 0x07fff000, 0x08000000, 0x08001000,
259  0x0fffc000, 0x0fffe000, 0x10000000, 0x10002000,
260  0x1fff8000, 0x1fffc000, 0x20000000, 0x20004000,
261  0x3fff0000, 0x3fff8000, 0x40000000, 0x40008000,
262  0x00007fff, 0x00008000, 0x00008001, 0x0000aaaa,
263  0x0000fffe, 0x00010000, 0x00010002, 0x00015554,
264  0x0001fffc, 0x00020000, 0x00020004, 0x0002aaa8,
265  0x0003fff8, 0x00040000, 0x00040008, 0x00055550,
266  0x0007fff0, 0x00080000, 0x00080010, 0x000aaaa0,
267  0x000fffe0, 0x00100000, 0x00100020, 0x00155540,
268  0x001fffc0, 0x00200000, 0x00200040, 0x002aaa80,
269  0x003fff80, 0x00400000, 0x00400080, 0x00555500,
270  0x007fff00, 0x00800000, 0x00800100, 0x00aaaa00,
271  0x00fffe00, 0x01000000, 0x01000200, 0x01555400,
272  0x01fffc00, 0x02000000, 0x02000400, 0x02aaa800,
273  0x03fff800, 0x04000000, 0x04000800, 0x05555000,
274  0x07fff000, 0x08000000, 0x08001000, 0x0aaaa000,
275  0x0fffe000, 0x10000000, 0x10002000, 0x15554000,
276  0x1fffc000, 0x20000000, 0x20004000, 0x2aaa8000,
277  0x3fff8000, 0x40000000, 0x40008000, 0x55550000,
278  0x00008000, 0x00008001, 0x0000aaaa, 0x0000cccc,
279  0x00010000, 0x00010002, 0x00015554, 0x00019998,
280  0x00020000, 0x00020004, 0x0002aaa8, 0x00033330,
281  0x00040000, 0x00040008, 0x00055550, 0x00066660,
282  0x00080000, 0x00080010, 0x000aaaa0, 0x000cccc0,
283  0x00100000, 0x00100020, 0x00155540, 0x00199980,
284  0x00200000, 0x00200040, 0x002aaa80, 0x00333300,
285  0x00400000, 0x00400080, 0x00555500, 0x00666600,
286  0x00800000, 0x00800100, 0x00aaaa00, 0x00cccc00,
287  0x01000000, 0x01000200, 0x01555400, 0x01999800,
288  0x02000000, 0x02000400, 0x02aaa800, 0x03333000,
289  0x04000000, 0x04000800, 0x05555000, 0x06666000,
290  0x08000000, 0x08001000, 0x0aaaa000, 0x0cccc000,
291  0x10000000, 0x10002000, 0x15554000, 0x19998000,
292  0x20000000, 0x20004000, 0x2aaa8000, 0x33330000,
293  0x40000000, 0x40008000, 0x55550000, 0x66660000,
294  0x00008001, 0x0000aaaa, 0x0000cccc, 0x0000ff80,
295  0x00010002, 0x00015554, 0x00019998, 0x0001ff00,
296  0x00020004, 0x0002aaa8, 0x00033330, 0x0003fe00,
297  0x00040008, 0x00055550, 0x00066660, 0x0007fc00,
298  0x00080010, 0x000aaaa0, 0x000cccc0, 0x000ff800,
299  0x00100020, 0x00155540, 0x00199980, 0x001ff000,
300  0x00200040, 0x002aaa80, 0x00333300, 0x003fe000,
301  0x00400080, 0x00555500, 0x00666600, 0x007fc000,
302  0x00800100, 0x00aaaa00, 0x00cccc00, 0x00ff8000,
303  0x01000200, 0x01555400, 0x01999800, 0x01ff0000,
304  0x02000400, 0x02aaa800, 0x03333000, 0x03fe0000,
305  0x04000800, 0x05555000, 0x06666000, 0x07fc0000,
306  0x08001000, 0x0aaaa000, 0x0cccc000, 0x0ff80000,
307  0x10002000, 0x15554000, 0x19998000, 0x1ff00000,
308  0x20004000, 0x2aaa8000, 0x33330000, 0x3fe00000,
309  0x40008000, 0x55550000, 0x66660000, 0x7fc00000,
310  0x0000aaaa, 0x0000cccc, 0x0000ff80, 0x0000ff81,
311  0x00015554, 0x00019998, 0x0001ff00, 0x0001ff02,
312  0x0002aaa8, 0x00033330, 0x0003fe00, 0x0003fe04,
313  0x00055550, 0x00066660, 0x0007fc00, 0x0007fc08,
314  0x000aaaa0, 0x000cccc0, 0x000ff800, 0x000ff810,
315  0x00155540, 0x00199980, 0x001ff000, 0x001ff020,
316  0x002aaa80, 0x00333300, 0x003fe000, 0x003fe040,
317  0x00555500, 0x00666600, 0x007fc000, 0x007fc080,
318  0x00aaaa00, 0x00cccc00, 0x00ff8000, 0x00ff8100,
319  0x01555400, 0x01999800, 0x01ff0000, 0x01ff0200,
320  0x02aaa800, 0x03333000, 0x03fe0000, 0x03fe0400,
321  0x05555000, 0x06666000, 0x07fc0000, 0x07fc0800,
322  0x0aaaa000, 0x0cccc000, 0x0ff80000, 0x0ff81000,
323  0x15554000, 0x19998000, 0x1ff00000, 0x1ff02000,
324  0x2aaa8000, 0x33330000, 0x3fe00000, 0x3fe04000,
325  0x55550000, 0x66660000, 0x7fc00000, 0x7fc08000,
326  0x0000cccc, 0x0000ff80, 0x0000ff81, 0x0000ff82,
327  0x00019998, 0x0001ff00, 0x0001ff02, 0x0001ff04,
328  0x00033330, 0x0003fe00, 0x0003fe04, 0x0003fe08,
329  0x00066660, 0x0007fc00, 0x0007fc08, 0x0007fc10,
330  0x000cccc0, 0x000ff800, 0x000ff810, 0x000ff820,
331  0x00199980, 0x001ff000, 0x001ff020, 0x001ff040,
332  0x00333300, 0x003fe000, 0x003fe040, 0x003fe080,
333  0x00666600, 0x007fc000, 0x007fc080, 0x007fc100,
334  0x00cccc00, 0x00ff8000, 0x00ff8100, 0x00ff8200,
335  0x01999800, 0x01ff0000, 0x01ff0200, 0x01ff0400,
336  0x03333000, 0x03fe0000, 0x03fe0400, 0x03fe0800,
337  0x06666000, 0x07fc0000, 0x07fc0800, 0x07fc1000,
338  0x0cccc000, 0x0ff80000, 0x0ff81000, 0x0ff82000,
339  0x19998000, 0x1ff00000, 0x1ff02000, 0x1ff04000,
340  0x33330000, 0x3fe00000, 0x3fe04000, 0x3fe08000,
341  0x66660000, 0x7fc00000, 0x7fc08000, 0x7fc10000,
342  0x0000ff80, 0x0000ff81, 0x0000ff82, 0x0000ff83,
343  0x0001ff00, 0x0001ff02, 0x0001ff04, 0x0001ff06,
344  0x0003fe00, 0x0003fe04, 0x0003fe08, 0x0003fe0c,
345  0x0007fc00, 0x0007fc08, 0x0007fc10, 0x0007fc18,
346  0x000ff800, 0x000ff810, 0x000ff820, 0x000ff830,
347  0x001ff000, 0x001ff020, 0x001ff040, 0x001ff060,
348  0x003fe000, 0x003fe040, 0x003fe080, 0x003fe0c0,
349  0x007fc000, 0x007fc080, 0x007fc100, 0x007fc180,
350  0x00ff8000, 0x00ff8100, 0x00ff8200, 0x00ff8300,
351  0x01ff0000, 0x01ff0200, 0x01ff0400, 0x01ff0600,
352  0x03fe0000, 0x03fe0400, 0x03fe0800, 0x03fe0c00,
353  0x07fc0000, 0x07fc0800, 0x07fc1000, 0x07fc1800,
354  0x0ff80000, 0x0ff81000, 0x0ff82000, 0x0ff83000,
355  0x1ff00000, 0x1ff02000, 0x1ff04000, 0x1ff06000,
356  0x3fe00000, 0x3fe04000, 0x3fe08000, 0x3fe0c000,
357  0x7fc00000, 0x7fc08000, 0x7fc10000, 0x7fc18000,
358  0x0000ff81, 0x0000ff82, 0x0000ff83, 0x0000fff0,
359  0x0001ff02, 0x0001ff04, 0x0001ff06, 0x0001ffe0,
360  0x0003fe04, 0x0003fe08, 0x0003fe0c, 0x0003ffc0,
361  0x0007fc08, 0x0007fc10, 0x0007fc18, 0x0007ff80,
362  0x000ff810, 0x000ff820, 0x000ff830, 0x000fff00,
363  0x001ff020, 0x001ff040, 0x001ff060, 0x001ffe00,
364  0x003fe040, 0x003fe080, 0x003fe0c0, 0x003ffc00,
365  0x007fc080, 0x007fc100, 0x007fc180, 0x007ff800,
366  0x00ff8100, 0x00ff8200, 0x00ff8300, 0x00fff000,
367  0x01ff0200, 0x01ff0400, 0x01ff0600, 0x01ffe000,
368  0x03fe0400, 0x03fe0800, 0x03fe0c00, 0x03ffc000,
369  0x07fc0800, 0x07fc1000, 0x07fc1800, 0x07ff8000,
370  0x0ff81000, 0x0ff82000, 0x0ff83000, 0x0fff0000,
371  0x1ff02000, 0x1ff04000, 0x1ff06000, 0x1ffe0000,
372  0x3fe04000, 0x3fe08000, 0x3fe0c000, 0x3ffc0000,
373  0x7fc08000, 0x7fc10000, 0x7fc18000, 0x7ff80000,
374  0x0000ff82, 0x0000ff83, 0x0000fff0, 0x0000fffd,
375  0x0001ff04, 0x0001ff06, 0x0001ffe0, 0x0001fffa,
376  0x0003fe08, 0x0003fe0c, 0x0003ffc0, 0x0003fff4,
377  0x0007fc10, 0x0007fc18, 0x0007ff80, 0x0007ffe8,
378  0x000ff820, 0x000ff830, 0x000fff00, 0x000fffd0,
379  0x001ff040, 0x001ff060, 0x001ffe00, 0x001fffa0,
380  0x003fe080, 0x003fe0c0, 0x003ffc00, 0x003fff40,
381  0x007fc100, 0x007fc180, 0x007ff800, 0x007ffe80,
382  0x00ff8200, 0x00ff8300, 0x00fff000, 0x00fffd00,
383  0x01ff0400, 0x01ff0600, 0x01ffe000, 0x01fffa00,
384  0x03fe0800, 0x03fe0c00, 0x03ffc000, 0x03fff400,
385  0x07fc1000, 0x07fc1800, 0x07ff8000, 0x07ffe800,
386  0x0ff82000, 0x0ff83000, 0x0fff0000, 0x0fffd000,
387  0x1ff04000, 0x1ff06000, 0x1ffe0000, 0x1fffa000,
388  0x3fe08000, 0x3fe0c000, 0x3ffc0000, 0x3fff4000,
389  0x7fc10000, 0x7fc18000, 0x7ff80000, 0x7ffe8000,
390  0x0000ff83, 0x0000fff0, 0x0000fffd, 0x0000fffe,
391  0x0001ff06, 0x0001ffe0, 0x0001fffa, 0x0001fffc,
392  0x0003fe0c, 0x0003ffc0, 0x0003fff4, 0x0003fff8,
393  0x0007fc18, 0x0007ff80, 0x0007ffe8, 0x0007fff0,
394  0x000ff830, 0x000fff00, 0x000fffd0, 0x000fffe0,
395  0x001ff060, 0x001ffe00, 0x001fffa0, 0x001fffc0,
396  0x003fe0c0, 0x003ffc00, 0x003fff40, 0x003fff80,
397  0x007fc180, 0x007ff800, 0x007ffe80, 0x007fff00,
398  0x00ff8300, 0x00fff000, 0x00fffd00, 0x00fffe00,
399  0x01ff0600, 0x01ffe000, 0x01fffa00, 0x01fffc00,
400  0x03fe0c00, 0x03ffc000, 0x03fff400, 0x03fff800,
401  0x07fc1800, 0x07ff8000, 0x07ffe800, 0x07fff000,
402  0x0ff83000, 0x0fff0000, 0x0fffd000, 0x0fffe000,
403  0x1ff06000, 0x1ffe0000, 0x1fffa000, 0x1fffc000,
404  0x3fe0c000, 0x3ffc0000, 0x3fff4000, 0x3fff8000,
405  0x7fc18000, 0x7ff80000, 0x7ffe8000, 0x7fff0000,
406  0x0000fff0, 0x0000fffd, 0x0000fffe, 0x0000ffff,
407  0x0001ffe0, 0x0001fffa, 0x0001fffc, 0x0001fffe,
408  0x0003ffc0, 0x0003fff4, 0x0003fff8, 0x0003fffc,
409  0x0007ff80, 0x0007ffe8, 0x0007fff0, 0x0007fff8,
410  0x000fff00, 0x000fffd0, 0x000fffe0, 0x000ffff0,
411  0x001ffe00, 0x001fffa0, 0x001fffc0, 0x001fffe0,
412  0x003ffc00, 0x003fff40, 0x003fff80, 0x003fffc0,
413  0x007ff800, 0x007ffe80, 0x007fff00, 0x007fff80,
414  0x00fff000, 0x00fffd00, 0x00fffe00, 0x00ffff00,
415  0x01ffe000, 0x01fffa00, 0x01fffc00, 0x01fffe00,
416  0x03ffc000, 0x03fff400, 0x03fff800, 0x03fffc00,
417  0x07ff8000, 0x07ffe800, 0x07fff000, 0x07fff800,
418  0x0fff0000, 0x0fffd000, 0x0fffe000, 0x0ffff000,
419  0x1ffe0000, 0x1fffa000, 0x1fffc000, 0x1fffe000,
420  0x3ffc0000, 0x3fff4000, 0x3fff8000, 0x3fffc000,
421  0x7ff80000, 0x7ffe8000, 0x7fff0000, 0x7fff8000,
422};
423const unsigned kExpectedCount_NEON_ushll2_4S_2OPIMM = 384;
424
425#endif  // VIXL_SIM_USHLL2_4S_2OPIMM_TRACE_AARCH64_H_
426