more pow(0,-inf) fixes
[libc-test] / src / math / ucb / atan.h
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 // atand(+-max) is +-pi/2
38 T(RN, 0x1.fffffffffffffp+1023,    0x1.921fb54442d18p+0,  -0x1.1a6264p-2, INEXACT)
39 T(RN,-0x1.fffffffffffffp+1023,   -0x1.921fb54442d18p+0,   0x1.1a6264p-2, INEXACT)
40 // atand(+-1) is +-pi/4
41 T(RN,                  0x1p+0,    0x1.921fb54442d18p-1,  -0x1.1a6264p-2, INEXACT)
42 T(RN,                 -0x1p+0,   -0x1.921fb54442d18p-1,   0x1.1a6264p-2, INEXACT)
43 // atand(tiny) is tiny
44 T(RN,                 0x1p-30,                 0x1p-30,  0x1.555556p-10, INEXACT)
45 T(RN,                -0x1p-30,                -0x1p-30, -0x1.555556p-10, INEXACT)
46 T(RN,               0x1p-1022,               0x1p-1022,          0x0p+0, INEXACT)
47 T(RN,              -0x1p-1022,              -0x1p-1022,          0x0p+0, INEXACT)
48 T(RZ,                 0x1p-30,   0x1.fffffffffffffp-31,  -0x1.feaaaap-1, INEXACT)
49 T(RZ,                -0x1p-30,  -0x1.fffffffffffffp-31,   0x1.feaaaap-1, INEXACT)
50 T(RZ,               0x1p-1022, 0x1.ffffffffffffep-1023,         -0x1p+0, INEXACT|UNDERFLOW)
51 T(RZ,              -0x1p-1022,-0x1.ffffffffffffep-1023,          0x1p+0, INEXACT|UNDERFLOW)
52 T(RU,                 0x1p-30,                 0x1p-30,  0x1.555556p-10, INEXACT)
53 T(RU,                -0x1p-30,  -0x1.fffffffffffffp-31,   0x1.feaaaap-1, INEXACT)
54 T(RU,               0x1p-1022,               0x1p-1022,          0x0p+0, INEXACT)
55 T(RU,              -0x1p-1022,-0x1.ffffffffffffep-1023,          0x1p+0, INEXACT|UNDERFLOW)
56 T(RD,                 0x1p-30,   0x1.fffffffffffffp-31,  -0x1.feaaaap-1, INEXACT)
57 T(RD,                -0x1p-30,                -0x1p-30, -0x1.555556p-10, INEXACT)
58 T(RD,               0x1p-1022, 0x1.ffffffffffffep-1023,         -0x1p+0, INEXACT|UNDERFLOW)
59 T(RD,              -0x1p-1022,              -0x1p-1022,          0x0p+0, INEXACT)
60 // atand(+-0) is +-0
61 T(RN,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
62 T(RN,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
63 T(RZ,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
64 T(RZ,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
65 T(RU,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
66 T(RU,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
67 T(RD,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
68 T(RD,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
69 // random arguments between -2 and 2
70 T(RN,   -0x1.13284b2b5006dp-1,   -0x1.f8f75bb5fd451p-2,  0x1.0a1192p-11, INEXACT)
71 T(RN,    0x1.6ca8dfb825911p+0,    0x1.eadc6ce9cba6cp-1,  -0x1.897aaep-5, INEXACT)
72 T(RN,    0x1.c2ca609de7505p+0,    0x1.0de7f90a2292bp+0,  -0x1.adec12p-2, INEXACT)
73 T(RN,   -0x1.55f11fba96889p+0,    -0x1.db367aed1093p-1,   0x1.1aa32cp-3, INEXACT)
74 T(RN,   -0x1.15679e27084ddp-1,    -0x1.fc72849d05c9p-2,   0x1.4db836p-2, INEXACT)
75 T(RN,   -0x1.41e131b093c41p-4,   -0x1.413832eb4f31dp-4,  -0x1.06e782p-6, INEXACT)
76 T(RN,    0x1.281b0d18455f5p+0,    0x1.b74040cba5c63p-1,  -0x1.881588p-2, INEXACT)
77 T(RN,    0x1.b5ce34a51b239p+0,    0x1.0aab58c02e298p+0,  -0x1.35666ep-2, INEXACT)
78 T(RN,   -0x1.583481079de4dp-2,   -0x1.4c0e12c6c30bfp-2,   0x1.188ba8p-2, INEXACT)
79 T(RN,   -0x1.ea8223103b871p+0,   -0x1.16fb9ae45d4fcp+0,  -0x1.a14c14p-2, INEXACT)
80 T(RZ,   -0x1.13284b2b5006dp-1,   -0x1.f8f75bb5fd451p-2,  0x1.0a1192p-11, INEXACT)
81 T(RZ,    0x1.6ca8dfb825911p+0,    0x1.eadc6ce9cba6cp-1,  -0x1.897aaep-5, INEXACT)
82 T(RZ,    0x1.c2ca609de7505p+0,    0x1.0de7f90a2292bp+0,  -0x1.adec12p-2, INEXACT)
83 T(RU,   -0x1.55f11fba96889p+0,    -0x1.db367aed1093p-1,   0x1.1aa32cp-3, INEXACT)
84 T(RU,   -0x1.15679e27084ddp-1,    -0x1.fc72849d05c9p-2,   0x1.4db836p-2, INEXACT)
85 T(RU,   -0x1.41e131b093c41p-4,   -0x1.413832eb4f31cp-4,   0x1.f7c8c4p-1, INEXACT)
86 T(RD,    0x1.281b0d18455f5p+0,    0x1.b74040cba5c63p-1,  -0x1.881588p-2, INEXACT)
87 T(RD,    0x1.b5ce34a51b239p+0,    0x1.0aab58c02e298p+0,  -0x1.35666ep-2, INEXACT)
88 T(RD,   -0x1.583481079de4dp-2,    -0x1.4c0e12c6c30cp-2,  -0x1.73ba2cp-1, INEXACT)
89 T(RD,   -0x1.ea8223103b871p+0,   -0x1.16fb9ae45d4fcp+0,  -0x1.a14c14p-2, INEXACT)
90 // atand(+-inf) is +-pi/2
91 T(RN,                     inf,    0x1.921fb54442d18p+0,  -0x1.1a6264p-2, INEXACT)
92 T(RN,                    -inf,   -0x1.921fb54442d18p+0,   0x1.1a6264p-2, INEXACT)
93 // atand(nan) is nan
94 T(RN,                     nan,                     nan,          0x0p+0, 0)
95 T(RN,                     nan,                     nan,          0x0p+0, 0)
96 T(RZ,                     nan,                     nan,          0x0p+0, 0)
97 T(RZ,                     nan,                     nan,          0x0p+0, 0)
98 T(RU,                     nan,                     nan,          0x0p+0, 0)
99 T(RU,                     nan,                     nan,          0x0p+0, 0)
100 T(RD,                     nan,                     nan,          0x0p+0, 0)
101 T(RD,                     nan,                     nan,          0x0p+0, 0)
102 T(RD, 0x1.0000000000001p-1022,               0x1p-1022,         -0x1p+0, INEXACT)
103 T(RD, 0x1.0000000000002p-1022, 0x1.0000000000001p-1022,         -0x1p+0, INEXACT)
104 T(RD,               0x1p-1021, 0x1.fffffffffffffp-1022,         -0x1p+0, INEXACT)
105 T(RD,               0x1p-1020, 0x1.fffffffffffffp-1021,         -0x1p+0, INEXACT)
106 T(RD,-0x1.0000000000001p-1022,-0x1.0000000000001p-1022,          0x0p+0, INEXACT)
107 T(RD,-0x1.0000000000002p-1022,-0x1.0000000000002p-1022,          0x0p+0, INEXACT)
108 T(RD,-0x1.ffffffffffffbp-1022,-0x1.ffffffffffffbp-1022,          0x0p+0, INEXACT)
109 T(RD,              -0x1p-1021,              -0x1p-1021,          0x0p+0, INEXACT)
110 T(RD,-0x1.0000000000003p-1021,-0x1.0000000000003p-1021,          0x0p+0, INEXACT)
111 T(RD,              -0x1p-1020,              -0x1p-1020,          0x0p+0, INEXACT)
112 T(RD,               0x1p-1074,                  0x0p+0,         -0x1p+0, INEXACT|UNDERFLOW)
113 T(RD,               0x1p-1073,               0x1p-1074,         -0x1p+0, INEXACT|UNDERFLOW)
114 T(RD,               0x1p-1024, 0x1.ffffffffffff8p-1025,         -0x1p+0, INEXACT|UNDERFLOW)
115 T(RD,               0x1p-1023, 0x1.ffffffffffffcp-1024,         -0x1p+0, INEXACT|UNDERFLOW)
116 T(RD, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffffap-1023,         -0x1p+0, INEXACT|UNDERFLOW)
117 T(RD, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffcp-1023,         -0x1p+0, INEXACT|UNDERFLOW)
118 T(RD,              -0x1p-1074,              -0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
119 T(RD,              -0x1p-1073,              -0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
120 T(RD,            -0x1.2p-1071,            -0x1.2p-1071,          0x0p+0, INEXACT|UNDERFLOW)
121 T(RD,              -0x1p-1024,              -0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
122 T(RD,              -0x1p-1023,              -0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
123 T(RD,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
124 T(RD,-0x1.ffffffffffffep-1023,-0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
125 T(RD,               0x1.8p-27,   0x1.7ffffffffffffp-27,       -0x1.7p-1, INEXACT)
126 T(RD,              -0x1.8p-27,              -0x1.8p-27,       -0x1.2p-2, INEXACT)
127 T(RN, 0x1.0000000000001p-1022, 0x1.0000000000001p-1022,          0x0p+0, INEXACT)
128 T(RN, 0x1.0000000000002p-1022, 0x1.0000000000002p-1022,          0x0p+0, INEXACT)
129 T(RN, 0x1.ffffffffffffbp-1022, 0x1.ffffffffffffbp-1022,          0x0p+0, INEXACT)
130 T(RN,               0x1p-1021,               0x1p-1021,          0x0p+0, INEXACT)
131 T(RN, 0x1.0000000000003p-1021, 0x1.0000000000003p-1021,          0x0p+0, INEXACT)
132 T(RN,               0x1p-1020,               0x1p-1020,          0x0p+0, INEXACT)
133 T(RN,               0x1.8p-27,               0x1.8p-27,        0x1.2p-2, INEXACT)
134 T(RN,-0x1.0000000000001p-1022,-0x1.0000000000001p-1022,          0x0p+0, INEXACT)
135 T(RN,-0x1.0000000000002p-1022,-0x1.0000000000002p-1022,          0x0p+0, INEXACT)
136 T(RN,-0x1.ffffffffffffbp-1022,-0x1.ffffffffffffbp-1022,          0x0p+0, INEXACT)
137 T(RN,              -0x1p-1021,              -0x1p-1021,          0x0p+0, INEXACT)
138 T(RN,-0x1.0000000000003p-1021,-0x1.0000000000003p-1021,          0x0p+0, INEXACT)
139 T(RN,              -0x1p-1020,              -0x1p-1020,          0x0p+0, INEXACT)
140 T(RN,              -0x1.8p-27,              -0x1.8p-27,       -0x1.2p-2, INEXACT)
141 T(RN,               0x1p-1074,               0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
142 T(RN,               0x1p-1073,               0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
143 T(RN,             0x1.2p-1071,             0x1.2p-1071,          0x0p+0, INEXACT|UNDERFLOW)
144 T(RN,               0x1p-1024,               0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
145 T(RN,               0x1p-1023,               0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
146 T(RN, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
147 T(RN, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
148 T(RN,              -0x1p-1074,              -0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
149 T(RN,              -0x1p-1073,              -0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
150 T(RN,            -0x1.2p-1071,            -0x1.2p-1071,          0x0p+0, INEXACT|UNDERFLOW)
151 T(RN,              -0x1p-1024,              -0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
152 T(RN,              -0x1p-1023,              -0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
153 T(RN,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
154 T(RN,-0x1.ffffffffffffep-1023,-0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
155 T(RU, 0x1.0000000000001p-1022, 0x1.0000000000001p-1022,          0x0p+0, INEXACT)
156 T(RU, 0x1.0000000000002p-1022, 0x1.0000000000002p-1022,          0x0p+0, INEXACT)
157 T(RU, 0x1.ffffffffffffbp-1022, 0x1.ffffffffffffbp-1022,          0x0p+0, INEXACT)
158 T(RU,               0x1p-1021,               0x1p-1021,          0x0p+0, INEXACT)
159 T(RU, 0x1.0000000000003p-1021, 0x1.0000000000003p-1021,          0x0p+0, INEXACT)
160 T(RU,               0x1p-1020,               0x1p-1020,          0x0p+0, INEXACT)
161 T(RU,-0x1.0000000000001p-1022,              -0x1p-1022,          0x1p+0, INEXACT)
162 T(RU,-0x1.0000000000002p-1022,-0x1.0000000000001p-1022,          0x1p+0, INEXACT)
163 T(RU,              -0x1p-1021,-0x1.fffffffffffffp-1022,          0x1p+0, INEXACT)
164 T(RU,              -0x1p-1020,-0x1.fffffffffffffp-1021,          0x1p+0, INEXACT)
165 T(RU,               0x1p-1074,               0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
166 T(RU,               0x1p-1073,               0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
167 T(RU,             0x1.2p-1071,             0x1.2p-1071,          0x0p+0, INEXACT|UNDERFLOW)
168 T(RU,               0x1p-1024,               0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
169 T(RU,               0x1p-1023,               0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
170 T(RU, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
171 T(RU, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
172 T(RU,              -0x1p-1074,                 -0x0p+0,          0x1p+0, INEXACT|UNDERFLOW)
173 T(RU,              -0x1p-1073,              -0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
174 T(RU,              -0x1p-1024,-0x1.ffffffffffff8p-1025,          0x1p+0, INEXACT|UNDERFLOW)
175 T(RU,              -0x1p-1023,-0x1.ffffffffffffcp-1024,          0x1p+0, INEXACT|UNDERFLOW)
176 T(RU,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffffap-1023,          0x1p+0, INEXACT|UNDERFLOW)
177 T(RU,-0x1.ffffffffffffep-1023,-0x1.ffffffffffffcp-1023,          0x1p+0, INEXACT|UNDERFLOW)
178 T(RU,               0x1.8p-27,               0x1.8p-27,        0x1.2p-2, INEXACT)
179 T(RU,              -0x1.8p-27,  -0x1.7ffffffffffffp-27,        0x1.7p-1, INEXACT)
180 T(RZ, 0x1.0000000000001p-1022,               0x1p-1022,         -0x1p+0, INEXACT)
181 T(RZ, 0x1.0000000000002p-1022, 0x1.0000000000001p-1022,         -0x1p+0, INEXACT)
182 T(RZ,               0x1p-1021, 0x1.fffffffffffffp-1022,         -0x1p+0, INEXACT)
183 T(RZ,               0x1p-1020, 0x1.fffffffffffffp-1021,         -0x1p+0, INEXACT)
184 T(RZ,-0x1.0000000000001p-1022,              -0x1p-1022,          0x1p+0, INEXACT)
185 T(RZ,-0x1.0000000000002p-1022,-0x1.0000000000001p-1022,          0x1p+0, INEXACT)
186 T(RZ,              -0x1p-1021,-0x1.fffffffffffffp-1022,          0x1p+0, INEXACT)
187 T(RZ,              -0x1p-1020,-0x1.fffffffffffffp-1021,          0x1p+0, INEXACT)
188 T(RZ,               0x1p-1074,                  0x0p+0,         -0x1p+0, INEXACT|UNDERFLOW)
189 T(RZ,               0x1p-1073,               0x1p-1074,         -0x1p+0, INEXACT|UNDERFLOW)
190 T(RZ,               0x1p-1024, 0x1.ffffffffffff8p-1025,         -0x1p+0, INEXACT|UNDERFLOW)
191 T(RZ,               0x1p-1023, 0x1.ffffffffffffcp-1024,         -0x1p+0, INEXACT|UNDERFLOW)
192 T(RZ, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffffap-1023,         -0x1p+0, INEXACT|UNDERFLOW)
193 T(RZ, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffcp-1023,         -0x1p+0, INEXACT|UNDERFLOW)
194 T(RZ,              -0x1p-1074,                 -0x0p+0,          0x1p+0, INEXACT|UNDERFLOW)
195 T(RZ,              -0x1p-1073,              -0x1p-1074,          0x1p+0, INEXACT|UNDERFLOW)
196 T(RZ,              -0x1p-1024,-0x1.ffffffffffff8p-1025,          0x1p+0, INEXACT|UNDERFLOW)
197 T(RZ,              -0x1p-1023,-0x1.ffffffffffffcp-1024,          0x1p+0, INEXACT|UNDERFLOW)
198 T(RZ,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffffap-1023,          0x1p+0, INEXACT|UNDERFLOW)
199 T(RZ,-0x1.ffffffffffffep-1023,-0x1.ffffffffffffcp-1023,          0x1p+0, INEXACT|UNDERFLOW)
200 T(RZ,               0x1.8p-27,   0x1.7ffffffffffffp-27,       -0x1.7p-1, INEXACT)
201 T(RZ,              -0x1.8p-27,  -0x1.7ffffffffffffp-27,        0x1.7p-1, INEXACT)