blob: bd771b20b71b3ad18048a0f84f0a83b73bf769e6 [file] [log] [blame]
jzha136f3ea0932015-06-12 09:15:02 -07001/*
2 * Copyright (C) 2016 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
17static data_long_1_t<float> g_lrintf_intel_data[] = {
18 { // Entry 0
19 (long int)0.0,
20 -0x1.p-149
21 },
22 { // Entry 1
23 (long int)0.0,
24 0.0
25 },
26 { // Entry 2
27 (long int)0.0,
28 0x1.p-149
29 },
30 { // Entry 3
31 (long int)0.0,
32 0x1.fffffep-2
33 },
34 { // Entry 4
35 (long int)0.0,
36 0x1.p-1
37 },
38 { // Entry 5
39 (long int)0x1.p0,
40 0x1.000002p-1
41 },
42 { // Entry 6
43 (long int)0x1.p0,
44 0x1.fffffep-1
45 },
46 { // Entry 7
47 (long int)0x1.p0,
48 0x1.p0
49 },
50 { // Entry 8
51 (long int)0x1.p0,
52 0x1.000002p0
53 },
54 { // Entry 9
55 (long int)0x1.p0,
56 0x1.7ffffep0
57 },
58 { // Entry 10
59 (long int)0x1.p1,
60 0x1.80p0
61 },
62 { // Entry 11
63 (long int)0x1.p1,
64 0x1.800002p0
65 },
66 { // Entry 12
67 (long int)0x1.p1,
68 0x1.fffffep0
69 },
70 { // Entry 13
71 (long int)0x1.p1,
72 0x1.p1
73 },
74 { // Entry 14
75 (long int)0x1.p1,
76 0x1.000002p1
77 },
78 { // Entry 15
79 (long int)0x1.p1,
80 0x1.3ffffep1
81 },
82 { // Entry 16
83 (long int)0x1.p1,
84 0x1.40p1
85 },
86 { // Entry 17
87 (long int)0x1.80p1,
88 0x1.400002p1
89 },
90 { // Entry 18
91 (long int)0x1.90p6,
92 0x1.8ffffep6
93 },
94 { // Entry 19
95 (long int)0x1.90p6,
96 0x1.90p6
97 },
98 { // Entry 20
99 (long int)0x1.90p6,
100 0x1.900002p6
101 },
102 { // Entry 21
103 (long int)0x1.90p6,
104 0x1.91fffep6
105 },
106 { // Entry 22
107 (long int)0x1.90p6,
108 0x1.92p6
109 },
110 { // Entry 23
111 (long int)0x1.94p6,
112 0x1.920002p6
113 },
114 { // Entry 24
115 (long int)0x1.f4p9,
116 0x1.f3fffep9
117 },
118 { // Entry 25
119 (long int)0x1.f4p9,
120 0x1.f4p9
121 },
122 { // Entry 26
123 (long int)0x1.f4p9,
124 0x1.f40002p9
125 },
126 { // Entry 27
127 (long int)0x1.f4p9,
128 0x1.f43ffep9
129 },
130 { // Entry 28
131 (long int)0x1.f4p9,
132 0x1.f440p9
133 },
134 { // Entry 29
135 (long int)0x1.f480p9,
136 0x1.f44002p9
137 },
138 { // Entry 30
139 (long int)0x1.p21,
140 0x1.fffffep20
141 },
142 { // Entry 31
143 (long int)0x1.p21,
144 0x1.p21
145 },
146 { // Entry 32
147 (long int)0x1.p21,
148 0x1.000002p21
149 },
150 { // Entry 33
151 (long int)0x1.p22,
152 0x1.fffffep21
153 },
154 { // Entry 34
155 (long int)0x1.p22,
156 0x1.p22
157 },
158 { // Entry 35
159 (long int)0x1.p22,
160 0x1.000002p22
161 },
162 { // Entry 36
163 (long int)0x1.p23,
164 0x1.fffffep22
165 },
166 { // Entry 37
167 (long int)0x1.p23,
168 0x1.p23
169 },
170 { // Entry 38
171 (long int)0x1.000002p23,
172 0x1.000002p23
173 },
174 { // Entry 39
175 (long int)0x1.fffffep23,
176 0x1.fffffep23
177 },
178 { // Entry 40
179 (long int)0x1.p24,
180 0x1.p24
181 },
182 { // Entry 41
183 (long int)0x1.000002p24,
184 0x1.000002p24
185 },
186 { // Entry 42
187 (long int)0x1.fffffep24,
188 0x1.fffffep24
189 },
190 { // Entry 43
191 (long int)0x1.p25,
192 0x1.p25
193 },
194 { // Entry 44
195 (long int)0x1.000002p25,
196 0x1.000002p25
197 },
198 { // Entry 45
199 (long int)-0x1.p0,
200 -0x1.000002p-1
201 },
202 { // Entry 46
203 (long int)0.0,
204 -0x1.p-1
205 },
206 { // Entry 47
207 (long int)0.0,
208 -0x1.fffffep-2
209 },
210 { // Entry 48
211 (long int)-0x1.p0,
212 -0x1.000002p0
213 },
214 { // Entry 49
215 (long int)-0x1.p0,
216 -0x1.p0
217 },
218 { // Entry 50
219 (long int)-0x1.p0,
220 -0x1.fffffep-1
221 },
222 { // Entry 51
223 (long int)-0x1.p1,
224 -0x1.800002p0
225 },
226 { // Entry 52
227 (long int)-0x1.p1,
228 -0x1.80p0
229 },
230 { // Entry 53
231 (long int)-0x1.p0,
232 -0x1.7ffffep0
233 },
234 { // Entry 54
235 (long int)-0x1.p1,
236 -0x1.000002p1
237 },
238 { // Entry 55
239 (long int)-0x1.p1,
240 -0x1.p1
241 },
242 { // Entry 56
243 (long int)-0x1.p1,
244 -0x1.fffffep0
245 },
246 { // Entry 57
247 (long int)-0x1.80p1,
248 -0x1.400002p1
249 },
250 { // Entry 58
251 (long int)-0x1.p1,
252 -0x1.40p1
253 },
254 { // Entry 59
255 (long int)-0x1.p1,
256 -0x1.3ffffep1
257 },
258 { // Entry 60
259 (long int)-0x1.90p6,
260 -0x1.900002p6
261 },
262 { // Entry 61
263 (long int)-0x1.90p6,
264 -0x1.90p6
265 },
266 { // Entry 62
267 (long int)-0x1.90p6,
268 -0x1.8ffffep6
269 },
270 { // Entry 63
271 (long int)-0x1.94p6,
272 -0x1.920002p6
273 },
274 { // Entry 64
275 (long int)-0x1.90p6,
276 -0x1.92p6
277 },
278 { // Entry 65
279 (long int)-0x1.90p6,
280 -0x1.91fffep6
281 },
282 { // Entry 66
283 (long int)-0x1.f4p9,
284 -0x1.f40002p9
285 },
286 { // Entry 67
287 (long int)-0x1.f4p9,
288 -0x1.f4p9
289 },
290 { // Entry 68
291 (long int)-0x1.f4p9,
292 -0x1.f3fffep9
293 },
294 { // Entry 69
295 (long int)-0x1.f480p9,
296 -0x1.f44002p9
297 },
298 { // Entry 70
299 (long int)-0x1.f4p9,
300 -0x1.f440p9
301 },
302 { // Entry 71
303 (long int)-0x1.f4p9,
304 -0x1.f43ffep9
305 },
306 { // Entry 72
307 (long int)-0x1.p21,
308 -0x1.000002p21
309 },
310 { // Entry 73
311 (long int)-0x1.p21,
312 -0x1.p21
313 },
314 { // Entry 74
315 (long int)-0x1.p21,
316 -0x1.fffffep20
317 },
318 { // Entry 75
319 (long int)-0x1.p22,
320 -0x1.000002p22
321 },
322 { // Entry 76
323 (long int)-0x1.p22,
324 -0x1.p22
325 },
326 { // Entry 77
327 (long int)-0x1.p22,
328 -0x1.fffffep21
329 },
330 { // Entry 78
331 (long int)-0x1.000002p23,
332 -0x1.000002p23
333 },
334 { // Entry 79
335 (long int)-0x1.p23,
336 -0x1.p23
337 },
338 { // Entry 80
339 (long int)-0x1.p23,
340 -0x1.fffffep22
341 },
342 { // Entry 81
343 (long int)-0x1.000002p24,
344 -0x1.000002p24
345 },
346 { // Entry 82
347 (long int)-0x1.p24,
348 -0x1.p24
349 },
350 { // Entry 83
351 (long int)-0x1.fffffep23,
352 -0x1.fffffep23
353 },
354 { // Entry 84
355 (long int)-0x1.000002p25,
356 -0x1.000002p25
357 },
358 { // Entry 85
359 (long int)-0x1.p25,
360 -0x1.p25
361 },
362 { // Entry 86
363 (long int)-0x1.fffffep24,
364 -0x1.fffffep24
365 },
366 { // Entry 87
367 (long int)0x1.fffffep29,
368 0x1.fffffep29
369 },
370 { // Entry 88
371 (long int)0x1.p30,
372 0x1.p30
373 },
374 { // Entry 89
375 (long int)0x1.000002p30,
376 0x1.000002p30
377 },
378 { // Entry 90
379 (long int)0x1.fffffcp30,
380 0x1.fffffcp30
381 },
382 { // Entry 91
383 (long int)0x1.fffffep30,
384 0x1.fffffep30
385 },
386 { // Entry 92
387 (long int)0x1.fffffcp30,
388 0x1.fffffcp30
389 },
390 { // Entry 93
391 (long int)0x1.fffffep30,
392 0x1.fffffep30
393 },
394 { // Entry 94
395 (long int)0x1.fffffcp30,
396 0x1.fffffcp30
397 },
398 { // Entry 95
399 (long int)0x1.fffffep30,
400 0x1.fffffep30
401 },
402 { // Entry 96
403 (long int)0x1.fffffcp30,
404 0x1.fffffcp30
405 },
406 { // Entry 97
407 (long int)0x1.fffffep30,
408 0x1.fffffep30
409 },
410 { // Entry 98
411 (long int)0x1.fffffcp30,
412 0x1.fffffcp30
413 },
414 { // Entry 99
415 (long int)0x1.fffffep30,
416 0x1.fffffep30
417 },
418 { // Entry 100
419 (long int)0x1.fffffcp30,
420 0x1.fffffcp30
421 },
422 { // Entry 101
423 (long int)0x1.fffffep30,
424 0x1.fffffep30
425 },
426 { // Entry 102
427 (long int)-0x1.000002p30,
428 -0x1.000002p30
429 },
430 { // Entry 103
431 (long int)-0x1.p30,
432 -0x1.p30
433 },
434 { // Entry 104
435 (long int)-0x1.fffffep29,
436 -0x1.fffffep29
437 },
438 { // Entry 105
439 (long int)-0x1.p31,
440 -0x1.p31
441 },
442 { // Entry 106
443 (long int)-0x1.fffffep30,
444 -0x1.fffffep30
445 },
446 { // Entry 107
447 (long int)-0x1.fffffcp30,
448 -0x1.fffffcp30
449 },
450 { // Entry 108
451 (long int)-0x1.p31,
452 -0x1.p31
453 },
454 { // Entry 109
455 (long int)-0x1.fffffep30,
456 -0x1.fffffep30
457 },
458 { // Entry 110
459 (long int)-0x1.fffffcp30,
460 -0x1.fffffcp30
461 },
462 { // Entry 111
463 (long int)-0x1.p31,
464 -0x1.p31
465 },
466 { // Entry 112
467 (long int)-0x1.fffffep30,
468 -0x1.fffffep30
469 },
470 { // Entry 113
471 (long int)-0x1.fffffcp30,
472 -0x1.fffffcp30
473 },
474 { // Entry 114
475 (long int)-0x1.p31,
476 -0x1.p31
477 },
478 { // Entry 115
479 (long int)-0x1.fffffep30,
480 -0x1.fffffep30
481 },
482 { // Entry 116
483 (long int)-0x1.fffffcp30,
484 -0x1.fffffcp30
485 },
486 { // Entry 117
487 (long int)-0x1.p31,
488 -0x1.p31
489 },
490 { // Entry 118
491 (long int)-0x1.fffffep30,
492 -0x1.fffffep30
493 },
494 { // Entry 119
495 (long int)-0x1.fffffcp30,
496 -0x1.fffffcp30
497 },
498 { // Entry 120
499 (long int)-0x1.p31,
500 -0x1.p31
501 },
502 { // Entry 121
503 (long int)-0x1.fffffep30,
504 -0x1.fffffep30
505 },
506 { // Entry 122
507 (long int)-0x1.fffffcp30,
508 -0x1.fffffcp30
509 },
510 { // Entry 123
511 (long int)-0x1.p31,
512 -0x1.p31
513 },
514 { // Entry 124
515 (long int)-0x1.p31,
516 -0x1.p31
517 },
518 { // Entry 125
519 (long int)-0x1.p31,
520 -0x1.p31
521 },
522 { // Entry 126
523 (long int)-0x1.p31,
524 -0x1.p31
525 },
526 { // Entry 127
527 (long int)-0x1.p31,
528 -0x1.p31
529 },
530 { // Entry 128
531 (long int)-0x1.p31,
532 -0x1.p31
533 },
534 { // Entry 129
535 (long int)-0x1.p31,
536 -0x1.p31
537 },
538 { // Entry 130
539 (long int)-0x1.p31,
540 -0x1.p31
541 },
542 { // Entry 131
543 (long int)-0x1.p31,
544 -0x1.p31
545 },
546 { // Entry 132
547 (long int)-0x1.p31,
548 -0x1.p31
549 },
550 { // Entry 133
551 (long int)0x1.fffffcp30,
552 0x1.fffffcp30
553 },
554 { // Entry 134
555 (long int)0x1.fffffep30,
556 0x1.fffffep30
557 },
558 { // Entry 135
559 (long int)-0x1.p31,
560 -0x1.p31
561 },
562 { // Entry 136
563 (long int)-0x1.fffffep30,
564 -0x1.fffffep30
565 },
566 { // Entry 137
567 (long int)0x1.p2,
568 0x1.fffffep1
569 },
570 { // Entry 138
571 (long int)0x1.p2,
572 0x1.p2
573 },
574 { // Entry 139
575 (long int)0x1.p2,
576 0x1.000002p2
577 },
578 { // Entry 140
579 (long int)0x1.p3,
580 0x1.fffffep2
581 },
582 { // Entry 141
583 (long int)0x1.p3,
584 0x1.p3
585 },
586 { // Entry 142
587 (long int)0x1.p3,
588 0x1.000002p3
589 },
590 { // Entry 143
591 (long int)0x1.p4,
592 0x1.fffffep3
593 },
594 { // Entry 144
595 (long int)0x1.p4,
596 0x1.p4
597 },
598 { // Entry 145
599 (long int)0x1.p4,
600 0x1.000002p4
601 },
602 { // Entry 146
603 (long int)0x1.p5,
604 0x1.fffffep4
605 },
606 { // Entry 147
607 (long int)0x1.p5,
608 0x1.p5
609 },
610 { // Entry 148
611 (long int)0x1.p5,
612 0x1.000002p5
613 },
614 { // Entry 149
615 (long int)0x1.p6,
616 0x1.fffffep5
617 },
618 { // Entry 150
619 (long int)0x1.p6,
620 0x1.p6
621 },
622 { // Entry 151
623 (long int)0x1.p6,
624 0x1.000002p6
625 },
626 { // Entry 152
627 (long int)0x1.p7,
628 0x1.fffffep6
629 },
630 { // Entry 153
631 (long int)0x1.p7,
632 0x1.p7
633 },
634 { // Entry 154
635 (long int)0x1.p7,
636 0x1.000002p7
637 },
638 { // Entry 155
639 (long int)0x1.p8,
640 0x1.fffffep7
641 },
642 { // Entry 156
643 (long int)0x1.p8,
644 0x1.p8
645 },
646 { // Entry 157
647 (long int)0x1.p8,
648 0x1.000002p8
649 },
650 { // Entry 158
651 (long int)0x1.p9,
652 0x1.fffffep8
653 },
654 { // Entry 159
655 (long int)0x1.p9,
656 0x1.p9
657 },
658 { // Entry 160
659 (long int)0x1.p9,
660 0x1.000002p9
661 },
662 { // Entry 161
663 (long int)0x1.p10,
664 0x1.fffffep9
665 },
666 { // Entry 162
667 (long int)0x1.p10,
668 0x1.p10
669 },
670 { // Entry 163
671 (long int)0x1.p10,
672 0x1.000002p10
673 },
674 { // Entry 164
675 (long int)0x1.p11,
676 0x1.fffffep10
677 },
678 { // Entry 165
679 (long int)0x1.p11,
680 0x1.p11
681 },
682 { // Entry 166
683 (long int)0x1.p11,
684 0x1.000002p11
685 },
686 { // Entry 167
687 (long int)0x1.p12,
688 0x1.fffffep11
689 },
690 { // Entry 168
691 (long int)0x1.p12,
692 0x1.p12
693 },
694 { // Entry 169
695 (long int)0x1.p12,
696 0x1.000002p12
697 },
698 { // Entry 170
699 (long int)0x1.p2,
700 0x1.1ffffep2
701 },
702 { // Entry 171
703 (long int)0x1.p2,
704 0x1.20p2
705 },
706 { // Entry 172
707 (long int)0x1.40p2,
708 0x1.200002p2
709 },
710 { // Entry 173
711 (long int)0x1.p3,
712 0x1.0ffffep3
713 },
714 { // Entry 174
715 (long int)0x1.p3,
716 0x1.10p3
717 },
718 { // Entry 175
719 (long int)0x1.20p3,
720 0x1.100002p3
721 },
722 { // Entry 176
723 (long int)0x1.p4,
724 0x1.07fffep4
725 },
726 { // Entry 177
727 (long int)0x1.p4,
728 0x1.08p4
729 },
730 { // Entry 178
731 (long int)0x1.10p4,
732 0x1.080002p4
733 },
734 { // Entry 179
735 (long int)0x1.p5,
736 0x1.03fffep5
737 },
738 { // Entry 180
739 (long int)0x1.p5,
740 0x1.04p5
741 },
742 { // Entry 181
743 (long int)0x1.08p5,
744 0x1.040002p5
745 },
746 { // Entry 182
747 (long int)0x1.p6,
748 0x1.01fffep6
749 },
750 { // Entry 183
751 (long int)0x1.p6,
752 0x1.02p6
753 },
754 { // Entry 184
755 (long int)0x1.04p6,
756 0x1.020002p6
757 },
758 { // Entry 185
759 (long int)0x1.p7,
760 0x1.00fffep7
761 },
762 { // Entry 186
763 (long int)0x1.p7,
764 0x1.01p7
765 },
766 { // Entry 187
767 (long int)0x1.02p7,
768 0x1.010002p7
769 },
770 { // Entry 188
771 (long int)0x1.p8,
772 0x1.007ffep8
773 },
774 { // Entry 189
775 (long int)0x1.p8,
776 0x1.0080p8
777 },
778 { // Entry 190
779 (long int)0x1.01p8,
780 0x1.008002p8
781 },
782 { // Entry 191
783 (long int)0x1.p9,
784 0x1.003ffep9
785 },
786 { // Entry 192
787 (long int)0x1.p9,
788 0x1.0040p9
789 },
790 { // Entry 193
791 (long int)0x1.0080p9,
792 0x1.004002p9
793 },
794 { // Entry 194
795 (long int)0x1.p10,
796 0x1.001ffep10
797 },
798 { // Entry 195
799 (long int)0x1.p10,
800 0x1.0020p10
801 },
802 { // Entry 196
803 (long int)0x1.0040p10,
804 0x1.002002p10
805 },
806 { // Entry 197
807 (long int)0x1.0040p10,
808 0x1.005ffep10
809 },
810 { // Entry 198
811 (long int)0x1.0080p10,
812 0x1.0060p10
813 },
814 { // Entry 199
815 (long int)0x1.0080p10,
816 0x1.006002p10
817 },
818 { // Entry 200
819 (long int)0x1.p11,
820 0x1.000ffep11
821 },
822 { // Entry 201
823 (long int)0x1.p11,
824 0x1.0010p11
825 },
826 { // Entry 202
827 (long int)0x1.0020p11,
828 0x1.001002p11
829 },
830 { // Entry 203
831 (long int)0x1.p12,
832 0x1.0007fep12
833 },
834 { // Entry 204
835 (long int)0x1.p12,
836 0x1.0008p12
837 },
838 { // Entry 205
839 (long int)0x1.0010p12,
840 0x1.000802p12
841 },
842 { // Entry 206
843 (long int)0x1.80p1,
844 0x1.921fb6p1
845 },
846 { // Entry 207
847 (long int)-0x1.80p1,
848 -0x1.921fb6p1
849 },
850 { // Entry 208
851 (long int)0x1.p1,
852 0x1.921fb6p0
853 },
854 { // Entry 209
855 (long int)-0x1.p1,
856 -0x1.921fb6p0
857 },
858 { // Entry 210
859 (long int)0x1.p0,
860 0x1.000002p0
861 },
862 { // Entry 211
863 (long int)-0x1.p0,
864 -0x1.000002p0
865 },
866 { // Entry 212
867 (long int)0x1.p0,
868 0x1.p0
869 },
870 { // Entry 213
871 (long int)-0x1.p0,
872 -0x1.p0
873 },
874 { // Entry 214
875 (long int)0x1.p0,
876 0x1.fffffep-1
877 },
878 { // Entry 215
879 (long int)-0x1.p0,
880 -0x1.fffffep-1
881 },
882 { // Entry 216
883 (long int)0x1.p0,
884 0x1.921fb6p-1
885 },
886 { // Entry 217
887 (long int)-0x1.p0,
888 -0x1.921fb6p-1
889 },
890 { // Entry 218
891 (long int)0.0,
892 0x1.000002p-126
893 },
894 { // Entry 219
895 (long int)0.0,
896 -0x1.000002p-126
897 },
898 { // Entry 220
899 (long int)0.0,
900 0x1.p-126
901 },
902 { // Entry 221
903 (long int)0.0,
904 -0x1.p-126
905 },
906 { // Entry 222
907 (long int)0.0,
908 0x1.fffffcp-127
909 },
910 { // Entry 223
911 (long int)0.0,
912 -0x1.fffffcp-127
913 },
914 { // Entry 224
915 (long int)0.0,
916 0x1.fffff8p-127
917 },
918 { // Entry 225
919 (long int)0.0,
920 -0x1.fffff8p-127
921 },
922 { // Entry 226
923 (long int)0.0,
924 0x1.p-148
925 },
926 { // Entry 227
927 (long int)0.0,
928 -0x1.p-148
929 },
930 { // Entry 228
931 (long int)0.0,
932 0x1.p-149
933 },
934 { // Entry 229
935 (long int)0.0,
936 -0x1.p-149
937 },
938 { // Entry 230
939 (long int)0.0,
940 0.0f
941 },
942 { // Entry 231
943 (long int)0.0,
944 -0.0f
945 },
946 { // Entry 232
947 (long int)0x1.p1,
948 0x1.80p0
949 },
950 { // Entry 233
951 (long int)-0x1.p1,
952 -0x1.80p0
953 },
954 { // Entry 234
955 (long int)0x1.p1,
956 0x1.40p1
957 },
958 { // Entry 235
959 (long int)-0x1.p1,
960 -0x1.40p1
961 },
962 { // Entry 236
963 (long int)0.0,
964 0x1.fffff0p-2
965 },
966 { // Entry 237
967 (long int)0.0,
968 0x1.p-1
969 },
970 { // Entry 238
971 (long int)0x1.p0,
972 0x1.000010p-1
973 },
974 { // Entry 239
975 (long int)0.0,
976 -0x1.fffff0p-2
977 },
978 { // Entry 240
979 (long int)0.0,
980 -0x1.p-1
981 },
982 { // Entry 241
983 (long int)-0x1.p0,
984 -0x1.000010p-1
985 },
986 { // Entry 242
987 (long int)0x1.p1,
988 0x1.800010p0
989 },
990 { // Entry 243
991 (long int)0x1.p0,
992 0x1.7ffff0p0
993 },
994 { // Entry 244
995 (long int)-0x1.p1,
996 -0x1.800010p0
997 },
998 { // Entry 245
999 (long int)-0x1.p0,
1000 -0x1.7ffff0p0
1001 }
1002};