• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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_SADDL2_2D_TRACE_AARCH64_H_
35 #define VIXL_SIM_SADDL2_2D_TRACE_AARCH64_H_
36 
37 const uint64_t kExpected_NEON_saddl2_2D[] = {
38   0x0000000000fffa00, 0x0000000000000000,
39   0x00000000007ffd00, 0x0000000000000001,
40   0x00000000007ffd01, 0x0000000000000002,
41   0x00000000007ffd02, 0x0000000000000020,
42   0x00000000007ffd20, 0x000000000000007d,
43   0x00000000007ffd7d, 0x000000000000007e,
44   0x00000000007ffd7e, 0x000000000000007f,
45   0x00000000007ffd7f, 0x0000000000007ffd,
46   0x0000000000807cfd, 0x0000000000007ffe,
47   0x0000000000807cfe, 0x0000000000007fff,
48   0x0000000000807cff, 0x0000000033333333,
49   0x0000000033b33033, 0x0000000055555555,
50   0x0000000055d55255, 0x000000007ffffffd,
51   0x00000000807ffcfd, 0x000000007ffffffe,
52   0x00000000807ffcfe, 0x000000007fffffff,
53   0x00000000807ffcff, 0xffffffff80000000,
54   0xffffffff807ffd00, 0xffffffff80000001,
55   0xffffffff807ffd01, 0xffffffffaaaaaaaa,
56   0xffffffffab2aa7aa, 0xffffffffcccccccc,
57   0xffffffffcd4cc9cc, 0xffffffffffff8000,
58   0x00000000007f7d00, 0xffffffffffff8001,
59   0x00000000007f7d01, 0xffffffffffff8002,
60   0x00000000007f7d02, 0xffffffffffff8003,
61   0x00000000007f7d03, 0xffffffffffffff80,
62   0x00000000007ffc80, 0xffffffffffffff81,
63   0x00000000007ffc81, 0xffffffffffffff82,
64   0x00000000007ffc82, 0xffffffffffffff83,
65   0x00000000007ffc83, 0xffffffffffffffe0,
66   0x00000000007ffce0, 0xfffffffffffffffd,
67   0x00000000007ffcfd, 0xfffffffffffffffe,
68   0x00000000007ffcfe, 0xffffffffffffffff,
69   0xffffffffffffffff, 0x0000000000000001,
70   0x0000000000000000, 0x0000000000000002,
71   0x0000000000000001, 0x0000000000000003,
72   0x0000000000000002, 0x0000000000000021,
73   0x0000000000000020, 0x000000000000007e,
74   0x000000000000007d, 0x000000000000007f,
75   0x000000000000007e, 0x0000000000000080,
76   0x000000000000007f, 0x0000000000007ffe,
77   0x0000000000007ffd, 0x0000000000007fff,
78   0x0000000000007ffe, 0x0000000000008000,
79   0x0000000000007fff, 0x0000000033333334,
80   0x0000000033333333, 0x0000000055555556,
81   0x0000000055555555, 0x000000007ffffffe,
82   0x000000007ffffffd, 0x000000007fffffff,
83   0x000000007ffffffe, 0x0000000080000000,
84   0x000000007fffffff, 0xffffffff80000001,
85   0xffffffff80000000, 0xffffffff80000002,
86   0xffffffff80000001, 0xffffffffaaaaaaab,
87   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
88   0xffffffffcccccccc, 0xffffffffffff8001,
89   0xffffffffffff8000, 0xffffffffffff8002,
90   0xffffffffffff8001, 0xffffffffffff8003,
91   0xffffffffffff8002, 0xffffffffffff8004,
92   0xffffffffffff8003, 0xffffffffffffff81,
93   0xffffffffffffff80, 0xffffffffffffff82,
94   0xffffffffffffff81, 0xffffffffffffff83,
95   0xffffffffffffff82, 0xffffffffffffff84,
96   0xffffffffffffff83, 0xffffffffffffffe1,
97   0xffffffffffffffe0, 0xfffffffffffffffe,
98   0xfffffffffffffffd, 0xffffffffffffffff,
99   0xfffffffffffffffe, 0x0000000000000000,
100   0x0000000000000000, 0x0000000000000002,
101   0x0000000000000001, 0x0000000000000003,
102   0x0000000000000002, 0x0000000000000004,
103   0x0000000000000003, 0x0000000000000022,
104   0x0000000000000021, 0x000000000000007f,
105   0x000000000000007e, 0x0000000000000080,
106   0x000000000000007f, 0x0000000000000081,
107   0x0000000000000080, 0x0000000000007fff,
108   0x0000000000007ffe, 0x0000000000008000,
109   0x0000000000007fff, 0x0000000000008001,
110   0x0000000000008000, 0x0000000033333335,
111   0x0000000033333334, 0x0000000055555557,
112   0x0000000055555556, 0x000000007fffffff,
113   0x000000007ffffffe, 0x0000000080000000,
114   0x000000007fffffff, 0x0000000080000001,
115   0x0000000080000000, 0xffffffff80000002,
116   0xffffffff80000001, 0xffffffff80000003,
117   0xffffffff80000002, 0xffffffffaaaaaaac,
118   0xffffffffaaaaaaab, 0xffffffffccccccce,
119   0xffffffffcccccccd, 0xffffffffffff8002,
120   0xffffffffffff8001, 0xffffffffffff8003,
121   0xffffffffffff8002, 0xffffffffffff8004,
122   0xffffffffffff8003, 0xffffffffffff8005,
123   0xffffffffffff8004, 0xffffffffffffff82,
124   0xffffffffffffff81, 0xffffffffffffff83,
125   0xffffffffffffff82, 0xffffffffffffff84,
126   0xffffffffffffff83, 0xffffffffffffff85,
127   0xffffffffffffff84, 0xffffffffffffffe2,
128   0xffffffffffffffe1, 0xffffffffffffffff,
129   0xfffffffffffffffe, 0x0000000000000000,
130   0xffffffffffffffff, 0x0000000000000001,
131   0x0000000000000001, 0x0000000000000020,
132   0x0000000000000002, 0x0000000000000021,
133   0x0000000000000003, 0x0000000000000022,
134   0x0000000000000004, 0x0000000000000040,
135   0x0000000000000022, 0x000000000000009d,
136   0x000000000000007f, 0x000000000000009e,
137   0x0000000000000080, 0x000000000000009f,
138   0x0000000000000081, 0x000000000000801d,
139   0x0000000000007fff, 0x000000000000801e,
140   0x0000000000008000, 0x000000000000801f,
141   0x0000000000008001, 0x0000000033333353,
142   0x0000000033333335, 0x0000000055555575,
143   0x0000000055555557, 0x000000008000001d,
144   0x000000007fffffff, 0x000000008000001e,
145   0x0000000080000000, 0x000000008000001f,
146   0x0000000080000001, 0xffffffff80000020,
147   0xffffffff80000002, 0xffffffff80000021,
148   0xffffffff80000003, 0xffffffffaaaaaaca,
149   0xffffffffaaaaaaac, 0xffffffffccccccec,
150   0xffffffffccccccce, 0xffffffffffff8020,
151   0xffffffffffff8002, 0xffffffffffff8021,
152   0xffffffffffff8003, 0xffffffffffff8022,
153   0xffffffffffff8004, 0xffffffffffff8023,
154   0xffffffffffff8005, 0xffffffffffffffa0,
155   0xffffffffffffff82, 0xffffffffffffffa1,
156   0xffffffffffffff83, 0xffffffffffffffa2,
157   0xffffffffffffff84, 0xffffffffffffffa3,
158   0xffffffffffffff85, 0x0000000000000000,
159   0xffffffffffffffe2, 0x000000000000001d,
160   0xffffffffffffffff, 0x000000000000001e,
161   0x0000000000000000, 0x000000000000001f,
162   0x000000000000001f, 0x000000000000007d,
163   0x0000000000000020, 0x000000000000007e,
164   0x0000000000000021, 0x000000000000007f,
165   0x0000000000000022, 0x000000000000009d,
166   0x0000000000000040, 0x00000000000000fa,
167   0x000000000000009d, 0x00000000000000fb,
168   0x000000000000009e, 0x00000000000000fc,
169   0x000000000000009f, 0x000000000000807a,
170   0x000000000000801d, 0x000000000000807b,
171   0x000000000000801e, 0x000000000000807c,
172   0x000000000000801f, 0x00000000333333b0,
173   0x0000000033333353, 0x00000000555555d2,
174   0x0000000055555575, 0x000000008000007a,
175   0x000000008000001d, 0x000000008000007b,
176   0x000000008000001e, 0x000000008000007c,
177   0x000000008000001f, 0xffffffff8000007d,
178   0xffffffff80000020, 0xffffffff8000007e,
179   0xffffffff80000021, 0xffffffffaaaaab27,
180   0xffffffffaaaaaaca, 0xffffffffcccccd49,
181   0xffffffffccccccec, 0xffffffffffff807d,
182   0xffffffffffff8020, 0xffffffffffff807e,
183   0xffffffffffff8021, 0xffffffffffff807f,
184   0xffffffffffff8022, 0xffffffffffff8080,
185   0xffffffffffff8023, 0xfffffffffffffffd,
186   0xffffffffffffffa0, 0xfffffffffffffffe,
187   0xffffffffffffffa1, 0xffffffffffffffff,
188   0xffffffffffffffa2, 0x0000000000000000,
189   0xffffffffffffffa3, 0x000000000000005d,
190   0x0000000000000000, 0x000000000000007a,
191   0x000000000000001d, 0x000000000000007b,
192   0x000000000000001e, 0x000000000000007c,
193   0x000000000000007c, 0x000000000000007e,
194   0x000000000000007d, 0x000000000000007f,
195   0x000000000000007e, 0x0000000000000080,
196   0x000000000000007f, 0x000000000000009e,
197   0x000000000000009d, 0x00000000000000fb,
198   0x00000000000000fa, 0x00000000000000fc,
199   0x00000000000000fb, 0x00000000000000fd,
200   0x00000000000000fc, 0x000000000000807b,
201   0x000000000000807a, 0x000000000000807c,
202   0x000000000000807b, 0x000000000000807d,
203   0x000000000000807c, 0x00000000333333b1,
204   0x00000000333333b0, 0x00000000555555d3,
205   0x00000000555555d2, 0x000000008000007b,
206   0x000000008000007a, 0x000000008000007c,
207   0x000000008000007b, 0x000000008000007d,
208   0x000000008000007c, 0xffffffff8000007e,
209   0xffffffff8000007d, 0xffffffff8000007f,
210   0xffffffff8000007e, 0xffffffffaaaaab28,
211   0xffffffffaaaaab27, 0xffffffffcccccd4a,
212   0xffffffffcccccd49, 0xffffffffffff807e,
213   0xffffffffffff807d, 0xffffffffffff807f,
214   0xffffffffffff807e, 0xffffffffffff8080,
215   0xffffffffffff807f, 0xffffffffffff8081,
216   0xffffffffffff8080, 0xfffffffffffffffe,
217   0xfffffffffffffffd, 0xffffffffffffffff,
218   0xfffffffffffffffe, 0x0000000000000000,
219   0xffffffffffffffff, 0x0000000000000001,
220   0x0000000000000000, 0x000000000000005e,
221   0x000000000000005d, 0x000000000000007b,
222   0x000000000000007a, 0x000000000000007c,
223   0x000000000000007b, 0x000000000000007d,
224   0x000000000000007d, 0x000000000000007f,
225   0x000000000000007e, 0x0000000000000080,
226   0x000000000000007f, 0x0000000000000081,
227   0x0000000000000080, 0x000000000000009f,
228   0x000000000000009e, 0x00000000000000fc,
229   0x00000000000000fb, 0x00000000000000fd,
230   0x00000000000000fc, 0x00000000000000fe,
231   0x00000000000000fd, 0x000000000000807c,
232   0x000000000000807b, 0x000000000000807d,
233   0x000000000000807c, 0x000000000000807e,
234   0x000000000000807d, 0x00000000333333b2,
235   0x00000000333333b1, 0x00000000555555d4,
236   0x00000000555555d3, 0x000000008000007c,
237   0x000000008000007b, 0x000000008000007d,
238   0x000000008000007c, 0x000000008000007e,
239   0x000000008000007d, 0xffffffff8000007f,
240   0xffffffff8000007e, 0xffffffff80000080,
241   0xffffffff8000007f, 0xffffffffaaaaab29,
242   0xffffffffaaaaab28, 0xffffffffcccccd4b,
243   0xffffffffcccccd4a, 0xffffffffffff807f,
244   0xffffffffffff807e, 0xffffffffffff8080,
245   0xffffffffffff807f, 0xffffffffffff8081,
246   0xffffffffffff8080, 0xffffffffffff8082,
247   0xffffffffffff8081, 0xffffffffffffffff,
248   0xfffffffffffffffe, 0x0000000000000000,
249   0xffffffffffffffff, 0x0000000000000001,
250   0x0000000000000000, 0x0000000000000002,
251   0x0000000000000001, 0x000000000000005f,
252   0x000000000000005e, 0x000000000000007c,
253   0x000000000000007b, 0x000000000000007d,
254   0x000000000000007c, 0x000000000000007e,
255   0x000000000000007e, 0x0000000000007ffd,
256   0x000000000000007f, 0x0000000000007ffe,
257   0x0000000000000080, 0x0000000000007fff,
258   0x0000000000000081, 0x000000000000801d,
259   0x000000000000009f, 0x000000000000807a,
260   0x00000000000000fc, 0x000000000000807b,
261   0x00000000000000fd, 0x000000000000807c,
262   0x00000000000000fe, 0x000000000000fffa,
263   0x000000000000807c, 0x000000000000fffb,
264   0x000000000000807d, 0x000000000000fffc,
265   0x000000000000807e, 0x000000003333b330,
266   0x00000000333333b2, 0x000000005555d552,
267   0x00000000555555d4, 0x0000000080007ffa,
268   0x000000008000007c, 0x0000000080007ffb,
269   0x000000008000007d, 0x0000000080007ffc,
270   0x000000008000007e, 0xffffffff80007ffd,
271   0xffffffff8000007f, 0xffffffff80007ffe,
272   0xffffffff80000080, 0xffffffffaaab2aa7,
273   0xffffffffaaaaab29, 0xffffffffcccd4cc9,
274   0xffffffffcccccd4b, 0xfffffffffffffffd,
275   0xffffffffffff807f, 0xfffffffffffffffe,
276   0xffffffffffff8080, 0xffffffffffffffff,
277   0xffffffffffff8081, 0x0000000000000000,
278   0xffffffffffff8082, 0x0000000000007f7d,
279   0xffffffffffffffff, 0x0000000000007f7e,
280   0x0000000000000000, 0x0000000000007f7f,
281   0x0000000000000001, 0x0000000000007f80,
282   0x0000000000000002, 0x0000000000007fdd,
283   0x000000000000005f, 0x0000000000007ffa,
284   0x000000000000007c, 0x0000000000007ffb,
285   0x000000000000007d, 0x0000000000007ffc,
286   0x0000000000007ffc, 0x0000000000007ffe,
287   0x0000000000007ffd, 0x0000000000007fff,
288   0x0000000000007ffe, 0x0000000000008000,
289   0x0000000000007fff, 0x000000000000801e,
290   0x000000000000801d, 0x000000000000807b,
291   0x000000000000807a, 0x000000000000807c,
292   0x000000000000807b, 0x000000000000807d,
293   0x000000000000807c, 0x000000000000fffb,
294   0x000000000000fffa, 0x000000000000fffc,
295   0x000000000000fffb, 0x000000000000fffd,
296   0x000000000000fffc, 0x000000003333b331,
297   0x000000003333b330, 0x000000005555d553,
298   0x000000005555d552, 0x0000000080007ffb,
299   0x0000000080007ffa, 0x0000000080007ffc,
300   0x0000000080007ffb, 0x0000000080007ffd,
301   0x0000000080007ffc, 0xffffffff80007ffe,
302   0xffffffff80007ffd, 0xffffffff80007fff,
303   0xffffffff80007ffe, 0xffffffffaaab2aa8,
304   0xffffffffaaab2aa7, 0xffffffffcccd4cca,
305   0xffffffffcccd4cc9, 0xfffffffffffffffe,
306   0xfffffffffffffffd, 0xffffffffffffffff,
307   0xfffffffffffffffe, 0x0000000000000000,
308   0xffffffffffffffff, 0x0000000000000001,
309   0x0000000000000000, 0x0000000000007f7e,
310   0x0000000000007f7d, 0x0000000000007f7f,
311   0x0000000000007f7e, 0x0000000000007f80,
312   0x0000000000007f7f, 0x0000000000007f81,
313   0x0000000000007f80, 0x0000000000007fde,
314   0x0000000000007fdd, 0x0000000000007ffb,
315   0x0000000000007ffa, 0x0000000000007ffc,
316   0x0000000000007ffb, 0x0000000000007ffd,
317   0x0000000000007ffd, 0x0000000000007fff,
318   0x0000000000007ffe, 0x0000000000008000,
319   0x0000000000007fff, 0x0000000000008001,
320   0x0000000000008000, 0x000000000000801f,
321   0x000000000000801e, 0x000000000000807c,
322   0x000000000000807b, 0x000000000000807d,
323   0x000000000000807c, 0x000000000000807e,
324   0x000000000000807d, 0x000000000000fffc,
325   0x000000000000fffb, 0x000000000000fffd,
326   0x000000000000fffc, 0x000000000000fffe,
327   0x000000000000fffd, 0x000000003333b332,
328   0x000000003333b331, 0x000000005555d554,
329   0x000000005555d553, 0x0000000080007ffc,
330   0x0000000080007ffb, 0x0000000080007ffd,
331   0x0000000080007ffc, 0x0000000080007ffe,
332   0x0000000080007ffd, 0xffffffff80007fff,
333   0xffffffff80007ffe, 0xffffffff80008000,
334   0xffffffff80007fff, 0xffffffffaaab2aa9,
335   0xffffffffaaab2aa8, 0xffffffffcccd4ccb,
336   0xffffffffcccd4cca, 0xffffffffffffffff,
337   0xfffffffffffffffe, 0x0000000000000000,
338   0xffffffffffffffff, 0x0000000000000001,
339   0x0000000000000000, 0x0000000000000002,
340   0x0000000000000001, 0x0000000000007f7f,
341   0x0000000000007f7e, 0x0000000000007f80,
342   0x0000000000007f7f, 0x0000000000007f81,
343   0x0000000000007f80, 0x0000000000007f82,
344   0x0000000000007f81, 0x0000000000007fdf,
345   0x0000000000007fde, 0x0000000000007ffc,
346   0x0000000000007ffb, 0x0000000000007ffd,
347   0x0000000000007ffc, 0x0000000000007ffe,
348   0x0000000000007ffe, 0x0000000033333333,
349   0x0000000000007fff, 0x0000000033333334,
350   0x0000000000008000, 0x0000000033333335,
351   0x0000000000008001, 0x0000000033333353,
352   0x000000000000801f, 0x00000000333333b0,
353   0x000000000000807c, 0x00000000333333b1,
354   0x000000000000807d, 0x00000000333333b2,
355   0x000000000000807e, 0x000000003333b330,
356   0x000000000000fffc, 0x000000003333b331,
357   0x000000000000fffd, 0x000000003333b332,
358   0x000000000000fffe, 0x0000000066666666,
359   0x000000003333b332, 0x0000000088888888,
360   0x000000005555d554, 0x00000000b3333330,
361   0x0000000080007ffc, 0x00000000b3333331,
362   0x0000000080007ffd, 0x00000000b3333332,
363   0x0000000080007ffe, 0xffffffffb3333333,
364   0xffffffff80007fff, 0xffffffffb3333334,
365   0xffffffff80008000, 0xffffffffdddddddd,
366   0xffffffffaaab2aa9, 0xffffffffffffffff,
367   0xffffffffcccd4ccb, 0x000000003332b333,
368   0xffffffffffffffff, 0x000000003332b334,
369   0x0000000000000000, 0x000000003332b335,
370   0x0000000000000001, 0x000000003332b336,
371   0x0000000000000002, 0x00000000333332b3,
372   0x0000000000007f7f, 0x00000000333332b4,
373   0x0000000000007f80, 0x00000000333332b5,
374   0x0000000000007f81, 0x00000000333332b6,
375   0x0000000000007f82, 0x0000000033333313,
376   0x0000000000007fdf, 0x0000000033333330,
377   0x0000000000007ffc, 0x0000000033333331,
378   0x0000000000007ffd, 0x0000000033333332,
379   0x0000000033333332, 0x0000000055555555,
380   0x0000000033333333, 0x0000000055555556,
381   0x0000000033333334, 0x0000000055555557,
382   0x0000000033333335, 0x0000000055555575,
383   0x0000000033333353, 0x00000000555555d2,
384   0x00000000333333b0, 0x00000000555555d3,
385   0x00000000333333b1, 0x00000000555555d4,
386   0x00000000333333b2, 0x000000005555d552,
387   0x000000003333b330, 0x000000005555d553,
388   0x000000003333b331, 0x000000005555d554,
389   0x000000003333b332, 0x0000000088888888,
390   0x0000000066666666, 0x00000000aaaaaaaa,
391   0x0000000088888888, 0x00000000d5555552,
392   0x00000000b3333330, 0x00000000d5555553,
393   0x00000000b3333331, 0x00000000d5555554,
394   0x00000000b3333332, 0xffffffffd5555555,
395   0xffffffffb3333333, 0xffffffffd5555556,
396   0xffffffffb3333334, 0xffffffffffffffff,
397   0xffffffffdddddddd, 0x0000000022222221,
398   0xffffffffffffffff, 0x000000005554d555,
399   0x000000003332b333, 0x000000005554d556,
400   0x000000003332b334, 0x000000005554d557,
401   0x000000003332b335, 0x000000005554d558,
402   0x000000003332b336, 0x00000000555554d5,
403   0x00000000333332b3, 0x00000000555554d6,
404   0x00000000333332b4, 0x00000000555554d7,
405   0x00000000333332b5, 0x00000000555554d8,
406   0x00000000333332b6, 0x0000000055555535,
407   0x0000000033333313, 0x0000000055555552,
408   0x0000000033333330, 0x0000000055555553,
409   0x0000000033333331, 0x0000000055555554,
410   0x0000000055555554, 0x000000007ffffffd,
411   0x0000000055555555, 0x000000007ffffffe,
412   0x0000000055555556, 0x000000007fffffff,
413   0x0000000055555557, 0x000000008000001d,
414   0x0000000055555575, 0x000000008000007a,
415   0x00000000555555d2, 0x000000008000007b,
416   0x00000000555555d3, 0x000000008000007c,
417   0x00000000555555d4, 0x0000000080007ffa,
418   0x000000005555d552, 0x0000000080007ffb,
419   0x000000005555d553, 0x0000000080007ffc,
420   0x000000005555d554, 0x00000000b3333330,
421   0x0000000088888888, 0x00000000d5555552,
422   0x00000000aaaaaaaa, 0x00000000fffffffa,
423   0x00000000d5555552, 0x00000000fffffffb,
424   0x00000000d5555553, 0x00000000fffffffc,
425   0x00000000d5555554, 0xfffffffffffffffd,
426   0xffffffffd5555555, 0xfffffffffffffffe,
427   0xffffffffd5555556, 0x000000002aaaaaa7,
428   0xffffffffffffffff, 0x000000004cccccc9,
429   0x0000000022222221, 0x000000007fff7ffd,
430   0x000000005554d555, 0x000000007fff7ffe,
431   0x000000005554d556, 0x000000007fff7fff,
432   0x000000005554d557, 0x000000007fff8000,
433   0x000000005554d558, 0x000000007fffff7d,
434   0x00000000555554d5, 0x000000007fffff7e,
435   0x00000000555554d6, 0x000000007fffff7f,
436   0x00000000555554d7, 0x000000007fffff80,
437   0x00000000555554d8, 0x000000007fffffdd,
438   0x0000000055555535, 0x000000007ffffffa,
439   0x0000000055555552, 0x000000007ffffffb,
440   0x0000000055555553, 0x000000007ffffffc,
441   0x000000007ffffffc, 0x000000007ffffffe,
442   0x000000007ffffffd, 0x000000007fffffff,
443   0x000000007ffffffe, 0x0000000080000000,
444   0x000000007fffffff, 0x000000008000001e,
445   0x000000008000001d, 0x000000008000007b,
446   0x000000008000007a, 0x000000008000007c,
447   0x000000008000007b, 0x000000008000007d,
448   0x000000008000007c, 0x0000000080007ffb,
449   0x0000000080007ffa, 0x0000000080007ffc,
450   0x0000000080007ffb, 0x0000000080007ffd,
451   0x0000000080007ffc, 0x00000000b3333331,
452   0x00000000b3333330, 0x00000000d5555553,
453   0x00000000d5555552, 0x00000000fffffffb,
454   0x00000000fffffffa, 0x00000000fffffffc,
455   0x00000000fffffffb, 0x00000000fffffffd,
456   0x00000000fffffffc, 0xfffffffffffffffe,
457   0xfffffffffffffffd, 0xffffffffffffffff,
458   0xfffffffffffffffe, 0x000000002aaaaaa8,
459   0x000000002aaaaaa7, 0x000000004cccccca,
460   0x000000004cccccc9, 0x000000007fff7ffe,
461   0x000000007fff7ffd, 0x000000007fff7fff,
462   0x000000007fff7ffe, 0x000000007fff8000,
463   0x000000007fff7fff, 0x000000007fff8001,
464   0x000000007fff8000, 0x000000007fffff7e,
465   0x000000007fffff7d, 0x000000007fffff7f,
466   0x000000007fffff7e, 0x000000007fffff80,
467   0x000000007fffff7f, 0x000000007fffff81,
468   0x000000007fffff80, 0x000000007fffffde,
469   0x000000007fffffdd, 0x000000007ffffffb,
470   0x000000007ffffffa, 0x000000007ffffffc,
471   0x000000007ffffffb, 0x000000007ffffffd,
472   0x000000007ffffffd, 0x000000007fffffff,
473   0x000000007ffffffe, 0x0000000080000000,
474   0x000000007fffffff, 0x0000000080000001,
475   0x0000000080000000, 0x000000008000001f,
476   0x000000008000001e, 0x000000008000007c,
477   0x000000008000007b, 0x000000008000007d,
478   0x000000008000007c, 0x000000008000007e,
479   0x000000008000007d, 0x0000000080007ffc,
480   0x0000000080007ffb, 0x0000000080007ffd,
481   0x0000000080007ffc, 0x0000000080007ffe,
482   0x0000000080007ffd, 0x00000000b3333332,
483   0x00000000b3333331, 0x00000000d5555554,
484   0x00000000d5555553, 0x00000000fffffffc,
485   0x00000000fffffffb, 0x00000000fffffffd,
486   0x00000000fffffffc, 0x00000000fffffffe,
487   0x00000000fffffffd, 0xffffffffffffffff,
488   0xfffffffffffffffe, 0x0000000000000000,
489   0xffffffffffffffff, 0x000000002aaaaaa9,
490   0x000000002aaaaaa8, 0x000000004ccccccb,
491   0x000000004cccccca, 0x000000007fff7fff,
492   0x000000007fff7ffe, 0x000000007fff8000,
493   0x000000007fff7fff, 0x000000007fff8001,
494   0x000000007fff8000, 0x000000007fff8002,
495   0x000000007fff8001, 0x000000007fffff7f,
496   0x000000007fffff7e, 0x000000007fffff80,
497   0x000000007fffff7f, 0x000000007fffff81,
498   0x000000007fffff80, 0x000000007fffff82,
499   0x000000007fffff81, 0x000000007fffffdf,
500   0x000000007fffffde, 0x000000007ffffffc,
501   0x000000007ffffffb, 0x000000007ffffffd,
502   0x000000007ffffffc, 0x000000007ffffffe,
503   0x000000007ffffffe, 0xffffffff80000000,
504   0x000000007fffffff, 0xffffffff80000001,
505   0x0000000080000000, 0xffffffff80000002,
506   0x0000000080000001, 0xffffffff80000020,
507   0x000000008000001f, 0xffffffff8000007d,
508   0x000000008000007c, 0xffffffff8000007e,
509   0x000000008000007d, 0xffffffff8000007f,
510   0x000000008000007e, 0xffffffff80007ffd,
511   0x0000000080007ffc, 0xffffffff80007ffe,
512   0x0000000080007ffd, 0xffffffff80007fff,
513   0x0000000080007ffe, 0xffffffffb3333333,
514   0x00000000b3333332, 0xffffffffd5555555,
515   0x00000000d5555554, 0xfffffffffffffffd,
516   0x00000000fffffffc, 0xfffffffffffffffe,
517   0x00000000fffffffd, 0xffffffffffffffff,
518   0x00000000fffffffe, 0xffffffff00000000,
519   0xffffffffffffffff, 0xffffffff00000001,
520   0x0000000000000000, 0xffffffff2aaaaaaa,
521   0x000000002aaaaaa9, 0xffffffff4ccccccc,
522   0x000000004ccccccb, 0xffffffff7fff8000,
523   0x000000007fff7fff, 0xffffffff7fff8001,
524   0x000000007fff8000, 0xffffffff7fff8002,
525   0x000000007fff8001, 0xffffffff7fff8003,
526   0x000000007fff8002, 0xffffffff7fffff80,
527   0x000000007fffff7f, 0xffffffff7fffff81,
528   0x000000007fffff80, 0xffffffff7fffff82,
529   0x000000007fffff81, 0xffffffff7fffff83,
530   0x000000007fffff82, 0xffffffff7fffffe0,
531   0x000000007fffffdf, 0xffffffff7ffffffd,
532   0x000000007ffffffc, 0xffffffff7ffffffe,
533   0x000000007ffffffd, 0xffffffff7fffffff,
534   0xffffffff7fffffff, 0xffffffff80000001,
535   0xffffffff80000000, 0xffffffff80000002,
536   0xffffffff80000001, 0xffffffff80000003,
537   0xffffffff80000002, 0xffffffff80000021,
538   0xffffffff80000020, 0xffffffff8000007e,
539   0xffffffff8000007d, 0xffffffff8000007f,
540   0xffffffff8000007e, 0xffffffff80000080,
541   0xffffffff8000007f, 0xffffffff80007ffe,
542   0xffffffff80007ffd, 0xffffffff80007fff,
543   0xffffffff80007ffe, 0xffffffff80008000,
544   0xffffffff80007fff, 0xffffffffb3333334,
545   0xffffffffb3333333, 0xffffffffd5555556,
546   0xffffffffd5555555, 0xfffffffffffffffe,
547   0xfffffffffffffffd, 0xffffffffffffffff,
548   0xfffffffffffffffe, 0x0000000000000000,
549   0xffffffffffffffff, 0xffffffff00000001,
550   0xffffffff00000000, 0xffffffff00000002,
551   0xffffffff00000001, 0xffffffff2aaaaaab,
552   0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
553   0xffffffff4ccccccc, 0xffffffff7fff8001,
554   0xffffffff7fff8000, 0xffffffff7fff8002,
555   0xffffffff7fff8001, 0xffffffff7fff8003,
556   0xffffffff7fff8002, 0xffffffff7fff8004,
557   0xffffffff7fff8003, 0xffffffff7fffff81,
558   0xffffffff7fffff80, 0xffffffff7fffff82,
559   0xffffffff7fffff81, 0xffffffff7fffff83,
560   0xffffffff7fffff82, 0xffffffff7fffff84,
561   0xffffffff7fffff83, 0xffffffff7fffffe1,
562   0xffffffff7fffffe0, 0xffffffff7ffffffe,
563   0xffffffff7ffffffd, 0xffffffff7fffffff,
564   0xffffffff7ffffffe, 0xffffffff80000000,
565   0xffffffff80000000, 0xffffffffaaaaaaaa,
566   0xffffffff80000001, 0xffffffffaaaaaaab,
567   0xffffffff80000002, 0xffffffffaaaaaaac,
568   0xffffffff80000003, 0xffffffffaaaaaaca,
569   0xffffffff80000021, 0xffffffffaaaaab27,
570   0xffffffff8000007e, 0xffffffffaaaaab28,
571   0xffffffff8000007f, 0xffffffffaaaaab29,
572   0xffffffff80000080, 0xffffffffaaab2aa7,
573   0xffffffff80007ffe, 0xffffffffaaab2aa8,
574   0xffffffff80007fff, 0xffffffffaaab2aa9,
575   0xffffffff80008000, 0xffffffffdddddddd,
576   0xffffffffb3333334, 0xffffffffffffffff,
577   0xffffffffd5555556, 0x000000002aaaaaa7,
578   0xfffffffffffffffe, 0x000000002aaaaaa8,
579   0xffffffffffffffff, 0x000000002aaaaaa9,
580   0x0000000000000000, 0xffffffff2aaaaaaa,
581   0xffffffff00000001, 0xffffffff2aaaaaab,
582   0xffffffff00000002, 0xffffffff55555554,
583   0xffffffff2aaaaaab, 0xffffffff77777776,
584   0xffffffff4ccccccd, 0xffffffffaaaa2aaa,
585   0xffffffff7fff8001, 0xffffffffaaaa2aab,
586   0xffffffff7fff8002, 0xffffffffaaaa2aac,
587   0xffffffff7fff8003, 0xffffffffaaaa2aad,
588   0xffffffff7fff8004, 0xffffffffaaaaaa2a,
589   0xffffffff7fffff81, 0xffffffffaaaaaa2b,
590   0xffffffff7fffff82, 0xffffffffaaaaaa2c,
591   0xffffffff7fffff83, 0xffffffffaaaaaa2d,
592   0xffffffff7fffff84, 0xffffffffaaaaaa8a,
593   0xffffffff7fffffe1, 0xffffffffaaaaaaa7,
594   0xffffffff7ffffffe, 0xffffffffaaaaaaa8,
595   0xffffffff7fffffff, 0xffffffffaaaaaaa9,
596   0xffffffffaaaaaaa9, 0xffffffffcccccccc,
597   0xffffffffaaaaaaaa, 0xffffffffcccccccd,
598   0xffffffffaaaaaaab, 0xffffffffccccccce,
599   0xffffffffaaaaaaac, 0xffffffffccccccec,
600   0xffffffffaaaaaaca, 0xffffffffcccccd49,
601   0xffffffffaaaaab27, 0xffffffffcccccd4a,
602   0xffffffffaaaaab28, 0xffffffffcccccd4b,
603   0xffffffffaaaaab29, 0xffffffffcccd4cc9,
604   0xffffffffaaab2aa7, 0xffffffffcccd4cca,
605   0xffffffffaaab2aa8, 0xffffffffcccd4ccb,
606   0xffffffffaaab2aa9, 0xffffffffffffffff,
607   0xffffffffdddddddd, 0x0000000022222221,
608   0xffffffffffffffff, 0x000000004cccccc9,
609   0x000000002aaaaaa7, 0x000000004cccccca,
610   0x000000002aaaaaa8, 0x000000004ccccccb,
611   0x000000002aaaaaa9, 0xffffffff4ccccccc,
612   0xffffffff2aaaaaaa, 0xffffffff4ccccccd,
613   0xffffffff2aaaaaab, 0xffffffff77777776,
614   0xffffffff55555554, 0xffffffff99999998,
615   0xffffffff77777776, 0xffffffffcccc4ccc,
616   0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
617   0xffffffffaaaa2aab, 0xffffffffcccc4cce,
618   0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
619   0xffffffffaaaa2aad, 0xffffffffcccccc4c,
620   0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
621   0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
622   0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
623   0xffffffffaaaaaa2d, 0xffffffffccccccac,
624   0xffffffffaaaaaa8a, 0xffffffffccccccc9,
625   0xffffffffaaaaaaa7, 0xffffffffccccccca,
626   0xffffffffaaaaaaa8, 0xffffffffcccccccb,
627   0xffffffffcccccccb, 0xffffffffffff8000,
628   0xffffffffcccccccc, 0xffffffffffff8001,
629   0xffffffffcccccccd, 0xffffffffffff8002,
630   0xffffffffccccccce, 0xffffffffffff8020,
631   0xffffffffccccccec, 0xffffffffffff807d,
632   0xffffffffcccccd49, 0xffffffffffff807e,
633   0xffffffffcccccd4a, 0xffffffffffff807f,
634   0xffffffffcccccd4b, 0xfffffffffffffffd,
635   0xffffffffcccd4cc9, 0xfffffffffffffffe,
636   0xffffffffcccd4cca, 0xffffffffffffffff,
637   0xffffffffcccd4ccb, 0x000000003332b333,
638   0xffffffffffffffff, 0x000000005554d555,
639   0x0000000022222221, 0x000000007fff7ffd,
640   0x000000004cccccc9, 0x000000007fff7ffe,
641   0x000000004cccccca, 0x000000007fff7fff,
642   0x000000004ccccccb, 0xffffffff7fff8000,
643   0xffffffff4ccccccc, 0xffffffff7fff8001,
644   0xffffffff4ccccccd, 0xffffffffaaaa2aaa,
645   0xffffffff77777776, 0xffffffffcccc4ccc,
646   0xffffffff99999998, 0xffffffffffff0000,
647   0xffffffffcccc4ccc, 0xffffffffffff0001,
648   0xffffffffcccc4ccd, 0xffffffffffff0002,
649   0xffffffffcccc4cce, 0xffffffffffff0003,
650   0xffffffffcccc4ccf, 0xffffffffffff7f80,
651   0xffffffffcccccc4c, 0xffffffffffff7f81,
652   0xffffffffcccccc4d, 0xffffffffffff7f82,
653   0xffffffffcccccc4e, 0xffffffffffff7f83,
654   0xffffffffcccccc4f, 0xffffffffffff7fe0,
655   0xffffffffccccccac, 0xffffffffffff7ffd,
656   0xffffffffccccccc9, 0xffffffffffff7ffe,
657   0xffffffffccccccca, 0xffffffffffff7fff,
658   0xffffffffffff7fff, 0xffffffffffff8001,
659   0xffffffffffff8000, 0xffffffffffff8002,
660   0xffffffffffff8001, 0xffffffffffff8003,
661   0xffffffffffff8002, 0xffffffffffff8021,
662   0xffffffffffff8020, 0xffffffffffff807e,
663   0xffffffffffff807d, 0xffffffffffff807f,
664   0xffffffffffff807e, 0xffffffffffff8080,
665   0xffffffffffff807f, 0xfffffffffffffffe,
666   0xfffffffffffffffd, 0xffffffffffffffff,
667   0xfffffffffffffffe, 0x0000000000000000,
668   0xffffffffffffffff, 0x000000003332b334,
669   0x000000003332b333, 0x000000005554d556,
670   0x000000005554d555, 0x000000007fff7ffe,
671   0x000000007fff7ffd, 0x000000007fff7fff,
672   0x000000007fff7ffe, 0x000000007fff8000,
673   0x000000007fff7fff, 0xffffffff7fff8001,
674   0xffffffff7fff8000, 0xffffffff7fff8002,
675   0xffffffff7fff8001, 0xffffffffaaaa2aab,
676   0xffffffffaaaa2aaa, 0xffffffffcccc4ccd,
677   0xffffffffcccc4ccc, 0xffffffffffff0001,
678   0xffffffffffff0000, 0xffffffffffff0002,
679   0xffffffffffff0001, 0xffffffffffff0003,
680   0xffffffffffff0002, 0xffffffffffff0004,
681   0xffffffffffff0003, 0xffffffffffff7f81,
682   0xffffffffffff7f80, 0xffffffffffff7f82,
683   0xffffffffffff7f81, 0xffffffffffff7f83,
684   0xffffffffffff7f82, 0xffffffffffff7f84,
685   0xffffffffffff7f83, 0xffffffffffff7fe1,
686   0xffffffffffff7fe0, 0xffffffffffff7ffe,
687   0xffffffffffff7ffd, 0xffffffffffff7fff,
688   0xffffffffffff7ffe, 0xffffffffffff8000,
689   0xffffffffffff8000, 0xffffffffffff8002,
690   0xffffffffffff8001, 0xffffffffffff8003,
691   0xffffffffffff8002, 0xffffffffffff8004,
692   0xffffffffffff8003, 0xffffffffffff8022,
693   0xffffffffffff8021, 0xffffffffffff807f,
694   0xffffffffffff807e, 0xffffffffffff8080,
695   0xffffffffffff807f, 0xffffffffffff8081,
696   0xffffffffffff8080, 0xffffffffffffffff,
697   0xfffffffffffffffe, 0x0000000000000000,
698   0xffffffffffffffff, 0x0000000000000001,
699   0x0000000000000000, 0x000000003332b335,
700   0x000000003332b334, 0x000000005554d557,
701   0x000000005554d556, 0x000000007fff7fff,
702   0x000000007fff7ffe, 0x000000007fff8000,
703   0x000000007fff7fff, 0x000000007fff8001,
704   0x000000007fff8000, 0xffffffff7fff8002,
705   0xffffffff7fff8001, 0xffffffff7fff8003,
706   0xffffffff7fff8002, 0xffffffffaaaa2aac,
707   0xffffffffaaaa2aab, 0xffffffffcccc4cce,
708   0xffffffffcccc4ccd, 0xffffffffffff0002,
709   0xffffffffffff0001, 0xffffffffffff0003,
710   0xffffffffffff0002, 0xffffffffffff0004,
711   0xffffffffffff0003, 0xffffffffffff0005,
712   0xffffffffffff0004, 0xffffffffffff7f82,
713   0xffffffffffff7f81, 0xffffffffffff7f83,
714   0xffffffffffff7f82, 0xffffffffffff7f84,
715   0xffffffffffff7f83, 0xffffffffffff7f85,
716   0xffffffffffff7f84, 0xffffffffffff7fe2,
717   0xffffffffffff7fe1, 0xffffffffffff7fff,
718   0xffffffffffff7ffe, 0xffffffffffff8000,
719   0xffffffffffff7fff, 0xffffffffffff8001,
720   0xffffffffffff8001, 0xffffffffffff8003,
721   0xffffffffffff8002, 0xffffffffffff8004,
722   0xffffffffffff8003, 0xffffffffffff8005,
723   0xffffffffffff8004, 0xffffffffffff8023,
724   0xffffffffffff8022, 0xffffffffffff8080,
725   0xffffffffffff807f, 0xffffffffffff8081,
726   0xffffffffffff8080, 0xffffffffffff8082,
727   0xffffffffffff8081, 0x0000000000000000,
728   0xffffffffffffffff, 0x0000000000000001,
729   0x0000000000000000, 0x0000000000000002,
730   0x0000000000000001, 0x000000003332b336,
731   0x000000003332b335, 0x000000005554d558,
732   0x000000005554d557, 0x000000007fff8000,
733   0x000000007fff7fff, 0x000000007fff8001,
734   0x000000007fff8000, 0x000000007fff8002,
735   0x000000007fff8001, 0xffffffff7fff8003,
736   0xffffffff7fff8002, 0xffffffff7fff8004,
737   0xffffffff7fff8003, 0xffffffffaaaa2aad,
738   0xffffffffaaaa2aac, 0xffffffffcccc4ccf,
739   0xffffffffcccc4cce, 0xffffffffffff0003,
740   0xffffffffffff0002, 0xffffffffffff0004,
741   0xffffffffffff0003, 0xffffffffffff0005,
742   0xffffffffffff0004, 0xffffffffffff0006,
743   0xffffffffffff0005, 0xffffffffffff7f83,
744   0xffffffffffff7f82, 0xffffffffffff7f84,
745   0xffffffffffff7f83, 0xffffffffffff7f85,
746   0xffffffffffff7f84, 0xffffffffffff7f86,
747   0xffffffffffff7f85, 0xffffffffffff7fe3,
748   0xffffffffffff7fe2, 0xffffffffffff8000,
749   0xffffffffffff7fff, 0xffffffffffff8001,
750   0xffffffffffff8000, 0xffffffffffff8002,
751   0xffffffffffff8002, 0xffffffffffffff80,
752   0xffffffffffff8003, 0xffffffffffffff81,
753   0xffffffffffff8004, 0xffffffffffffff82,
754   0xffffffffffff8005, 0xffffffffffffffa0,
755   0xffffffffffff8023, 0xfffffffffffffffd,
756   0xffffffffffff8080, 0xfffffffffffffffe,
757   0xffffffffffff8081, 0xffffffffffffffff,
758   0xffffffffffff8082, 0x0000000000007f7d,
759   0x0000000000000000, 0x0000000000007f7e,
760   0x0000000000000001, 0x0000000000007f7f,
761   0x0000000000000002, 0x00000000333332b3,
762   0x000000003332b336, 0x00000000555554d5,
763   0x000000005554d558, 0x000000007fffff7d,
764   0x000000007fff8000, 0x000000007fffff7e,
765   0x000000007fff8001, 0x000000007fffff7f,
766   0x000000007fff8002, 0xffffffff7fffff80,
767   0xffffffff7fff8003, 0xffffffff7fffff81,
768   0xffffffff7fff8004, 0xffffffffaaaaaa2a,
769   0xffffffffaaaa2aad, 0xffffffffcccccc4c,
770   0xffffffffcccc4ccf, 0xffffffffffff7f80,
771   0xffffffffffff0003, 0xffffffffffff7f81,
772   0xffffffffffff0004, 0xffffffffffff7f82,
773   0xffffffffffff0005, 0xffffffffffff7f83,
774   0xffffffffffff0006, 0xffffffffffffff00,
775   0xffffffffffff7f83, 0xffffffffffffff01,
776   0xffffffffffff7f84, 0xffffffffffffff02,
777   0xffffffffffff7f85, 0xffffffffffffff03,
778   0xffffffffffff7f86, 0xffffffffffffff60,
779   0xffffffffffff7fe3, 0xffffffffffffff7d,
780   0xffffffffffff8000, 0xffffffffffffff7e,
781   0xffffffffffff8001, 0xffffffffffffff7f,
782   0xffffffffffffff7f, 0xffffffffffffff81,
783   0xffffffffffffff80, 0xffffffffffffff82,
784   0xffffffffffffff81, 0xffffffffffffff83,
785   0xffffffffffffff82, 0xffffffffffffffa1,
786   0xffffffffffffffa0, 0xfffffffffffffffe,
787   0xfffffffffffffffd, 0xffffffffffffffff,
788   0xfffffffffffffffe, 0x0000000000000000,
789   0xffffffffffffffff, 0x0000000000007f7e,
790   0x0000000000007f7d, 0x0000000000007f7f,
791   0x0000000000007f7e, 0x0000000000007f80,
792   0x0000000000007f7f, 0x00000000333332b4,
793   0x00000000333332b3, 0x00000000555554d6,
794   0x00000000555554d5, 0x000000007fffff7e,
795   0x000000007fffff7d, 0x000000007fffff7f,
796   0x000000007fffff7e, 0x000000007fffff80,
797   0x000000007fffff7f, 0xffffffff7fffff81,
798   0xffffffff7fffff80, 0xffffffff7fffff82,
799   0xffffffff7fffff81, 0xffffffffaaaaaa2b,
800   0xffffffffaaaaaa2a, 0xffffffffcccccc4d,
801   0xffffffffcccccc4c, 0xffffffffffff7f81,
802   0xffffffffffff7f80, 0xffffffffffff7f82,
803   0xffffffffffff7f81, 0xffffffffffff7f83,
804   0xffffffffffff7f82, 0xffffffffffff7f84,
805   0xffffffffffff7f83, 0xffffffffffffff01,
806   0xffffffffffffff00, 0xffffffffffffff02,
807   0xffffffffffffff01, 0xffffffffffffff03,
808   0xffffffffffffff02, 0xffffffffffffff04,
809   0xffffffffffffff03, 0xffffffffffffff61,
810   0xffffffffffffff60, 0xffffffffffffff7e,
811   0xffffffffffffff7d, 0xffffffffffffff7f,
812   0xffffffffffffff7e, 0xffffffffffffff80,
813   0xffffffffffffff80, 0xffffffffffffff82,
814   0xffffffffffffff81, 0xffffffffffffff83,
815   0xffffffffffffff82, 0xffffffffffffff84,
816   0xffffffffffffff83, 0xffffffffffffffa2,
817   0xffffffffffffffa1, 0xffffffffffffffff,
818   0xfffffffffffffffe, 0x0000000000000000,
819   0xffffffffffffffff, 0x0000000000000001,
820   0x0000000000000000, 0x0000000000007f7f,
821   0x0000000000007f7e, 0x0000000000007f80,
822   0x0000000000007f7f, 0x0000000000007f81,
823   0x0000000000007f80, 0x00000000333332b5,
824   0x00000000333332b4, 0x00000000555554d7,
825   0x00000000555554d6, 0x000000007fffff7f,
826   0x000000007fffff7e, 0x000000007fffff80,
827   0x000000007fffff7f, 0x000000007fffff81,
828   0x000000007fffff80, 0xffffffff7fffff82,
829   0xffffffff7fffff81, 0xffffffff7fffff83,
830   0xffffffff7fffff82, 0xffffffffaaaaaa2c,
831   0xffffffffaaaaaa2b, 0xffffffffcccccc4e,
832   0xffffffffcccccc4d, 0xffffffffffff7f82,
833   0xffffffffffff7f81, 0xffffffffffff7f83,
834   0xffffffffffff7f82, 0xffffffffffff7f84,
835   0xffffffffffff7f83, 0xffffffffffff7f85,
836   0xffffffffffff7f84, 0xffffffffffffff02,
837   0xffffffffffffff01, 0xffffffffffffff03,
838   0xffffffffffffff02, 0xffffffffffffff04,
839   0xffffffffffffff03, 0xffffffffffffff05,
840   0xffffffffffffff04, 0xffffffffffffff62,
841   0xffffffffffffff61, 0xffffffffffffff7f,
842   0xffffffffffffff7e, 0xffffffffffffff80,
843   0xffffffffffffff7f, 0xffffffffffffff81,
844   0xffffffffffffff81, 0xffffffffffffff83,
845   0xffffffffffffff82, 0xffffffffffffff84,
846   0xffffffffffffff83, 0xffffffffffffff85,
847   0xffffffffffffff84, 0xffffffffffffffa3,
848   0xffffffffffffffa2, 0x0000000000000000,
849   0xffffffffffffffff, 0x0000000000000001,
850   0x0000000000000000, 0x0000000000000002,
851   0x0000000000000001, 0x0000000000007f80,
852   0x0000000000007f7f, 0x0000000000007f81,
853   0x0000000000007f80, 0x0000000000007f82,
854   0x0000000000007f81, 0x00000000333332b6,
855   0x00000000333332b5, 0x00000000555554d8,
856   0x00000000555554d7, 0x000000007fffff80,
857   0x000000007fffff7f, 0x000000007fffff81,
858   0x000000007fffff80, 0x000000007fffff82,
859   0x000000007fffff81, 0xffffffff7fffff83,
860   0xffffffff7fffff82, 0xffffffff7fffff84,
861   0xffffffff7fffff83, 0xffffffffaaaaaa2d,
862   0xffffffffaaaaaa2c, 0xffffffffcccccc4f,
863   0xffffffffcccccc4e, 0xffffffffffff7f83,
864   0xffffffffffff7f82, 0xffffffffffff7f84,
865   0xffffffffffff7f83, 0xffffffffffff7f85,
866   0xffffffffffff7f84, 0xffffffffffff7f86,
867   0xffffffffffff7f85, 0xffffffffffffff03,
868   0xffffffffffffff02, 0xffffffffffffff04,
869   0xffffffffffffff03, 0xffffffffffffff05,
870   0xffffffffffffff04, 0xffffffffffffff06,
871   0xffffffffffffff05, 0xffffffffffffff63,
872   0xffffffffffffff62, 0xffffffffffffff80,
873   0xffffffffffffff7f, 0xffffffffffffff81,
874   0xffffffffffffff80, 0xffffffffffffff82,
875   0xffffffffffffff82, 0xffffffffffffffe0,
876   0xffffffffffffff83, 0xffffffffffffffe1,
877   0xffffffffffffff84, 0xffffffffffffffe2,
878   0xffffffffffffff85, 0x0000000000000000,
879   0xffffffffffffffa3, 0x000000000000005d,
880   0x0000000000000000, 0x000000000000005e,
881   0x0000000000000001, 0x000000000000005f,
882   0x0000000000000002, 0x0000000000007fdd,
883   0x0000000000007f80, 0x0000000000007fde,
884   0x0000000000007f81, 0x0000000000007fdf,
885   0x0000000000007f82, 0x0000000033333313,
886   0x00000000333332b6, 0x0000000055555535,
887   0x00000000555554d8, 0x000000007fffffdd,
888   0x000000007fffff80, 0x000000007fffffde,
889   0x000000007fffff81, 0x000000007fffffdf,
890   0x000000007fffff82, 0xffffffff7fffffe0,
891   0xffffffff7fffff83, 0xffffffff7fffffe1,
892   0xffffffff7fffff84, 0xffffffffaaaaaa8a,
893   0xffffffffaaaaaa2d, 0xffffffffccccccac,
894   0xffffffffcccccc4f, 0xffffffffffff7fe0,
895   0xffffffffffff7f83, 0xffffffffffff7fe1,
896   0xffffffffffff7f84, 0xffffffffffff7fe2,
897   0xffffffffffff7f85, 0xffffffffffff7fe3,
898   0xffffffffffff7f86, 0xffffffffffffff60,
899   0xffffffffffffff03, 0xffffffffffffff61,
900   0xffffffffffffff04, 0xffffffffffffff62,
901   0xffffffffffffff05, 0xffffffffffffff63,
902   0xffffffffffffff06, 0xffffffffffffffc0,
903   0xffffffffffffff63, 0xffffffffffffffdd,
904   0xffffffffffffff80, 0xffffffffffffffde,
905   0xffffffffffffff81, 0xffffffffffffffdf,
906   0xffffffffffffffdf, 0xfffffffffffffffd,
907   0xffffffffffffffe0, 0xfffffffffffffffe,
908   0xffffffffffffffe1, 0xffffffffffffffff,
909   0xffffffffffffffe2, 0x000000000000001d,
910   0x0000000000000000, 0x000000000000007a,
911   0x000000000000005d, 0x000000000000007b,
912   0x000000000000005e, 0x000000000000007c,
913   0x000000000000005f, 0x0000000000007ffa,
914   0x0000000000007fdd, 0x0000000000007ffb,
915   0x0000000000007fde, 0x0000000000007ffc,
916   0x0000000000007fdf, 0x0000000033333330,
917   0x0000000033333313, 0x0000000055555552,
918   0x0000000055555535, 0x000000007ffffffa,
919   0x000000007fffffdd, 0x000000007ffffffb,
920   0x000000007fffffde, 0x000000007ffffffc,
921   0x000000007fffffdf, 0xffffffff7ffffffd,
922   0xffffffff7fffffe0, 0xffffffff7ffffffe,
923   0xffffffff7fffffe1, 0xffffffffaaaaaaa7,
924   0xffffffffaaaaaa8a, 0xffffffffccccccc9,
925   0xffffffffccccccac, 0xffffffffffff7ffd,
926   0xffffffffffff7fe0, 0xffffffffffff7ffe,
927   0xffffffffffff7fe1, 0xffffffffffff7fff,
928   0xffffffffffff7fe2, 0xffffffffffff8000,
929   0xffffffffffff7fe3, 0xffffffffffffff7d,
930   0xffffffffffffff60, 0xffffffffffffff7e,
931   0xffffffffffffff61, 0xffffffffffffff7f,
932   0xffffffffffffff62, 0xffffffffffffff80,
933   0xffffffffffffff63, 0xffffffffffffffdd,
934   0xffffffffffffffc0, 0xfffffffffffffffa,
935   0xffffffffffffffdd, 0xfffffffffffffffb,
936   0xffffffffffffffde, 0xfffffffffffffffc,
937   0xfffffffffffffffc, 0xfffffffffffffffe,
938   0xfffffffffffffffd, 0xffffffffffffffff,
939   0xfffffffffffffffe, 0x0000000000000000,
940   0xffffffffffffffff, 0x000000000000001e,
941   0x000000000000001d, 0x000000000000007b,
942   0x000000000000007a, 0x000000000000007c,
943   0x000000000000007b, 0x000000000000007d,
944   0x000000000000007c, 0x0000000000007ffb,
945   0x0000000000007ffa, 0x0000000000007ffc,
946   0x0000000000007ffb, 0x0000000000007ffd,
947   0x0000000000007ffc, 0x0000000033333331,
948   0x0000000033333330, 0x0000000055555553,
949   0x0000000055555552, 0x000000007ffffffb,
950   0x000000007ffffffa, 0x000000007ffffffc,
951   0x000000007ffffffb, 0x000000007ffffffd,
952   0x000000007ffffffc, 0xffffffff7ffffffe,
953   0xffffffff7ffffffd, 0xffffffff7fffffff,
954   0xffffffff7ffffffe, 0xffffffffaaaaaaa8,
955   0xffffffffaaaaaaa7, 0xffffffffccccccca,
956   0xffffffffccccccc9, 0xffffffffffff7ffe,
957   0xffffffffffff7ffd, 0xffffffffffff7fff,
958   0xffffffffffff7ffe, 0xffffffffffff8000,
959   0xffffffffffff7fff, 0xffffffffffff8001,
960   0xffffffffffff8000, 0xffffffffffffff7e,
961   0xffffffffffffff7d, 0xffffffffffffff7f,
962   0xffffffffffffff7e, 0xffffffffffffff80,
963   0xffffffffffffff7f, 0xffffffffffffff81,
964   0xffffffffffffff80, 0xffffffffffffffde,
965   0xffffffffffffffdd, 0xfffffffffffffffb,
966   0xfffffffffffffffa, 0xfffffffffffffffc,
967   0xfffffffffffffffb, 0xfffffffffffffffd,
968   0xfffffffffffffffd, 0xffffffffffffffff,
969   0xfffffffffffffffe, 0x0000000000000000,
970   0xffffffffffffffff, 0x0000000000000001,
971   0x0000000000000000, 0x000000000000001f,
972   0x000000000000001e, 0x000000000000007c,
973   0x000000000000007b, 0x000000000000007d,
974   0x000000000000007c, 0x000000000000007e,
975   0x000000000000007d, 0x0000000000007ffc,
976   0x0000000000007ffb, 0x0000000000007ffd,
977   0x0000000000007ffc, 0x0000000000007ffe,
978   0x0000000000007ffd, 0x0000000033333332,
979   0x0000000033333331, 0x0000000055555554,
980   0x0000000055555553, 0x000000007ffffffc,
981   0x000000007ffffffb, 0x000000007ffffffd,
982   0x000000007ffffffc, 0x000000007ffffffe,
983   0x000000007ffffffd, 0xffffffff7fffffff,
984   0xffffffff7ffffffe, 0xffffffff80000000,
985   0xffffffff7fffffff, 0xffffffffaaaaaaa9,
986   0xffffffffaaaaaaa8, 0xffffffffcccccccb,
987   0xffffffffccccccca, 0xffffffffffff7fff,
988   0xffffffffffff7ffe, 0xffffffffffff8000,
989   0xffffffffffff7fff, 0xffffffffffff8001,
990   0xffffffffffff8000, 0xffffffffffff8002,
991   0xffffffffffff8001, 0xffffffffffffff7f,
992   0xffffffffffffff7e, 0xffffffffffffff80,
993   0xffffffffffffff7f, 0xffffffffffffff81,
994   0xffffffffffffff80, 0xffffffffffffff82,
995   0xffffffffffffff81, 0xffffffffffffffdf,
996   0xffffffffffffffde, 0xfffffffffffffffc,
997   0xfffffffffffffffb, 0xfffffffffffffffd,
998   0xfffffffffffffffc, 0xfffffffffffffffe,
999 };
1000 const unsigned kExpectedCount_NEON_saddl2_2D = 961;
1001 
1002 #endif  // VIXL_SIM_SADDL2_2D_TRACE_AARCH64_H_
1003