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