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_2D_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_USHLL2_2D_2OPIMM_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_ushll2_2D_2OPIMM[] = {
38  0x00000000ffffffff, 0x0000000000000000,
39  0x00000001fffffffe, 0x0000000000000000,
40  0x00000003fffffffc, 0x0000000000000000,
41  0x00000007fffffff8, 0x0000000000000000,
42  0x0000000ffffffff0, 0x0000000000000000,
43  0x0000001fffffffe0, 0x0000000000000000,
44  0x0000003fffffffc0, 0x0000000000000000,
45  0x0000007fffffff80, 0x0000000000000000,
46  0x000000ffffffff00, 0x0000000000000000,
47  0x000001fffffffe00, 0x0000000000000000,
48  0x000003fffffffc00, 0x0000000000000000,
49  0x000007fffffff800, 0x0000000000000000,
50  0x00000ffffffff000, 0x0000000000000000,
51  0x00001fffffffe000, 0x0000000000000000,
52  0x00003fffffffc000, 0x0000000000000000,
53  0x00007fffffff8000, 0x0000000000000000,
54  0x0000ffffffff0000, 0x0000000000000000,
55  0x0001fffffffe0000, 0x0000000000000000,
56  0x0003fffffffc0000, 0x0000000000000000,
57  0x0007fffffff80000, 0x0000000000000000,
58  0x000ffffffff00000, 0x0000000000000000,
59  0x001fffffffe00000, 0x0000000000000000,
60  0x003fffffffc00000, 0x0000000000000000,
61  0x007fffffff800000, 0x0000000000000000,
62  0x00ffffffff000000, 0x0000000000000000,
63  0x01fffffffe000000, 0x0000000000000000,
64  0x03fffffffc000000, 0x0000000000000000,
65  0x07fffffff8000000, 0x0000000000000000,
66  0x0ffffffff0000000, 0x0000000000000000,
67  0x1fffffffe0000000, 0x0000000000000000,
68  0x3fffffffc0000000, 0x0000000000000000,
69  0x7fffffff80000000, 0x0000000000000000,
70  0x0000000000000000, 0x0000000000000001,
71  0x0000000000000000, 0x0000000000000002,
72  0x0000000000000000, 0x0000000000000004,
73  0x0000000000000000, 0x0000000000000008,
74  0x0000000000000000, 0x0000000000000010,
75  0x0000000000000000, 0x0000000000000020,
76  0x0000000000000000, 0x0000000000000040,
77  0x0000000000000000, 0x0000000000000080,
78  0x0000000000000000, 0x0000000000000100,
79  0x0000000000000000, 0x0000000000000200,
80  0x0000000000000000, 0x0000000000000400,
81  0x0000000000000000, 0x0000000000000800,
82  0x0000000000000000, 0x0000000000001000,
83  0x0000000000000000, 0x0000000000002000,
84  0x0000000000000000, 0x0000000000004000,
85  0x0000000000000000, 0x0000000000008000,
86  0x0000000000000000, 0x0000000000010000,
87  0x0000000000000000, 0x0000000000020000,
88  0x0000000000000000, 0x0000000000040000,
89  0x0000000000000000, 0x0000000000080000,
90  0x0000000000000000, 0x0000000000100000,
91  0x0000000000000000, 0x0000000000200000,
92  0x0000000000000000, 0x0000000000400000,
93  0x0000000000000000, 0x0000000000800000,
94  0x0000000000000000, 0x0000000001000000,
95  0x0000000000000000, 0x0000000002000000,
96  0x0000000000000000, 0x0000000004000000,
97  0x0000000000000000, 0x0000000008000000,
98  0x0000000000000000, 0x0000000010000000,
99  0x0000000000000000, 0x0000000020000000,
100  0x0000000000000000, 0x0000000040000000,
101  0x0000000000000000, 0x0000000080000000,
102  0x0000000000000001, 0x0000000000000002,
103  0x0000000000000002, 0x0000000000000004,
104  0x0000000000000004, 0x0000000000000008,
105  0x0000000000000008, 0x0000000000000010,
106  0x0000000000000010, 0x0000000000000020,
107  0x0000000000000020, 0x0000000000000040,
108  0x0000000000000040, 0x0000000000000080,
109  0x0000000000000080, 0x0000000000000100,
110  0x0000000000000100, 0x0000000000000200,
111  0x0000000000000200, 0x0000000000000400,
112  0x0000000000000400, 0x0000000000000800,
113  0x0000000000000800, 0x0000000000001000,
114  0x0000000000001000, 0x0000000000002000,
115  0x0000000000002000, 0x0000000000004000,
116  0x0000000000004000, 0x0000000000008000,
117  0x0000000000008000, 0x0000000000010000,
118  0x0000000000010000, 0x0000000000020000,
119  0x0000000000020000, 0x0000000000040000,
120  0x0000000000040000, 0x0000000000080000,
121  0x0000000000080000, 0x0000000000100000,
122  0x0000000000100000, 0x0000000000200000,
123  0x0000000000200000, 0x0000000000400000,
124  0x0000000000400000, 0x0000000000800000,
125  0x0000000000800000, 0x0000000001000000,
126  0x0000000001000000, 0x0000000002000000,
127  0x0000000002000000, 0x0000000004000000,
128  0x0000000004000000, 0x0000000008000000,
129  0x0000000008000000, 0x0000000010000000,
130  0x0000000010000000, 0x0000000020000000,
131  0x0000000020000000, 0x0000000040000000,
132  0x0000000040000000, 0x0000000080000000,
133  0x0000000080000000, 0x0000000100000000,
134  0x0000000000000002, 0x0000000000000020,
135  0x0000000000000004, 0x0000000000000040,
136  0x0000000000000008, 0x0000000000000080,
137  0x0000000000000010, 0x0000000000000100,
138  0x0000000000000020, 0x0000000000000200,
139  0x0000000000000040, 0x0000000000000400,
140  0x0000000000000080, 0x0000000000000800,
141  0x0000000000000100, 0x0000000000001000,
142  0x0000000000000200, 0x0000000000002000,
143  0x0000000000000400, 0x0000000000004000,
144  0x0000000000000800, 0x0000000000008000,
145  0x0000000000001000, 0x0000000000010000,
146  0x0000000000002000, 0x0000000000020000,
147  0x0000000000004000, 0x0000000000040000,
148  0x0000000000008000, 0x0000000000080000,
149  0x0000000000010000, 0x0000000000100000,
150  0x0000000000020000, 0x0000000000200000,
151  0x0000000000040000, 0x0000000000400000,
152  0x0000000000080000, 0x0000000000800000,
153  0x0000000000100000, 0x0000000001000000,
154  0x0000000000200000, 0x0000000002000000,
155  0x0000000000400000, 0x0000000004000000,
156  0x0000000000800000, 0x0000000008000000,
157  0x0000000001000000, 0x0000000010000000,
158  0x0000000002000000, 0x0000000020000000,
159  0x0000000004000000, 0x0000000040000000,
160  0x0000000008000000, 0x0000000080000000,
161  0x0000000010000000, 0x0000000100000000,
162  0x0000000020000000, 0x0000000200000000,
163  0x0000000040000000, 0x0000000400000000,
164  0x0000000080000000, 0x0000000800000000,
165  0x0000000100000000, 0x0000001000000000,
166  0x0000000000000020, 0x000000000000007d,
167  0x0000000000000040, 0x00000000000000fa,
168  0x0000000000000080, 0x00000000000001f4,
169  0x0000000000000100, 0x00000000000003e8,
170  0x0000000000000200, 0x00000000000007d0,
171  0x0000000000000400, 0x0000000000000fa0,
172  0x0000000000000800, 0x0000000000001f40,
173  0x0000000000001000, 0x0000000000003e80,
174  0x0000000000002000, 0x0000000000007d00,
175  0x0000000000004000, 0x000000000000fa00,
176  0x0000000000008000, 0x000000000001f400,
177  0x0000000000010000, 0x000000000003e800,
178  0x0000000000020000, 0x000000000007d000,
179  0x0000000000040000, 0x00000000000fa000,
180  0x0000000000080000, 0x00000000001f4000,
181  0x0000000000100000, 0x00000000003e8000,
182  0x0000000000200000, 0x00000000007d0000,
183  0x0000000000400000, 0x0000000000fa0000,
184  0x0000000000800000, 0x0000000001f40000,
185  0x0000000001000000, 0x0000000003e80000,
186  0x0000000002000000, 0x0000000007d00000,
187  0x0000000004000000, 0x000000000fa00000,
188  0x0000000008000000, 0x000000001f400000,
189  0x0000000010000000, 0x000000003e800000,
190  0x0000000020000000, 0x000000007d000000,
191  0x0000000040000000, 0x00000000fa000000,
192  0x0000000080000000, 0x00000001f4000000,
193  0x0000000100000000, 0x00000003e8000000,
194  0x0000000200000000, 0x00000007d0000000,
195  0x0000000400000000, 0x0000000fa0000000,
196  0x0000000800000000, 0x0000001f40000000,
197  0x0000001000000000, 0x0000003e80000000,
198  0x000000000000007d, 0x000000000000007e,
199  0x00000000000000fa, 0x00000000000000fc,
200  0x00000000000001f4, 0x00000000000001f8,
201  0x00000000000003e8, 0x00000000000003f0,
202  0x00000000000007d0, 0x00000000000007e0,
203  0x0000000000000fa0, 0x0000000000000fc0,
204  0x0000000000001f40, 0x0000000000001f80,
205  0x0000000000003e80, 0x0000000000003f00,
206  0x0000000000007d00, 0x0000000000007e00,
207  0x000000000000fa00, 0x000000000000fc00,
208  0x000000000001f400, 0x000000000001f800,
209  0x000000000003e800, 0x000000000003f000,
210  0x000000000007d000, 0x000000000007e000,
211  0x00000000000fa000, 0x00000000000fc000,
212  0x00000000001f4000, 0x00000000001f8000,
213  0x00000000003e8000, 0x00000000003f0000,
214  0x00000000007d0000, 0x00000000007e0000,
215  0x0000000000fa0000, 0x0000000000fc0000,
216  0x0000000001f40000, 0x0000000001f80000,
217  0x0000000003e80000, 0x0000000003f00000,
218  0x0000000007d00000, 0x0000000007e00000,
219  0x000000000fa00000, 0x000000000fc00000,
220  0x000000001f400000, 0x000000001f800000,
221  0x000000003e800000, 0x000000003f000000,
222  0x000000007d000000, 0x000000007e000000,
223  0x00000000fa000000, 0x00000000fc000000,
224  0x00000001f4000000, 0x00000001f8000000,
225  0x00000003e8000000, 0x00000003f0000000,
226  0x00000007d0000000, 0x00000007e0000000,
227  0x0000000fa0000000, 0x0000000fc0000000,
228  0x0000001f40000000, 0x0000001f80000000,
229  0x0000003e80000000, 0x0000003f00000000,
230  0x000000000000007e, 0x000000000000007f,
231  0x00000000000000fc, 0x00000000000000fe,
232  0x00000000000001f8, 0x00000000000001fc,
233  0x00000000000003f0, 0x00000000000003f8,
234  0x00000000000007e0, 0x00000000000007f0,
235  0x0000000000000fc0, 0x0000000000000fe0,
236  0x0000000000001f80, 0x0000000000001fc0,
237  0x0000000000003f00, 0x0000000000003f80,
238  0x0000000000007e00, 0x0000000000007f00,
239  0x000000000000fc00, 0x000000000000fe00,
240  0x000000000001f800, 0x000000000001fc00,
241  0x000000000003f000, 0x000000000003f800,
242  0x000000000007e000, 0x000000000007f000,
243  0x00000000000fc000, 0x00000000000fe000,
244  0x00000000001f8000, 0x00000000001fc000,
245  0x00000000003f0000, 0x00000000003f8000,
246  0x00000000007e0000, 0x00000000007f0000,
247  0x0000000000fc0000, 0x0000000000fe0000,
248  0x0000000001f80000, 0x0000000001fc0000,
249  0x0000000003f00000, 0x0000000003f80000,
250  0x0000000007e00000, 0x0000000007f00000,
251  0x000000000fc00000, 0x000000000fe00000,
252  0x000000001f800000, 0x000000001fc00000,
253  0x000000003f000000, 0x000000003f800000,
254  0x000000007e000000, 0x000000007f000000,
255  0x00000000fc000000, 0x00000000fe000000,
256  0x00000001f8000000, 0x00000001fc000000,
257  0x00000003f0000000, 0x00000003f8000000,
258  0x00000007e0000000, 0x00000007f0000000,
259  0x0000000fc0000000, 0x0000000fe0000000,
260  0x0000001f80000000, 0x0000001fc0000000,
261  0x0000003f00000000, 0x0000003f80000000,
262  0x000000000000007f, 0x0000000000007ffd,
263  0x00000000000000fe, 0x000000000000fffa,
264  0x00000000000001fc, 0x000000000001fff4,
265  0x00000000000003f8, 0x000000000003ffe8,
266  0x00000000000007f0, 0x000000000007ffd0,
267  0x0000000000000fe0, 0x00000000000fffa0,
268  0x0000000000001fc0, 0x00000000001fff40,
269  0x0000000000003f80, 0x00000000003ffe80,
270  0x0000000000007f00, 0x00000000007ffd00,
271  0x000000000000fe00, 0x0000000000fffa00,
272  0x000000000001fc00, 0x0000000001fff400,
273  0x000000000003f800, 0x0000000003ffe800,
274  0x000000000007f000, 0x0000000007ffd000,
275  0x00000000000fe000, 0x000000000fffa000,
276  0x00000000001fc000, 0x000000001fff4000,
277  0x00000000003f8000, 0x000000003ffe8000,
278  0x00000000007f0000, 0x000000007ffd0000,
279  0x0000000000fe0000, 0x00000000fffa0000,
280  0x0000000001fc0000, 0x00000001fff40000,
281  0x0000000003f80000, 0x00000003ffe80000,
282  0x0000000007f00000, 0x00000007ffd00000,
283  0x000000000fe00000, 0x0000000fffa00000,
284  0x000000001fc00000, 0x0000001fff400000,
285  0x000000003f800000, 0x0000003ffe800000,
286  0x000000007f000000, 0x0000007ffd000000,
287  0x00000000fe000000, 0x000000fffa000000,
288  0x00000001fc000000, 0x000001fff4000000,
289  0x00000003f8000000, 0x000003ffe8000000,
290  0x00000007f0000000, 0x000007ffd0000000,
291  0x0000000fe0000000, 0x00000fffa0000000,
292  0x0000001fc0000000, 0x00001fff40000000,
293  0x0000003f80000000, 0x00003ffe80000000,
294  0x0000000000007ffd, 0x0000000000007ffe,
295  0x000000000000fffa, 0x000000000000fffc,
296  0x000000000001fff4, 0x000000000001fff8,
297  0x000000000003ffe8, 0x000000000003fff0,
298  0x000000000007ffd0, 0x000000000007ffe0,
299  0x00000000000fffa0, 0x00000000000fffc0,
300  0x00000000001fff40, 0x00000000001fff80,
301  0x00000000003ffe80, 0x00000000003fff00,
302  0x00000000007ffd00, 0x00000000007ffe00,
303  0x0000000000fffa00, 0x0000000000fffc00,
304  0x0000000001fff400, 0x0000000001fff800,
305  0x0000000003ffe800, 0x0000000003fff000,
306  0x0000000007ffd000, 0x0000000007ffe000,
307  0x000000000fffa000, 0x000000000fffc000,
308  0x000000001fff4000, 0x000000001fff8000,
309  0x000000003ffe8000, 0x000000003fff0000,
310  0x000000007ffd0000, 0x000000007ffe0000,
311  0x00000000fffa0000, 0x00000000fffc0000,
312  0x00000001fff40000, 0x00000001fff80000,
313  0x00000003ffe80000, 0x00000003fff00000,
314  0x00000007ffd00000, 0x00000007ffe00000,
315  0x0000000fffa00000, 0x0000000fffc00000,
316  0x0000001fff400000, 0x0000001fff800000,
317  0x0000003ffe800000, 0x0000003fff000000,
318  0x0000007ffd000000, 0x0000007ffe000000,
319  0x000000fffa000000, 0x000000fffc000000,
320  0x000001fff4000000, 0x000001fff8000000,
321  0x000003ffe8000000, 0x000003fff0000000,
322  0x000007ffd0000000, 0x000007ffe0000000,
323  0x00000fffa0000000, 0x00000fffc0000000,
324  0x00001fff40000000, 0x00001fff80000000,
325  0x00003ffe80000000, 0x00003fff00000000,
326  0x0000000000007ffe, 0x0000000000007fff,
327  0x000000000000fffc, 0x000000000000fffe,
328  0x000000000001fff8, 0x000000000001fffc,
329  0x000000000003fff0, 0x000000000003fff8,
330  0x000000000007ffe0, 0x000000000007fff0,
331  0x00000000000fffc0, 0x00000000000fffe0,
332  0x00000000001fff80, 0x00000000001fffc0,
333  0x00000000003fff00, 0x00000000003fff80,
334  0x00000000007ffe00, 0x00000000007fff00,
335  0x0000000000fffc00, 0x0000000000fffe00,
336  0x0000000001fff800, 0x0000000001fffc00,
337  0x0000000003fff000, 0x0000000003fff800,
338  0x0000000007ffe000, 0x0000000007fff000,
339  0x000000000fffc000, 0x000000000fffe000,
340  0x000000001fff8000, 0x000000001fffc000,
341  0x000000003fff0000, 0x000000003fff8000,
342  0x000000007ffe0000, 0x000000007fff0000,
343  0x00000000fffc0000, 0x00000000fffe0000,
344  0x00000001fff80000, 0x00000001fffc0000,
345  0x00000003fff00000, 0x00000003fff80000,
346  0x00000007ffe00000, 0x00000007fff00000,
347  0x0000000fffc00000, 0x0000000fffe00000,
348  0x0000001fff800000, 0x0000001fffc00000,
349  0x0000003fff000000, 0x0000003fff800000,
350  0x0000007ffe000000, 0x0000007fff000000,
351  0x000000fffc000000, 0x000000fffe000000,
352  0x000001fff8000000, 0x000001fffc000000,
353  0x000003fff0000000, 0x000003fff8000000,
354  0x000007ffe0000000, 0x000007fff0000000,
355  0x00000fffc0000000, 0x00000fffe0000000,
356  0x00001fff80000000, 0x00001fffc0000000,
357  0x00003fff00000000, 0x00003fff80000000,
358  0x0000000000007fff, 0x0000000033333333,
359  0x000000000000fffe, 0x0000000066666666,
360  0x000000000001fffc, 0x00000000cccccccc,
361  0x000000000003fff8, 0x0000000199999998,
362  0x000000000007fff0, 0x0000000333333330,
363  0x00000000000fffe0, 0x0000000666666660,
364  0x00000000001fffc0, 0x0000000cccccccc0,
365  0x00000000003fff80, 0x0000001999999980,
366  0x00000000007fff00, 0x0000003333333300,
367  0x0000000000fffe00, 0x0000006666666600,
368  0x0000000001fffc00, 0x000000cccccccc00,
369  0x0000000003fff800, 0x0000019999999800,
370  0x0000000007fff000, 0x0000033333333000,
371  0x000000000fffe000, 0x0000066666666000,
372  0x000000001fffc000, 0x00000cccccccc000,
373  0x000000003fff8000, 0x0000199999998000,
374  0x000000007fff0000, 0x0000333333330000,
375  0x00000000fffe0000, 0x0000666666660000,
376  0x00000001fffc0000, 0x0000cccccccc0000,
377  0x00000003fff80000, 0x0001999999980000,
378  0x00000007fff00000, 0x0003333333300000,
379  0x0000000fffe00000, 0x0006666666600000,
380  0x0000001fffc00000, 0x000cccccccc00000,
381  0x0000003fff800000, 0x0019999999800000,
382  0x0000007fff000000, 0x0033333333000000,
383  0x000000fffe000000, 0x0066666666000000,
384  0x000001fffc000000, 0x00cccccccc000000,
385  0x000003fff8000000, 0x0199999998000000,
386  0x000007fff0000000, 0x0333333330000000,
387  0x00000fffe0000000, 0x0666666660000000,
388  0x00001fffc0000000, 0x0cccccccc0000000,
389  0x00003fff80000000, 0x1999999980000000,
390  0x0000000033333333, 0x0000000055555555,
391  0x0000000066666666, 0x00000000aaaaaaaa,
392  0x00000000cccccccc, 0x0000000155555554,
393  0x0000000199999998, 0x00000002aaaaaaa8,
394  0x0000000333333330, 0x0000000555555550,
395  0x0000000666666660, 0x0000000aaaaaaaa0,
396  0x0000000cccccccc0, 0x0000001555555540,
397  0x0000001999999980, 0x0000002aaaaaaa80,
398  0x0000003333333300, 0x0000005555555500,
399  0x0000006666666600, 0x000000aaaaaaaa00,
400  0x000000cccccccc00, 0x0000015555555400,
401  0x0000019999999800, 0x000002aaaaaaa800,
402  0x0000033333333000, 0x0000055555555000,
403  0x0000066666666000, 0x00000aaaaaaaa000,
404  0x00000cccccccc000, 0x0000155555554000,
405  0x0000199999998000, 0x00002aaaaaaa8000,
406  0x0000333333330000, 0x0000555555550000,
407  0x0000666666660000, 0x0000aaaaaaaa0000,
408  0x0000cccccccc0000, 0x0001555555540000,
409  0x0001999999980000, 0x0002aaaaaaa80000,
410  0x0003333333300000, 0x0005555555500000,
411  0x0006666666600000, 0x000aaaaaaaa00000,
412  0x000cccccccc00000, 0x0015555555400000,
413  0x0019999999800000, 0x002aaaaaaa800000,
414  0x0033333333000000, 0x0055555555000000,
415  0x0066666666000000, 0x00aaaaaaaa000000,
416  0x00cccccccc000000, 0x0155555554000000,
417  0x0199999998000000, 0x02aaaaaaa8000000,
418  0x0333333330000000, 0x0555555550000000,
419  0x0666666660000000, 0x0aaaaaaaa0000000,
420  0x0cccccccc0000000, 0x1555555540000000,
421  0x1999999980000000, 0x2aaaaaaa80000000,
422  0x0000000055555555, 0x000000007ffffffd,
423  0x00000000aaaaaaaa, 0x00000000fffffffa,
424  0x0000000155555554, 0x00000001fffffff4,
425  0x00000002aaaaaaa8, 0x00000003ffffffe8,
426  0x0000000555555550, 0x00000007ffffffd0,
427  0x0000000aaaaaaaa0, 0x0000000fffffffa0,
428  0x0000001555555540, 0x0000001fffffff40,
429  0x0000002aaaaaaa80, 0x0000003ffffffe80,
430  0x0000005555555500, 0x0000007ffffffd00,
431  0x000000aaaaaaaa00, 0x000000fffffffa00,
432  0x0000015555555400, 0x000001fffffff400,
433  0x000002aaaaaaa800, 0x000003ffffffe800,
434  0x0000055555555000, 0x000007ffffffd000,
435  0x00000aaaaaaaa000, 0x00000fffffffa000,
436  0x0000155555554000, 0x00001fffffff4000,
437  0x00002aaaaaaa8000, 0x00003ffffffe8000,
438  0x0000555555550000, 0x00007ffffffd0000,
439  0x0000aaaaaaaa0000, 0x0000fffffffa0000,
440  0x0001555555540000, 0x0001fffffff40000,
441  0x0002aaaaaaa80000, 0x0003ffffffe80000,
442  0x0005555555500000, 0x0007ffffffd00000,
443  0x000aaaaaaaa00000, 0x000fffffffa00000,
444  0x0015555555400000, 0x001fffffff400000,
445  0x002aaaaaaa800000, 0x003ffffffe800000,
446  0x0055555555000000, 0x007ffffffd000000,
447  0x00aaaaaaaa000000, 0x00fffffffa000000,
448  0x0155555554000000, 0x01fffffff4000000,
449  0x02aaaaaaa8000000, 0x03ffffffe8000000,
450  0x0555555550000000, 0x07ffffffd0000000,
451  0x0aaaaaaaa0000000, 0x0fffffffa0000000,
452  0x1555555540000000, 0x1fffffff40000000,
453  0x2aaaaaaa80000000, 0x3ffffffe80000000,
454  0x000000007ffffffd, 0x000000007ffffffe,
455  0x00000000fffffffa, 0x00000000fffffffc,
456  0x00000001fffffff4, 0x00000001fffffff8,
457  0x00000003ffffffe8, 0x00000003fffffff0,
458  0x00000007ffffffd0, 0x00000007ffffffe0,
459  0x0000000fffffffa0, 0x0000000fffffffc0,
460  0x0000001fffffff40, 0x0000001fffffff80,
461  0x0000003ffffffe80, 0x0000003fffffff00,
462  0x0000007ffffffd00, 0x0000007ffffffe00,
463  0x000000fffffffa00, 0x000000fffffffc00,
464  0x000001fffffff400, 0x000001fffffff800,
465  0x000003ffffffe800, 0x000003fffffff000,
466  0x000007ffffffd000, 0x000007ffffffe000,
467  0x00000fffffffa000, 0x00000fffffffc000,
468  0x00001fffffff4000, 0x00001fffffff8000,
469  0x00003ffffffe8000, 0x00003fffffff0000,
470  0x00007ffffffd0000, 0x00007ffffffe0000,
471  0x0000fffffffa0000, 0x0000fffffffc0000,
472  0x0001fffffff40000, 0x0001fffffff80000,
473  0x0003ffffffe80000, 0x0003fffffff00000,
474  0x0007ffffffd00000, 0x0007ffffffe00000,
475  0x000fffffffa00000, 0x000fffffffc00000,
476  0x001fffffff400000, 0x001fffffff800000,
477  0x003ffffffe800000, 0x003fffffff000000,
478  0x007ffffffd000000, 0x007ffffffe000000,
479  0x00fffffffa000000, 0x00fffffffc000000,
480  0x01fffffff4000000, 0x01fffffff8000000,
481  0x03ffffffe8000000, 0x03fffffff0000000,
482  0x07ffffffd0000000, 0x07ffffffe0000000,
483  0x0fffffffa0000000, 0x0fffffffc0000000,
484  0x1fffffff40000000, 0x1fffffff80000000,
485  0x3ffffffe80000000, 0x3fffffff00000000,
486  0x000000007ffffffe, 0x000000007fffffff,
487  0x00000000fffffffc, 0x00000000fffffffe,
488  0x00000001fffffff8, 0x00000001fffffffc,
489  0x00000003fffffff0, 0x00000003fffffff8,
490  0x00000007ffffffe0, 0x00000007fffffff0,
491  0x0000000fffffffc0, 0x0000000fffffffe0,
492  0x0000001fffffff80, 0x0000001fffffffc0,
493  0x0000003fffffff00, 0x0000003fffffff80,
494  0x0000007ffffffe00, 0x0000007fffffff00,
495  0x000000fffffffc00, 0x000000fffffffe00,
496  0x000001fffffff800, 0x000001fffffffc00,
497  0x000003fffffff000, 0x000003fffffff800,
498  0x000007ffffffe000, 0x000007fffffff000,
499  0x00000fffffffc000, 0x00000fffffffe000,
500  0x00001fffffff8000, 0x00001fffffffc000,
501  0x00003fffffff0000, 0x00003fffffff8000,
502  0x00007ffffffe0000, 0x00007fffffff0000,
503  0x0000fffffffc0000, 0x0000fffffffe0000,
504  0x0001fffffff80000, 0x0001fffffffc0000,
505  0x0003fffffff00000, 0x0003fffffff80000,
506  0x0007ffffffe00000, 0x0007fffffff00000,
507  0x000fffffffc00000, 0x000fffffffe00000,
508  0x001fffffff800000, 0x001fffffffc00000,
509  0x003fffffff000000, 0x003fffffff800000,
510  0x007ffffffe000000, 0x007fffffff000000,
511  0x00fffffffc000000, 0x00fffffffe000000,
512  0x01fffffff8000000, 0x01fffffffc000000,
513  0x03fffffff0000000, 0x03fffffff8000000,
514  0x07ffffffe0000000, 0x07fffffff0000000,
515  0x0fffffffc0000000, 0x0fffffffe0000000,
516  0x1fffffff80000000, 0x1fffffffc0000000,
517  0x3fffffff00000000, 0x3fffffff80000000,
518  0x000000007fffffff, 0x0000000080000000,
519  0x00000000fffffffe, 0x0000000100000000,
520  0x00000001fffffffc, 0x0000000200000000,
521  0x00000003fffffff8, 0x0000000400000000,
522  0x00000007fffffff0, 0x0000000800000000,
523  0x0000000fffffffe0, 0x0000001000000000,
524  0x0000001fffffffc0, 0x0000002000000000,
525  0x0000003fffffff80, 0x0000004000000000,
526  0x0000007fffffff00, 0x0000008000000000,
527  0x000000fffffffe00, 0x0000010000000000,
528  0x000001fffffffc00, 0x0000020000000000,
529  0x000003fffffff800, 0x0000040000000000,
530  0x000007fffffff000, 0x0000080000000000,
531  0x00000fffffffe000, 0x0000100000000000,
532  0x00001fffffffc000, 0x0000200000000000,
533  0x00003fffffff8000, 0x0000400000000000,
534  0x00007fffffff0000, 0x0000800000000000,
535  0x0000fffffffe0000, 0x0001000000000000,
536  0x0001fffffffc0000, 0x0002000000000000,
537  0x0003fffffff80000, 0x0004000000000000,
538  0x0007fffffff00000, 0x0008000000000000,
539  0x000fffffffe00000, 0x0010000000000000,
540  0x001fffffffc00000, 0x0020000000000000,
541  0x003fffffff800000, 0x0040000000000000,
542  0x007fffffff000000, 0x0080000000000000,
543  0x00fffffffe000000, 0x0100000000000000,
544  0x01fffffffc000000, 0x0200000000000000,
545  0x03fffffff8000000, 0x0400000000000000,
546  0x07fffffff0000000, 0x0800000000000000,
547  0x0fffffffe0000000, 0x1000000000000000,
548  0x1fffffffc0000000, 0x2000000000000000,
549  0x3fffffff80000000, 0x4000000000000000,
550  0x0000000080000000, 0x0000000080000001,
551  0x0000000100000000, 0x0000000100000002,
552  0x0000000200000000, 0x0000000200000004,
553  0x0000000400000000, 0x0000000400000008,
554  0x0000000800000000, 0x0000000800000010,
555  0x0000001000000000, 0x0000001000000020,
556  0x0000002000000000, 0x0000002000000040,
557  0x0000004000000000, 0x0000004000000080,
558  0x0000008000000000, 0x0000008000000100,
559  0x0000010000000000, 0x0000010000000200,
560  0x0000020000000000, 0x0000020000000400,
561  0x0000040000000000, 0x0000040000000800,
562  0x0000080000000000, 0x0000080000001000,
563  0x0000100000000000, 0x0000100000002000,
564  0x0000200000000000, 0x0000200000004000,
565  0x0000400000000000, 0x0000400000008000,
566  0x0000800000000000, 0x0000800000010000,
567  0x0001000000000000, 0x0001000000020000,
568  0x0002000000000000, 0x0002000000040000,
569  0x0004000000000000, 0x0004000000080000,
570  0x0008000000000000, 0x0008000000100000,
571  0x0010000000000000, 0x0010000000200000,
572  0x0020000000000000, 0x0020000000400000,
573  0x0040000000000000, 0x0040000000800000,
574  0x0080000000000000, 0x0080000001000000,
575  0x0100000000000000, 0x0100000002000000,
576  0x0200000000000000, 0x0200000004000000,
577  0x0400000000000000, 0x0400000008000000,
578  0x0800000000000000, 0x0800000010000000,
579  0x1000000000000000, 0x1000000020000000,
580  0x2000000000000000, 0x2000000040000000,
581  0x4000000000000000, 0x4000000080000000,
582  0x0000000080000001, 0x00000000aaaaaaaa,
583  0x0000000100000002, 0x0000000155555554,
584  0x0000000200000004, 0x00000002aaaaaaa8,
585  0x0000000400000008, 0x0000000555555550,
586  0x0000000800000010, 0x0000000aaaaaaaa0,
587  0x0000001000000020, 0x0000001555555540,
588  0x0000002000000040, 0x0000002aaaaaaa80,
589  0x0000004000000080, 0x0000005555555500,
590  0x0000008000000100, 0x000000aaaaaaaa00,
591  0x0000010000000200, 0x0000015555555400,
592  0x0000020000000400, 0x000002aaaaaaa800,
593  0x0000040000000800, 0x0000055555555000,
594  0x0000080000001000, 0x00000aaaaaaaa000,
595  0x0000100000002000, 0x0000155555554000,
596  0x0000200000004000, 0x00002aaaaaaa8000,
597  0x0000400000008000, 0x0000555555550000,
598  0x0000800000010000, 0x0000aaaaaaaa0000,
599  0x0001000000020000, 0x0001555555540000,
600  0x0002000000040000, 0x0002aaaaaaa80000,
601  0x0004000000080000, 0x0005555555500000,
602  0x0008000000100000, 0x000aaaaaaaa00000,
603  0x0010000000200000, 0x0015555555400000,
604  0x0020000000400000, 0x002aaaaaaa800000,
605  0x0040000000800000, 0x0055555555000000,
606  0x0080000001000000, 0x00aaaaaaaa000000,
607  0x0100000002000000, 0x0155555554000000,
608  0x0200000004000000, 0x02aaaaaaa8000000,
609  0x0400000008000000, 0x0555555550000000,
610  0x0800000010000000, 0x0aaaaaaaa0000000,
611  0x1000000020000000, 0x1555555540000000,
612  0x2000000040000000, 0x2aaaaaaa80000000,
613  0x4000000080000000, 0x5555555500000000,
614  0x00000000aaaaaaaa, 0x00000000cccccccc,
615  0x0000000155555554, 0x0000000199999998,
616  0x00000002aaaaaaa8, 0x0000000333333330,
617  0x0000000555555550, 0x0000000666666660,
618  0x0000000aaaaaaaa0, 0x0000000cccccccc0,
619  0x0000001555555540, 0x0000001999999980,
620  0x0000002aaaaaaa80, 0x0000003333333300,
621  0x0000005555555500, 0x0000006666666600,
622  0x000000aaaaaaaa00, 0x000000cccccccc00,
623  0x0000015555555400, 0x0000019999999800,
624  0x000002aaaaaaa800, 0x0000033333333000,
625  0x0000055555555000, 0x0000066666666000,
626  0x00000aaaaaaaa000, 0x00000cccccccc000,
627  0x0000155555554000, 0x0000199999998000,
628  0x00002aaaaaaa8000, 0x0000333333330000,
629  0x0000555555550000, 0x0000666666660000,
630  0x0000aaaaaaaa0000, 0x0000cccccccc0000,
631  0x0001555555540000, 0x0001999999980000,
632  0x0002aaaaaaa80000, 0x0003333333300000,
633  0x0005555555500000, 0x0006666666600000,
634  0x000aaaaaaaa00000, 0x000cccccccc00000,
635  0x0015555555400000, 0x0019999999800000,
636  0x002aaaaaaa800000, 0x0033333333000000,
637  0x0055555555000000, 0x0066666666000000,
638  0x00aaaaaaaa000000, 0x00cccccccc000000,
639  0x0155555554000000, 0x0199999998000000,
640  0x02aaaaaaa8000000, 0x0333333330000000,
641  0x0555555550000000, 0x0666666660000000,
642  0x0aaaaaaaa0000000, 0x0cccccccc0000000,
643  0x1555555540000000, 0x1999999980000000,
644  0x2aaaaaaa80000000, 0x3333333300000000,
645  0x5555555500000000, 0x6666666600000000,
646  0x00000000cccccccc, 0x00000000ffff8000,
647  0x0000000199999998, 0x00000001ffff0000,
648  0x0000000333333330, 0x00000003fffe0000,
649  0x0000000666666660, 0x00000007fffc0000,
650  0x0000000cccccccc0, 0x0000000ffff80000,
651  0x0000001999999980, 0x0000001ffff00000,
652  0x0000003333333300, 0x0000003fffe00000,
653  0x0000006666666600, 0x0000007fffc00000,
654  0x000000cccccccc00, 0x000000ffff800000,
655  0x0000019999999800, 0x000001ffff000000,
656  0x0000033333333000, 0x000003fffe000000,
657  0x0000066666666000, 0x000007fffc000000,
658  0x00000cccccccc000, 0x00000ffff8000000,
659  0x0000199999998000, 0x00001ffff0000000,
660  0x0000333333330000, 0x00003fffe0000000,
661  0x0000666666660000, 0x00007fffc0000000,
662  0x0000cccccccc0000, 0x0000ffff80000000,
663  0x0001999999980000, 0x0001ffff00000000,
664  0x0003333333300000, 0x0003fffe00000000,
665  0x0006666666600000, 0x0007fffc00000000,
666  0x000cccccccc00000, 0x000ffff800000000,
667  0x0019999999800000, 0x001ffff000000000,
668  0x0033333333000000, 0x003fffe000000000,
669  0x0066666666000000, 0x007fffc000000000,
670  0x00cccccccc000000, 0x00ffff8000000000,
671  0x0199999998000000, 0x01ffff0000000000,
672  0x0333333330000000, 0x03fffe0000000000,
673  0x0666666660000000, 0x07fffc0000000000,
674  0x0cccccccc0000000, 0x0ffff80000000000,
675  0x1999999980000000, 0x1ffff00000000000,
676  0x3333333300000000, 0x3fffe00000000000,
677  0x6666666600000000, 0x7fffc00000000000,
678  0x00000000ffff8000, 0x00000000ffff8001,
679  0x00000001ffff0000, 0x00000001ffff0002,
680  0x00000003fffe0000, 0x00000003fffe0004,
681  0x00000007fffc0000, 0x00000007fffc0008,
682  0x0000000ffff80000, 0x0000000ffff80010,
683  0x0000001ffff00000, 0x0000001ffff00020,
684  0x0000003fffe00000, 0x0000003fffe00040,
685  0x0000007fffc00000, 0x0000007fffc00080,
686  0x000000ffff800000, 0x000000ffff800100,
687  0x000001ffff000000, 0x000001ffff000200,
688  0x000003fffe000000, 0x000003fffe000400,
689  0x000007fffc000000, 0x000007fffc000800,
690  0x00000ffff8000000, 0x00000ffff8001000,
691  0x00001ffff0000000, 0x00001ffff0002000,
692  0x00003fffe0000000, 0x00003fffe0004000,
693  0x00007fffc0000000, 0x00007fffc0008000,
694  0x0000ffff80000000, 0x0000ffff80010000,
695  0x0001ffff00000000, 0x0001ffff00020000,
696  0x0003fffe00000000, 0x0003fffe00040000,
697  0x0007fffc00000000, 0x0007fffc00080000,
698  0x000ffff800000000, 0x000ffff800100000,
699  0x001ffff000000000, 0x001ffff000200000,
700  0x003fffe000000000, 0x003fffe000400000,
701  0x007fffc000000000, 0x007fffc000800000,
702  0x00ffff8000000000, 0x00ffff8001000000,
703  0x01ffff0000000000, 0x01ffff0002000000,
704  0x03fffe0000000000, 0x03fffe0004000000,
705  0x07fffc0000000000, 0x07fffc0008000000,
706  0x0ffff80000000000, 0x0ffff80010000000,
707  0x1ffff00000000000, 0x1ffff00020000000,
708  0x3fffe00000000000, 0x3fffe00040000000,
709  0x7fffc00000000000, 0x7fffc00080000000,
710  0x00000000ffff8001, 0x00000000ffff8002,
711  0x00000001ffff0002, 0x00000001ffff0004,
712  0x00000003fffe0004, 0x00000003fffe0008,
713  0x00000007fffc0008, 0x00000007fffc0010,
714  0x0000000ffff80010, 0x0000000ffff80020,
715  0x0000001ffff00020, 0x0000001ffff00040,
716  0x0000003fffe00040, 0x0000003fffe00080,
717  0x0000007fffc00080, 0x0000007fffc00100,
718  0x000000ffff800100, 0x000000ffff800200,
719  0x000001ffff000200, 0x000001ffff000400,
720  0x000003fffe000400, 0x000003fffe000800,
721  0x000007fffc000800, 0x000007fffc001000,
722  0x00000ffff8001000, 0x00000ffff8002000,
723  0x00001ffff0002000, 0x00001ffff0004000,
724  0x00003fffe0004000, 0x00003fffe0008000,
725  0x00007fffc0008000, 0x00007fffc0010000,
726  0x0000ffff80010000, 0x0000ffff80020000,
727  0x0001ffff00020000, 0x0001ffff00040000,
728  0x0003fffe00040000, 0x0003fffe00080000,
729  0x0007fffc00080000, 0x0007fffc00100000,
730  0x000ffff800100000, 0x000ffff800200000,
731  0x001ffff000200000, 0x001ffff000400000,
732  0x003fffe000400000, 0x003fffe000800000,
733  0x007fffc000800000, 0x007fffc001000000,
734  0x00ffff8001000000, 0x00ffff8002000000,
735  0x01ffff0002000000, 0x01ffff0004000000,
736  0x03fffe0004000000, 0x03fffe0008000000,
737  0x07fffc0008000000, 0x07fffc0010000000,
738  0x0ffff80010000000, 0x0ffff80020000000,
739  0x1ffff00020000000, 0x1ffff00040000000,
740  0x3fffe00040000000, 0x3fffe00080000000,
741  0x7fffc00080000000, 0x7fffc00100000000,
742  0x00000000ffff8002, 0x00000000ffff8003,
743  0x00000001ffff0004, 0x00000001ffff0006,
744  0x00000003fffe0008, 0x00000003fffe000c,
745  0x00000007fffc0010, 0x00000007fffc0018,
746  0x0000000ffff80020, 0x0000000ffff80030,
747  0x0000001ffff00040, 0x0000001ffff00060,
748  0x0000003fffe00080, 0x0000003fffe000c0,
749  0x0000007fffc00100, 0x0000007fffc00180,
750  0x000000ffff800200, 0x000000ffff800300,
751  0x000001ffff000400, 0x000001ffff000600,
752  0x000003fffe000800, 0x000003fffe000c00,
753  0x000007fffc001000, 0x000007fffc001800,
754  0x00000ffff8002000, 0x00000ffff8003000,
755  0x00001ffff0004000, 0x00001ffff0006000,
756  0x00003fffe0008000, 0x00003fffe000c000,
757  0x00007fffc0010000, 0x00007fffc0018000,
758  0x0000ffff80020000, 0x0000ffff80030000,
759  0x0001ffff00040000, 0x0001ffff00060000,
760  0x0003fffe00080000, 0x0003fffe000c0000,
761  0x0007fffc00100000, 0x0007fffc00180000,
762  0x000ffff800200000, 0x000ffff800300000,
763  0x001ffff000400000, 0x001ffff000600000,
764  0x003fffe000800000, 0x003fffe000c00000,
765  0x007fffc001000000, 0x007fffc001800000,
766  0x00ffff8002000000, 0x00ffff8003000000,
767  0x01ffff0004000000, 0x01ffff0006000000,
768  0x03fffe0008000000, 0x03fffe000c000000,
769  0x07fffc0010000000, 0x07fffc0018000000,
770  0x0ffff80020000000, 0x0ffff80030000000,
771  0x1ffff00040000000, 0x1ffff00060000000,
772  0x3fffe00080000000, 0x3fffe000c0000000,
773  0x7fffc00100000000, 0x7fffc00180000000,
774  0x00000000ffff8003, 0x00000000ffffff80,
775  0x00000001ffff0006, 0x00000001ffffff00,
776  0x00000003fffe000c, 0x00000003fffffe00,
777  0x00000007fffc0018, 0x00000007fffffc00,
778  0x0000000ffff80030, 0x0000000ffffff800,
779  0x0000001ffff00060, 0x0000001ffffff000,
780  0x0000003fffe000c0, 0x0000003fffffe000,
781  0x0000007fffc00180, 0x0000007fffffc000,
782  0x000000ffff800300, 0x000000ffffff8000,
783  0x000001ffff000600, 0x000001ffffff0000,
784  0x000003fffe000c00, 0x000003fffffe0000,
785  0x000007fffc001800, 0x000007fffffc0000,
786  0x00000ffff8003000, 0x00000ffffff80000,
787  0x00001ffff0006000, 0x00001ffffff00000,
788  0x00003fffe000c000, 0x00003fffffe00000,
789  0x00007fffc0018000, 0x00007fffffc00000,
790  0x0000ffff80030000, 0x0000ffffff800000,
791  0x0001ffff00060000, 0x0001ffffff000000,
792  0x0003fffe000c0000, 0x0003fffffe000000,
793  0x0007fffc00180000, 0x0007fffffc000000,
794  0x000ffff800300000, 0x000ffffff8000000,
795  0x001ffff000600000, 0x001ffffff0000000,
796  0x003fffe000c00000, 0x003fffffe0000000,
797  0x007fffc001800000, 0x007fffffc0000000,
798  0x00ffff8003000000, 0x00ffffff80000000,
799  0x01ffff0006000000, 0x01ffffff00000000,
800  0x03fffe000c000000, 0x03fffffe00000000,
801  0x07fffc0018000000, 0x07fffffc00000000,
802  0x0ffff80030000000, 0x0ffffff800000000,
803  0x1ffff00060000000, 0x1ffffff000000000,
804  0x3fffe000c0000000, 0x3fffffe000000000,
805  0x7fffc00180000000, 0x7fffffc000000000,
806  0x00000000ffffff80, 0x00000000ffffff81,
807  0x00000001ffffff00, 0x00000001ffffff02,
808  0x00000003fffffe00, 0x00000003fffffe04,
809  0x00000007fffffc00, 0x00000007fffffc08,
810  0x0000000ffffff800, 0x0000000ffffff810,
811  0x0000001ffffff000, 0x0000001ffffff020,
812  0x0000003fffffe000, 0x0000003fffffe040,
813  0x0000007fffffc000, 0x0000007fffffc080,
814  0x000000ffffff8000, 0x000000ffffff8100,
815  0x000001ffffff0000, 0x000001ffffff0200,
816  0x000003fffffe0000, 0x000003fffffe0400,
817  0x000007fffffc0000, 0x000007fffffc0800,
818  0x00000ffffff80000, 0x00000ffffff81000,
819  0x00001ffffff00000, 0x00001ffffff02000,
820  0x00003fffffe00000, 0x00003fffffe04000,
821  0x00007fffffc00000, 0x00007fffffc08000,
822  0x0000ffffff800000, 0x0000ffffff810000,
823  0x0001ffffff000000, 0x0001ffffff020000,
824  0x0003fffffe000000, 0x0003fffffe040000,
825  0x0007fffffc000000, 0x0007fffffc080000,
826  0x000ffffff8000000, 0x000ffffff8100000,
827  0x001ffffff0000000, 0x001ffffff0200000,
828  0x003fffffe0000000, 0x003fffffe0400000,
829  0x007fffffc0000000, 0x007fffffc0800000,
830  0x00ffffff80000000, 0x00ffffff81000000,
831  0x01ffffff00000000, 0x01ffffff02000000,
832  0x03fffffe00000000, 0x03fffffe04000000,
833  0x07fffffc00000000, 0x07fffffc08000000,
834  0x0ffffff800000000, 0x0ffffff810000000,
835  0x1ffffff000000000, 0x1ffffff020000000,
836  0x3fffffe000000000, 0x3fffffe040000000,
837  0x7fffffc000000000, 0x7fffffc080000000,
838  0x00000000ffffff81, 0x00000000ffffff82,
839  0x00000001ffffff02, 0x00000001ffffff04,
840  0x00000003fffffe04, 0x00000003fffffe08,
841  0x00000007fffffc08, 0x00000007fffffc10,
842  0x0000000ffffff810, 0x0000000ffffff820,
843  0x0000001ffffff020, 0x0000001ffffff040,
844  0x0000003fffffe040, 0x0000003fffffe080,
845  0x0000007fffffc080, 0x0000007fffffc100,
846  0x000000ffffff8100, 0x000000ffffff8200,
847  0x000001ffffff0200, 0x000001ffffff0400,
848  0x000003fffffe0400, 0x000003fffffe0800,
849  0x000007fffffc0800, 0x000007fffffc1000,
850  0x00000ffffff81000, 0x00000ffffff82000,
851  0x00001ffffff02000, 0x00001ffffff04000,
852  0x00003fffffe04000, 0x00003fffffe08000,
853  0x00007fffffc08000, 0x00007fffffc10000,
854  0x0000ffffff810000, 0x0000ffffff820000,
855  0x0001ffffff020000, 0x0001ffffff040000,
856  0x0003fffffe040000, 0x0003fffffe080000,
857  0x0007fffffc080000, 0x0007fffffc100000,
858  0x000ffffff8100000, 0x000ffffff8200000,
859  0x001ffffff0200000, 0x001ffffff0400000,
860  0x003fffffe0400000, 0x003fffffe0800000,
861  0x007fffffc0800000, 0x007fffffc1000000,
862  0x00ffffff81000000, 0x00ffffff82000000,
863  0x01ffffff02000000, 0x01ffffff04000000,
864  0x03fffffe04000000, 0x03fffffe08000000,
865  0x07fffffc08000000, 0x07fffffc10000000,
866  0x0ffffff810000000, 0x0ffffff820000000,
867  0x1ffffff020000000, 0x1ffffff040000000,
868  0x3fffffe040000000, 0x3fffffe080000000,
869  0x7fffffc080000000, 0x7fffffc100000000,
870  0x00000000ffffff82, 0x00000000ffffff83,
871  0x00000001ffffff04, 0x00000001ffffff06,
872  0x00000003fffffe08, 0x00000003fffffe0c,
873  0x00000007fffffc10, 0x00000007fffffc18,
874  0x0000000ffffff820, 0x0000000ffffff830,
875  0x0000001ffffff040, 0x0000001ffffff060,
876  0x0000003fffffe080, 0x0000003fffffe0c0,
877  0x0000007fffffc100, 0x0000007fffffc180,
878  0x000000ffffff8200, 0x000000ffffff8300,
879  0x000001ffffff0400, 0x000001ffffff0600,
880  0x000003fffffe0800, 0x000003fffffe0c00,
881  0x000007fffffc1000, 0x000007fffffc1800,
882  0x00000ffffff82000, 0x00000ffffff83000,
883  0x00001ffffff04000, 0x00001ffffff06000,
884  0x00003fffffe08000, 0x00003fffffe0c000,
885  0x00007fffffc10000, 0x00007fffffc18000,
886  0x0000ffffff820000, 0x0000ffffff830000,
887  0x0001ffffff040000, 0x0001ffffff060000,
888  0x0003fffffe080000, 0x0003fffffe0c0000,
889  0x0007fffffc100000, 0x0007fffffc180000,
890  0x000ffffff8200000, 0x000ffffff8300000,
891  0x001ffffff0400000, 0x001ffffff0600000,
892  0x003fffffe0800000, 0x003fffffe0c00000,
893  0x007fffffc1000000, 0x007fffffc1800000,
894  0x00ffffff82000000, 0x00ffffff83000000,
895  0x01ffffff04000000, 0x01ffffff06000000,
896  0x03fffffe08000000, 0x03fffffe0c000000,
897  0x07fffffc10000000, 0x07fffffc18000000,
898  0x0ffffff820000000, 0x0ffffff830000000,
899  0x1ffffff040000000, 0x1ffffff060000000,
900  0x3fffffe080000000, 0x3fffffe0c0000000,
901  0x7fffffc100000000, 0x7fffffc180000000,
902  0x00000000ffffff83, 0x00000000ffffffe0,
903  0x00000001ffffff06, 0x00000001ffffffc0,
904  0x00000003fffffe0c, 0x00000003ffffff80,
905  0x00000007fffffc18, 0x00000007ffffff00,
906  0x0000000ffffff830, 0x0000000ffffffe00,
907  0x0000001ffffff060, 0x0000001ffffffc00,
908  0x0000003fffffe0c0, 0x0000003ffffff800,
909  0x0000007fffffc180, 0x0000007ffffff000,
910  0x000000ffffff8300, 0x000000ffffffe000,
911  0x000001ffffff0600, 0x000001ffffffc000,
912  0x000003fffffe0c00, 0x000003ffffff8000,
913  0x000007fffffc1800, 0x000007ffffff0000,
914  0x00000ffffff83000, 0x00000ffffffe0000,
915  0x00001ffffff06000, 0x00001ffffffc0000,
916  0x00003fffffe0c000, 0x00003ffffff80000,
917  0x00007fffffc18000, 0x00007ffffff00000,
918  0x0000ffffff830000, 0x0000ffffffe00000,
919  0x0001ffffff060000, 0x0001ffffffc00000,
920  0x0003fffffe0c0000, 0x0003ffffff800000,
921  0x0007fffffc180000, 0x0007ffffff000000,
922  0x000ffffff8300000, 0x000ffffffe000000,
923  0x001ffffff0600000, 0x001ffffffc000000,
924  0x003fffffe0c00000, 0x003ffffff8000000,
925  0x007fffffc1800000, 0x007ffffff0000000,
926  0x00ffffff83000000, 0x00ffffffe0000000,
927  0x01ffffff06000000, 0x01ffffffc0000000,
928  0x03fffffe0c000000, 0x03ffffff80000000,
929  0x07fffffc18000000, 0x07ffffff00000000,
930  0x0ffffff830000000, 0x0ffffffe00000000,
931  0x1ffffff060000000, 0x1ffffffc00000000,
932  0x3fffffe0c0000000, 0x3ffffff800000000,
933  0x7fffffc180000000, 0x7ffffff000000000,
934  0x00000000ffffffe0, 0x00000000fffffffd,
935  0x00000001ffffffc0, 0x00000001fffffffa,
936  0x00000003ffffff80, 0x00000003fffffff4,
937  0x00000007ffffff00, 0x00000007ffffffe8,
938  0x0000000ffffffe00, 0x0000000fffffffd0,
939  0x0000001ffffffc00, 0x0000001fffffffa0,
940  0x0000003ffffff800, 0x0000003fffffff40,
941  0x0000007ffffff000, 0x0000007ffffffe80,
942  0x000000ffffffe000, 0x000000fffffffd00,
943  0x000001ffffffc000, 0x000001fffffffa00,
944  0x000003ffffff8000, 0x000003fffffff400,
945  0x000007ffffff0000, 0x000007ffffffe800,
946  0x00000ffffffe0000, 0x00000fffffffd000,
947  0x00001ffffffc0000, 0x00001fffffffa000,
948  0x00003ffffff80000, 0x00003fffffff4000,
949  0x00007ffffff00000, 0x00007ffffffe8000,
950  0x0000ffffffe00000, 0x0000fffffffd0000,
951  0x0001ffffffc00000, 0x0001fffffffa0000,
952  0x0003ffffff800000, 0x0003fffffff40000,
953  0x0007ffffff000000, 0x0007ffffffe80000,
954  0x000ffffffe000000, 0x000fffffffd00000,
955  0x001ffffffc000000, 0x001fffffffa00000,
956  0x003ffffff8000000, 0x003fffffff400000,
957  0x007ffffff0000000, 0x007ffffffe800000,
958  0x00ffffffe0000000, 0x00fffffffd000000,
959  0x01ffffffc0000000, 0x01fffffffa000000,
960  0x03ffffff80000000, 0x03fffffff4000000,
961  0x07ffffff00000000, 0x07ffffffe8000000,
962  0x0ffffffe00000000, 0x0fffffffd0000000,
963  0x1ffffffc00000000, 0x1fffffffa0000000,
964  0x3ffffff800000000, 0x3fffffff40000000,
965  0x7ffffff000000000, 0x7ffffffe80000000,
966  0x00000000fffffffd, 0x00000000fffffffe,
967  0x00000001fffffffa, 0x00000001fffffffc,
968  0x00000003fffffff4, 0x00000003fffffff8,
969  0x00000007ffffffe8, 0x00000007fffffff0,
970  0x0000000fffffffd0, 0x0000000fffffffe0,
971  0x0000001fffffffa0, 0x0000001fffffffc0,
972  0x0000003fffffff40, 0x0000003fffffff80,
973  0x0000007ffffffe80, 0x0000007fffffff00,
974  0x000000fffffffd00, 0x000000fffffffe00,
975  0x000001fffffffa00, 0x000001fffffffc00,
976  0x000003fffffff400, 0x000003fffffff800,
977  0x000007ffffffe800, 0x000007fffffff000,
978  0x00000fffffffd000, 0x00000fffffffe000,
979  0x00001fffffffa000, 0x00001fffffffc000,
980  0x00003fffffff4000, 0x00003fffffff8000,
981  0x00007ffffffe8000, 0x00007fffffff0000,
982  0x0000fffffffd0000, 0x0000fffffffe0000,
983  0x0001fffffffa0000, 0x0001fffffffc0000,
984  0x0003fffffff40000, 0x0003fffffff80000,
985  0x0007ffffffe80000, 0x0007fffffff00000,
986  0x000fffffffd00000, 0x000fffffffe00000,
987  0x001fffffffa00000, 0x001fffffffc00000,
988  0x003fffffff400000, 0x003fffffff800000,
989  0x007ffffffe800000, 0x007fffffff000000,
990  0x00fffffffd000000, 0x00fffffffe000000,
991  0x01fffffffa000000, 0x01fffffffc000000,
992  0x03fffffff4000000, 0x03fffffff8000000,
993  0x07ffffffe8000000, 0x07fffffff0000000,
994  0x0fffffffd0000000, 0x0fffffffe0000000,
995  0x1fffffffa0000000, 0x1fffffffc0000000,
996  0x3fffffff40000000, 0x3fffffff80000000,
997  0x7ffffffe80000000, 0x7fffffff00000000,
998  0x00000000fffffffe, 0x00000000ffffffff,
999  0x00000001fffffffc, 0x00000001fffffffe,
1000  0x00000003fffffff8, 0x00000003fffffffc,
1001  0x00000007fffffff0, 0x00000007fffffff8,
1002  0x0000000fffffffe0, 0x0000000ffffffff0,
1003  0x0000001fffffffc0, 0x0000001fffffffe0,
1004  0x0000003fffffff80, 0x0000003fffffffc0,
1005  0x0000007fffffff00, 0x0000007fffffff80,
1006  0x000000fffffffe00, 0x000000ffffffff00,
1007  0x000001fffffffc00, 0x000001fffffffe00,
1008  0x000003fffffff800, 0x000003fffffffc00,
1009  0x000007fffffff000, 0x000007fffffff800,
1010  0x00000fffffffe000, 0x00000ffffffff000,
1011  0x00001fffffffc000, 0x00001fffffffe000,
1012  0x00003fffffff8000, 0x00003fffffffc000,
1013  0x00007fffffff0000, 0x00007fffffff8000,
1014  0x0000fffffffe0000, 0x0000ffffffff0000,
1015  0x0001fffffffc0000, 0x0001fffffffe0000,
1016  0x0003fffffff80000, 0x0003fffffffc0000,
1017  0x0007fffffff00000, 0x0007fffffff80000,
1018  0x000fffffffe00000, 0x000ffffffff00000,
1019  0x001fffffffc00000, 0x001fffffffe00000,
1020  0x003fffffff800000, 0x003fffffffc00000,
1021  0x007fffffff000000, 0x007fffffff800000,
1022  0x00fffffffe000000, 0x00ffffffff000000,
1023  0x01fffffffc000000, 0x01fffffffe000000,
1024  0x03fffffff8000000, 0x03fffffffc000000,
1025  0x07fffffff0000000, 0x07fffffff8000000,
1026  0x0fffffffe0000000, 0x0ffffffff0000000,
1027  0x1fffffffc0000000, 0x1fffffffe0000000,
1028  0x3fffffff80000000, 0x3fffffffc0000000,
1029  0x7fffffff00000000, 0x7fffffff80000000,
1030};
1031const unsigned kExpectedCount_NEON_ushll2_2D_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_USHLL2_2D_2OPIMM_TRACE_AARCH64_H_
1034