1 /*
2  * Copyright (C) 2014 The Android Open Source Project
3  *
4  * Licensed under the Apache License, Version 2.0 (the "License");
5  * you may not use this file except in compliance with the License.
6  * You may obtain a copy of the License at
7  *
8  *      http://www.apache.org/licenses/LICENSE-2.0
9  *
10  * Unless required by applicable law or agreed to in writing, software
11  * distributed under the License is distributed on an "AS IS" BASIS,
12  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13  * See the License for the specific language governing permissions and
14  * limitations under the License.
15  */
16 
17 static data_1_1_t<double, double> g_trunc_intel_data[] = {
18   { // Entry 0
19     -0.0,
20     -0x1.0p-1074
21   },
22   { // Entry 1
23     -0.0,
24     -0.0
25   },
26   { // Entry 2
27     0.0,
28     0x1.0p-1074
29   },
30   { // Entry 3
31     0.0,
32     0x1.fffffffffffffp-2
33   },
34   { // Entry 4
35     0.0,
36     0x1.0p-1
37   },
38   { // Entry 5
39     0.0,
40     0x1.0000000000001p-1
41   },
42   { // Entry 6
43     0.0,
44     0x1.fffffffffffffp-1
45   },
46   { // Entry 7
47     0x1.p0,
48     0x1.0p0
49   },
50   { // Entry 8
51     0x1.p0,
52     0x1.0000000000001p0
53   },
54   { // Entry 9
55     0x1.p0,
56     0x1.7ffffffffffffp0
57   },
58   { // Entry 10
59     0x1.p0,
60     0x1.8p0
61   },
62   { // Entry 11
63     0x1.p0,
64     0x1.8000000000001p0
65   },
66   { // Entry 12
67     0x1.p0,
68     0x1.fffffffffffffp0
69   },
70   { // Entry 13
71     0x1.p1,
72     0x1.0p1
73   },
74   { // Entry 14
75     0x1.p1,
76     0x1.0000000000001p1
77   },
78   { // Entry 15
79     0x1.p1,
80     0x1.3ffffffffffffp1
81   },
82   { // Entry 16
83     0x1.p1,
84     0x1.4p1
85   },
86   { // Entry 17
87     0x1.p1,
88     0x1.4000000000001p1
89   },
90   { // Entry 18
91     0x1.8cp6,
92     0x1.8ffffffffffffp6
93   },
94   { // Entry 19
95     0x1.90p6,
96     0x1.9p6
97   },
98   { // Entry 20
99     0x1.90p6,
100     0x1.9000000000001p6
101   },
102   { // Entry 21
103     0x1.90p6,
104     0x1.91fffffffffffp6
105   },
106   { // Entry 22
107     0x1.90p6,
108     0x1.920p6
109   },
110   { // Entry 23
111     0x1.90p6,
112     0x1.9200000000001p6
113   },
114   { // Entry 24
115     0x1.f380p9,
116     0x1.f3fffffffffffp9
117   },
118   { // Entry 25
119     0x1.f4p9,
120     0x1.f40p9
121   },
122   { // Entry 26
123     0x1.f4p9,
124     0x1.f400000000001p9
125   },
126   { // Entry 27
127     0x1.f4p9,
128     0x1.f43ffffffffffp9
129   },
130   { // Entry 28
131     0x1.f4p9,
132     0x1.f44p9
133   },
134   { // Entry 29
135     0x1.f4p9,
136     0x1.f440000000001p9
137   },
138   { // Entry 30
139     0x1.ffffffffffff80p49,
140     0x1.fffffffffffffp49
141   },
142   { // Entry 31
143     0x1.p50,
144     0x1.0p50
145   },
146   { // Entry 32
147     0x1.p50,
148     0x1.0000000000001p50
149   },
150   { // Entry 33
151     0x1.ffffffffffffc0p50,
152     0x1.fffffffffffffp50
153   },
154   { // Entry 34
155     0x1.p51,
156     0x1.0p51
157   },
158   { // Entry 35
159     0x1.p51,
160     0x1.0000000000001p51
161   },
162   { // Entry 36
163     0x1.ffffffffffffe0p51,
164     0x1.fffffffffffffp51
165   },
166   { // Entry 37
167     0x1.p52,
168     0x1.0p52
169   },
170   { // Entry 38
171     0x1.00000000000010p52,
172     0x1.0000000000001p52
173   },
174   { // Entry 39
175     0x1.fffffffffffff0p52,
176     0x1.fffffffffffffp52
177   },
178   { // Entry 40
179     0x1.p53,
180     0x1.0p53
181   },
182   { // Entry 41
183     0x1.00000000000010p53,
184     0x1.0000000000001p53
185   },
186   { // Entry 42
187     0x1.fffffffffffff0p53,
188     0x1.fffffffffffffp53
189   },
190   { // Entry 43
191     0x1.p54,
192     0x1.0p54
193   },
194   { // Entry 44
195     0x1.00000000000010p54,
196     0x1.0000000000001p54
197   },
198   { // Entry 45
199     0x1.fffffffffffff0p1023,
200     0x1.fffffffffffffp1023
201   },
202   { // Entry 46
203     -0.0,
204     -0x1.0000000000001p-1
205   },
206   { // Entry 47
207     -0.0,
208     -0x1.0p-1
209   },
210   { // Entry 48
211     -0.0,
212     -0x1.fffffffffffffp-2
213   },
214   { // Entry 49
215     -0x1.p0,
216     -0x1.0000000000001p0
217   },
218   { // Entry 50
219     -0x1.p0,
220     -0x1.0p0
221   },
222   { // Entry 51
223     -0.0,
224     -0x1.fffffffffffffp-1
225   },
226   { // Entry 52
227     -0x1.p0,
228     -0x1.8000000000001p0
229   },
230   { // Entry 53
231     -0x1.p0,
232     -0x1.8p0
233   },
234   { // Entry 54
235     -0x1.p0,
236     -0x1.7ffffffffffffp0
237   },
238   { // Entry 55
239     -0x1.p1,
240     -0x1.0000000000001p1
241   },
242   { // Entry 56
243     -0x1.p1,
244     -0x1.0p1
245   },
246   { // Entry 57
247     -0x1.p0,
248     -0x1.fffffffffffffp0
249   },
250   { // Entry 58
251     -0x1.p1,
252     -0x1.4000000000001p1
253   },
254   { // Entry 59
255     -0x1.p1,
256     -0x1.4p1
257   },
258   { // Entry 60
259     -0x1.p1,
260     -0x1.3ffffffffffffp1
261   },
262   { // Entry 61
263     -0x1.90p6,
264     -0x1.9000000000001p6
265   },
266   { // Entry 62
267     -0x1.90p6,
268     -0x1.9p6
269   },
270   { // Entry 63
271     -0x1.8cp6,
272     -0x1.8ffffffffffffp6
273   },
274   { // Entry 64
275     -0x1.90p6,
276     -0x1.9200000000001p6
277   },
278   { // Entry 65
279     -0x1.90p6,
280     -0x1.920p6
281   },
282   { // Entry 66
283     -0x1.90p6,
284     -0x1.91fffffffffffp6
285   },
286   { // Entry 67
287     -0x1.f4p9,
288     -0x1.f400000000001p9
289   },
290   { // Entry 68
291     -0x1.f4p9,
292     -0x1.f40p9
293   },
294   { // Entry 69
295     -0x1.f380p9,
296     -0x1.f3fffffffffffp9
297   },
298   { // Entry 70
299     -0x1.f4p9,
300     -0x1.f440000000001p9
301   },
302   { // Entry 71
303     -0x1.f4p9,
304     -0x1.f44p9
305   },
306   { // Entry 72
307     -0x1.f4p9,
308     -0x1.f43ffffffffffp9
309   },
310   { // Entry 73
311     -0x1.p50,
312     -0x1.0000000000001p50
313   },
314   { // Entry 74
315     -0x1.p50,
316     -0x1.0p50
317   },
318   { // Entry 75
319     -0x1.ffffffffffff80p49,
320     -0x1.fffffffffffffp49
321   },
322   { // Entry 76
323     -0x1.p51,
324     -0x1.0000000000001p51
325   },
326   { // Entry 77
327     -0x1.p51,
328     -0x1.0p51
329   },
330   { // Entry 78
331     -0x1.ffffffffffffc0p50,
332     -0x1.fffffffffffffp50
333   },
334   { // Entry 79
335     -0x1.00000000000010p52,
336     -0x1.0000000000001p52
337   },
338   { // Entry 80
339     -0x1.p52,
340     -0x1.0p52
341   },
342   { // Entry 81
343     -0x1.ffffffffffffe0p51,
344     -0x1.fffffffffffffp51
345   },
346   { // Entry 82
347     -0x1.00000000000010p53,
348     -0x1.0000000000001p53
349   },
350   { // Entry 83
351     -0x1.p53,
352     -0x1.0p53
353   },
354   { // Entry 84
355     -0x1.fffffffffffff0p52,
356     -0x1.fffffffffffffp52
357   },
358   { // Entry 85
359     -0x1.00000000000010p54,
360     -0x1.0000000000001p54
361   },
362   { // Entry 86
363     -0x1.p54,
364     -0x1.0p54
365   },
366   { // Entry 87
367     -0x1.fffffffffffff0p53,
368     -0x1.fffffffffffffp53
369   },
370   { // Entry 88
371     -0x1.fffffffffffff0p1023,
372     -0x1.fffffffffffffp1023
373   },
374   { // Entry 89
375     0x1.fffffff8p29,
376     0x1.fffffffffffffp29
377   },
378   { // Entry 90
379     0x1.p30,
380     0x1.0p30
381   },
382   { // Entry 91
383     0x1.p30,
384     0x1.0000000000001p30
385   },
386   { // Entry 92
387     0x1.fffffff4p30,
388     0x1.fffffff7ffffep30
389   },
390   { // Entry 93
391     0x1.fffffff4p30,
392     0x1.fffffff7fffffp30
393   },
394   { // Entry 94
395     0x1.fffffff8p30,
396     0x1.fffffff80p30
397   },
398   { // Entry 95
399     0x1.fffffff8p30,
400     0x1.fffffff800001p30
401   },
402   { // Entry 96
403     0x1.fffffff8p30,
404     0x1.fffffff800002p30
405   },
406   { // Entry 97
407     0x1.fffffff8p30,
408     0x1.fffffff9ffffep30
409   },
410   { // Entry 98
411     0x1.fffffff8p30,
412     0x1.fffffff9fffffp30
413   },
414   { // Entry 99
415     0x1.fffffff8p30,
416     0x1.fffffffa0p30
417   },
418   { // Entry 100
419     0x1.fffffff8p30,
420     0x1.fffffffa00001p30
421   },
422   { // Entry 101
423     0x1.fffffff8p30,
424     0x1.fffffffa00002p30
425   },
426   { // Entry 102
427     0x1.fffffff8p30,
428     0x1.fffffffbffffep30
429   },
430   { // Entry 103
431     0x1.fffffff8p30,
432     0x1.fffffffbfffffp30
433   },
434   { // Entry 104
435     0x1.fffffffcp30,
436     0x1.fffffffc0p30
437   },
438   { // Entry 105
439     0x1.fffffffcp30,
440     0x1.fffffffc00001p30
441   },
442   { // Entry 106
443     0x1.fffffffcp30,
444     0x1.fffffffc00002p30
445   },
446   { // Entry 107
447     0x1.fffffffcp30,
448     0x1.fffffffdffffep30
449   },
450   { // Entry 108
451     0x1.fffffffcp30,
452     0x1.fffffffdfffffp30
453   },
454   { // Entry 109
455     0x1.fffffffcp30,
456     0x1.fffffffe0p30
457   },
458   { // Entry 110
459     0x1.fffffffcp30,
460     0x1.fffffffe00001p30
461   },
462   { // Entry 111
463     0x1.fffffffcp30,
464     0x1.fffffffe00002p30
465   },
466   { // Entry 112
467     0x1.fffffffcp30,
468     0x1.ffffffffffffep30
469   },
470   { // Entry 113
471     0x1.fffffffcp30,
472     0x1.fffffffffffffp30
473   },
474   { // Entry 114
475     0x1.p31,
476     0x1.0p31
477   },
478   { // Entry 115
479     0x1.p31,
480     0x1.0000000000001p31
481   },
482   { // Entry 116
483     0x1.p31,
484     0x1.0000000000002p31
485   },
486   { // Entry 117
487     0x1.p31,
488     0x1.00000000ffffep31
489   },
490   { // Entry 118
491     0x1.p31,
492     0x1.00000000fffffp31
493   },
494   { // Entry 119
495     0x1.p31,
496     0x1.000000010p31
497   },
498   { // Entry 120
499     0x1.p31,
500     0x1.0000000100001p31
501   },
502   { // Entry 121
503     0x1.p31,
504     0x1.0000000100002p31
505   },
506   { // Entry 122
507     0x1.ffffffe0p30,
508     0x1.ffffffep30
509   },
510   { // Entry 123
511     0x1.ffffffe4p30,
512     0x1.ffffffe40p30
513   },
514   { // Entry 124
515     0x1.ffffffe8p30,
516     0x1.ffffffe80p30
517   },
518   { // Entry 125
519     0x1.ffffffecp30,
520     0x1.ffffffec0p30
521   },
522   { // Entry 126
523     0x1.fffffff0p30,
524     0x1.fffffffp30
525   },
526   { // Entry 127
527     0x1.fffffff4p30,
528     0x1.fffffff40p30
529   },
530   { // Entry 128
531     0x1.fffffff8p30,
532     0x1.fffffff80p30
533   },
534   { // Entry 129
535     0x1.fffffffcp30,
536     0x1.fffffffc0p30
537   },
538   { // Entry 130
539     0x1.p31,
540     0x1.0p31
541   },
542   { // Entry 131
543     0x1.00000002p31,
544     0x1.000000020p31
545   },
546   { // Entry 132
547     -0x1.p30,
548     -0x1.0000000000001p30
549   },
550   { // Entry 133
551     -0x1.p30,
552     -0x1.0p30
553   },
554   { // Entry 134
555     -0x1.fffffff8p29,
556     -0x1.fffffffffffffp29
557   },
558   { // Entry 135
559     -0x1.fffffff8p30,
560     -0x1.fffffff800002p30
561   },
562   { // Entry 136
563     -0x1.fffffff8p30,
564     -0x1.fffffff800001p30
565   },
566   { // Entry 137
567     -0x1.fffffff8p30,
568     -0x1.fffffff80p30
569   },
570   { // Entry 138
571     -0x1.fffffff4p30,
572     -0x1.fffffff7fffffp30
573   },
574   { // Entry 139
575     -0x1.fffffff4p30,
576     -0x1.fffffff7ffffep30
577   },
578   { // Entry 140
579     -0x1.fffffff8p30,
580     -0x1.fffffffa00002p30
581   },
582   { // Entry 141
583     -0x1.fffffff8p30,
584     -0x1.fffffffa00001p30
585   },
586   { // Entry 142
587     -0x1.fffffff8p30,
588     -0x1.fffffffa0p30
589   },
590   { // Entry 143
591     -0x1.fffffff8p30,
592     -0x1.fffffff9fffffp30
593   },
594   { // Entry 144
595     -0x1.fffffff8p30,
596     -0x1.fffffff9ffffep30
597   },
598   { // Entry 145
599     -0x1.fffffffcp30,
600     -0x1.fffffffc00002p30
601   },
602   { // Entry 146
603     -0x1.fffffffcp30,
604     -0x1.fffffffc00001p30
605   },
606   { // Entry 147
607     -0x1.fffffffcp30,
608     -0x1.fffffffc0p30
609   },
610   { // Entry 148
611     -0x1.fffffff8p30,
612     -0x1.fffffffbfffffp30
613   },
614   { // Entry 149
615     -0x1.fffffff8p30,
616     -0x1.fffffffbffffep30
617   },
618   { // Entry 150
619     -0x1.fffffffcp30,
620     -0x1.fffffffe00002p30
621   },
622   { // Entry 151
623     -0x1.fffffffcp30,
624     -0x1.fffffffe00001p30
625   },
626   { // Entry 152
627     -0x1.fffffffcp30,
628     -0x1.fffffffe0p30
629   },
630   { // Entry 153
631     -0x1.fffffffcp30,
632     -0x1.fffffffdfffffp30
633   },
634   { // Entry 154
635     -0x1.fffffffcp30,
636     -0x1.fffffffdffffep30
637   },
638   { // Entry 155
639     -0x1.p31,
640     -0x1.0000000000002p31
641   },
642   { // Entry 156
643     -0x1.p31,
644     -0x1.0000000000001p31
645   },
646   { // Entry 157
647     -0x1.p31,
648     -0x1.0p31
649   },
650   { // Entry 158
651     -0x1.fffffffcp30,
652     -0x1.fffffffffffffp30
653   },
654   { // Entry 159
655     -0x1.fffffffcp30,
656     -0x1.ffffffffffffep30
657   },
658   { // Entry 160
659     -0x1.p31,
660     -0x1.0000000100002p31
661   },
662   { // Entry 161
663     -0x1.p31,
664     -0x1.0000000100001p31
665   },
666   { // Entry 162
667     -0x1.p31,
668     -0x1.000000010p31
669   },
670   { // Entry 163
671     -0x1.p31,
672     -0x1.00000000fffffp31
673   },
674   { // Entry 164
675     -0x1.p31,
676     -0x1.00000000ffffep31
677   },
678   { // Entry 165
679     -0x1.ffffffe0p30,
680     -0x1.ffffffep30
681   },
682   { // Entry 166
683     -0x1.ffffffe0p30,
684     -0x1.ffffffep30
685   },
686   { // Entry 167
687     -0x1.ffffffe0p30,
688     -0x1.ffffffep30
689   },
690   { // Entry 168
691     -0x1.ffffffe0p30,
692     -0x1.ffffffep30
693   },
694   { // Entry 169
695     -0x1.ffffffe0p30,
696     -0x1.ffffffep30
697   },
698   { // Entry 170
699     -0x1.ffffffe0p30,
700     -0x1.ffffffep30
701   },
702   { // Entry 171
703     -0x1.ffffffe0p30,
704     -0x1.ffffffep30
705   },
706   { // Entry 172
707     -0x1.ffffffe0p30,
708     -0x1.ffffffep30
709   },
710   { // Entry 173
711     -0x1.ffffffe0p30,
712     -0x1.ffffffep30
713   },
714   { // Entry 174
715     -0x1.ffffffe0p30,
716     -0x1.ffffffep30
717   },
718   { // Entry 175
719     0x1.ffffffffffffe0p61,
720     0x1.ffffffffffffep61
721   },
722   { // Entry 176
723     0x1.fffffffffffff0p61,
724     0x1.fffffffffffffp61
725   },
726   { // Entry 177
727     0x1.p62,
728     0x1.0p62
729   },
730   { // Entry 178
731     0x1.00000000000010p62,
732     0x1.0000000000001p62
733   },
734   { // Entry 179
735     0x1.00000000000020p62,
736     0x1.0000000000002p62
737   },
738   { // Entry 180
739     0x1.ffffffffffffe0p62,
740     0x1.ffffffffffffep62
741   },
742   { // Entry 181
743     0x1.fffffffffffff0p62,
744     0x1.fffffffffffffp62
745   },
746   { // Entry 182
747     0x1.p63,
748     0x1.0p63
749   },
750   { // Entry 183
751     0x1.00000000000010p63,
752     0x1.0000000000001p63
753   },
754   { // Entry 184
755     0x1.00000000000020p63,
756     0x1.0000000000002p63
757   },
758   { // Entry 185
759     0x1.ffffffffffffe0p63,
760     0x1.ffffffffffffep63
761   },
762   { // Entry 186
763     0x1.fffffffffffff0p63,
764     0x1.fffffffffffffp63
765   },
766   { // Entry 187
767     0x1.p64,
768     0x1.0p64
769   },
770   { // Entry 188
771     0x1.00000000000010p64,
772     0x1.0000000000001p64
773   },
774   { // Entry 189
775     0x1.00000000000020p64,
776     0x1.0000000000002p64
777   },
778   { // Entry 190
779     -0x1.00000000000020p62,
780     -0x1.0000000000002p62
781   },
782   { // Entry 191
783     -0x1.00000000000010p62,
784     -0x1.0000000000001p62
785   },
786   { // Entry 192
787     -0x1.p62,
788     -0x1.0p62
789   },
790   { // Entry 193
791     -0x1.fffffffffffff0p61,
792     -0x1.fffffffffffffp61
793   },
794   { // Entry 194
795     -0x1.ffffffffffffe0p61,
796     -0x1.ffffffffffffep61
797   },
798   { // Entry 195
799     -0x1.00000000000020p63,
800     -0x1.0000000000002p63
801   },
802   { // Entry 196
803     -0x1.00000000000010p63,
804     -0x1.0000000000001p63
805   },
806   { // Entry 197
807     -0x1.p63,
808     -0x1.0p63
809   },
810   { // Entry 198
811     -0x1.fffffffffffff0p62,
812     -0x1.fffffffffffffp62
813   },
814   { // Entry 199
815     -0x1.ffffffffffffe0p62,
816     -0x1.ffffffffffffep62
817   },
818   { // Entry 200
819     -0x1.00000000000020p64,
820     -0x1.0000000000002p64
821   },
822   { // Entry 201
823     -0x1.00000000000010p64,
824     -0x1.0000000000001p64
825   },
826   { // Entry 202
827     -0x1.p64,
828     -0x1.0p64
829   },
830   { // Entry 203
831     -0x1.fffffffffffff0p63,
832     -0x1.fffffffffffffp63
833   },
834   { // Entry 204
835     -0x1.ffffffffffffe0p63,
836     -0x1.ffffffffffffep63
837   },
838   { // Entry 205
839     0x1.p62,
840     0x1.0p62
841   },
842   { // Entry 206
843     0x1.p63,
844     0x1.0p63
845   },
846   { // Entry 207
847     -0x1.p62,
848     -0x1.0p62
849   },
850   { // Entry 208
851     -0x1.p63,
852     -0x1.0p63
853   },
854   { // Entry 209
855     0x1.fffffff8p30,
856     0x1.fffffffbfffffp30
857   },
858   { // Entry 210
859     0x1.fffffffcp30,
860     0x1.fffffffc0p30
861   },
862   { // Entry 211
863     0x1.fffffffcp30,
864     0x1.fffffffc00001p30
865   },
866   { // Entry 212
867     -0x1.p31,
868     -0x1.0000000000001p31
869   },
870   { // Entry 213
871     -0x1.p31,
872     -0x1.0p31
873   },
874   { // Entry 214
875     -0x1.fffffffcp30,
876     -0x1.fffffffffffffp30
877   },
878   { // Entry 215
879     0x1.80p1,
880     0x1.fffffffffffffp1
881   },
882   { // Entry 216
883     0x1.p2,
884     0x1.0p2
885   },
886   { // Entry 217
887     0x1.p2,
888     0x1.0000000000001p2
889   },
890   { // Entry 218
891     0x1.c0p2,
892     0x1.fffffffffffffp2
893   },
894   { // Entry 219
895     0x1.p3,
896     0x1.0p3
897   },
898   { // Entry 220
899     0x1.p3,
900     0x1.0000000000001p3
901   },
902   { // Entry 221
903     0x1.e0p3,
904     0x1.fffffffffffffp3
905   },
906   { // Entry 222
907     0x1.p4,
908     0x1.0p4
909   },
910   { // Entry 223
911     0x1.p4,
912     0x1.0000000000001p4
913   },
914   { // Entry 224
915     0x1.f0p4,
916     0x1.fffffffffffffp4
917   },
918   { // Entry 225
919     0x1.p5,
920     0x1.0p5
921   },
922   { // Entry 226
923     0x1.p5,
924     0x1.0000000000001p5
925   },
926   { // Entry 227
927     0x1.f8p5,
928     0x1.fffffffffffffp5
929   },
930   { // Entry 228
931     0x1.p6,
932     0x1.0p6
933   },
934   { // Entry 229
935     0x1.p6,
936     0x1.0000000000001p6
937   },
938   { // Entry 230
939     0x1.fcp6,
940     0x1.fffffffffffffp6
941   },
942   { // Entry 231
943     0x1.p7,
944     0x1.0p7
945   },
946   { // Entry 232
947     0x1.p7,
948     0x1.0000000000001p7
949   },
950   { // Entry 233
951     0x1.fep7,
952     0x1.fffffffffffffp7
953   },
954   { // Entry 234
955     0x1.p8,
956     0x1.0p8
957   },
958   { // Entry 235
959     0x1.p8,
960     0x1.0000000000001p8
961   },
962   { // Entry 236
963     0x1.ffp8,
964     0x1.fffffffffffffp8
965   },
966   { // Entry 237
967     0x1.p9,
968     0x1.0p9
969   },
970   { // Entry 238
971     0x1.p9,
972     0x1.0000000000001p9
973   },
974   { // Entry 239
975     0x1.ff80p9,
976     0x1.fffffffffffffp9
977   },
978   { // Entry 240
979     0x1.p10,
980     0x1.0p10
981   },
982   { // Entry 241
983     0x1.p10,
984     0x1.0000000000001p10
985   },
986   { // Entry 242
987     0x1.ffc0p10,
988     0x1.fffffffffffffp10
989   },
990   { // Entry 243
991     0x1.p11,
992     0x1.0p11
993   },
994   { // Entry 244
995     0x1.p11,
996     0x1.0000000000001p11
997   },
998   { // Entry 245
999     0x1.ffe0p11,
1000     0x1.fffffffffffffp11
1001   },
1002   { // Entry 246
1003     0x1.p12,
1004     0x1.0p12
1005   },
1006   { // Entry 247
1007     0x1.p12,
1008     0x1.0000000000001p12
1009   },
1010   { // Entry 248
1011     0x1.p2,
1012     0x1.1ffffffffffffp2
1013   },
1014   { // Entry 249
1015     0x1.p2,
1016     0x1.2p2
1017   },
1018   { // Entry 250
1019     0x1.p2,
1020     0x1.2000000000001p2
1021   },
1022   { // Entry 251
1023     0x1.p3,
1024     0x1.0ffffffffffffp3
1025   },
1026   { // Entry 252
1027     0x1.p3,
1028     0x1.1p3
1029   },
1030   { // Entry 253
1031     0x1.p3,
1032     0x1.1000000000001p3
1033   },
1034   { // Entry 254
1035     0x1.p4,
1036     0x1.07fffffffffffp4
1037   },
1038   { // Entry 255
1039     0x1.p4,
1040     0x1.080p4
1041   },
1042   { // Entry 256
1043     0x1.p4,
1044     0x1.0800000000001p4
1045   },
1046   { // Entry 257
1047     0x1.p5,
1048     0x1.03fffffffffffp5
1049   },
1050   { // Entry 258
1051     0x1.p5,
1052     0x1.040p5
1053   },
1054   { // Entry 259
1055     0x1.p5,
1056     0x1.0400000000001p5
1057   },
1058   { // Entry 260
1059     0x1.p6,
1060     0x1.01fffffffffffp6
1061   },
1062   { // Entry 261
1063     0x1.p6,
1064     0x1.020p6
1065   },
1066   { // Entry 262
1067     0x1.p6,
1068     0x1.0200000000001p6
1069   },
1070   { // Entry 263
1071     0x1.p7,
1072     0x1.00fffffffffffp7
1073   },
1074   { // Entry 264
1075     0x1.p7,
1076     0x1.010p7
1077   },
1078   { // Entry 265
1079     0x1.p7,
1080     0x1.0100000000001p7
1081   },
1082   { // Entry 266
1083     0x1.p8,
1084     0x1.007ffffffffffp8
1085   },
1086   { // Entry 267
1087     0x1.p8,
1088     0x1.008p8
1089   },
1090   { // Entry 268
1091     0x1.p8,
1092     0x1.0080000000001p8
1093   },
1094   { // Entry 269
1095     0x1.p9,
1096     0x1.003ffffffffffp9
1097   },
1098   { // Entry 270
1099     0x1.p9,
1100     0x1.004p9
1101   },
1102   { // Entry 271
1103     0x1.p9,
1104     0x1.0040000000001p9
1105   },
1106   { // Entry 272
1107     0x1.p10,
1108     0x1.001ffffffffffp10
1109   },
1110   { // Entry 273
1111     0x1.p10,
1112     0x1.002p10
1113   },
1114   { // Entry 274
1115     0x1.p10,
1116     0x1.0020000000001p10
1117   },
1118   { // Entry 275
1119     0x1.0040p10,
1120     0x1.005ffffffffffp10
1121   },
1122   { // Entry 276
1123     0x1.0040p10,
1124     0x1.006p10
1125   },
1126   { // Entry 277
1127     0x1.0040p10,
1128     0x1.0060000000001p10
1129   },
1130   { // Entry 278
1131     0x1.p11,
1132     0x1.000ffffffffffp11
1133   },
1134   { // Entry 279
1135     0x1.p11,
1136     0x1.001p11
1137   },
1138   { // Entry 280
1139     0x1.p11,
1140     0x1.0010000000001p11
1141   },
1142   { // Entry 281
1143     0x1.p12,
1144     0x1.0007fffffffffp12
1145   },
1146   { // Entry 282
1147     0x1.p12,
1148     0x1.00080p12
1149   },
1150   { // Entry 283
1151     0x1.p12,
1152     0x1.0008000000001p12
1153   },
1154   { // Entry 284
1155     HUGE_VAL,
1156     HUGE_VAL
1157   },
1158   { // Entry 285
1159     -HUGE_VAL,
1160     -HUGE_VAL
1161   },
1162   { // Entry 286
1163     0x1.fffffffffffff0p1023,
1164     0x1.fffffffffffffp1023
1165   },
1166   { // Entry 287
1167     -0x1.fffffffffffff0p1023,
1168     -0x1.fffffffffffffp1023
1169   },
1170   { // Entry 288
1171     0x1.ffffffffffffe0p1023,
1172     0x1.ffffffffffffep1023
1173   },
1174   { // Entry 289
1175     -0x1.ffffffffffffe0p1023,
1176     -0x1.ffffffffffffep1023
1177   },
1178   { // Entry 290
1179     0x1.80p1,
1180     0x1.921fb54442d18p1
1181   },
1182   { // Entry 291
1183     -0x1.80p1,
1184     -0x1.921fb54442d18p1
1185   },
1186   { // Entry 292
1187     0x1.p0,
1188     0x1.921fb54442d18p0
1189   },
1190   { // Entry 293
1191     -0x1.p0,
1192     -0x1.921fb54442d18p0
1193   },
1194   { // Entry 294
1195     0x1.p0,
1196     0x1.0000000000001p0
1197   },
1198   { // Entry 295
1199     -0x1.p0,
1200     -0x1.0000000000001p0
1201   },
1202   { // Entry 296
1203     0x1.p0,
1204     0x1.0p0
1205   },
1206   { // Entry 297
1207     -0x1.p0,
1208     -0x1.0p0
1209   },
1210   { // Entry 298
1211     0.0,
1212     0x1.fffffffffffffp-1
1213   },
1214   { // Entry 299
1215     -0.0,
1216     -0x1.fffffffffffffp-1
1217   },
1218   { // Entry 300
1219     0.0,
1220     0x1.921fb54442d18p-1
1221   },
1222   { // Entry 301
1223     -0.0,
1224     -0x1.921fb54442d18p-1
1225   },
1226   { // Entry 302
1227     0.0,
1228     0x1.0000000000001p-1022
1229   },
1230   { // Entry 303
1231     -0.0,
1232     -0x1.0000000000001p-1022
1233   },
1234   { // Entry 304
1235     0.0,
1236     0x1.0p-1022
1237   },
1238   { // Entry 305
1239     -0.0,
1240     -0x1.0p-1022
1241   },
1242   { // Entry 306
1243     0.0,
1244     0x1.ffffffffffffep-1023
1245   },
1246   { // Entry 307
1247     -0.0,
1248     -0x1.ffffffffffffep-1023
1249   },
1250   { // Entry 308
1251     0.0,
1252     0x1.ffffffffffffcp-1023
1253   },
1254   { // Entry 309
1255     -0.0,
1256     -0x1.ffffffffffffcp-1023
1257   },
1258   { // Entry 310
1259     0.0,
1260     0x1.0p-1073
1261   },
1262   { // Entry 311
1263     -0.0,
1264     -0x1.0p-1073
1265   },
1266   { // Entry 312
1267     0.0,
1268     0x1.0p-1074
1269   },
1270   { // Entry 313
1271     -0.0,
1272     -0x1.0p-1074
1273   },
1274   { // Entry 314
1275     0.0,
1276     0.0
1277   },
1278   { // Entry 315
1279     -0.0,
1280     -0.0
1281   },
1282   { // Entry 316
1283     0x1.p0,
1284     0x1.8p0
1285   },
1286   { // Entry 317
1287     -0x1.p0,
1288     -0x1.8p0
1289   },
1290   { // Entry 318
1291     0x1.p1,
1292     0x1.4p1
1293   },
1294   { // Entry 319
1295     -0x1.p1,
1296     -0x1.4p1
1297   },
1298   { // Entry 320
1299     0.0,
1300     0x1.fffffp-2
1301   },
1302   { // Entry 321
1303     0.0,
1304     0x1.0p-1
1305   },
1306   { // Entry 322
1307     0.0,
1308     0x1.00001p-1
1309   },
1310   { // Entry 323
1311     -0.0,
1312     -0x1.fffffp-2
1313   },
1314   { // Entry 324
1315     -0.0,
1316     -0x1.0p-1
1317   },
1318   { // Entry 325
1319     -0.0,
1320     -0x1.00001p-1
1321   },
1322   { // Entry 326
1323     0x1.p0,
1324     0x1.80001p0
1325   },
1326   { // Entry 327
1327     0x1.p0,
1328     0x1.7ffffp0
1329   },
1330   { // Entry 328
1331     -0x1.p0,
1332     -0x1.80001p0
1333   },
1334   { // Entry 329
1335     -0x1.p0,
1336     -0x1.7ffffp0
1337   }
1338 };
1339