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_SSHLL2_2D_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_SSHLL2_2D_2OPIMM_TRACE_AARCH64_H_
36
37const uint64_t kExpected_NEON_sshll2_2D_2OPIMM[] = {
38  0xffffffffffffffff, 0x0000000000000000,
39  0xfffffffffffffffe, 0x0000000000000000,
40  0xfffffffffffffffc, 0x0000000000000000,
41  0xfffffffffffffff8, 0x0000000000000000,
42  0xfffffffffffffff0, 0x0000000000000000,
43  0xffffffffffffffe0, 0x0000000000000000,
44  0xffffffffffffffc0, 0x0000000000000000,
45  0xffffffffffffff80, 0x0000000000000000,
46  0xffffffffffffff00, 0x0000000000000000,
47  0xfffffffffffffe00, 0x0000000000000000,
48  0xfffffffffffffc00, 0x0000000000000000,
49  0xfffffffffffff800, 0x0000000000000000,
50  0xfffffffffffff000, 0x0000000000000000,
51  0xffffffffffffe000, 0x0000000000000000,
52  0xffffffffffffc000, 0x0000000000000000,
53  0xffffffffffff8000, 0x0000000000000000,
54  0xffffffffffff0000, 0x0000000000000000,
55  0xfffffffffffe0000, 0x0000000000000000,
56  0xfffffffffffc0000, 0x0000000000000000,
57  0xfffffffffff80000, 0x0000000000000000,
58  0xfffffffffff00000, 0x0000000000000000,
59  0xffffffffffe00000, 0x0000000000000000,
60  0xffffffffffc00000, 0x0000000000000000,
61  0xffffffffff800000, 0x0000000000000000,
62  0xffffffffff000000, 0x0000000000000000,
63  0xfffffffffe000000, 0x0000000000000000,
64  0xfffffffffc000000, 0x0000000000000000,
65  0xfffffffff8000000, 0x0000000000000000,
66  0xfffffffff0000000, 0x0000000000000000,
67  0xffffffffe0000000, 0x0000000000000000,
68  0xffffffffc0000000, 0x0000000000000000,
69  0xffffffff80000000, 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, 0xffffffff80000000,
519  0x00000000fffffffe, 0xffffffff00000000,
520  0x00000001fffffffc, 0xfffffffe00000000,
521  0x00000003fffffff8, 0xfffffffc00000000,
522  0x00000007fffffff0, 0xfffffff800000000,
523  0x0000000fffffffe0, 0xfffffff000000000,
524  0x0000001fffffffc0, 0xffffffe000000000,
525  0x0000003fffffff80, 0xffffffc000000000,
526  0x0000007fffffff00, 0xffffff8000000000,
527  0x000000fffffffe00, 0xffffff0000000000,
528  0x000001fffffffc00, 0xfffffe0000000000,
529  0x000003fffffff800, 0xfffffc0000000000,
530  0x000007fffffff000, 0xfffff80000000000,
531  0x00000fffffffe000, 0xfffff00000000000,
532  0x00001fffffffc000, 0xffffe00000000000,
533  0x00003fffffff8000, 0xffffc00000000000,
534  0x00007fffffff0000, 0xffff800000000000,
535  0x0000fffffffe0000, 0xffff000000000000,
536  0x0001fffffffc0000, 0xfffe000000000000,
537  0x0003fffffff80000, 0xfffc000000000000,
538  0x0007fffffff00000, 0xfff8000000000000,
539  0x000fffffffe00000, 0xfff0000000000000,
540  0x001fffffffc00000, 0xffe0000000000000,
541  0x003fffffff800000, 0xffc0000000000000,
542  0x007fffffff000000, 0xff80000000000000,
543  0x00fffffffe000000, 0xff00000000000000,
544  0x01fffffffc000000, 0xfe00000000000000,
545  0x03fffffff8000000, 0xfc00000000000000,
546  0x07fffffff0000000, 0xf800000000000000,
547  0x0fffffffe0000000, 0xf000000000000000,
548  0x1fffffffc0000000, 0xe000000000000000,
549  0x3fffffff80000000, 0xc000000000000000,
550  0xffffffff80000000, 0xffffffff80000001,
551  0xffffffff00000000, 0xffffffff00000002,
552  0xfffffffe00000000, 0xfffffffe00000004,
553  0xfffffffc00000000, 0xfffffffc00000008,
554  0xfffffff800000000, 0xfffffff800000010,
555  0xfffffff000000000, 0xfffffff000000020,
556  0xffffffe000000000, 0xffffffe000000040,
557  0xffffffc000000000, 0xffffffc000000080,
558  0xffffff8000000000, 0xffffff8000000100,
559  0xffffff0000000000, 0xffffff0000000200,
560  0xfffffe0000000000, 0xfffffe0000000400,
561  0xfffffc0000000000, 0xfffffc0000000800,
562  0xfffff80000000000, 0xfffff80000001000,
563  0xfffff00000000000, 0xfffff00000002000,
564  0xffffe00000000000, 0xffffe00000004000,
565  0xffffc00000000000, 0xffffc00000008000,
566  0xffff800000000000, 0xffff800000010000,
567  0xffff000000000000, 0xffff000000020000,
568  0xfffe000000000000, 0xfffe000000040000,
569  0xfffc000000000000, 0xfffc000000080000,
570  0xfff8000000000000, 0xfff8000000100000,
571  0xfff0000000000000, 0xfff0000000200000,
572  0xffe0000000000000, 0xffe0000000400000,
573  0xffc0000000000000, 0xffc0000000800000,
574  0xff80000000000000, 0xff80000001000000,
575  0xff00000000000000, 0xff00000002000000,
576  0xfe00000000000000, 0xfe00000004000000,
577  0xfc00000000000000, 0xfc00000008000000,
578  0xf800000000000000, 0xf800000010000000,
579  0xf000000000000000, 0xf000000020000000,
580  0xe000000000000000, 0xe000000040000000,
581  0xc000000000000000, 0xc000000080000000,
582  0xffffffff80000001, 0xffffffffaaaaaaaa,
583  0xffffffff00000002, 0xffffffff55555554,
584  0xfffffffe00000004, 0xfffffffeaaaaaaa8,
585  0xfffffffc00000008, 0xfffffffd55555550,
586  0xfffffff800000010, 0xfffffffaaaaaaaa0,
587  0xfffffff000000020, 0xfffffff555555540,
588  0xffffffe000000040, 0xffffffeaaaaaaa80,
589  0xffffffc000000080, 0xffffffd555555500,
590  0xffffff8000000100, 0xffffffaaaaaaaa00,
591  0xffffff0000000200, 0xffffff5555555400,
592  0xfffffe0000000400, 0xfffffeaaaaaaa800,
593  0xfffffc0000000800, 0xfffffd5555555000,
594  0xfffff80000001000, 0xfffffaaaaaaaa000,
595  0xfffff00000002000, 0xfffff55555554000,
596  0xffffe00000004000, 0xffffeaaaaaaa8000,
597  0xffffc00000008000, 0xffffd55555550000,
598  0xffff800000010000, 0xffffaaaaaaaa0000,
599  0xffff000000020000, 0xffff555555540000,
600  0xfffe000000040000, 0xfffeaaaaaaa80000,
601  0xfffc000000080000, 0xfffd555555500000,
602  0xfff8000000100000, 0xfffaaaaaaaa00000,
603  0xfff0000000200000, 0xfff5555555400000,
604  0xffe0000000400000, 0xffeaaaaaaa800000,
605  0xffc0000000800000, 0xffd5555555000000,
606  0xff80000001000000, 0xffaaaaaaaa000000,
607  0xff00000002000000, 0xff55555554000000,
608  0xfe00000004000000, 0xfeaaaaaaa8000000,
609  0xfc00000008000000, 0xfd55555550000000,
610  0xf800000010000000, 0xfaaaaaaaa0000000,
611  0xf000000020000000, 0xf555555540000000,
612  0xe000000040000000, 0xeaaaaaaa80000000,
613  0xc000000080000000, 0xd555555500000000,
614  0xffffffffaaaaaaaa, 0xffffffffcccccccc,
615  0xffffffff55555554, 0xffffffff99999998,
616  0xfffffffeaaaaaaa8, 0xffffffff33333330,
617  0xfffffffd55555550, 0xfffffffe66666660,
618  0xfffffffaaaaaaaa0, 0xfffffffcccccccc0,
619  0xfffffff555555540, 0xfffffff999999980,
620  0xffffffeaaaaaaa80, 0xfffffff333333300,
621  0xffffffd555555500, 0xffffffe666666600,
622  0xffffffaaaaaaaa00, 0xffffffcccccccc00,
623  0xffffff5555555400, 0xffffff9999999800,
624  0xfffffeaaaaaaa800, 0xffffff3333333000,
625  0xfffffd5555555000, 0xfffffe6666666000,
626  0xfffffaaaaaaaa000, 0xfffffcccccccc000,
627  0xfffff55555554000, 0xfffff99999998000,
628  0xffffeaaaaaaa8000, 0xfffff33333330000,
629  0xffffd55555550000, 0xffffe66666660000,
630  0xffffaaaaaaaa0000, 0xffffcccccccc0000,
631  0xffff555555540000, 0xffff999999980000,
632  0xfffeaaaaaaa80000, 0xffff333333300000,
633  0xfffd555555500000, 0xfffe666666600000,
634  0xfffaaaaaaaa00000, 0xfffcccccccc00000,
635  0xfff5555555400000, 0xfff9999999800000,
636  0xffeaaaaaaa800000, 0xfff3333333000000,
637  0xffd5555555000000, 0xffe6666666000000,
638  0xffaaaaaaaa000000, 0xffcccccccc000000,
639  0xff55555554000000, 0xff99999998000000,
640  0xfeaaaaaaa8000000, 0xff33333330000000,
641  0xfd55555550000000, 0xfe66666660000000,
642  0xfaaaaaaaa0000000, 0xfcccccccc0000000,
643  0xf555555540000000, 0xf999999980000000,
644  0xeaaaaaaa80000000, 0xf333333300000000,
645  0xd555555500000000, 0xe666666600000000,
646  0xffffffffcccccccc, 0xffffffffffff8000,
647  0xffffffff99999998, 0xffffffffffff0000,
648  0xffffffff33333330, 0xfffffffffffe0000,
649  0xfffffffe66666660, 0xfffffffffffc0000,
650  0xfffffffcccccccc0, 0xfffffffffff80000,
651  0xfffffff999999980, 0xfffffffffff00000,
652  0xfffffff333333300, 0xffffffffffe00000,
653  0xffffffe666666600, 0xffffffffffc00000,
654  0xffffffcccccccc00, 0xffffffffff800000,
655  0xffffff9999999800, 0xffffffffff000000,
656  0xffffff3333333000, 0xfffffffffe000000,
657  0xfffffe6666666000, 0xfffffffffc000000,
658  0xfffffcccccccc000, 0xfffffffff8000000,
659  0xfffff99999998000, 0xfffffffff0000000,
660  0xfffff33333330000, 0xffffffffe0000000,
661  0xffffe66666660000, 0xffffffffc0000000,
662  0xffffcccccccc0000, 0xffffffff80000000,
663  0xffff999999980000, 0xffffffff00000000,
664  0xffff333333300000, 0xfffffffe00000000,
665  0xfffe666666600000, 0xfffffffc00000000,
666  0xfffcccccccc00000, 0xfffffff800000000,
667  0xfff9999999800000, 0xfffffff000000000,
668  0xfff3333333000000, 0xffffffe000000000,
669  0xffe6666666000000, 0xffffffc000000000,
670  0xffcccccccc000000, 0xffffff8000000000,
671  0xff99999998000000, 0xffffff0000000000,
672  0xff33333330000000, 0xfffffe0000000000,
673  0xfe66666660000000, 0xfffffc0000000000,
674  0xfcccccccc0000000, 0xfffff80000000000,
675  0xf999999980000000, 0xfffff00000000000,
676  0xf333333300000000, 0xffffe00000000000,
677  0xe666666600000000, 0xffffc00000000000,
678  0xffffffffffff8000, 0xffffffffffff8001,
679  0xffffffffffff0000, 0xffffffffffff0002,
680  0xfffffffffffe0000, 0xfffffffffffe0004,
681  0xfffffffffffc0000, 0xfffffffffffc0008,
682  0xfffffffffff80000, 0xfffffffffff80010,
683  0xfffffffffff00000, 0xfffffffffff00020,
684  0xffffffffffe00000, 0xffffffffffe00040,
685  0xffffffffffc00000, 0xffffffffffc00080,
686  0xffffffffff800000, 0xffffffffff800100,
687  0xffffffffff000000, 0xffffffffff000200,
688  0xfffffffffe000000, 0xfffffffffe000400,
689  0xfffffffffc000000, 0xfffffffffc000800,
690  0xfffffffff8000000, 0xfffffffff8001000,
691  0xfffffffff0000000, 0xfffffffff0002000,
692  0xffffffffe0000000, 0xffffffffe0004000,
693  0xffffffffc0000000, 0xffffffffc0008000,
694  0xffffffff80000000, 0xffffffff80010000,
695  0xffffffff00000000, 0xffffffff00020000,
696  0xfffffffe00000000, 0xfffffffe00040000,
697  0xfffffffc00000000, 0xfffffffc00080000,
698  0xfffffff800000000, 0xfffffff800100000,
699  0xfffffff000000000, 0xfffffff000200000,
700  0xffffffe000000000, 0xffffffe000400000,
701  0xffffffc000000000, 0xffffffc000800000,
702  0xffffff8000000000, 0xffffff8001000000,
703  0xffffff0000000000, 0xffffff0002000000,
704  0xfffffe0000000000, 0xfffffe0004000000,
705  0xfffffc0000000000, 0xfffffc0008000000,
706  0xfffff80000000000, 0xfffff80010000000,
707  0xfffff00000000000, 0xfffff00020000000,
708  0xffffe00000000000, 0xffffe00040000000,
709  0xffffc00000000000, 0xffffc00080000000,
710  0xffffffffffff8001, 0xffffffffffff8002,
711  0xffffffffffff0002, 0xffffffffffff0004,
712  0xfffffffffffe0004, 0xfffffffffffe0008,
713  0xfffffffffffc0008, 0xfffffffffffc0010,
714  0xfffffffffff80010, 0xfffffffffff80020,
715  0xfffffffffff00020, 0xfffffffffff00040,
716  0xffffffffffe00040, 0xffffffffffe00080,
717  0xffffffffffc00080, 0xffffffffffc00100,
718  0xffffffffff800100, 0xffffffffff800200,
719  0xffffffffff000200, 0xffffffffff000400,
720  0xfffffffffe000400, 0xfffffffffe000800,
721  0xfffffffffc000800, 0xfffffffffc001000,
722  0xfffffffff8001000, 0xfffffffff8002000,
723  0xfffffffff0002000, 0xfffffffff0004000,
724  0xffffffffe0004000, 0xffffffffe0008000,
725  0xffffffffc0008000, 0xffffffffc0010000,
726  0xffffffff80010000, 0xffffffff80020000,
727  0xffffffff00020000, 0xffffffff00040000,
728  0xfffffffe00040000, 0xfffffffe00080000,
729  0xfffffffc00080000, 0xfffffffc00100000,
730  0xfffffff800100000, 0xfffffff800200000,
731  0xfffffff000200000, 0xfffffff000400000,
732  0xffffffe000400000, 0xffffffe000800000,
733  0xffffffc000800000, 0xffffffc001000000,
734  0xffffff8001000000, 0xffffff8002000000,
735  0xffffff0002000000, 0xffffff0004000000,
736  0xfffffe0004000000, 0xfffffe0008000000,
737  0xfffffc0008000000, 0xfffffc0010000000,
738  0xfffff80010000000, 0xfffff80020000000,
739  0xfffff00020000000, 0xfffff00040000000,
740  0xffffe00040000000, 0xffffe00080000000,
741  0xffffc00080000000, 0xffffc00100000000,
742  0xffffffffffff8002, 0xffffffffffff8003,
743  0xffffffffffff0004, 0xffffffffffff0006,
744  0xfffffffffffe0008, 0xfffffffffffe000c,
745  0xfffffffffffc0010, 0xfffffffffffc0018,
746  0xfffffffffff80020, 0xfffffffffff80030,
747  0xfffffffffff00040, 0xfffffffffff00060,
748  0xffffffffffe00080, 0xffffffffffe000c0,
749  0xffffffffffc00100, 0xffffffffffc00180,
750  0xffffffffff800200, 0xffffffffff800300,
751  0xffffffffff000400, 0xffffffffff000600,
752  0xfffffffffe000800, 0xfffffffffe000c00,
753  0xfffffffffc001000, 0xfffffffffc001800,
754  0xfffffffff8002000, 0xfffffffff8003000,
755  0xfffffffff0004000, 0xfffffffff0006000,
756  0xffffffffe0008000, 0xffffffffe000c000,
757  0xffffffffc0010000, 0xffffffffc0018000,
758  0xffffffff80020000, 0xffffffff80030000,
759  0xffffffff00040000, 0xffffffff00060000,
760  0xfffffffe00080000, 0xfffffffe000c0000,
761  0xfffffffc00100000, 0xfffffffc00180000,
762  0xfffffff800200000, 0xfffffff800300000,
763  0xfffffff000400000, 0xfffffff000600000,
764  0xffffffe000800000, 0xffffffe000c00000,
765  0xffffffc001000000, 0xffffffc001800000,
766  0xffffff8002000000, 0xffffff8003000000,
767  0xffffff0004000000, 0xffffff0006000000,
768  0xfffffe0008000000, 0xfffffe000c000000,
769  0xfffffc0010000000, 0xfffffc0018000000,
770  0xfffff80020000000, 0xfffff80030000000,
771  0xfffff00040000000, 0xfffff00060000000,
772  0xffffe00080000000, 0xffffe000c0000000,
773  0xffffc00100000000, 0xffffc00180000000,
774  0xffffffffffff8003, 0xffffffffffffff80,
775  0xffffffffffff0006, 0xffffffffffffff00,
776  0xfffffffffffe000c, 0xfffffffffffffe00,
777  0xfffffffffffc0018, 0xfffffffffffffc00,
778  0xfffffffffff80030, 0xfffffffffffff800,
779  0xfffffffffff00060, 0xfffffffffffff000,
780  0xffffffffffe000c0, 0xffffffffffffe000,
781  0xffffffffffc00180, 0xffffffffffffc000,
782  0xffffffffff800300, 0xffffffffffff8000,
783  0xffffffffff000600, 0xffffffffffff0000,
784  0xfffffffffe000c00, 0xfffffffffffe0000,
785  0xfffffffffc001800, 0xfffffffffffc0000,
786  0xfffffffff8003000, 0xfffffffffff80000,
787  0xfffffffff0006000, 0xfffffffffff00000,
788  0xffffffffe000c000, 0xffffffffffe00000,
789  0xffffffffc0018000, 0xffffffffffc00000,
790  0xffffffff80030000, 0xffffffffff800000,
791  0xffffffff00060000, 0xffffffffff000000,
792  0xfffffffe000c0000, 0xfffffffffe000000,
793  0xfffffffc00180000, 0xfffffffffc000000,
794  0xfffffff800300000, 0xfffffffff8000000,
795  0xfffffff000600000, 0xfffffffff0000000,
796  0xffffffe000c00000, 0xffffffffe0000000,
797  0xffffffc001800000, 0xffffffffc0000000,
798  0xffffff8003000000, 0xffffffff80000000,
799  0xffffff0006000000, 0xffffffff00000000,
800  0xfffffe000c000000, 0xfffffffe00000000,
801  0xfffffc0018000000, 0xfffffffc00000000,
802  0xfffff80030000000, 0xfffffff800000000,
803  0xfffff00060000000, 0xfffffff000000000,
804  0xffffe000c0000000, 0xffffffe000000000,
805  0xffffc00180000000, 0xffffffc000000000,
806  0xffffffffffffff80, 0xffffffffffffff81,
807  0xffffffffffffff00, 0xffffffffffffff02,
808  0xfffffffffffffe00, 0xfffffffffffffe04,
809  0xfffffffffffffc00, 0xfffffffffffffc08,
810  0xfffffffffffff800, 0xfffffffffffff810,
811  0xfffffffffffff000, 0xfffffffffffff020,
812  0xffffffffffffe000, 0xffffffffffffe040,
813  0xffffffffffffc000, 0xffffffffffffc080,
814  0xffffffffffff8000, 0xffffffffffff8100,
815  0xffffffffffff0000, 0xffffffffffff0200,
816  0xfffffffffffe0000, 0xfffffffffffe0400,
817  0xfffffffffffc0000, 0xfffffffffffc0800,
818  0xfffffffffff80000, 0xfffffffffff81000,
819  0xfffffffffff00000, 0xfffffffffff02000,
820  0xffffffffffe00000, 0xffffffffffe04000,
821  0xffffffffffc00000, 0xffffffffffc08000,
822  0xffffffffff800000, 0xffffffffff810000,
823  0xffffffffff000000, 0xffffffffff020000,
824  0xfffffffffe000000, 0xfffffffffe040000,
825  0xfffffffffc000000, 0xfffffffffc080000,
826  0xfffffffff8000000, 0xfffffffff8100000,
827  0xfffffffff0000000, 0xfffffffff0200000,
828  0xffffffffe0000000, 0xffffffffe0400000,
829  0xffffffffc0000000, 0xffffffffc0800000,
830  0xffffffff80000000, 0xffffffff81000000,
831  0xffffffff00000000, 0xffffffff02000000,
832  0xfffffffe00000000, 0xfffffffe04000000,
833  0xfffffffc00000000, 0xfffffffc08000000,
834  0xfffffff800000000, 0xfffffff810000000,
835  0xfffffff000000000, 0xfffffff020000000,
836  0xffffffe000000000, 0xffffffe040000000,
837  0xffffffc000000000, 0xffffffc080000000,
838  0xffffffffffffff81, 0xffffffffffffff82,
839  0xffffffffffffff02, 0xffffffffffffff04,
840  0xfffffffffffffe04, 0xfffffffffffffe08,
841  0xfffffffffffffc08, 0xfffffffffffffc10,
842  0xfffffffffffff810, 0xfffffffffffff820,
843  0xfffffffffffff020, 0xfffffffffffff040,
844  0xffffffffffffe040, 0xffffffffffffe080,
845  0xffffffffffffc080, 0xffffffffffffc100,
846  0xffffffffffff8100, 0xffffffffffff8200,
847  0xffffffffffff0200, 0xffffffffffff0400,
848  0xfffffffffffe0400, 0xfffffffffffe0800,
849  0xfffffffffffc0800, 0xfffffffffffc1000,
850  0xfffffffffff81000, 0xfffffffffff82000,
851  0xfffffffffff02000, 0xfffffffffff04000,
852  0xffffffffffe04000, 0xffffffffffe08000,
853  0xffffffffffc08000, 0xffffffffffc10000,
854  0xffffffffff810000, 0xffffffffff820000,
855  0xffffffffff020000, 0xffffffffff040000,
856  0xfffffffffe040000, 0xfffffffffe080000,
857  0xfffffffffc080000, 0xfffffffffc100000,
858  0xfffffffff8100000, 0xfffffffff8200000,
859  0xfffffffff0200000, 0xfffffffff0400000,
860  0xffffffffe0400000, 0xffffffffe0800000,
861  0xffffffffc0800000, 0xffffffffc1000000,
862  0xffffffff81000000, 0xffffffff82000000,
863  0xffffffff02000000, 0xffffffff04000000,
864  0xfffffffe04000000, 0xfffffffe08000000,
865  0xfffffffc08000000, 0xfffffffc10000000,
866  0xfffffff810000000, 0xfffffff820000000,
867  0xfffffff020000000, 0xfffffff040000000,
868  0xffffffe040000000, 0xffffffe080000000,
869  0xffffffc080000000, 0xffffffc100000000,
870  0xffffffffffffff82, 0xffffffffffffff83,
871  0xffffffffffffff04, 0xffffffffffffff06,
872  0xfffffffffffffe08, 0xfffffffffffffe0c,
873  0xfffffffffffffc10, 0xfffffffffffffc18,
874  0xfffffffffffff820, 0xfffffffffffff830,
875  0xfffffffffffff040, 0xfffffffffffff060,
876  0xffffffffffffe080, 0xffffffffffffe0c0,
877  0xffffffffffffc100, 0xffffffffffffc180,
878  0xffffffffffff8200, 0xffffffffffff8300,
879  0xffffffffffff0400, 0xffffffffffff0600,
880  0xfffffffffffe0800, 0xfffffffffffe0c00,
881  0xfffffffffffc1000, 0xfffffffffffc1800,
882  0xfffffffffff82000, 0xfffffffffff83000,
883  0xfffffffffff04000, 0xfffffffffff06000,
884  0xffffffffffe08000, 0xffffffffffe0c000,
885  0xffffffffffc10000, 0xffffffffffc18000,
886  0xffffffffff820000, 0xffffffffff830000,
887  0xffffffffff040000, 0xffffffffff060000,
888  0xfffffffffe080000, 0xfffffffffe0c0000,
889  0xfffffffffc100000, 0xfffffffffc180000,
890  0xfffffffff8200000, 0xfffffffff8300000,
891  0xfffffffff0400000, 0xfffffffff0600000,
892  0xffffffffe0800000, 0xffffffffe0c00000,
893  0xffffffffc1000000, 0xffffffffc1800000,
894  0xffffffff82000000, 0xffffffff83000000,
895  0xffffffff04000000, 0xffffffff06000000,
896  0xfffffffe08000000, 0xfffffffe0c000000,
897  0xfffffffc10000000, 0xfffffffc18000000,
898  0xfffffff820000000, 0xfffffff830000000,
899  0xfffffff040000000, 0xfffffff060000000,
900  0xffffffe080000000, 0xffffffe0c0000000,
901  0xffffffc100000000, 0xffffffc180000000,
902  0xffffffffffffff83, 0xffffffffffffffe0,
903  0xffffffffffffff06, 0xffffffffffffffc0,
904  0xfffffffffffffe0c, 0xffffffffffffff80,
905  0xfffffffffffffc18, 0xffffffffffffff00,
906  0xfffffffffffff830, 0xfffffffffffffe00,
907  0xfffffffffffff060, 0xfffffffffffffc00,
908  0xffffffffffffe0c0, 0xfffffffffffff800,
909  0xffffffffffffc180, 0xfffffffffffff000,
910  0xffffffffffff8300, 0xffffffffffffe000,
911  0xffffffffffff0600, 0xffffffffffffc000,
912  0xfffffffffffe0c00, 0xffffffffffff8000,
913  0xfffffffffffc1800, 0xffffffffffff0000,
914  0xfffffffffff83000, 0xfffffffffffe0000,
915  0xfffffffffff06000, 0xfffffffffffc0000,
916  0xffffffffffe0c000, 0xfffffffffff80000,
917  0xffffffffffc18000, 0xfffffffffff00000,
918  0xffffffffff830000, 0xffffffffffe00000,
919  0xffffffffff060000, 0xffffffffffc00000,
920  0xfffffffffe0c0000, 0xffffffffff800000,
921  0xfffffffffc180000, 0xffffffffff000000,
922  0xfffffffff8300000, 0xfffffffffe000000,
923  0xfffffffff0600000, 0xfffffffffc000000,
924  0xffffffffe0c00000, 0xfffffffff8000000,
925  0xffffffffc1800000, 0xfffffffff0000000,
926  0xffffffff83000000, 0xffffffffe0000000,
927  0xffffffff06000000, 0xffffffffc0000000,
928  0xfffffffe0c000000, 0xffffffff80000000,
929  0xfffffffc18000000, 0xffffffff00000000,
930  0xfffffff830000000, 0xfffffffe00000000,
931  0xfffffff060000000, 0xfffffffc00000000,
932  0xffffffe0c0000000, 0xfffffff800000000,
933  0xffffffc180000000, 0xfffffff000000000,
934  0xffffffffffffffe0, 0xfffffffffffffffd,
935  0xffffffffffffffc0, 0xfffffffffffffffa,
936  0xffffffffffffff80, 0xfffffffffffffff4,
937  0xffffffffffffff00, 0xffffffffffffffe8,
938  0xfffffffffffffe00, 0xffffffffffffffd0,
939  0xfffffffffffffc00, 0xffffffffffffffa0,
940  0xfffffffffffff800, 0xffffffffffffff40,
941  0xfffffffffffff000, 0xfffffffffffffe80,
942  0xffffffffffffe000, 0xfffffffffffffd00,
943  0xffffffffffffc000, 0xfffffffffffffa00,
944  0xffffffffffff8000, 0xfffffffffffff400,
945  0xffffffffffff0000, 0xffffffffffffe800,
946  0xfffffffffffe0000, 0xffffffffffffd000,
947  0xfffffffffffc0000, 0xffffffffffffa000,
948  0xfffffffffff80000, 0xffffffffffff4000,
949  0xfffffffffff00000, 0xfffffffffffe8000,
950  0xffffffffffe00000, 0xfffffffffffd0000,
951  0xffffffffffc00000, 0xfffffffffffa0000,
952  0xffffffffff800000, 0xfffffffffff40000,
953  0xffffffffff000000, 0xffffffffffe80000,
954  0xfffffffffe000000, 0xffffffffffd00000,
955  0xfffffffffc000000, 0xffffffffffa00000,
956  0xfffffffff8000000, 0xffffffffff400000,
957  0xfffffffff0000000, 0xfffffffffe800000,
958  0xffffffffe0000000, 0xfffffffffd000000,
959  0xffffffffc0000000, 0xfffffffffa000000,
960  0xffffffff80000000, 0xfffffffff4000000,
961  0xffffffff00000000, 0xffffffffe8000000,
962  0xfffffffe00000000, 0xffffffffd0000000,
963  0xfffffffc00000000, 0xffffffffa0000000,
964  0xfffffff800000000, 0xffffffff40000000,
965  0xfffffff000000000, 0xfffffffe80000000,
966  0xfffffffffffffffd, 0xfffffffffffffffe,
967  0xfffffffffffffffa, 0xfffffffffffffffc,
968  0xfffffffffffffff4, 0xfffffffffffffff8,
969  0xffffffffffffffe8, 0xfffffffffffffff0,
970  0xffffffffffffffd0, 0xffffffffffffffe0,
971  0xffffffffffffffa0, 0xffffffffffffffc0,
972  0xffffffffffffff40, 0xffffffffffffff80,
973  0xfffffffffffffe80, 0xffffffffffffff00,
974  0xfffffffffffffd00, 0xfffffffffffffe00,
975  0xfffffffffffffa00, 0xfffffffffffffc00,
976  0xfffffffffffff400, 0xfffffffffffff800,
977  0xffffffffffffe800, 0xfffffffffffff000,
978  0xffffffffffffd000, 0xffffffffffffe000,
979  0xffffffffffffa000, 0xffffffffffffc000,
980  0xffffffffffff4000, 0xffffffffffff8000,
981  0xfffffffffffe8000, 0xffffffffffff0000,
982  0xfffffffffffd0000, 0xfffffffffffe0000,
983  0xfffffffffffa0000, 0xfffffffffffc0000,
984  0xfffffffffff40000, 0xfffffffffff80000,
985  0xffffffffffe80000, 0xfffffffffff00000,
986  0xffffffffffd00000, 0xffffffffffe00000,
987  0xffffffffffa00000, 0xffffffffffc00000,
988  0xffffffffff400000, 0xffffffffff800000,
989  0xfffffffffe800000, 0xffffffffff000000,
990  0xfffffffffd000000, 0xfffffffffe000000,
991  0xfffffffffa000000, 0xfffffffffc000000,
992  0xfffffffff4000000, 0xfffffffff8000000,
993  0xffffffffe8000000, 0xfffffffff0000000,
994  0xffffffffd0000000, 0xffffffffe0000000,
995  0xffffffffa0000000, 0xffffffffc0000000,
996  0xffffffff40000000, 0xffffffff80000000,
997  0xfffffffe80000000, 0xffffffff00000000,
998  0xfffffffffffffffe, 0xffffffffffffffff,
999  0xfffffffffffffffc, 0xfffffffffffffffe,
1000  0xfffffffffffffff8, 0xfffffffffffffffc,
1001  0xfffffffffffffff0, 0xfffffffffffffff8,
1002  0xffffffffffffffe0, 0xfffffffffffffff0,
1003  0xffffffffffffffc0, 0xffffffffffffffe0,
1004  0xffffffffffffff80, 0xffffffffffffffc0,
1005  0xffffffffffffff00, 0xffffffffffffff80,
1006  0xfffffffffffffe00, 0xffffffffffffff00,
1007  0xfffffffffffffc00, 0xfffffffffffffe00,
1008  0xfffffffffffff800, 0xfffffffffffffc00,
1009  0xfffffffffffff000, 0xfffffffffffff800,
1010  0xffffffffffffe000, 0xfffffffffffff000,
1011  0xffffffffffffc000, 0xffffffffffffe000,
1012  0xffffffffffff8000, 0xffffffffffffc000,
1013  0xffffffffffff0000, 0xffffffffffff8000,
1014  0xfffffffffffe0000, 0xffffffffffff0000,
1015  0xfffffffffffc0000, 0xfffffffffffe0000,
1016  0xfffffffffff80000, 0xfffffffffffc0000,
1017  0xfffffffffff00000, 0xfffffffffff80000,
1018  0xffffffffffe00000, 0xfffffffffff00000,
1019  0xffffffffffc00000, 0xffffffffffe00000,
1020  0xffffffffff800000, 0xffffffffffc00000,
1021  0xffffffffff000000, 0xffffffffff800000,
1022  0xfffffffffe000000, 0xffffffffff000000,
1023  0xfffffffffc000000, 0xfffffffffe000000,
1024  0xfffffffff8000000, 0xfffffffffc000000,
1025  0xfffffffff0000000, 0xfffffffff8000000,
1026  0xffffffffe0000000, 0xfffffffff0000000,
1027  0xffffffffc0000000, 0xffffffffe0000000,
1028  0xffffffff80000000, 0xffffffffc0000000,
1029  0xffffffff00000000, 0xffffffff80000000,
1030};
1031const unsigned kExpectedCount_NEON_sshll2_2D_2OPIMM = 992;
1032
1033#endif  // VIXL_SIM_SSHLL2_2D_2OPIMM_TRACE_AARCH64_H_
1034