1 /* Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue */
2 /* Mountain View, California 94043 All rights reserved. */
4 /* Any person is hereby authorized to download, copy, use, create bug fixes, */
5 /* and distribute, subject to the following conditions: */
7 /* 1. the software may not be redistributed for a fee except as */
8 /* reasonable to cover media costs; */
9 /* 2. any copy of the software must include this notice, as well as */
10 /* any other embedded copyright notices; and */
11 /* 3. any distribution of this software or derivative works thereof */
12 /* must comply with all applicable U.S. export control laws. */
14 /* THE SOFTWARE IS MADE AVAILABLE "AS IS" AND WITHOUT EXPRESS OR IMPLIED */
15 /* WARRANTY OF ANY KIND, INCLUDING BUT NOT LIMITED TO THE IMPLIED */
16 /* WARRANTIES OF DESIGN, MERCHANTIBILITY, FITNESS FOR A PARTICULAR */
17 /* PURPOSE, NON-INFRINGEMENT, PERFORMANCE OR CONFORMANCE TO */
20 /* BY DOWNLOADING AND/OR USING THIS SOFTWARE, THE USER WAIVES ALL CLAIMS */
21 /* AGAINST SUN MICROSYSTEMS, INC. AND ITS AFFILIATED COMPANIES IN ANY */
22 /* JURISDICTION, INCLUDING BUT NOT LIMITED TO CLAIMS FOR DAMAGES OR */
23 /* EQUITABLE RELIEF BASED ON LOSS OF DATA, AND SPECIFICALLY WAIVES EVEN */
24 /* UNKNOWN OR UNANTICIPATED CLAIMS OR LOSSES, PRESENT AND FUTURE. */
26 /* IN NO EVENT WILL SUN MICROSYSTEMS, INC. OR ANY OF ITS AFFILIATED */
27 /* COMPANIES BE LIABLE FOR ANY LOST REVENUE OR PROFITS OR OTHER SPECIAL, */
28 /* INDIRECT AND CONSEQUENTIAL DAMAGES, EVEN IF IT HAS BEEN ADVISED OF THE */
29 /* POSSIBILITY OF SUCH DAMAGES. */
31 /* This file is provided with no support and without any obligation on the */
32 /* part of Sun Microsystems, Inc. ("Sun") or any of its affiliated */
33 /* companies to assist in its use, correction, modification or */
34 /* enhancement. Nevertheless, and without creating any obligation on its */
35 /* part, Sun welcomes your comments concerning the software and requests */
36 /* that they be sent to fdlibm-comments@sunpro.sun.com. */
38 /* overflow threshold */
39 exps n vn x 42b17217 7f7fff84
40 exps n eq ox 42b17218 7f800000
41 exps n eq ox 7f7fffff 7f800000
42 exps n eq - 7f800000 7f800000
43 exps z nb x 42b17217 7f7fff84
44 exps z eq ox 42b17218 7f7fffff
45 exps z eq ox 7f7fffff 7f7fffff
46 exps z eq - 7f800000 7f800000
47 exps p nb x 42b17217 7f7fff84
48 exps p eq ox 42b17218 7f800000
49 exps p eq ox 7f7fffff 7f800000
50 exps p eq - 7f800000 7f800000
51 exps m nb x 42b17217 7f7fff84
52 exps m eq ox 42b17218 7f7fffff
53 exps m eq ox 7f7fffff 7f7fffff
54 exps m eq - 7f800000 7f800000
55 /* exps(0 or tiny) = 1 */
56 exps n eq - 0 3f800000
57 exps n eq - 80000000 3f800000
58 exps n eq x 1 3f800000
59 exps n eq x 80000001 3f800000
60 exps n eq x 00800000 3f800000
61 exps n eq x 80800000 3f800000
63 exps n vn x c2aeac4f 00800026
64 exps z nb x c2aeac4f 00800026
65 exps p nb x c2aeac4f 00800026
66 exps m nb x c2aeac4f 00800026
67 exps n vn ux c2aeac50 007fffe6
68 exps n eq ux c2cff1b4 1
69 exps n eq ux c2cff1b5 0
70 exps n eq ux ff7fffff 0
71 exps z eq ux ff7fffff 0
72 exps p eq ux ff7fffff 1
73 exps m eq ux ff7fffff 0
74 exps n eq - ff800000 0
75 /* random arguments between -20 20 */
76 exps n vn x c0abf92e 3b97df51
77 exps n vn x 4163e988 49bb7778
78 exps n vn x 418cdf38 4c2969ef
79 exps n vn x c155b6b8 35d4456f
80 exps n vn x c0ad60c7 3b915994
81 exps n vn x bf492cc1 3ee95660
82 exps n vn x 413910e7 47ce1675
83 exps n vn x 4188d06a 4bcc0773
84 exps n vn x c05720d1 3d0e1468
85 exps n vn x c19948aa 31a3f7ca
86 /* exps(nan) is nan */
87 exps n uo v 7f800001 0
88 exps n uo - ffc00000 0
89 exps m eq - 7f800000 7f800000
90 exps m eq - 80000000 3f800000
91 exps m eq - ff800000 00000000
92 exps m eq x 00000001 3f800000
93 exps m eq x 00000002 3f800000
94 exps m eq x 00000003 3f800000
95 exps m eq x 00200000 3f800000
96 exps m eq x 00400000 3f800000
97 exps m eq x 007ffffe 3f800000
98 exps m eq x 007fffff 3f800000
99 exps m eq x 00800000 3f800000
100 exps m eq x 00800001 3f800000
101 exps m eq x 00800002 3f800000
102 exps m eq x 00fffffd 3f800000
103 exps m eq x 00ffffff 3f800000
104 exps m eq x 01000000 3f800000
105 exps m eq x 01800000 3f800000
106 exps m eq x 1b000000 3f800000
107 exps m eq x 1e800000 3f800000
108 exps m eq x 1f000000 3f800000
109 exps m eq xo 42b17218 7f7fffff
110 exps m eq xo 42b20000 7f7fffff
111 exps m eq xo 4664e400 7f7fffff
112 exps m eq xo 46800000 7f7fffff
113 exps m eq xo 48800000 7f7fffff
114 exps m eq xo 7b000000 7f7fffff
115 exps m eq xo 7e000000 7f7fffff
116 exps m eq xo 7e800000 7f7fffff
117 exps m eq xo 7f000000 7f7fffff
118 exps m eq xo 7f7ffff7 7f7fffff
119 exps m eq xo 7f7ffffc 7f7fffff
120 exps m eq xo 7f7ffffd 7f7fffff
121 exps m eq xo 7f7ffffe 7f7fffff
122 exps m eq xo 7f7fffff 7f7fffff
123 exps m eq xu c2d00000 00000000
124 exps m eq xu c664e400 00000000
125 exps m eq xu c8800000 00000000
126 exps m eq xu fd000000 00000000
127 exps m eq xu fd800000 00000000
128 exps m eq xu fe000000 00000000
129 exps m eq xu fe800000 00000000
130 exps m eq xu ff000000 00000000
131 exps m eq xu ff7ffff7 00000000
132 exps m eq xu ff7ffffc 00000000
133 exps m eq xu ff7ffffd 00000000
134 exps m eq xu ff7ffffe 00000000
135 exps m eq xu ff7fffff 00000000
136 exps m uo - 7fff0000 7fff0000
137 exps m uo - ffff0000 ffff0000
138 exps m uo v 7f810000 7fff0000
139 exps m uo v ff810000 ffff0000
140 exps m vn x 33ffffff 3f800001
141 exps m vn x 347ffffc 3f800002
142 exps m vn x 34fffffc 3f800004
143 exps m vn x 42b17217 7f7fff84
144 exps m vn x 80000001 3f800000
145 exps m vn x 80000002 3f800000
146 exps m vn x 80200000 3f800000
147 exps m vn x 80400000 3f800000
148 exps m vn x 807ffffe 3f800000
149 exps m vn x 807fffff 3f800000
150 exps m vn x 80800000 3f800000
151 exps m vn x 80800001 3f800000
152 exps m vn x 80800002 3f800000
153 exps m vn x 81000000 3f800000
154 exps m vn x 81800000 3f800000
155 exps m vn x 9b000000 3f800000
156 exps m vn x 9e800000 3f800000
157 exps m vn x b4800001 3f7ffffc
158 exps m vn x b4c00004 3f7ffffa
159 exps n eq - 7f800000 7f800000
160 exps n eq x 00000002 3f800000
161 exps n eq x 00000003 3f800000
162 exps n eq x 00200000 3f800000
163 exps n eq x 00400000 3f800000
164 exps n eq x 007ffffe 3f800000
165 exps n eq x 007fffff 3f800000
166 exps n eq x 00800001 3f800000
167 exps n eq x 00800002 3f800000
168 exps n eq x 00fffffd 3f800000
169 exps n eq x 00ffffff 3f800000
170 exps n eq x 01000000 3f800000
171 exps n eq x 01800000 3f800000
172 exps n eq x 1b000000 3f800000
173 exps n eq x 1e800000 3f800000
174 exps n eq x 1f000000 3f800000
175 exps n eq x 33ffffff 3f800001
176 exps n eq x 347ffffc 3f800002
177 exps n eq x 34fffffc 3f800004
178 exps n eq x 80000002 3f800000
179 exps n eq x 80200000 3f800000
180 exps n eq x 80400000 3f800000
181 exps n eq x 807ffffe 3f800000
182 exps n eq x 807fffff 3f800000
183 exps n eq x 80800001 3f800000
184 exps n eq x 80800002 3f800000
185 exps n eq x 81000000 3f800000
186 exps n eq x 81800000 3f800000
187 exps n eq x 9b000000 3f800000
188 exps n eq x 9e800000 3f800000
189 exps n eq x b4800001 3f7ffffc
190 exps n eq x b4c00004 3f7ffffa
191 exps n eq xo 42b17218 7f800000
192 exps n eq xo 42b20000 7f800000
193 exps n eq xo 4664e400 7f800000
194 exps n eq xo 46800000 7f800000
195 exps n eq xo 48800000 7f800000
196 exps n eq xo 7b000000 7f800000
197 exps n eq xo 7e000000 7f800000
198 exps n eq xo 7e800000 7f800000
199 exps n eq xo 7f000000 7f800000
200 exps n eq xo 7f7ffff7 7f800000
201 exps n eq xo 7f7ffffc 7f800000
202 exps n eq xo 7f7ffffd 7f800000
203 exps n eq xo 7f7ffffe 7f800000
204 exps n eq xo 7f7fffff 7f800000
205 exps n eq xu c2cff1b4 00000001
206 exps n eq xu c2cff1b5 00000000
207 exps n eq xu c2d00000 00000000
208 exps n eq xu c664e400 00000000
209 exps n eq xu c8800000 00000000
210 exps n eq xu fd000000 00000000
211 exps n eq xu fd800000 00000000
212 exps n eq xu fe000000 00000000
213 exps n eq xu fe800000 00000000
214 exps n eq xu ff000000 00000000
215 exps n eq xu ff7ffff7 00000000
216 exps n eq xu ff7ffffc 00000000
217 exps n eq xu ff7ffffd 00000000
218 exps n eq xu ff7ffffe 00000000
219 exps n eq xu ff7fffff 00000000
220 exps n uo - 7fff0000 7fff0000
221 exps n uo - ffc00000 00000000
222 exps n uo - ffff0000 ffff0000
223 exps n uo v 7f800001 00000000
224 exps n uo v 7f810000 7fff0000
225 exps n uo v ff810000 ffff0000
226 exps n vn x 42b17217 7f7fff84
227 exps n vn xu c2aeac50 007fffe6
228 exps p eq - 00000000 3f800000
229 exps p eq - 7f800000 7f800000
230 exps p eq - 80000000 3f800000
231 exps p eq - ff800000 00000000
232 exps p eq x 80000001 3f800000
233 exps p eq x 80000002 3f800000
234 exps p eq x 80200000 3f800000
235 exps p eq x 80400000 3f800000
236 exps p eq x 807ffffe 3f800000
237 exps p eq x 807fffff 3f800000
238 exps p eq x 80800000 3f800000
239 exps p eq x 80800001 3f800000
240 exps p eq x 80800002 3f800000
241 exps p eq x 81000000 3f800000
242 exps p eq x 81800000 3f800000
243 exps p eq x 9b000000 3f800000
244 exps p eq x 9e800000 3f800000
245 exps p eq xo 42b17218 7f800000
246 exps p eq xo 42b20000 7f800000
247 exps p eq xo 4664e400 7f800000
248 exps p eq xo 46800000 7f800000
249 exps p eq xo 48800000 7f800000
250 exps p eq xo 7b000000 7f800000
251 exps p eq xo 7e000000 7f800000
252 exps p eq xo 7e800000 7f800000
253 exps p eq xo 7f000000 7f800000
254 exps p eq xo 7f7ffff7 7f800000
255 exps p eq xo 7f7ffffc 7f800000
256 exps p eq xo 7f7ffffd 7f800000
257 exps p eq xo 7f7ffffe 7f800000
258 exps p eq xo 7f7fffff 7f800000
259 exps p eq xu c8800000 00000001
260 exps p eq xu fd000000 00000001
261 exps p eq xu fd800000 00000001
262 exps p eq xu fe000000 00000001
263 exps p eq xu fe800000 00000001
264 exps p eq xu ff000000 00000001
265 exps p eq xu ff7ffff7 00000001
266 exps p eq xu ff7ffffc 00000001
267 exps p eq xu ff7ffffd 00000001
268 exps p eq xu ff7ffffe 00000001
269 exps p eq xu ff7fffff 00000001
270 exps p uo - 7fff0000 7fff0000
271 exps p uo - ffff0000 ffff0000
272 exps p uo v 7f810000 7fff0000
273 exps p uo v ff810000 ffff0000
274 exps p vn x 00000001 3f800000
275 exps p vn x 00000002 3f800000
276 exps p vn x 00000003 3f800000
277 exps p vn x 00200000 3f800000
278 exps p vn x 00400000 3f800000
279 exps p vn x 007ffffe 3f800000
280 exps p vn x 007fffff 3f800000
281 exps p vn x 00800000 3f800000
282 exps p vn x 00800001 3f800000
283 exps p vn x 00800002 3f800000
284 exps p vn x 00fffffd 3f800000
285 exps p vn x 00ffffff 3f800000
286 exps p vn x 01000000 3f800000
287 exps p vn x 01800000 3f800000
288 exps p vn x 1b000000 3f800000
289 exps p vn x 1e800000 3f800000
290 exps p vn x 1f000000 3f800000
291 exps p vn x 33ffffff 3f800001
292 exps p vn x 347ffffc 3f800002
293 exps p vn x 34fffffc 3f800004
294 exps p vn x 42b17217 7f7fff84
295 exps p vn x b4800001 3f7ffffc
296 exps p vn x b4c00004 3f7ffffa
297 exps p vn xu c2d00000 00000000
298 exps p vn xu c664e400 00000000
299 exps z eq - 00000000 3f800000
300 exps z eq - 7f800000 7f800000
301 exps z eq - 80000000 3f800000
302 exps z eq - ff800000 00000000
303 exps z eq x 00000001 3f800000
304 exps z eq x 00000002 3f800000
305 exps z eq x 00000003 3f800000
306 exps z eq x 00200000 3f800000
307 exps z eq x 00400000 3f800000
308 exps z eq x 007ffffe 3f800000
309 exps z eq x 007fffff 3f800000
310 exps z eq x 00800000 3f800000
311 exps z eq x 00800001 3f800000
312 exps z eq x 00800002 3f800000
313 exps z eq x 00fffffd 3f800000
314 exps z eq x 00ffffff 3f800000
315 exps z eq x 01000000 3f800000
316 exps z eq x 01800000 3f800000
317 exps z eq x 1b000000 3f800000
318 exps z eq x 1e800000 3f800000
319 exps z eq x 1f000000 3f800000
320 exps z eq xo 42b17218 7f7fffff
321 exps z eq xo 42b20000 7f7fffff
322 exps z eq xo 4664e400 7f7fffff
323 exps z eq xo 46800000 7f7fffff
324 exps z eq xo 48800000 7f7fffff
325 exps z eq xo 7b000000 7f7fffff
326 exps z eq xo 7e000000 7f7fffff
327 exps z eq xo 7e800000 7f7fffff
328 exps z eq xo 7f000000 7f7fffff
329 exps z eq xo 7f7ffff7 7f7fffff
330 exps z eq xo 7f7ffffc 7f7fffff
331 exps z eq xo 7f7ffffd 7f7fffff
332 exps z eq xo 7f7ffffe 7f7fffff
333 exps z eq xo 7f7fffff 7f7fffff
334 exps z eq xu c2d00000 00000000
335 exps z eq xu c664e400 00000000
336 exps z eq xu c8800000 00000000
337 exps z eq xu fd000000 00000000
338 exps z eq xu fd800000 00000000
339 exps z eq xu fe000000 00000000
340 exps z eq xu fe800000 00000000
341 exps z eq xu ff000000 00000000
342 exps z eq xu ff7ffff7 00000000
343 exps z eq xu ff7ffffc 00000000
344 exps z eq xu ff7ffffd 00000000
345 exps z eq xu ff7ffffe 00000000
346 exps z eq xu ff7fffff 00000000
347 exps z uo - 7fff0000 7fff0000
348 exps z uo - ffff0000 ffff0000
349 exps z uo v 7f810000 7fff0000
350 exps z uo v ff810000 ffff0000
351 exps z vn x 33ffffff 3f800001
352 exps z vn x 347ffffc 3f800002
353 exps z vn x 34fffffc 3f800004
354 exps z vn x 42b17217 7f7fff84
355 exps z vn x 80000001 3f800000
356 exps z vn x 80000002 3f800000
357 exps z vn x 80200000 3f800000
358 exps z vn x 80400000 3f800000
359 exps z vn x 807ffffe 3f800000
360 exps z vn x 807fffff 3f800000
361 exps z vn x 80800000 3f800000
362 exps z vn x 80800001 3f800000
363 exps z vn x 80800002 3f800000
364 exps z vn x 81000000 3f800000
365 exps z vn x 81800000 3f800000
366 exps z vn x 9b000000 3f800000
367 exps z vn x 9e800000 3f800000
368 exps z vn x b4800001 3f7ffffc
369 exps z vn x b4c00004 3f7ffffa
projects / libm / blob