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_FNMUL_D_TRACE_AARCH64_H_
35#define VIXL_SIM_FNMUL_D_TRACE_AARCH64_H_
36
37const uint64_t kExpected_fnmul_d[] = {
38  0x8000000000000000,
39  0x8000000000000000,
40  0x8000000000000000,
41  0x8000000000000000,
42  0x8000000000000000,
43  0x8000000000000000,
44  0x8000000000000000,
45  0x8000000000000000,
46  0x8000000000000000,
47  0x8000000000000000,
48  0x8000000000000000,
49  0xfff8000000000000,
50  0xfff923456789abcd,
51  0xfff8000000000000,
52  0xfff923456789abcd,
53  0xfff8000000000000,
54  0x8000000000000000,
55  0x8000000000000000,
56  0x8000000000000000,
57  0x0000000000000000,
58  0x0000000000000000,
59  0x0000000000000000,
60  0x0000000000000000,
61  0x0000000000000000,
62  0x0000000000000000,
63  0x0000000000000000,
64  0x0000000000000000,
65  0x0000000000000000,
66  0x0000000000000000,
67  0x0000000000000000,
68  0xfff8000000000000,
69  0x7ff923456789abcd,
70  0x7ff8000000000000,
71  0x7ff923456789abcd,
72  0xfff8000000000000,
73  0x0000000000000000,
74  0x0000000000000000,
75  0x0000000000000000,
76  0x8000000000000000,
77  0x8000000000000000,
78  0x8008000000000000,
79  0x8008000000000000,
80  0x8008000000000000,
81  0x8010000000000000,
82  0x8010000000000000,
83  0x8010000000000001,
84  0x8018000000000000,
85  0x8044000000000000,
86  0xc00fffffffffffff,
87  0xfff0000000000000,
88  0xfff923456789abcd,
89  0xfff8000000000000,
90  0xfff923456789abcd,
91  0xfff0000000000000,
92  0x8000000000000000,
93  0x8000000000000000,
94  0x8000000000000000,
95  0x0000000000000000,
96  0x0000000000000000,
97  0x0008000000000000,
98  0x0008000000000000,
99  0x0008000000000000,
100  0x0010000000000000,
101  0x0010000000000000,
102  0x0010000000000001,
103  0x0018000000000000,
104  0x0044000000000000,
105  0x400fffffffffffff,
106  0x7ff0000000000000,
107  0x7ff923456789abcd,
108  0x7ff8000000000000,
109  0x7ff923456789abcd,
110  0x7ff0000000000000,
111  0x0000000000000000,
112  0x0000000000000000,
113  0x0000000000000000,
114  0x8000000000000000,
115  0x8008000000000000,
116  0xbfcffffffffffffe,
117  0xbfcfffffffffffff,
118  0xbfd0000000000000,
119  0xbfdffffffffffffe,
120  0xbfdfffffffffffff,
121  0xbfe0000000000000,
122  0xbfe7ffffffffffff,
123  0xc013ffffffffffff,
124  0xffdffffffffffffe,
125  0xfff0000000000000,
126  0xfff923456789abcd,
127  0xfff8000000000000,
128  0xfff923456789abcd,
129  0xfff0000000000000,
130  0x800091a2b3c4d5e6,
131  0x8007ffffffffffff,
132  0x8000000000000000,
133  0x0000000000000000,
134  0x0008000000000000,
135  0x3fcffffffffffffe,
136  0x3fcfffffffffffff,
137  0x3fd0000000000000,
138  0x3fdffffffffffffe,
139  0x3fdfffffffffffff,
140  0x3fe0000000000000,
141  0x3fe7ffffffffffff,
142  0x4013ffffffffffff,
143  0x7fdffffffffffffe,
144  0x7ff0000000000000,
145  0x7ff923456789abcd,
146  0x7ff8000000000000,
147  0x7ff923456789abcd,
148  0x7ff0000000000000,
149  0x000091a2b3c4d5e6,
150  0x0007ffffffffffff,
151  0x0000000000000000,
152  0x8000000000000000,
153  0x8008000000000000,
154  0xbfcfffffffffffff,
155  0xbfd0000000000000,
156  0xbfd0000000000001,
157  0xbfdfffffffffffff,
158  0xbfe0000000000000,
159  0xbfe0000000000001,
160  0xbfe8000000000000,
161  0xc014000000000000,
162  0xffdfffffffffffff,
163  0xfff0000000000000,
164  0xfff923456789abcd,
165  0xfff8000000000000,
166  0xfff923456789abcd,
167  0xfff0000000000000,
168  0x800091a2b3c4d5e6,
169  0x8008000000000000,
170  0x8000000000000000,
171  0x0000000000000000,
172  0x0008000000000000,
173  0x3fcfffffffffffff,
174  0x3fd0000000000000,
175  0x3fd0000000000001,
176  0x3fdfffffffffffff,
177  0x3fe0000000000000,
178  0x3fe0000000000001,
179  0x3fe8000000000000,
180  0x4014000000000000,
181  0x7fdfffffffffffff,
182  0x7ff0000000000000,
183  0x7ff923456789abcd,
184  0x7ff8000000000000,
185  0x7ff923456789abcd,
186  0x7ff0000000000000,
187  0x000091a2b3c4d5e6,
188  0x0008000000000000,
189  0x0000000000000000,
190  0x8000000000000000,
191  0x8008000000000000,
192  0xbfd0000000000000,
193  0xbfd0000000000001,
194  0xbfd0000000000002,
195  0xbfe0000000000000,
196  0xbfe0000000000001,
197  0xbfe0000000000002,
198  0xbfe8000000000002,
199  0xc014000000000001,
200  0xffe0000000000000,
201  0xfff0000000000000,
202  0xfff923456789abcd,
203  0xfff8000000000000,
204  0xfff923456789abcd,
205  0xfff0000000000000,
206  0x800091a2b3c4d5e7,
207  0x8008000000000000,
208  0x8000000000000001,
209  0x0000000000000000,
210  0x0008000000000000,
211  0x3fd0000000000000,
212  0x3fd0000000000001,
213  0x3fd0000000000002,
214  0x3fe0000000000000,
215  0x3fe0000000000001,
216  0x3fe0000000000002,
217  0x3fe8000000000002,
218  0x4014000000000001,
219  0x7fe0000000000000,
220  0x7ff0000000000000,
221  0x7ff923456789abcd,
222  0x7ff8000000000000,
223  0x7ff923456789abcd,
224  0x7ff0000000000000,
225  0x000091a2b3c4d5e7,
226  0x0008000000000000,
227  0x0000000000000001,
228  0x8000000000000000,
229  0x8010000000000000,
230  0xbfdffffffffffffe,
231  0xbfdfffffffffffff,
232  0xbfe0000000000000,
233  0xbfeffffffffffffe,
234  0xbfefffffffffffff,
235  0xbff0000000000000,
236  0xbff7ffffffffffff,
237  0xc023ffffffffffff,
238  0xffeffffffffffffe,
239  0xfff0000000000000,
240  0xfff923456789abcd,
241  0xfff8000000000000,
242  0xfff923456789abcd,
243  0xfff0000000000000,
244  0x800123456789abcd,
245  0x800fffffffffffff,
246  0x8000000000000001,
247  0x0000000000000000,
248  0x0010000000000000,
249  0x3fdffffffffffffe,
250  0x3fdfffffffffffff,
251  0x3fe0000000000000,
252  0x3feffffffffffffe,
253  0x3fefffffffffffff,
254  0x3ff0000000000000,
255  0x3ff7ffffffffffff,
256  0x4023ffffffffffff,
257  0x7feffffffffffffe,
258  0x7ff0000000000000,
259  0x7ff923456789abcd,
260  0x7ff8000000000000,
261  0x7ff923456789abcd,
262  0x7ff0000000000000,
263  0x000123456789abcd,
264  0x000fffffffffffff,
265  0x0000000000000001,
266  0x8000000000000000,
267  0x8010000000000000,
268  0xbfdfffffffffffff,
269  0xbfe0000000000000,
270  0xbfe0000000000001,
271  0xbfefffffffffffff,
272  0xbff0000000000000,
273  0xbff0000000000001,
274  0xbff8000000000000,
275  0xc024000000000000,
276  0xffefffffffffffff,
277  0xfff0000000000000,
278  0xfff923456789abcd,
279  0xfff8000000000000,
280  0xfff923456789abcd,
281  0xfff0000000000000,
282  0x800123456789abcd,
283  0x800fffffffffffff,
284  0x8000000000000001,
285  0x0000000000000000,
286  0x0010000000000000,
287  0x3fdfffffffffffff,
288  0x3fe0000000000000,
289  0x3fe0000000000001,
290  0x3fefffffffffffff,
291  0x3ff0000000000000,
292  0x3ff0000000000001,
293  0x3ff8000000000000,
294  0x4024000000000000,
295  0x7fefffffffffffff,
296  0x7ff0000000000000,
297  0x7ff923456789abcd,
298  0x7ff8000000000000,
299  0x7ff923456789abcd,
300  0x7ff0000000000000,
301  0x000123456789abcd,
302  0x000fffffffffffff,
303  0x0000000000000001,
304  0x8000000000000000,
305  0x8010000000000001,
306  0xbfe0000000000000,
307  0xbfe0000000000001,
308  0xbfe0000000000002,
309  0xbff0000000000000,
310  0xbff0000000000001,
311  0xbff0000000000002,
312  0xbff8000000000002,
313  0xc024000000000001,
314  0xfff0000000000000,
315  0xfff0000000000000,
316  0xfff923456789abcd,
317  0xfff8000000000000,
318  0xfff923456789abcd,
319  0xfff0000000000000,
320  0x800123456789abcd,
321  0x8010000000000000,
322  0x8000000000000001,
323  0x0000000000000000,
324  0x0010000000000001,
325  0x3fe0000000000000,
326  0x3fe0000000000001,
327  0x3fe0000000000002,
328  0x3ff0000000000000,
329  0x3ff0000000000001,
330  0x3ff0000000000002,
331  0x3ff8000000000002,
332  0x4024000000000001,
333  0x7ff0000000000000,
334  0x7ff0000000000000,
335  0x7ff923456789abcd,
336  0x7ff8000000000000,
337  0x7ff923456789abcd,
338  0x7ff0000000000000,
339  0x000123456789abcd,
340  0x0010000000000000,
341  0x0000000000000001,
342  0x8000000000000000,
343  0x8018000000000000,
344  0xbfe7ffffffffffff,
345  0xbfe8000000000000,
346  0xbfe8000000000002,
347  0xbff7ffffffffffff,
348  0xbff8000000000000,
349  0xbff8000000000002,
350  0xc002000000000000,
351  0xc02e000000000000,
352  0xfff0000000000000,
353  0xfff0000000000000,
354  0xfff923456789abcd,
355  0xfff8000000000000,
356  0xfff923456789abcd,
357  0xfff0000000000000,
358  0x8001b4e81b4e81b4,
359  0x8017fffffffffffe,
360  0x8000000000000002,
361  0x0000000000000000,
362  0x0018000000000000,
363  0x3fe7ffffffffffff,
364  0x3fe8000000000000,
365  0x3fe8000000000002,
366  0x3ff7ffffffffffff,
367  0x3ff8000000000000,
368  0x3ff8000000000002,
369  0x4002000000000000,
370  0x402e000000000000,
371  0x7ff0000000000000,
372  0x7ff0000000000000,
373  0x7ff923456789abcd,
374  0x7ff8000000000000,
375  0x7ff923456789abcd,
376  0x7ff0000000000000,
377  0x0001b4e81b4e81b4,
378  0x0017fffffffffffe,
379  0x0000000000000002,
380  0x8000000000000000,
381  0x8044000000000000,
382  0xc013ffffffffffff,
383  0xc014000000000000,
384  0xc014000000000001,
385  0xc023ffffffffffff,
386  0xc024000000000000,
387  0xc024000000000001,
388  0xc02e000000000000,
389  0xc059000000000000,
390  0xfff0000000000000,
391  0xfff0000000000000,
392  0xfff923456789abcd,
393  0xfff8000000000000,
394  0xfff923456789abcd,
395  0xfff0000000000000,
396  0x800b60b60b60b602,
397  0x8043ffffffffffff,
398  0x800000000000000a,
399  0x0000000000000000,
400  0x0044000000000000,
401  0x4013ffffffffffff,
402  0x4014000000000000,
403  0x4014000000000001,
404  0x4023ffffffffffff,
405  0x4024000000000000,
406  0x4024000000000001,
407  0x402e000000000000,
408  0x4059000000000000,
409  0x7ff0000000000000,
410  0x7ff0000000000000,
411  0x7ff923456789abcd,
412  0x7ff8000000000000,
413  0x7ff923456789abcd,
414  0x7ff0000000000000,
415  0x000b60b60b60b602,
416  0x0043ffffffffffff,
417  0x000000000000000a,
418  0x8000000000000000,
419  0xc00fffffffffffff,
420  0xffdffffffffffffe,
421  0xffdfffffffffffff,
422  0xffe0000000000000,
423  0xffeffffffffffffe,
424  0xffefffffffffffff,
425  0xfff0000000000000,
426  0xfff0000000000000,
427  0xfff0000000000000,
428  0xfff0000000000000,
429  0xfff0000000000000,
430  0xfff923456789abcd,
431  0xfff8000000000000,
432  0xfff923456789abcd,
433  0xfff0000000000000,
434  0xbfd23456789abccf,
435  0xc00ffffffffffffd,
436  0xbccfffffffffffff,
437  0x0000000000000000,
438  0x400fffffffffffff,
439  0x7fdffffffffffffe,
440  0x7fdfffffffffffff,
441  0x7fe0000000000000,
442  0x7feffffffffffffe,
443  0x7fefffffffffffff,
444  0x7ff0000000000000,
445  0x7ff0000000000000,
446  0x7ff0000000000000,
447  0x7ff0000000000000,
448  0x7ff0000000000000,
449  0x7ff923456789abcd,
450  0x7ff8000000000000,
451  0x7ff923456789abcd,
452  0x7ff0000000000000,
453  0x3fd23456789abccf,
454  0x400ffffffffffffd,
455  0x3ccfffffffffffff,
456  0xfff8000000000000,
457  0xfff0000000000000,
458  0xfff0000000000000,
459  0xfff0000000000000,
460  0xfff0000000000000,
461  0xfff0000000000000,
462  0xfff0000000000000,
463  0xfff0000000000000,
464  0xfff0000000000000,
465  0xfff0000000000000,
466  0xfff0000000000000,
467  0xfff0000000000000,
468  0xfff923456789abcd,
469  0xfff8000000000000,
470  0xfff923456789abcd,
471  0xfff0000000000000,
472  0xfff0000000000000,
473  0xfff0000000000000,
474  0xfff0000000000000,
475  0xfff8000000000000,
476  0x7ff0000000000000,
477  0x7ff0000000000000,
478  0x7ff0000000000000,
479  0x7ff0000000000000,
480  0x7ff0000000000000,
481  0x7ff0000000000000,
482  0x7ff0000000000000,
483  0x7ff0000000000000,
484  0x7ff0000000000000,
485  0x7ff0000000000000,
486  0x7ff0000000000000,
487  0x7ff923456789abcd,
488  0x7ff8000000000000,
489  0x7ff923456789abcd,
490  0x7ff0000000000000,
491  0x7ff0000000000000,
492  0x7ff0000000000000,
493  0x7ff0000000000000,
494  0xfff923456789abcd,
495  0xfff923456789abcd,
496  0xfff923456789abcd,
497  0xfff923456789abcd,
498  0xfff923456789abcd,
499  0xfff923456789abcd,
500  0xfff923456789abcd,
501  0xfff923456789abcd,
502  0xfff923456789abcd,
503  0xfff923456789abcd,
504  0xfff923456789abcd,
505  0xfff923456789abcd,
506  0xfff923456789abcd,
507  0xfff923456789abcd,
508  0xfff923456789abcd,
509  0xfff923456789abcd,
510  0xfff923456789abcd,
511  0xfff923456789abcd,
512  0xfff923456789abcd,
513  0xfff923456789abcd,
514  0xfff923456789abcd,
515  0xfff923456789abcd,
516  0xfff923456789abcd,
517  0xfff923456789abcd,
518  0xfff923456789abcd,
519  0xfff923456789abcd,
520  0xfff923456789abcd,
521  0xfff923456789abcd,
522  0xfff923456789abcd,
523  0xfff923456789abcd,
524  0xfff923456789abcd,
525  0xfff923456789abcd,
526  0xfff923456789abcd,
527  0x7ff923456789abcd,
528  0xfff923456789abcd,
529  0xfff923456789abcd,
530  0xfff923456789abcd,
531  0xfff923456789abcd,
532  0xfff8000000000000,
533  0xfff8000000000000,
534  0xfff8000000000000,
535  0xfff8000000000000,
536  0xfff8000000000000,
537  0xfff8000000000000,
538  0xfff8000000000000,
539  0xfff8000000000000,
540  0xfff8000000000000,
541  0xfff8000000000000,
542  0xfff8000000000000,
543  0xfff8000000000000,
544  0xfff8000000000000,
545  0xfff8000000000000,
546  0xfff923456789abcd,
547  0xfff8000000000000,
548  0xfff8000000000000,
549  0xfff8000000000000,
550  0xfff8000000000000,
551  0xfff8000000000000,
552  0xfff8000000000000,
553  0xfff8000000000000,
554  0xfff8000000000000,
555  0xfff8000000000000,
556  0xfff8000000000000,
557  0xfff8000000000000,
558  0xfff8000000000000,
559  0xfff8000000000000,
560  0xfff8000000000000,
561  0xfff8000000000000,
562  0xfff8000000000000,
563  0xfff8000000000000,
564  0xfff8000000000000,
565  0x7ff923456789abcd,
566  0xfff8000000000000,
567  0xfff8000000000000,
568  0xfff8000000000000,
569  0xfff8000000000000,
570  0xfff923456789abcd,
571  0xfff923456789abcd,
572  0xfff923456789abcd,
573  0xfff923456789abcd,
574  0xfff923456789abcd,
575  0xfff923456789abcd,
576  0xfff923456789abcd,
577  0xfff923456789abcd,
578  0xfff923456789abcd,
579  0xfff923456789abcd,
580  0xfff923456789abcd,
581  0xfff923456789abcd,
582  0xfff923456789abcd,
583  0xfff923456789abcd,
584  0xfff923456789abcd,
585  0xfff923456789abcd,
586  0xfff923456789abcd,
587  0xfff923456789abcd,
588  0xfff923456789abcd,
589  0xfff923456789abcd,
590  0xfff923456789abcd,
591  0xfff923456789abcd,
592  0xfff923456789abcd,
593  0xfff923456789abcd,
594  0xfff923456789abcd,
595  0xfff923456789abcd,
596  0xfff923456789abcd,
597  0xfff923456789abcd,
598  0xfff923456789abcd,
599  0xfff923456789abcd,
600  0xfff923456789abcd,
601  0xfff923456789abcd,
602  0xfff923456789abcd,
603  0xfff923456789abcd,
604  0xfff923456789abcd,
605  0xfff923456789abcd,
606  0xfff923456789abcd,
607  0xfff923456789abcd,
608  0xfff8000000000000,
609  0xfff0000000000000,
610  0xfff0000000000000,
611  0xfff0000000000000,
612  0xfff0000000000000,
613  0xfff0000000000000,
614  0xfff0000000000000,
615  0xfff0000000000000,
616  0xfff0000000000000,
617  0xfff0000000000000,
618  0xfff0000000000000,
619  0xfff0000000000000,
620  0xfff923456789abcd,
621  0xfff8000000000000,
622  0xfff923456789abcd,
623  0xfff0000000000000,
624  0xfff0000000000000,
625  0xfff0000000000000,
626  0xfff0000000000000,
627  0xfff8000000000000,
628  0x7ff0000000000000,
629  0x7ff0000000000000,
630  0x7ff0000000000000,
631  0x7ff0000000000000,
632  0x7ff0000000000000,
633  0x7ff0000000000000,
634  0x7ff0000000000000,
635  0x7ff0000000000000,
636  0x7ff0000000000000,
637  0x7ff0000000000000,
638  0x7ff0000000000000,
639  0x7ff923456789abcd,
640  0x7ff8000000000000,
641  0x7ff923456789abcd,
642  0x7ff0000000000000,
643  0x7ff0000000000000,
644  0x7ff0000000000000,
645  0x7ff0000000000000,
646  0x8000000000000000,
647  0x8000000000000000,
648  0x800091a2b3c4d5e6,
649  0x800091a2b3c4d5e6,
650  0x800091a2b3c4d5e7,
651  0x800123456789abcd,
652  0x800123456789abcd,
653  0x800123456789abcd,
654  0x8001b4e81b4e81b4,
655  0x800b60b60b60b602,
656  0xbfd23456789abccf,
657  0xfff0000000000000,
658  0xfff923456789abcd,
659  0xfff8000000000000,
660  0xfff923456789abcd,
661  0xfff0000000000000,
662  0x8000000000000000,
663  0x8000000000000000,
664  0x8000000000000000,
665  0x0000000000000000,
666  0x0000000000000000,
667  0x000091a2b3c4d5e6,
668  0x000091a2b3c4d5e6,
669  0x000091a2b3c4d5e7,
670  0x000123456789abcd,
671  0x000123456789abcd,
672  0x000123456789abcd,
673  0x0001b4e81b4e81b4,
674  0x000b60b60b60b602,
675  0x3fd23456789abccf,
676  0x7ff0000000000000,
677  0x7ff923456789abcd,
678  0x7ff8000000000000,
679  0x7ff923456789abcd,
680  0x7ff0000000000000,
681  0x0000000000000000,
682  0x0000000000000000,
683  0x0000000000000000,
684  0x8000000000000000,
685  0x8000000000000000,
686  0x8007ffffffffffff,
687  0x8008000000000000,
688  0x8008000000000000,
689  0x800fffffffffffff,
690  0x800fffffffffffff,
691  0x8010000000000000,
692  0x8017fffffffffffe,
693  0x8043ffffffffffff,
694  0xc00ffffffffffffd,
695  0xfff0000000000000,
696  0xfff923456789abcd,
697  0xfff8000000000000,
698  0xfff923456789abcd,
699  0xfff0000000000000,
700  0x8000000000000000,
701  0x8000000000000000,
702  0x8000000000000000,
703  0x0000000000000000,
704  0x0000000000000000,
705  0x0007ffffffffffff,
706  0x0008000000000000,
707  0x0008000000000000,
708  0x000fffffffffffff,
709  0x000fffffffffffff,
710  0x0010000000000000,
711  0x0017fffffffffffe,
712  0x0043ffffffffffff,
713  0x400ffffffffffffd,
714  0x7ff0000000000000,
715  0x7ff923456789abcd,
716  0x7ff8000000000000,
717  0x7ff923456789abcd,
718  0x7ff0000000000000,
719  0x0000000000000000,
720  0x0000000000000000,
721  0x0000000000000000,
722  0x8000000000000000,
723  0x8000000000000000,
724  0x8000000000000000,
725  0x8000000000000000,
726  0x8000000000000001,
727  0x8000000000000001,
728  0x8000000000000001,
729  0x8000000000000001,
730  0x8000000000000002,
731  0x800000000000000a,
732  0xbccfffffffffffff,
733  0xfff0000000000000,
734  0xfff923456789abcd,
735  0xfff8000000000000,
736  0xfff923456789abcd,
737  0xfff0000000000000,
738  0x8000000000000000,
739  0x8000000000000000,
740  0x8000000000000000,
741  0x0000000000000000,
742  0x0000000000000000,
743  0x0000000000000000,
744  0x0000000000000000,
745  0x0000000000000001,
746  0x0000000000000001,
747  0x0000000000000001,
748  0x0000000000000001,
749  0x0000000000000002,
750  0x000000000000000a,
751  0x3ccfffffffffffff,
752  0x7ff0000000000000,
753  0x7ff923456789abcd,
754  0x7ff8000000000000,
755  0x7ff923456789abcd,
756  0x7ff0000000000000,
757  0x0000000000000000,
758  0x0000000000000000,
759  0x0000000000000000,
760  0x0000000000000000,
761  0x0000000000000000,
762  0x0000000000000000,
763  0x0000000000000000,
764  0x0000000000000000,
765  0x0000000000000000,
766  0x0000000000000000,
767  0x0000000000000000,
768  0x0000000000000000,
769  0x0000000000000000,
770  0x0000000000000000,
771  0xfff8000000000000,
772  0xfff923456789abcd,
773  0xfff8000000000000,
774  0xfff923456789abcd,
775  0xfff8000000000000,
776  0x0000000000000000,
777  0x0000000000000000,
778  0x0000000000000000,
779  0x8000000000000000,
780  0x8000000000000000,
781  0x8000000000000000,
782  0x8000000000000000,
783  0x8000000000000000,
784  0x8000000000000000,
785  0x8000000000000000,
786  0x8000000000000000,
787  0x8000000000000000,
788  0x8000000000000000,
789  0x8000000000000000,
790  0xfff8000000000000,
791  0x7ff923456789abcd,
792  0x7ff8000000000000,
793  0x7ff923456789abcd,
794  0xfff8000000000000,
795  0x8000000000000000,
796  0x8000000000000000,
797  0x8000000000000000,
798  0x0000000000000000,
799  0x0000000000000000,
800  0x0008000000000000,
801  0x0008000000000000,
802  0x0008000000000000,
803  0x0010000000000000,
804  0x0010000000000000,
805  0x0010000000000001,
806  0x0018000000000000,
807  0x0044000000000000,
808  0x400fffffffffffff,
809  0x7ff0000000000000,
810  0xfff923456789abcd,
811  0xfff8000000000000,
812  0xfff923456789abcd,
813  0x7ff0000000000000,
814  0x0000000000000000,
815  0x0000000000000000,
816  0x0000000000000000,
817  0x8000000000000000,
818  0x8000000000000000,
819  0x8008000000000000,
820  0x8008000000000000,
821  0x8008000000000000,
822  0x8010000000000000,
823  0x8010000000000000,
824  0x8010000000000001,
825  0x8018000000000000,
826  0x8044000000000000,
827  0xc00fffffffffffff,
828  0xfff0000000000000,
829  0x7ff923456789abcd,
830  0x7ff8000000000000,
831  0x7ff923456789abcd,
832  0xfff0000000000000,
833  0x8000000000000000,
834  0x8000000000000000,
835  0x8000000000000000,
836  0x0000000000000000,
837  0x0008000000000000,
838  0x3fcffffffffffffe,
839  0x3fcfffffffffffff,
840  0x3fd0000000000000,
841  0x3fdffffffffffffe,
842  0x3fdfffffffffffff,
843  0x3fe0000000000000,
844  0x3fe7ffffffffffff,
845  0x4013ffffffffffff,
846  0x7fdffffffffffffe,
847  0x7ff0000000000000,
848  0xfff923456789abcd,
849  0xfff8000000000000,
850  0xfff923456789abcd,
851  0x7ff0000000000000,
852  0x000091a2b3c4d5e6,
853  0x0007ffffffffffff,
854  0x0000000000000000,
855  0x8000000000000000,
856  0x8008000000000000,
857  0xbfcffffffffffffe,
858  0xbfcfffffffffffff,
859  0xbfd0000000000000,
860  0xbfdffffffffffffe,
861  0xbfdfffffffffffff,
862  0xbfe0000000000000,
863  0xbfe7ffffffffffff,
864  0xc013ffffffffffff,
865  0xffdffffffffffffe,
866  0xfff0000000000000,
867  0x7ff923456789abcd,
868  0x7ff8000000000000,
869  0x7ff923456789abcd,
870  0xfff0000000000000,
871  0x800091a2b3c4d5e6,
872  0x8007ffffffffffff,
873  0x8000000000000000,
874  0x0000000000000000,
875  0x0008000000000000,
876  0x3fcfffffffffffff,
877  0x3fd0000000000000,
878  0x3fd0000000000001,
879  0x3fdfffffffffffff,
880  0x3fe0000000000000,
881  0x3fe0000000000001,
882  0x3fe8000000000000,
883  0x4014000000000000,
884  0x7fdfffffffffffff,
885  0x7ff0000000000000,
886  0xfff923456789abcd,
887  0xfff8000000000000,
888  0xfff923456789abcd,
889  0x7ff0000000000000,
890  0x000091a2b3c4d5e6,
891  0x0008000000000000,
892  0x0000000000000000,
893  0x8000000000000000,
894  0x8008000000000000,
895  0xbfcfffffffffffff,
896  0xbfd0000000000000,
897  0xbfd0000000000001,
898  0xbfdfffffffffffff,
899  0xbfe0000000000000,
900  0xbfe0000000000001,
901  0xbfe8000000000000,
902  0xc014000000000000,
903  0xffdfffffffffffff,
904  0xfff0000000000000,
905  0x7ff923456789abcd,
906  0x7ff8000000000000,
907  0x7ff923456789abcd,
908  0xfff0000000000000,
909  0x800091a2b3c4d5e6,
910  0x8008000000000000,
911  0x8000000000000000,
912  0x0000000000000000,
913  0x0008000000000000,
914  0x3fd0000000000000,
915  0x3fd0000000000001,
916  0x3fd0000000000002,
917  0x3fe0000000000000,
918  0x3fe0000000000001,
919  0x3fe0000000000002,
920  0x3fe8000000000002,
921  0x4014000000000001,
922  0x7fe0000000000000,
923  0x7ff0000000000000,
924  0xfff923456789abcd,
925  0xfff8000000000000,
926  0xfff923456789abcd,
927  0x7ff0000000000000,
928  0x000091a2b3c4d5e7,
929  0x0008000000000000,
930  0x0000000000000001,
931  0x8000000000000000,
932  0x8008000000000000,
933  0xbfd0000000000000,
934  0xbfd0000000000001,
935  0xbfd0000000000002,
936  0xbfe0000000000000,
937  0xbfe0000000000001,
938  0xbfe0000000000002,
939  0xbfe8000000000002,
940  0xc014000000000001,
941  0xffe0000000000000,
942  0xfff0000000000000,
943  0x7ff923456789abcd,
944  0x7ff8000000000000,
945  0x7ff923456789abcd,
946  0xfff0000000000000,
947  0x800091a2b3c4d5e7,
948  0x8008000000000000,
949  0x8000000000000001,
950  0x0000000000000000,
951  0x0010000000000000,
952  0x3fdffffffffffffe,
953  0x3fdfffffffffffff,
954  0x3fe0000000000000,
955  0x3feffffffffffffe,
956  0x3fefffffffffffff,
957  0x3ff0000000000000,
958  0x3ff7ffffffffffff,
959  0x4023ffffffffffff,
960  0x7feffffffffffffe,
961  0x7ff0000000000000,
962  0xfff923456789abcd,
963  0xfff8000000000000,
964  0xfff923456789abcd,
965  0x7ff0000000000000,
966  0x000123456789abcd,
967  0x000fffffffffffff,
968  0x0000000000000001,
969  0x8000000000000000,
970  0x8010000000000000,
971  0xbfdffffffffffffe,
972  0xbfdfffffffffffff,
973  0xbfe0000000000000,
974  0xbfeffffffffffffe,
975  0xbfefffffffffffff,
976  0xbff0000000000000,
977  0xbff7ffffffffffff,
978  0xc023ffffffffffff,
979  0xffeffffffffffffe,
980  0xfff0000000000000,
981  0x7ff923456789abcd,
982  0x7ff8000000000000,
983  0x7ff923456789abcd,
984  0xfff0000000000000,
985  0x800123456789abcd,
986  0x800fffffffffffff,
987  0x8000000000000001,
988  0x0000000000000000,
989  0x0010000000000000,
990  0x3fdfffffffffffff,
991  0x3fe0000000000000,
992  0x3fe0000000000001,
993  0x3fefffffffffffff,
994  0x3ff0000000000000,
995  0x3ff0000000000001,
996  0x3ff8000000000000,
997  0x4024000000000000,
998  0x7fefffffffffffff,
999  0x7ff0000000000000,
1000  0xfff923456789abcd,
1001  0xfff8000000000000,
1002  0xfff923456789abcd,
1003  0x7ff0000000000000,
1004  0x000123456789abcd,
1005  0x000fffffffffffff,
1006  0x0000000000000001,
1007  0x8000000000000000,
1008  0x8010000000000000,
1009  0xbfdfffffffffffff,
1010  0xbfe0000000000000,
1011  0xbfe0000000000001,
1012  0xbfefffffffffffff,
1013  0xbff0000000000000,
1014  0xbff0000000000001,
1015  0xbff8000000000000,
1016  0xc024000000000000,
1017  0xffefffffffffffff,
1018  0xfff0000000000000,
1019  0x7ff923456789abcd,
1020  0x7ff8000000000000,
1021  0x7ff923456789abcd,
1022  0xfff0000000000000,
1023  0x800123456789abcd,
1024  0x800fffffffffffff,
1025  0x8000000000000001,
1026  0x0000000000000000,
1027  0x0010000000000001,
1028  0x3fe0000000000000,
1029  0x3fe0000000000001,
1030  0x3fe0000000000002,
1031  0x3ff0000000000000,
1032  0x3ff0000000000001,
1033  0x3ff0000000000002,
1034  0x3ff8000000000002,
1035  0x4024000000000001,
1036  0x7ff0000000000000,
1037  0x7ff0000000000000,
1038  0xfff923456789abcd,
1039  0xfff8000000000000,
1040  0xfff923456789abcd,
1041  0x7ff0000000000000,
1042  0x000123456789abcd,
1043  0x0010000000000000,
1044  0x0000000000000001,
1045  0x8000000000000000,
1046  0x8010000000000001,
1047  0xbfe0000000000000,
1048  0xbfe0000000000001,
1049  0xbfe0000000000002,
1050  0xbff0000000000000,
1051  0xbff0000000000001,
1052  0xbff0000000000002,
1053  0xbff8000000000002,
1054  0xc024000000000001,
1055  0xfff0000000000000,
1056  0xfff0000000000000,
1057  0x7ff923456789abcd,
1058  0x7ff8000000000000,
1059  0x7ff923456789abcd,
1060  0xfff0000000000000,
1061  0x800123456789abcd,
1062  0x8010000000000000,
1063  0x8000000000000001,
1064  0x0000000000000000,
1065  0x0018000000000000,
1066  0x3fe7ffffffffffff,
1067  0x3fe8000000000000,
1068  0x3fe8000000000002,
1069  0x3ff7ffffffffffff,
1070  0x3ff8000000000000,
1071  0x3ff8000000000002,
1072  0x4002000000000000,
1073  0x402e000000000000,
1074  0x7ff0000000000000,
1075  0x7ff0000000000000,
1076  0xfff923456789abcd,
1077  0xfff8000000000000,
1078  0xfff923456789abcd,
1079  0x7ff0000000000000,
1080  0x0001b4e81b4e81b4,
1081  0x0017fffffffffffe,
1082  0x0000000000000002,
1083  0x8000000000000000,
1084  0x8018000000000000,
1085  0xbfe7ffffffffffff,
1086  0xbfe8000000000000,
1087  0xbfe8000000000002,
1088  0xbff7ffffffffffff,
1089  0xbff8000000000000,
1090  0xbff8000000000002,
1091  0xc002000000000000,
1092  0xc02e000000000000,
1093  0xfff0000000000000,
1094  0xfff0000000000000,
1095  0x7ff923456789abcd,
1096  0x7ff8000000000000,
1097  0x7ff923456789abcd,
1098  0xfff0000000000000,
1099  0x8001b4e81b4e81b4,
1100  0x8017fffffffffffe,
1101  0x8000000000000002,
1102  0x0000000000000000,
1103  0x0044000000000000,
1104  0x4013ffffffffffff,
1105  0x4014000000000000,
1106  0x4014000000000001,
1107  0x4023ffffffffffff,
1108  0x4024000000000000,
1109  0x4024000000000001,
1110  0x402e000000000000,
1111  0x4059000000000000,
1112  0x7ff0000000000000,
1113  0x7ff0000000000000,
1114  0xfff923456789abcd,
1115  0xfff8000000000000,
1116  0xfff923456789abcd,
1117  0x7ff0000000000000,
1118  0x000b60b60b60b602,
1119  0x0043ffffffffffff,
1120  0x000000000000000a,
1121  0x8000000000000000,
1122  0x8044000000000000,
1123  0xc013ffffffffffff,
1124  0xc014000000000000,
1125  0xc014000000000001,
1126  0xc023ffffffffffff,
1127  0xc024000000000000,
1128  0xc024000000000001,
1129  0xc02e000000000000,
1130  0xc059000000000000,
1131  0xfff0000000000000,
1132  0xfff0000000000000,
1133  0x7ff923456789abcd,
1134  0x7ff8000000000000,
1135  0x7ff923456789abcd,
1136  0xfff0000000000000,
1137  0x800b60b60b60b602,
1138  0x8043ffffffffffff,
1139  0x800000000000000a,
1140  0x0000000000000000,
1141  0x400fffffffffffff,
1142  0x7fdffffffffffffe,
1143  0x7fdfffffffffffff,
1144  0x7fe0000000000000,
1145  0x7feffffffffffffe,
1146  0x7fefffffffffffff,
1147  0x7ff0000000000000,
1148  0x7ff0000000000000,
1149  0x7ff0000000000000,
1150  0x7ff0000000000000,
1151  0x7ff0000000000000,
1152  0xfff923456789abcd,
1153  0xfff8000000000000,
1154  0xfff923456789abcd,
1155  0x7ff0000000000000,
1156  0x3fd23456789abccf,
1157  0x400ffffffffffffd,
1158  0x3ccfffffffffffff,
1159  0x8000000000000000,
1160  0xc00fffffffffffff,
1161  0xffdffffffffffffe,
1162  0xffdfffffffffffff,
1163  0xffe0000000000000,
1164  0xffeffffffffffffe,
1165  0xffefffffffffffff,
1166  0xfff0000000000000,
1167  0xfff0000000000000,
1168  0xfff0000000000000,
1169  0xfff0000000000000,
1170  0xfff0000000000000,
1171  0x7ff923456789abcd,
1172  0x7ff8000000000000,
1173  0x7ff923456789abcd,
1174  0xfff0000000000000,
1175  0xbfd23456789abccf,
1176  0xc00ffffffffffffd,
1177  0xbccfffffffffffff,
1178  0xfff8000000000000,
1179  0x7ff0000000000000,
1180  0x7ff0000000000000,
1181  0x7ff0000000000000,
1182  0x7ff0000000000000,
1183  0x7ff0000000000000,
1184  0x7ff0000000000000,
1185  0x7ff0000000000000,
1186  0x7ff0000000000000,
1187  0x7ff0000000000000,
1188  0x7ff0000000000000,
1189  0x7ff0000000000000,
1190  0xfff923456789abcd,
1191  0xfff8000000000000,
1192  0xfff923456789abcd,
1193  0x7ff0000000000000,
1194  0x7ff0000000000000,
1195  0x7ff0000000000000,
1196  0x7ff0000000000000,
1197  0xfff8000000000000,
1198  0xfff0000000000000,
1199  0xfff0000000000000,
1200  0xfff0000000000000,
1201  0xfff0000000000000,
1202  0xfff0000000000000,
1203  0xfff0000000000000,
1204  0xfff0000000000000,
1205  0xfff0000000000000,
1206  0xfff0000000000000,
1207  0xfff0000000000000,
1208  0xfff0000000000000,
1209  0x7ff923456789abcd,
1210  0x7ff8000000000000,
1211  0x7ff923456789abcd,
1212  0xfff0000000000000,
1213  0xfff0000000000000,
1214  0xfff0000000000000,
1215  0xfff0000000000000,
1216  0x7ff923456789abcd,
1217  0x7ff923456789abcd,
1218  0x7ff923456789abcd,
1219  0x7ff923456789abcd,
1220  0x7ff923456789abcd,
1221  0x7ff923456789abcd,
1222  0x7ff923456789abcd,
1223  0x7ff923456789abcd,
1224  0x7ff923456789abcd,
1225  0x7ff923456789abcd,
1226  0x7ff923456789abcd,
1227  0x7ff923456789abcd,
1228  0x7ff923456789abcd,
1229  0x7ff923456789abcd,
1230  0xfff923456789abcd,
1231  0x7ff923456789abcd,
1232  0x7ff923456789abcd,
1233  0x7ff923456789abcd,
1234  0x7ff923456789abcd,
1235  0x7ff923456789abcd,
1236  0x7ff923456789abcd,
1237  0x7ff923456789abcd,
1238  0x7ff923456789abcd,
1239  0x7ff923456789abcd,
1240  0x7ff923456789abcd,
1241  0x7ff923456789abcd,
1242  0x7ff923456789abcd,
1243  0x7ff923456789abcd,
1244  0x7ff923456789abcd,
1245  0x7ff923456789abcd,
1246  0x7ff923456789abcd,
1247  0x7ff923456789abcd,
1248  0x7ff923456789abcd,
1249  0x7ff923456789abcd,
1250  0x7ff923456789abcd,
1251  0x7ff923456789abcd,
1252  0x7ff923456789abcd,
1253  0x7ff923456789abcd,
1254  0x7ff8000000000000,
1255  0x7ff8000000000000,
1256  0x7ff8000000000000,
1257  0x7ff8000000000000,
1258  0x7ff8000000000000,
1259  0x7ff8000000000000,
1260  0x7ff8000000000000,
1261  0x7ff8000000000000,
1262  0x7ff8000000000000,
1263  0x7ff8000000000000,
1264  0x7ff8000000000000,
1265  0x7ff8000000000000,
1266  0x7ff8000000000000,
1267  0x7ff8000000000000,
1268  0xfff923456789abcd,
1269  0x7ff8000000000000,
1270  0x7ff8000000000000,
1271  0x7ff8000000000000,
1272  0x7ff8000000000000,
1273  0x7ff8000000000000,
1274  0x7ff8000000000000,
1275  0x7ff8000000000000,
1276  0x7ff8000000000000,
1277  0x7ff8000000000000,
1278  0x7ff8000000000000,
1279  0x7ff8000000000000,
1280  0x7ff8000000000000,
1281  0x7ff8000000000000,
1282  0x7ff8000000000000,
1283  0x7ff8000000000000,
1284  0x7ff8000000000000,
1285  0x7ff8000000000000,
1286  0x7ff8000000000000,
1287  0x7ff923456789abcd,
1288  0x7ff8000000000000,
1289  0x7ff8000000000000,
1290  0x7ff8000000000000,
1291  0x7ff8000000000000,
1292  0x7ff923456789abcd,
1293  0x7ff923456789abcd,
1294  0x7ff923456789abcd,
1295  0x7ff923456789abcd,
1296  0x7ff923456789abcd,
1297  0x7ff923456789abcd,
1298  0x7ff923456789abcd,
1299  0x7ff923456789abcd,
1300  0x7ff923456789abcd,
1301  0x7ff923456789abcd,
1302  0x7ff923456789abcd,
1303  0x7ff923456789abcd,
1304  0x7ff923456789abcd,
1305  0x7ff923456789abcd,
1306  0x7ff923456789abcd,
1307  0x7ff923456789abcd,
1308  0x7ff923456789abcd,
1309  0x7ff923456789abcd,
1310  0x7ff923456789abcd,
1311  0x7ff923456789abcd,
1312  0x7ff923456789abcd,
1313  0x7ff923456789abcd,
1314  0x7ff923456789abcd,
1315  0x7ff923456789abcd,
1316  0x7ff923456789abcd,
1317  0x7ff923456789abcd,
1318  0x7ff923456789abcd,
1319  0x7ff923456789abcd,
1320  0x7ff923456789abcd,
1321  0x7ff923456789abcd,
1322  0x7ff923456789abcd,
1323  0x7ff923456789abcd,
1324  0x7ff923456789abcd,
1325  0x7ff923456789abcd,
1326  0x7ff923456789abcd,
1327  0x7ff923456789abcd,
1328  0x7ff923456789abcd,
1329  0x7ff923456789abcd,
1330  0xfff8000000000000,
1331  0x7ff0000000000000,
1332  0x7ff0000000000000,
1333  0x7ff0000000000000,
1334  0x7ff0000000000000,
1335  0x7ff0000000000000,
1336  0x7ff0000000000000,
1337  0x7ff0000000000000,
1338  0x7ff0000000000000,
1339  0x7ff0000000000000,
1340  0x7ff0000000000000,
1341  0x7ff0000000000000,
1342  0xfff923456789abcd,
1343  0xfff8000000000000,
1344  0xfff923456789abcd,
1345  0x7ff0000000000000,
1346  0x7ff0000000000000,
1347  0x7ff0000000000000,
1348  0x7ff0000000000000,
1349  0xfff8000000000000,
1350  0xfff0000000000000,
1351  0xfff0000000000000,
1352  0xfff0000000000000,
1353  0xfff0000000000000,
1354  0xfff0000000000000,
1355  0xfff0000000000000,
1356  0xfff0000000000000,
1357  0xfff0000000000000,
1358  0xfff0000000000000,
1359  0xfff0000000000000,
1360  0xfff0000000000000,
1361  0x7ff923456789abcd,
1362  0x7ff8000000000000,
1363  0x7ff923456789abcd,
1364  0xfff0000000000000,
1365  0xfff0000000000000,
1366  0xfff0000000000000,
1367  0xfff0000000000000,
1368  0x0000000000000000,
1369  0x0000000000000000,
1370  0x000091a2b3c4d5e6,
1371  0x000091a2b3c4d5e6,
1372  0x000091a2b3c4d5e7,
1373  0x000123456789abcd,
1374  0x000123456789abcd,
1375  0x000123456789abcd,
1376  0x0001b4e81b4e81b4,
1377  0x000b60b60b60b602,
1378  0x3fd23456789abccf,
1379  0x7ff0000000000000,
1380  0xfff923456789abcd,
1381  0xfff8000000000000,
1382  0xfff923456789abcd,
1383  0x7ff0000000000000,
1384  0x0000000000000000,
1385  0x0000000000000000,
1386  0x0000000000000000,
1387  0x8000000000000000,
1388  0x8000000000000000,
1389  0x800091a2b3c4d5e6,
1390  0x800091a2b3c4d5e6,
1391  0x800091a2b3c4d5e7,
1392  0x800123456789abcd,
1393  0x800123456789abcd,
1394  0x800123456789abcd,
1395  0x8001b4e81b4e81b4,
1396  0x800b60b60b60b602,
1397  0xbfd23456789abccf,
1398  0xfff0000000000000,
1399  0x7ff923456789abcd,
1400  0x7ff8000000000000,
1401  0x7ff923456789abcd,
1402  0xfff0000000000000,
1403  0x8000000000000000,
1404  0x8000000000000000,
1405  0x8000000000000000,
1406  0x0000000000000000,
1407  0x0000000000000000,
1408  0x0007ffffffffffff,
1409  0x0008000000000000,
1410  0x0008000000000000,
1411  0x000fffffffffffff,
1412  0x000fffffffffffff,
1413  0x0010000000000000,
1414  0x0017fffffffffffe,
1415  0x0043ffffffffffff,
1416  0x400ffffffffffffd,
1417  0x7ff0000000000000,
1418  0xfff923456789abcd,
1419  0xfff8000000000000,
1420  0xfff923456789abcd,
1421  0x7ff0000000000000,
1422  0x0000000000000000,
1423  0x0000000000000000,
1424  0x0000000000000000,
1425  0x8000000000000000,
1426  0x8000000000000000,
1427  0x8007ffffffffffff,
1428  0x8008000000000000,
1429  0x8008000000000000,
1430  0x800fffffffffffff,
1431  0x800fffffffffffff,
1432  0x8010000000000000,
1433  0x8017fffffffffffe,
1434  0x8043ffffffffffff,
1435  0xc00ffffffffffffd,
1436  0xfff0000000000000,
1437  0x7ff923456789abcd,
1438  0x7ff8000000000000,
1439  0x7ff923456789abcd,
1440  0xfff0000000000000,
1441  0x8000000000000000,
1442  0x8000000000000000,
1443  0x8000000000000000,
1444  0x0000000000000000,
1445  0x0000000000000000,
1446  0x0000000000000000,
1447  0x0000000000000000,
1448  0x0000000000000001,
1449  0x0000000000000001,
1450  0x0000000000000001,
1451  0x0000000000000001,
1452  0x0000000000000002,
1453  0x000000000000000a,
1454  0x3ccfffffffffffff,
1455  0x7ff0000000000000,
1456  0xfff923456789abcd,
1457  0xfff8000000000000,
1458  0xfff923456789abcd,
1459  0x7ff0000000000000,
1460  0x0000000000000000,
1461  0x0000000000000000,
1462  0x0000000000000000,
1463  0x8000000000000000,
1464  0x8000000000000000,
1465  0x8000000000000000,
1466  0x8000000000000000,
1467  0x8000000000000001,
1468  0x8000000000000001,
1469  0x8000000000000001,
1470  0x8000000000000001,
1471  0x8000000000000002,
1472  0x800000000000000a,
1473  0xbccfffffffffffff,
1474  0xfff0000000000000,
1475  0x7ff923456789abcd,
1476  0x7ff8000000000000,
1477  0x7ff923456789abcd,
1478  0xfff0000000000000,
1479  0x8000000000000000,
1480  0x8000000000000000,
1481  0x8000000000000000,
1482};
1483const unsigned kExpectedCount_fnmul_d = 1444;
1484
1485#endif  // VIXL_SIM_FNMUL_D_TRACE_AARCH64_H_
1486