initial commit
[libm] / test / io / ucb / asins.input
1 /* Copyright (C) 1988-1994 Sun Microsystems, Inc. 2550 Garcia Avenue */
2 /* Mountain View, California  94043 All rights reserved. */
3 /*  */
4 /* Any person is hereby authorized to download, copy, use, create bug fixes,  */
5 /* and distribute, subject to the following conditions: */
6 /*  */
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. */
13 /*  */
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 */
18 /* SPECIFICATIONS.   */
19 /*  */
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. */
25 /*  */
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. */
30 /*  */
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. */
37
38         /* asins(+-1) is +-pi/2 */
39 asins n eq x 3f800000 3fc90fdb
40 asins n eq x bf800000 bfc90fdb
41         /* asins(+-(1 - tiny)) :=: +-(pi/2-sqrt(2*tiny)) */
42 asins n nb x 3f7fffff 3fc9048a
43 asins n nb x bf7fffff bfc9048a
44 asins z nb x 3f7fffff 3fc9048a
45 asins z nb x bf7fffff bfc9048a
46 asins p nb x 3f7fffff 3fc9048a
47 asins p nb x bf7fffff bfc9048a
48 asins m nb x 3f7fffff 3fc9048a
49 asins m nb x bf7fffff bfc9048a
50         /* asins(tiny) is tiny (only in nearest mode) */
51 asins n eq x 37ffd173 37ffd173
52 asins n eq x b7ffd173 b7ffd173
53 asins n eq x 00800000 00800000
54 asins n eq x 80800000 80800000
55         /* asins(+-0) is +-0 */
56 asins n eq - 0 0
57 asins n eq - 80000000 80000000
58 asins z eq - 0 0
59 asins z eq - 80000000 80000000
60 asins p eq - 0 0
61 asins p eq - 80000000 80000000
62 asins m eq - 0 0
63 asins m eq - 80000000 80000000
64         /* random arguments between -1 and 1 */
65 asins n nb x be899426 be8b4a62
66 asins n nb x 3f365470 3f4aec0a
67 asins n nb x 3f616530 3f89d4f1
68 asins n nb x bf2af890 bf3b3804
69 asins n nb x be8ab3cf be8c751f
70 asins n nb x bd20f099 bd20fb35
71 asins n nb x 3f140d87 3f1ddedd
72 asins n nb x 3f5ae71a 3f834add
73 asins n nb x be2c1a41 be2cec5b
74 asins n nb x bf754112 bfa3d7fd
75         /* exception cases */
76 asins n uo v 3f800001 0
77 asins z uo v 3f800001 0
78 asins p uo v 3f800001 0
79 asins m uo v 3f800001 0
80 asins n uo v bf800001 0
81 asins n uo v 40000000 0
82 asins n uo v 40f00001 0
83 asins n uo v c0ffffff 0
84 asins n uo v 7f800001 0
85 asins n uo v ff800001 0
86 asins z uo v ff800001 0
87 asins p uo v ff800001 0
88 asins m uo v ff800001 0
89 asins n uo - 7fc00000 0
90 asins z uo - 7fc00000 0
91 asins p uo - 7fc00000 0
92 asins m uo - 7fc00000 0
93 asins n uo - ffc00000 0
94
95 asins m eq x 00800001 00800001
96 asins m eq x 00800002 00800002
97 asins m eq x 01000000 01000000
98 asins m eq x 01800000 01800000
99 asins m eq x 80800001 80800001
100 asins m eq x 80800002 80800002
101 asins m eq x 81000000 81000000
102 asins m eq x 81800000 81800000
103 asins m eq x?u 00000001 00000001
104 asins m eq x?u 00000002 00000002
105 asins m eq x?u 00200000 00200000
106 asins m eq x?u 00400000 00400000
107 asins m eq x?u 007ffffe 007ffffe
108 asins m eq x?u 007fffff 007fffff
109 asins m eq x?u 00800000 00800000
110 asins m eq x?u 80000001 80000001
111 asins m eq x?u 80000002 80000002
112 asins m eq x?u 80200000 80200000
113 asins m eq x?u 80400000 80400000
114 asins m eq x?u 807ffffe 807ffffe
115 asins m eq x?u 807fffff 807fffff
116 asins m eq x?u 80800000 80800000
117 asins m uo - 7fc00000 00000000
118 asins m uo - 7fff0000 7fff0000
119 asins m uo - ffff0000 ffff0000
120 asins m uo v 3f800001 7fff0000
121 asins m uo v 3f800002 7fff0000
122 asins m uo v 40000000 7fff0000
123 asins m uo v 40800000 7fff0000
124 asins m uo v 7e800000 7fff0000
125 asins m uo v 7f000000 7fff0000
126 asins m uo v 7f7ffffe 7fff0000
127 asins m uo v 7f7fffff 7fff0000
128 asins m uo v 7f800000 7fff0000
129 asins m uo v 7f810000 7fff0000
130 asins m uo v bf800001 ffff0000
131 asins m uo v bf800002 ffff0000
132 asins m uo v c0000000 ffff0000
133 asins m uo v c0800000 ffff0000
134 asins m uo v fe800000 ffff0000
135 asins m uo v ff000000 ffff0000
136 asins m uo v ff7ffffe ffff0000
137 asins m uo v ff7fffff ffff0000
138 asins m uo v ff800000 ffff0000
139 asins m uo v ff800001 00000000
140 asins m uo v ff810000 ffff0000
141 asins m vn x 32400000 32400000
142 asins m vn x 32800000 32800000
143 asins m vn x 39800000 39800000
144 asins m vn x 39c00000 39c00000
145 asins m vn x b2400000 b2400000
146 asins m vn x b2800000 b2800000
147 asins m vn x b9800000 b9800000
148 asins m vn x b9c00000 b9c00000
149 asins n eq x 00800001 00800001
150 asins n eq x 00800002 00800002
151 asins n eq x 01000000 01000000
152 asins n eq x 01800000 01800000
153 asins n eq x 32400000 32400000
154 asins n eq x 32800000 32800000
155 asins n eq x 39800000 39800000
156 asins n eq x 39c00000 39c00000
157 asins n eq x 80800001 80800001
158 asins n eq x 80800002 80800002
159 asins n eq x 81000000 81000000
160 asins n eq x 81800000 81800000
161 asins n eq x b2400000 b2400000
162 asins n eq x b2800000 b2800000
163 asins n eq x b9800000 b9800000
164 asins n eq x b9c00000 b9c00000
165 asins n eq x?u 00000001 00000001
166 asins n eq x?u 00000002 00000002
167 asins n eq x?u 00200000 00200000
168 asins n eq x?u 00400000 00400000
169 asins n eq x?u 007ffffe 007ffffe
170 asins n eq x?u 007fffff 007fffff
171 asins n eq x?u 80000001 80000001
172 asins n eq x?u 80000002 80000002
173 asins n eq x?u 80200000 80200000
174 asins n eq x?u 80400000 80400000
175 asins n eq x?u 807ffffe 807ffffe
176 asins n eq x?u 807fffff 807fffff
177 asins n uo - 7fc00000 00000000
178 asins n uo - 7fff0000 7fff0000
179 asins n uo - ffc00000 00000000
180 asins n uo - ffff0000 ffff0000
181 asins n uo v 3f800001 7fff0000
182 asins n uo v 3f800002 7fff0000
183 asins n uo v 40000000 7fff0000
184 asins n uo v 40800000 7fff0000
185 asins n uo v 40f00001 00000000
186 asins n uo v 7e800000 7fff0000
187 asins n uo v 7f000000 7fff0000
188 asins n uo v 7f7ffffe 7fff0000
189 asins n uo v 7f7fffff 7fff0000
190 asins n uo v 7f800000 7fff0000
191 asins n uo v 7f800001 00000000
192 asins n uo v 7f810000 7fff0000
193 asins n uo v bf800001 ffff0000
194 asins n uo v bf800002 ffff0000
195 asins n uo v c0000000 ffff0000
196 asins n uo v c0800000 ffff0000
197 asins n uo v c0ffffff 00000000
198 asins n uo v fe800000 ffff0000
199 asins n uo v ff000000 ffff0000
200 asins n uo v ff7ffffe ffff0000
201 asins n uo v ff7fffff ffff0000
202 asins n uo v ff800000 ffff0000
203 asins n uo v ff800001 00000000
204 asins n uo v ff810000 ffff0000
205 asins p eq x 00800001 00800001
206 asins p eq x 00800002 00800002
207 asins p eq x 01000000 01000000
208 asins p eq x 01800000 01800000
209 asins p eq x 80800001 80800001
210 asins p eq x 80800002 80800002
211 asins p eq x 81000000 81000000
212 asins p eq x 81800000 81800000
213 asins p eq x?u 00000001 00000001
214 asins p eq x?u 00000002 00000002
215 asins p eq x?u 00200000 00200000
216 asins p eq x?u 00400000 00400000
217 asins p eq x?u 007ffffe 007ffffe
218 asins p eq x?u 007fffff 007fffff
219 asins p eq x?u 00800000 00800000
220 asins p eq x?u 80000001 80000001
221 asins p eq x?u 80000002 80000002
222 asins p eq x?u 80200000 80200000
223 asins p eq x?u 80400000 80400000
224 asins p eq x?u 807ffffe 807ffffe
225 asins p eq x?u 807fffff 807fffff
226 asins p eq x?u 80800000 80800000
227 asins p uo - 7fc00000 00000000
228 asins p uo - 7fff0000 7fff0000
229 asins p uo - ffff0000 ffff0000
230 asins p uo v 3f800001 7fff0000
231 asins p uo v 3f800002 7fff0000
232 asins p uo v 40000000 7fff0000
233 asins p uo v 40800000 7fff0000
234 asins p uo v 7e800000 7fff0000
235 asins p uo v 7f000000 7fff0000
236 asins p uo v 7f7ffffe 7fff0000
237 asins p uo v 7f7fffff 7fff0000
238 asins p uo v 7f800000 7fff0000
239 asins p uo v 7f810000 7fff0000
240 asins p uo v bf800001 ffff0000
241 asins p uo v bf800002 ffff0000
242 asins p uo v c0000000 ffff0000
243 asins p uo v c0800000 ffff0000
244 asins p uo v fe800000 ffff0000
245 asins p uo v ff000000 ffff0000
246 asins p uo v ff7ffffe ffff0000
247 asins p uo v ff7fffff ffff0000
248 asins p uo v ff800000 ffff0000
249 asins p uo v ff800001 00000000
250 asins p uo v ff810000 ffff0000
251 asins p vn x 32400000 32400000
252 asins p vn x 32800000 32800000
253 asins p vn x 39800000 39800000
254 asins p vn x 39c00000 39c00000
255 asins p vn x b2400000 b2400000
256 asins p vn x b2800000 b2800000
257 asins p vn x b9800000 b9800000
258 asins p vn x b9c00000 b9c00000
259 asins z eq x 00800001 00800001
260 asins z eq x 00800002 00800002
261 asins z eq x 01000000 01000000
262 asins z eq x 01800000 01800000
263 asins z eq x 80800001 80800001
264 asins z eq x 80800002 80800002
265 asins z eq x 81000000 81000000
266 asins z eq x 81800000 81800000
267 asins z eq x?u 00000001 00000001
268 asins z eq x?u 00000002 00000002
269 asins z eq x?u 00200000 00200000
270 asins z eq x?u 00400000 00400000
271 asins z eq x?u 007ffffe 007ffffe
272 asins z eq x?u 007fffff 007fffff
273 asins z eq x?u 00800000 00800000
274 asins z eq x?u 80000001 80000001
275 asins z eq x?u 80000002 80000002
276 asins z eq x?u 80200000 80200000
277 asins z eq x?u 80400000 80400000
278 asins z eq x?u 807ffffe 807ffffe
279 asins z eq x?u 807fffff 807fffff
280 asins z eq x?u 80800000 80800000
281 asins z uo - 7fc00000 00000000
282 asins z uo - 7fff0000 7fff0000
283 asins z uo - ffff0000 ffff0000
284 asins z uo v 3f800001 7fff0000
285 asins z uo v 3f800002 7fff0000
286 asins z uo v 40000000 7fff0000
287 asins z uo v 40800000 7fff0000
288 asins z uo v 7e800000 7fff0000
289 asins z uo v 7f000000 7fff0000
290 asins z uo v 7f7ffffe 7fff0000
291 asins z uo v 7f7fffff 7fff0000
292 asins z uo v 7f800000 7fff0000
293 asins z uo v 7f810000 7fff0000
294 asins z uo v bf800001 ffff0000
295 asins z uo v bf800002 ffff0000
296 asins z uo v c0000000 ffff0000
297 asins z uo v c0800000 ffff0000
298 asins z uo v fe800000 ffff0000
299 asins z uo v ff000000 ffff0000
300 asins z uo v ff7ffffe ffff0000
301 asins z uo v ff7fffff ffff0000
302 asins z uo v ff800000 ffff0000
303 asins z uo v ff800001 00000000
304 asins z uo v ff810000 ffff0000
305 asins z vn x 32400000 32400000
306 asins z vn x 32800000 32800000
307 asins z vn x 39800000 39800000
308 asins z vn x 39c00000 39c00000
309 asins z vn x b2400000 b2400000
310 asins z vn x b2800000 b2800000
311 asins z vn x b9800000 b9800000
312 asins z vn x b9c00000 b9c00000