xref: /third_party/musl/libc-test/src/math/ucb/tanhf.h (revision 570af302)
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// tanh(+-max) = +-1
38T(RN, 0x1.fffffep+127,          0x1p+0,          0x0p+0, INEXACT)
39T(RN,-0x1.fffffep+127,         -0x1p+0,          0x0p+0, INEXACT)
40T(RZ, 0x1.fffffep+127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
41T(RZ,-0x1.fffffep+127,  -0x1.fffffep-1,          0x1p+0, INEXACT)
42T(RU, 0x1.fffffep+127,          0x1p+0,          0x0p+0, INEXACT)
43T(RU,-0x1.fffffep+127,  -0x1.fffffep-1,          0x1p+0, INEXACT)
44T(RD, 0x1.fffffep+127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
45T(RD,-0x1.fffffep+127,         -0x1p+0,          0x0p+0, INEXACT)
46// tanh(tiny) :=: tiny
47T(RN,         0x1p-29,         0x1p-29,  0x1.555556p-37, INEXACT)
48T(RN,        -0x1p-29,        -0x1p-29, -0x1.555556p-37, INEXACT)
49T(RN,        0x1p-126,        0x1p-126,          0x0p+0, INEXACT)
50T(RN,       -0x1p-126,       -0x1p-126,          0x0p+0, INEXACT)
51// tanh(+-0) = +-0
52T(RN,          0x0p+0,          0x0p+0,          0x0p+0, 0)
53T(RN,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
54T(RZ,          0x0p+0,          0x0p+0,          0x0p+0, 0)
55T(RZ,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
56T(RU,          0x0p+0,          0x0p+0,          0x0p+0, 0)
57T(RU,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
58T(RD,          0x0p+0,          0x0p+0,          0x0p+0, 0)
59T(RD,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
60// random arguments between -9 9
61T(RN,  -0x1.358d5cp+1,  -0x1.f7f0d6p-1,   0x1.36d18cp-2, INEXACT)
62T(RN,    0x1.9a3dfp+2,   0x1.ffff4ap-1,  -0x1.a1a278p-3, INEXACT)
63T(RN,    0x1.fb23ap+2,   0x1.fffff8p-1,    0x1.94fd3p-2, INEXACT)
64T(RN,   -0x1.80af5p+2,  -0x1.fffe6cp-1,   0x1.9b471ep-3, INEXACT)
65T(RN,  -0x1.38148ep+1,  -0x1.f84024p-1,   0x1.543fb8p-2, INEXACT)
66T(RN,  -0x1.6a1d62p-2,  -0x1.5bbd2ep-2,  -0x1.dde122p-8, INEXACT)
67T(RN,   0x1.4d1e6ep+2,   0x1.fff81ap-1,  -0x1.586d5ap-7, INEXACT)
68T(RN,   0x1.ec87f4p+2,   0x1.fffff2p-1,  -0x1.f7ee14p-5, INEXACT)
69T(RN,  -0x1.833b12p+0,  -0x1.d0971ep-1,  -0x1.4ec0c6p-2, INEXACT)
70T(RN,  -0x1.13e934p+3,  -0x1.fffffep-1,  -0x1.680526p-4, INEXACT)
71// tanh(nan) is nan
72T(RN,             nan,             nan,          0x0p+0, 0)
73T(RN,             nan,             nan,          0x0p+0, 0)
74T(RZ,             nan,             nan,          0x0p+0, 0)
75T(RZ,             nan,             nan,          0x0p+0, 0)
76T(RU,             nan,             nan,          0x0p+0, 0)
77T(RU,             nan,             nan,          0x0p+0, 0)
78T(RD,             nan,             nan,          0x0p+0, 0)
79T(RD,             nan,             nan,          0x0p+0, 0)
80// tanh(+-inf) is 1.0
81T(RN,             inf,          0x1p+0,          0x0p+0, 0)
82T(RN,            -inf,         -0x1p+0,          0x0p+0, 0)
83T(RZ,             inf,          0x1p+0,          0x0p+0, 0)
84T(RZ,            -inf,         -0x1p+0,          0x0p+0, 0)
85T(RU,             inf,          0x1p+0,          0x0p+0, 0)
86T(RU,            -inf,         -0x1p+0,          0x0p+0, 0)
87T(RD,             inf,          0x1p+0,          0x0p+0, 0)
88T(RD,            -inf,         -0x1p+0,          0x0p+0, 0)
89// tanh(+-subnormal)
90T(RN,        0x1p-149,        0x1p-149,          0x0p+0, INEXACT|UNDERFLOW)
91T(RN,       -0x1p-149,       -0x1p-149,          0x0p+0, INEXACT|UNDERFLOW)
92T(RD, 0x1.000002p-126,        0x1p-126,         -0x1p+0, INEXACT)
93T(RD, 0x1.000004p-126, 0x1.000002p-126,         -0x1p+0, INEXACT)
94T(RD,        0x1p-125, 0x1.fffffep-126,         -0x1p+0, INEXACT)
95T(RD,        0x1p-124, 0x1.fffffep-125,         -0x1p+0, INEXACT)
96T(RD,         0x1p-28,  0x1.fffffep-29,         -0x1p+0, INEXACT)
97T(RD,         0x1p-27,  0x1.fffffep-28,         -0x1p+0, INEXACT)
98T(RD,       0x1.8p-27,  0x1.7ffffep-27,         -0x1p+0, INEXACT)
99T(RD,         0x1p-26,  0x1.fffffep-27,         -0x1p+0, INEXACT)
100T(RD,       0x1.4p-26,  0x1.3ffffep-26,         -0x1p+0, INEXACT)
101T(RD,       0x1.8p-26,  0x1.7ffffep-26,         -0x1p+0, INEXACT)
102T(RD,         0x1p-12,  0x1.fffffep-13,  -0x1.555556p-1, INEXACT)
103T(RD,       0x1.66p+6,   0x1.fffffep-1,         -0x1p+0, INEXACT)
104T(RD,      0x1.634p+9,   0x1.fffffep-1,         -0x1p+0, INEXACT)
105T(RD,        0x1p+126,   0x1.fffffep-1,         -0x1p+0, INEXACT)
106T(RD,        0x1p+127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
107T(RD, 0x1.fffffcp+127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
108T(RD,-0x1.000002p-126,-0x1.000002p-126,          0x0p+0, INEXACT)
109T(RD,-0x1.000004p-126,-0x1.000004p-126,          0x0p+0, INEXACT)
110T(RD,       -0x1p-125,       -0x1p-125,          0x0p+0, INEXACT)
111T(RD,       -0x1p-124,       -0x1p-124,          0x0p+0, INEXACT)
112T(RD,        -0x1p-28,        -0x1p-28, -0x1.555556p-35, INEXACT)
113T(RD,        -0x1p-27,        -0x1p-27, -0x1.555556p-33, INEXACT)
114T(RD,      -0x1.8p-27,      -0x1.8p-27,      -0x1.2p-31, INEXACT)
115T(RD,        -0x1p-26,        -0x1p-26, -0x1.555556p-31, INEXACT)
116T(RD,      -0x1.4p-26,      -0x1.4p-26, -0x1.4d5556p-30, INEXACT)
117T(RD,      -0x1.8p-26,      -0x1.8p-26,      -0x1.2p-29, INEXACT)
118T(RD,        -0x1p-12,        -0x1p-12,  -0x1.555554p-3, INEXACT)
119T(RD,      -0x1.66p+6,         -0x1p+0,          0x0p+0, INEXACT)
120T(RD,     -0x1.634p+9,         -0x1p+0,          0x0p+0, INEXACT)
121T(RD,       -0x1p+126,         -0x1p+0,          0x0p+0, INEXACT)
122T(RD,       -0x1p+127,         -0x1p+0,          0x0p+0, INEXACT)
123T(RD,-0x1.fffffcp+127,         -0x1p+0,          0x0p+0, INEXACT)
124T(RD,        0x1p-149,          0x0p+0,         -0x1p+0, INEXACT|UNDERFLOW)
125T(RD,        0x1p-148,        0x1p-149,         -0x1p+0, INEXACT|UNDERFLOW)
126T(RD,        0x1p-128,  0x1.fffffp-129,         -0x1p+0, INEXACT|UNDERFLOW)
127T(RD,        0x1p-127, 0x1.fffff8p-128,         -0x1p+0, INEXACT|UNDERFLOW)
128T(RD, 0x1.fffff8p-127, 0x1.fffff4p-127,         -0x1p+0, INEXACT|UNDERFLOW)
129T(RD, 0x1.fffffcp-127, 0x1.fffff8p-127,         -0x1p+0, INEXACT|UNDERFLOW)
130T(RD,        0x1p-126, 0x1.fffffcp-127,         -0x1p+0, INEXACT|UNDERFLOW)
131T(RD,       -0x1p-149,       -0x1p-149,          0x0p+0, INEXACT|UNDERFLOW)
132T(RD,       -0x1p-148,       -0x1p-148,          0x0p+0, INEXACT|UNDERFLOW)
133T(RD,       -0x1p-128,       -0x1p-128,          0x0p+0, INEXACT|UNDERFLOW)
134T(RD,       -0x1p-127,       -0x1p-127,          0x0p+0, INEXACT|UNDERFLOW)
135T(RD,-0x1.fffff8p-127,-0x1.fffff8p-127,          0x0p+0, INEXACT|UNDERFLOW)
136T(RD,-0x1.fffffcp-127,-0x1.fffffcp-127,          0x0p+0, INEXACT|UNDERFLOW)
137T(RD,       -0x1p-126,       -0x1p-126,          0x0p+0, INEXACT)
138T(RN, 0x1.000002p-126, 0x1.000002p-126,          0x0p+0, INEXACT)
139T(RN, 0x1.000004p-126, 0x1.000004p-126,          0x0p+0, INEXACT)
140T(RN,        0x1p-125,        0x1p-125,          0x0p+0, INEXACT)
141T(RN,        0x1p-124,        0x1p-124,          0x0p+0, INEXACT)
142T(RN,         0x1p-28,         0x1p-28,  0x1.555556p-35, INEXACT)
143T(RN,         0x1p-27,         0x1p-27,  0x1.555556p-33, INEXACT)
144T(RN,       0x1.8p-27,       0x1.8p-27,       0x1.2p-31, INEXACT)
145T(RN,         0x1p-26,         0x1p-26,  0x1.555556p-31, INEXACT)
146T(RN,       0x1.4p-26,       0x1.4p-26,  0x1.4d5556p-30, INEXACT)
147T(RN,       0x1.8p-26,       0x1.8p-26,       0x1.2p-29, INEXACT)
148T(RN,         0x1p-12,         0x1p-12,   0x1.555554p-3, INEXACT)
149T(RN,       0x1.66p+6,          0x1p+0,          0x0p+0, INEXACT)
150T(RN,      0x1.634p+9,          0x1p+0,          0x0p+0, INEXACT)
151T(RN,        0x1p+126,          0x1p+0,          0x0p+0, INEXACT)
152T(RN,        0x1p+127,          0x1p+0,          0x0p+0, INEXACT)
153T(RN, 0x1.fffffcp+127,          0x1p+0,          0x0p+0, INEXACT)
154T(RN,-0x1.000002p-126,-0x1.000002p-126,          0x0p+0, INEXACT)
155T(RN,-0x1.000004p-126,-0x1.000004p-126,          0x0p+0, INEXACT)
156T(RN,       -0x1p-125,       -0x1p-125,          0x0p+0, INEXACT)
157T(RN,       -0x1p-124,       -0x1p-124,          0x0p+0, INEXACT)
158T(RN,        -0x1p-28,        -0x1p-28, -0x1.555556p-35, INEXACT)
159T(RN,        -0x1p-27,        -0x1p-27, -0x1.555556p-33, INEXACT)
160T(RN,      -0x1.8p-27,      -0x1.8p-27,      -0x1.2p-31, INEXACT)
161T(RN,        -0x1p-26,        -0x1p-26, -0x1.555556p-31, INEXACT)
162T(RN,      -0x1.4p-26,      -0x1.4p-26, -0x1.4d5556p-30, INEXACT)
163T(RN,      -0x1.8p-26,      -0x1.8p-26,      -0x1.2p-29, INEXACT)
164T(RN,        -0x1p-12,        -0x1p-12,  -0x1.555554p-3, INEXACT)
165T(RN,      -0x1.66p+6,         -0x1p+0,          0x0p+0, INEXACT)
166T(RN,     -0x1.634p+9,         -0x1p+0,          0x0p+0, INEXACT)
167T(RN,       -0x1p+126,         -0x1p+0,          0x0p+0, INEXACT)
168T(RN,       -0x1p+127,         -0x1p+0,          0x0p+0, INEXACT)
169T(RN,-0x1.fffffcp+127,         -0x1p+0,          0x0p+0, INEXACT)
170T(RN,        0x1p-148,        0x1p-148,          0x0p+0, INEXACT|UNDERFLOW)
171T(RN,        0x1p-128,        0x1p-128,          0x0p+0, INEXACT|UNDERFLOW)
172T(RN,        0x1p-127,        0x1p-127,          0x0p+0, INEXACT|UNDERFLOW)
173T(RN, 0x1.fffff8p-127, 0x1.fffff8p-127,          0x0p+0, INEXACT|UNDERFLOW)
174T(RN, 0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, INEXACT|UNDERFLOW)
175T(RN,       -0x1p-148,       -0x1p-148,          0x0p+0, INEXACT|UNDERFLOW)
176T(RN,       -0x1p-128,       -0x1p-128,          0x0p+0, INEXACT|UNDERFLOW)
177T(RN,       -0x1p-127,       -0x1p-127,          0x0p+0, INEXACT|UNDERFLOW)
178T(RN,-0x1.fffff8p-127,-0x1.fffff8p-127,          0x0p+0, INEXACT|UNDERFLOW)
179T(RN,-0x1.fffffcp-127,-0x1.fffffcp-127,          0x0p+0, INEXACT|UNDERFLOW)
180T(RU, 0x1.000002p-126, 0x1.000002p-126,          0x0p+0, INEXACT)
181T(RU, 0x1.000004p-126, 0x1.000004p-126,          0x0p+0, INEXACT)
182T(RU,        0x1p-125,        0x1p-125,          0x0p+0, INEXACT)
183T(RU,        0x1p-124,        0x1p-124,          0x0p+0, INEXACT)
184T(RU,         0x1p-28,         0x1p-28,  0x1.555556p-35, INEXACT)
185T(RU,         0x1p-27,         0x1p-27,  0x1.555556p-33, INEXACT)
186T(RU,       0x1.8p-27,       0x1.8p-27,       0x1.2p-31, INEXACT)
187T(RU,         0x1p-26,         0x1p-26,  0x1.555556p-31, INEXACT)
188T(RU,       0x1.4p-26,       0x1.4p-26,  0x1.4d5556p-30, INEXACT)
189T(RU,       0x1.8p-26,       0x1.8p-26,       0x1.2p-29, INEXACT)
190T(RU,         0x1p-12,         0x1p-12,   0x1.555554p-3, INEXACT)
191T(RU,       0x1.66p+6,          0x1p+0,          0x0p+0, INEXACT)
192T(RU,      0x1.634p+9,          0x1p+0,          0x0p+0, INEXACT)
193T(RU,        0x1p+126,          0x1p+0,          0x0p+0, INEXACT)
194T(RU,        0x1p+127,          0x1p+0,          0x0p+0, INEXACT)
195T(RU, 0x1.fffffcp+127,          0x1p+0,          0x0p+0, INEXACT)
196T(RU,-0x1.000002p-126,       -0x1p-126,          0x1p+0, INEXACT)
197T(RU,-0x1.000004p-126,-0x1.000002p-126,          0x1p+0, INEXACT)
198T(RU,       -0x1p-125,-0x1.fffffep-126,          0x1p+0, INEXACT)
199T(RU,       -0x1p-124,-0x1.fffffep-125,          0x1p+0, INEXACT)
200T(RU,        -0x1p-28, -0x1.fffffep-29,          0x1p+0, INEXACT)
201T(RU,        -0x1p-27, -0x1.fffffep-28,          0x1p+0, INEXACT)
202T(RU,      -0x1.8p-27, -0x1.7ffffep-27,          0x1p+0, INEXACT)
203T(RU,        -0x1p-26, -0x1.fffffep-27,          0x1p+0, INEXACT)
204T(RU,      -0x1.4p-26, -0x1.3ffffep-26,          0x1p+0, INEXACT)
205T(RU,      -0x1.8p-26, -0x1.7ffffep-26,          0x1p+0, INEXACT)
206T(RU,        -0x1p-12, -0x1.fffffep-13,   0x1.555556p-1, INEXACT)
207T(RU,      -0x1.66p+6,  -0x1.fffffep-1,          0x1p+0, INEXACT)
208T(RU,     -0x1.634p+9,  -0x1.fffffep-1,          0x1p+0, INEXACT)
209T(RU,       -0x1p+126,  -0x1.fffffep-1,          0x1p+0, INEXACT)
210T(RU,       -0x1p+127,  -0x1.fffffep-1,          0x1p+0, INEXACT)
211T(RU,-0x1.fffffcp+127,  -0x1.fffffep-1,          0x1p+0, INEXACT)
212T(RU,        0x1p-149,        0x1p-149,          0x0p+0, INEXACT|UNDERFLOW)
213T(RU,        0x1p-148,        0x1p-148,          0x0p+0, INEXACT|UNDERFLOW)
214T(RU,        0x1p-128,        0x1p-128,          0x0p+0, INEXACT|UNDERFLOW)
215T(RU,        0x1p-127,        0x1p-127,          0x0p+0, INEXACT|UNDERFLOW)
216T(RU, 0x1.fffff8p-127, 0x1.fffff8p-127,          0x0p+0, INEXACT|UNDERFLOW)
217T(RU, 0x1.fffffcp-127, 0x1.fffffcp-127,          0x0p+0, INEXACT|UNDERFLOW)
218T(RU,        0x1p-126,        0x1p-126,          0x0p+0, INEXACT)
219T(RU,       -0x1p-149,         -0x0p+0,          0x1p+0, INEXACT|UNDERFLOW)
220T(RU,       -0x1p-148,       -0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
221T(RU,       -0x1p-128, -0x1.fffffp-129,          0x1p+0, INEXACT|UNDERFLOW)
222T(RU,       -0x1p-127,-0x1.fffff8p-128,          0x1p+0, INEXACT|UNDERFLOW)
223T(RU,-0x1.fffff8p-127,-0x1.fffff4p-127,          0x1p+0, INEXACT|UNDERFLOW)
224T(RU,-0x1.fffffcp-127,-0x1.fffff8p-127,          0x1p+0, INEXACT|UNDERFLOW)
225T(RU,       -0x1p-126,-0x1.fffffcp-127,          0x1p+0, INEXACT|UNDERFLOW)
226T(RZ, 0x1.000002p-126,        0x1p-126,         -0x1p+0, INEXACT)
227T(RZ, 0x1.000004p-126, 0x1.000002p-126,         -0x1p+0, INEXACT)
228T(RZ,        0x1p-125, 0x1.fffffep-126,         -0x1p+0, INEXACT)
229T(RZ,        0x1p-124, 0x1.fffffep-125,         -0x1p+0, INEXACT)
230T(RZ,         0x1p-28,  0x1.fffffep-29,         -0x1p+0, INEXACT)
231T(RZ,         0x1p-27,  0x1.fffffep-28,         -0x1p+0, INEXACT)
232T(RZ,       0x1.8p-27,  0x1.7ffffep-27,         -0x1p+0, INEXACT)
233T(RZ,         0x1p-26,  0x1.fffffep-27,         -0x1p+0, INEXACT)
234T(RZ,       0x1.4p-26,  0x1.3ffffep-26,         -0x1p+0, INEXACT)
235T(RZ,       0x1.8p-26,  0x1.7ffffep-26,         -0x1p+0, INEXACT)
236T(RZ,         0x1p-12,  0x1.fffffep-13,  -0x1.555556p-1, INEXACT)
237T(RZ,       0x1.66p+6,   0x1.fffffep-1,         -0x1p+0, INEXACT)
238T(RZ,      0x1.634p+9,   0x1.fffffep-1,         -0x1p+0, INEXACT)
239T(RZ,        0x1p+126,   0x1.fffffep-1,         -0x1p+0, INEXACT)
240T(RZ,        0x1p+127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
241T(RZ, 0x1.fffffcp+127,   0x1.fffffep-1,         -0x1p+0, INEXACT)
242T(RZ,-0x1.000002p-126,       -0x1p-126,          0x1p+0, INEXACT)
243T(RZ,-0x1.000004p-126,-0x1.000002p-126,          0x1p+0, INEXACT)
244T(RZ,       -0x1p-125,-0x1.fffffep-126,          0x1p+0, INEXACT)
245T(RZ,       -0x1p-124,-0x1.fffffep-125,          0x1p+0, INEXACT)
246T(RZ,        -0x1p-28, -0x1.fffffep-29,          0x1p+0, INEXACT)
247T(RZ,        -0x1p-27, -0x1.fffffep-28,          0x1p+0, INEXACT)
248T(RZ,      -0x1.8p-27, -0x1.7ffffep-27,          0x1p+0, INEXACT)
249T(RZ,        -0x1p-26, -0x1.fffffep-27,          0x1p+0, INEXACT)
250T(RZ,      -0x1.4p-26, -0x1.3ffffep-26,          0x1p+0, INEXACT)
251T(RZ,      -0x1.8p-26, -0x1.7ffffep-26,          0x1p+0, INEXACT)
252T(RZ,        -0x1p-12, -0x1.fffffep-13,   0x1.555556p-1, INEXACT)
253T(RZ,      -0x1.66p+6,  -0x1.fffffep-1,          0x1p+0, INEXACT)
254T(RZ,     -0x1.634p+9,  -0x1.fffffep-1,          0x1p+0, INEXACT)
255T(RZ,       -0x1p+126,  -0x1.fffffep-1,          0x1p+0, INEXACT)
256T(RZ,       -0x1p+127,  -0x1.fffffep-1,          0x1p+0, INEXACT)
257T(RZ,-0x1.fffffcp+127,  -0x1.fffffep-1,          0x1p+0, INEXACT)
258T(RZ,        0x1p-149,          0x0p+0,         -0x1p+0, INEXACT|UNDERFLOW)
259T(RZ,        0x1p-148,        0x1p-149,         -0x1p+0, INEXACT|UNDERFLOW)
260T(RZ,        0x1p-128,  0x1.fffffp-129,         -0x1p+0, INEXACT|UNDERFLOW)
261T(RZ,        0x1p-127, 0x1.fffff8p-128,         -0x1p+0, INEXACT|UNDERFLOW)
262T(RZ, 0x1.fffff8p-127, 0x1.fffff4p-127,         -0x1p+0, INEXACT|UNDERFLOW)
263T(RZ, 0x1.fffffcp-127, 0x1.fffff8p-127,         -0x1p+0, INEXACT|UNDERFLOW)
264T(RZ,        0x1p-126, 0x1.fffffcp-127,         -0x1p+0, INEXACT|UNDERFLOW)
265T(RZ,       -0x1p-149,         -0x0p+0,          0x1p+0, INEXACT|UNDERFLOW)
266T(RZ,       -0x1p-148,       -0x1p-149,          0x1p+0, INEXACT|UNDERFLOW)
267T(RZ,       -0x1p-128, -0x1.fffffp-129,          0x1p+0, INEXACT|UNDERFLOW)
268T(RZ,       -0x1p-127,-0x1.fffff8p-128,          0x1p+0, INEXACT|UNDERFLOW)
269T(RZ,-0x1.fffff8p-127,-0x1.fffff4p-127,          0x1p+0, INEXACT|UNDERFLOW)
270T(RZ,-0x1.fffffcp-127,-0x1.fffff8p-127,          0x1p+0, INEXACT|UNDERFLOW)
271T(RZ,       -0x1p-126,-0x1.fffffcp-127,          0x1p+0, INEXACT|UNDERFLOW)
272