Home | History | Annotate | Download | only in math_data
      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_floor_intel_data[] = {
     18   { // Entry 0
     19     -0x1.p0,
     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     -0x1.p0,
    204     -0x1.0000000000001p-1
    205   },
    206   { // Entry 47
    207     -0x1.p0,
    208     -0x1.0p-1
    209   },
    210   { // Entry 48
    211     -0x1.p0,
    212     -0x1.fffffffffffffp-2
    213   },
    214   { // Entry 49
    215     -0x1.p1,
    216     -0x1.0000000000001p0
    217   },
    218   { // Entry 50
    219     -0x1.p0,
    220     -0x1.0p0
    221   },
    222   { // Entry 51
    223     -0x1.p0,
    224     -0x1.fffffffffffffp-1
    225   },
    226   { // Entry 52
    227     -0x1.p1,
    228     -0x1.8000000000001p0
    229   },
    230   { // Entry 53
    231     -0x1.p1,
    232     -0x1.8p0
    233   },
    234   { // Entry 54
    235     -0x1.p1,
    236     -0x1.7ffffffffffffp0
    237   },
    238   { // Entry 55
    239     -0x1.80p1,
    240     -0x1.0000000000001p1
    241   },
    242   { // Entry 56
    243     -0x1.p1,
    244     -0x1.0p1
    245   },
    246   { // Entry 57
    247     -0x1.p1,
    248     -0x1.fffffffffffffp0
    249   },
    250   { // Entry 58
    251     -0x1.80p1,
    252     -0x1.4000000000001p1
    253   },
    254   { // Entry 59
    255     -0x1.80p1,
    256     -0x1.4p1
    257   },
    258   { // Entry 60
    259     -0x1.80p1,
    260     -0x1.3ffffffffffffp1
    261   },
    262   { // Entry 61
    263     -0x1.94p6,
    264     -0x1.9000000000001p6
    265   },
    266   { // Entry 62
    267     -0x1.90p6,
    268     -0x1.9p6
    269   },
    270   { // Entry 63
    271     -0x1.90p6,
    272     -0x1.8ffffffffffffp6
    273   },
    274   { // Entry 64
    275     -0x1.94p6,
    276     -0x1.9200000000001p6
    277   },
    278   { // Entry 65
    279     -0x1.94p6,
    280     -0x1.920p6
    281   },
    282   { // Entry 66
    283     -0x1.94p6,
    284     -0x1.91fffffffffffp6
    285   },
    286   { // Entry 67
    287     -0x1.f480p9,
    288     -0x1.f400000000001p9
    289   },
    290   { // Entry 68
    291     -0x1.f4p9,
    292     -0x1.f40p9
    293   },
    294   { // Entry 69
    295     -0x1.f4p9,
    296     -0x1.f3fffffffffffp9
    297   },
    298   { // Entry 70
    299     -0x1.f480p9,
    300     -0x1.f440000000001p9
    301   },
    302   { // Entry 71
    303     -0x1.f480p9,
    304     -0x1.f44p9
    305   },
    306   { // Entry 72
    307     -0x1.f480p9,
    308     -0x1.f43ffffffffffp9
    309   },
    310   { // Entry 73
    311     -0x1.00000000000040p50,
    312     -0x1.0000000000001p50
    313   },
    314   { // Entry 74
    315     -0x1.p50,
    316     -0x1.0p50
    317   },
    318   { // Entry 75
    319     -0x1.p50,
    320     -0x1.fffffffffffffp49
    321   },
    322   { // Entry 76
    323     -0x1.00000000000020p51,
    324     -0x1.0000000000001p51
    325   },
    326   { // Entry 77
    327     -0x1.p51,
    328     -0x1.0p51
    329   },
    330   { // Entry 78
    331     -0x1.p51,
    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.p52,
    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.00000004p30,
    548     -0x1.0000000000001p30
    549   },
    550   { // Entry 133
    551     -0x1.p30,
    552     -0x1.0p30
    553   },
    554   { // Entry 134
    555     -0x1.p30,
    556     -0x1.fffffffffffffp29
    557   },
    558   { // Entry 135
    559     -0x1.fffffffcp30,
    560     -0x1.fffffff800002p30
    561   },
    562   { // Entry 136
    563     -0x1.fffffffcp30,
    564     -0x1.fffffff800001p30
    565   },
    566   { // Entry 137
    567     -0x1.fffffff8p30,
    568     -0x1.fffffff80p30
    569   },
    570   { // Entry 138
    571     -0x1.fffffff8p30,
    572     -0x1.fffffff7fffffp30
    573   },
    574   { // Entry 139
    575     -0x1.fffffff8p30,
    576     -0x1.fffffff7ffffep30
    577   },
    578   { // Entry 140
    579     -0x1.fffffffcp30,
    580     -0x1.fffffffa00002p30
    581   },
    582   { // Entry 141
    583     -0x1.fffffffcp30,
    584     -0x1.fffffffa00001p30
    585   },
    586   { // Entry 142
    587     -0x1.fffffffcp30,
    588     -0x1.fffffffa0p30
    589   },
    590   { // Entry 143
    591     -0x1.fffffffcp30,
    592     -0x1.fffffff9fffffp30
    593   },
    594   { // Entry 144
    595     -0x1.fffffffcp30,
    596     -0x1.fffffff9ffffep30
    597   },
    598   { // Entry 145
    599     -0x1.p31,
    600     -0x1.fffffffc00002p30
    601   },
    602   { // Entry 146
    603     -0x1.p31,
    604     -0x1.fffffffc00001p30
    605   },
    606   { // Entry 147
    607     -0x1.fffffffcp30,
    608     -0x1.fffffffc0p30
    609   },
    610   { // Entry 148
    611     -0x1.fffffffcp30,
    612     -0x1.fffffffbfffffp30
    613   },
    614   { // Entry 149
    615     -0x1.fffffffcp30,
    616     -0x1.fffffffbffffep30
    617   },
    618   { // Entry 150
    619     -0x1.p31,
    620     -0x1.fffffffe00002p30
    621   },
    622   { // Entry 151
    623     -0x1.p31,
    624     -0x1.fffffffe00001p30
    625   },
    626   { // Entry 152
    627     -0x1.p31,
    628     -0x1.fffffffe0p30
    629   },
    630   { // Entry 153
    631     -0x1.p31,
    632     -0x1.fffffffdfffffp30
    633   },
    634   { // Entry 154
    635     -0x1.p31,
    636     -0x1.fffffffdffffep30
    637   },
    638   { // Entry 155
    639     -0x1.00000002p31,
    640     -0x1.0000000000002p31
    641   },
    642   { // Entry 156
    643     -0x1.00000002p31,
    644     -0x1.0000000000001p31
    645   },
    646   { // Entry 157
    647     -0x1.p31,
    648     -0x1.0p31
    649   },
    650   { // Entry 158
    651     -0x1.p31,
    652     -0x1.fffffffffffffp30
    653   },
    654   { // Entry 159
    655     -0x1.p31,
    656     -0x1.ffffffffffffep30
    657   },
    658   { // Entry 160
    659     -0x1.00000002p31,
    660     -0x1.0000000100002p31
    661   },
    662   { // Entry 161
    663     -0x1.00000002p31,
    664     -0x1.0000000100001p31
    665   },
    666   { // Entry 162
    667     -0x1.00000002p31,
    668     -0x1.000000010p31
    669   },
    670   { // Entry 163
    671     -0x1.00000002p31,
    672     -0x1.00000000fffffp31
    673   },
    674   { // Entry 164
    675     -0x1.00000002p31,
    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.00000002p31,
    868     -0x1.0000000000001p31
    869   },
    870   { // Entry 213
    871     -0x1.p31,
    872     -0x1.0p31
    873   },
    874   { // Entry 214
    875     -0x1.p31,
    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.p2,
   1184     -0x1.921fb54442d18p1
   1185   },
   1186   { // Entry 292
   1187     0x1.p0,
   1188     0x1.921fb54442d18p0
   1189   },
   1190   { // Entry 293
   1191     -0x1.p1,
   1192     -0x1.921fb54442d18p0
   1193   },
   1194   { // Entry 294
   1195     0x1.p0,
   1196     0x1.0000000000001p0
   1197   },
   1198   { // Entry 295
   1199     -0x1.p1,
   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     -0x1.p0,
   1216     -0x1.fffffffffffffp-1
   1217   },
   1218   { // Entry 300
   1219     0.0,
   1220     0x1.921fb54442d18p-1
   1221   },
   1222   { // Entry 301
   1223     -0x1.p0,
   1224     -0x1.921fb54442d18p-1
   1225   },
   1226   { // Entry 302
   1227     0.0,
   1228     0x1.0000000000001p-1022
   1229   },
   1230   { // Entry 303
   1231     -0x1.p0,
   1232     -0x1.0000000000001p-1022
   1233   },
   1234   { // Entry 304
   1235     0.0,
   1236     0x1.0p-1022
   1237   },
   1238   { // Entry 305
   1239     -0x1.p0,
   1240     -0x1.0p-1022
   1241   },
   1242   { // Entry 306
   1243     0.0,
   1244     0x1.ffffffffffffep-1023
   1245   },
   1246   { // Entry 307
   1247     -0x1.p0,
   1248     -0x1.ffffffffffffep-1023
   1249   },
   1250   { // Entry 308
   1251     0.0,
   1252     0x1.ffffffffffffcp-1023
   1253   },
   1254   { // Entry 309
   1255     -0x1.p0,
   1256     -0x1.ffffffffffffcp-1023
   1257   },
   1258   { // Entry 310
   1259     0.0,
   1260     0x1.0p-1073
   1261   },
   1262   { // Entry 311
   1263     -0x1.p0,
   1264     -0x1.0p-1073
   1265   },
   1266   { // Entry 312
   1267     0.0,
   1268     0x1.0p-1074
   1269   },
   1270   { // Entry 313
   1271     -0x1.p0,
   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.p1,
   1288     -0x1.8p0
   1289   },
   1290   { // Entry 318
   1291     0x1.p1,
   1292     0x1.4p1
   1293   },
   1294   { // Entry 319
   1295     -0x1.80p1,
   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     -0x1.p0,
   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     0x1.p0,
   1324     0x1.80001p0
   1325   },
   1326   { // Entry 327
   1327     0x1.p0,
   1328     0x1.7ffffp0
   1329   },
   1330   { // Entry 328
   1331     -0x1.p1,
   1332     -0x1.80001p0
   1333   },
   1334   { // Entry 329
   1335     -0x1.p1,
   1336     -0x1.7ffffp0
   1337   }
   1338 };
   1339