xref: /third_party/musl/libc-test/src/math/ucb/sinh.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// sinhd(log(2*max)chopped) is finite, overflow threshold
38T(RN,    0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3bp+1023,   0x1.a6b164p-4, INEXACT)
39T(RN,   -0x1.633ce8fb9f87dp+9,-0x1.ffffffffffd3bp+1023,  -0x1.a6b164p-4, INEXACT)
40T(RZ,    0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3ap+1023,  -0x1.cb29d4p-1, INEXACT)
41T(RZ,   -0x1.633ce8fb9f87dp+9,-0x1.ffffffffffd3ap+1023,   0x1.cb29d4p-1, INEXACT)
42T(RU,    0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3bp+1023,   0x1.a6b164p-4, INEXACT)
43T(RU,   -0x1.633ce8fb9f87dp+9,-0x1.ffffffffffd3ap+1023,   0x1.cb29d4p-1, INEXACT)
44T(RD,    0x1.633ce8fb9f87dp+9, 0x1.ffffffffffd3ap+1023,  -0x1.cb29d4p-1, INEXACT)
45T(RD,   -0x1.633ce8fb9f87dp+9,-0x1.ffffffffffd3bp+1023,  -0x1.a6b164p-4, INEXACT)
46T(RN,    0x1.633ce8fb9f87ep+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
47T(RN,   -0x1.633ce8fb9f87ep+9,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
48T(RZ,    0x1.633ce8fb9f87ep+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
49T(RZ,   -0x1.633ce8fb9f87ep+9,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
50T(RU,    0x1.633ce8fb9f87ep+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
51T(RU,   -0x1.633ce8fb9f87ep+9,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
52T(RD,    0x1.633ce8fb9f87ep+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
53T(RD,   -0x1.633ce8fb9f87ep+9,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
54// sinhd(tiny) :=: tiny
55T(RN,                 0x1p-67,                 0x1p-67,          0x0p+0, INEXACT)
56T(RN,                -0x1p-67,                -0x1p-67,          0x0p+0, INEXACT)
57T(RN,               0x1p-1022,               0x1p-1022,          0x0p+0, INEXACT)
58T(RN,              -0x1p-1022,              -0x1p-1022,          0x0p+0, INEXACT)
59T(RN,               0x1p-1042,               0x1p-1042,          0x0p+0, INEXACT|UNDERFLOW)
60T(RN,              -0x1p-1042,              -0x1p-1042,          0x0p+0, INEXACT|UNDERFLOW)
61T(RN,               0x1p-1074,               0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
62T(RN,              -0x1p-1074,              -0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
63// sinhd(+-0) = +-0
64T(RN,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
65T(RN,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
66T(RZ,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
67T(RZ,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
68T(RU,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
69T(RU,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
70T(RD,                  0x0p+0,                  0x0p+0,          0x0p+0, 0)
71T(RD,                 -0x0p+0,                 -0x0p+0,          0x0p+0, 0)
72// random arguments between -30 30
73T(RN,   -0x1.01f5cb2b5006dp+3,  -0x1.8c28619d32c08p+10,   -0x1.e5b07p-3, INEXACT)
74T(RN,    0x1.55de4fb825911p+4,   0x1.c5bef10311486p+29,   0x1.d6225ap-2, INEXACT)
75T(RN,    0x1.a69db09de7505p+4,   0x1.13a2f3f7db55bp+37,  -0x1.819a24p-3, INEXACT)
76T(RN,   -0x1.40920fba96889p+4,  -0x1.df7c90f0e645ap+27,   0x1.139e96p-4, INEXACT)
77T(RN,   -0x1.04112e27084ddp+3,   -0x1.a71eb14c98b3p+10,  -0x1.5cd8a2p-6, INEXACT)
78T(RN,   -0x1.2dc321b093c41p+0,   -0x1.78a9a1930d4d1p+0,   0x1.a83538p-2, INEXACT)
79T(RN,    0x1.15995d18455f5p+4,   0x1.058065e10a9f3p+24,    0x1.b22c5p-4, INEXACT)
80T(RN,    0x1.9a7144a51b239p+4,   0x1.0198176da4c49p+36,  -0x1.e8cfbcp-2, INEXACT)
81T(RN,   -0x1.42b131079de4dp+2,   -0x1.3590d1df8ba23p+6,   -0x1.22a04p-2, INEXACT)
82T(RN,   -0x1.cbda03103b871p+4,  -0x1.6124348c6ad56p+40,   0x1.05e9fep-6, INEXACT)
83// sinhd(nan) is nan , sinhd(+-inf) is +-inf
84T(RN,                     nan,                     nan,          0x0p+0, 0)
85T(RN,                     inf,                     inf,          0x0p+0, 0)
86T(RN,                    -inf,                    -inf,          0x0p+0, 0)
87T(RD,                     inf,                     inf,          0x0p+0, 0)
88T(RD,                    -inf,                    -inf,          0x0p+0, 0)
89T(RD,               0x1p-1022,               0x1p-1022,          0x0p+0, INEXACT)
90T(RD, 0x1.0000000000001p-1022, 0x1.0000000000001p-1022,          0x0p+0, INEXACT)
91T(RD, 0x1.0000000000002p-1022, 0x1.0000000000002p-1022,          0x0p+0, INEXACT)
92T(RD,               0x1p-1021,               0x1p-1021,          0x0p+0, INEXACT)
93T(RD,               0x1p-1020,               0x1p-1020,          0x0p+0, INEXACT)
94T(RD,                 0x1p-26,                 0x1p-26,  -0x1.555556p-3, INEXACT)
95T(RD,               0x1.8p-26,               0x1.8p-26,       -0x1.2p-1, INEXACT)
96T(RD,              -0x1p-1022,-0x1.0000000000001p-1022,         -0x1p+0, INEXACT)
97T(RD,-0x1.0000000000001p-1022,-0x1.0000000000002p-1022,         -0x1p+0, INEXACT)
98T(RD,-0x1.0000000000002p-1022,-0x1.0000000000003p-1022,         -0x1p+0, INEXACT)
99T(RD,              -0x1p-1021,-0x1.0000000000001p-1021,         -0x1p+0, INEXACT)
100T(RD,              -0x1p-1020,-0x1.0000000000001p-1020,         -0x1p+0, INEXACT)
101T(RD,               0x1p-1074,               0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
102T(RD,               0x1p-1073,               0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
103T(RD,               0x1p-1024,               0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
104T(RD,               0x1p-1023,               0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
105T(RD, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
106T(RD, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
107T(RD,              -0x1p-1074,              -0x1p-1073,         -0x1p+0, INEXACT|UNDERFLOW)
108T(RD,              -0x1p-1073,            -0x1.8p-1073,         -0x1p+0, INEXACT|UNDERFLOW)
109T(RD,              -0x1p-1024,-0x1.0000000000004p-1024,         -0x1p+0, INEXACT|UNDERFLOW)
110T(RD,              -0x1p-1023,-0x1.0000000000002p-1023,         -0x1p+0, INEXACT|UNDERFLOW)
111T(RD,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffffep-1023,         -0x1p+0, INEXACT|UNDERFLOW)
112T(RD,-0x1.ffffffffffffep-1023,              -0x1p-1022,         -0x1p+0, INEXACT|UNDERFLOW)
113T(RD,              0x1.634p+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
114T(RD,               0x1p+1022, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
115T(RD,               0x1p+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
116T(RD, 0x1.ffffffffffffep+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
117T(RD, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
118T(RD,             -0x1.634p+9,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
119T(RD,              -0x1p+1022,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
120T(RD,              -0x1p+1023,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
121T(RD,-0x1.ffffffffffffep+1023,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
122T(RD,-0x1.fffffffffffffp+1023,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
123T(RD,                     nan,                     nan,          0x0p+0, 0)
124T(RD,                     nan,                     nan,          0x0p+0, 0)
125T(RD,                 0x1p-25,                 0x1p-25,  -0x1.555556p-1, INEXACT)
126T(RD,               0x1.4p-25,   0x1.4000000000001p-25,  -0x1.355556p-2, INEXACT)
127T(RD,                -0x1p-26,  -0x1.0000000000001p-26,  -0x1.aaaaaap-1, INEXACT)
128T(RD,              -0x1.8p-26,  -0x1.8000000000001p-26,       -0x1.cp-2, INEXACT)
129T(RD,                -0x1p-25,  -0x1.0000000000001p-25,  -0x1.555556p-2, INEXACT)
130T(RD,              -0x1.4p-25,  -0x1.4000000000002p-25,  -0x1.655556p-1, INEXACT)
131T(RN, 0x1.0000000000001p-1022, 0x1.0000000000001p-1022,          0x0p+0, INEXACT)
132T(RN, 0x1.0000000000002p-1022, 0x1.0000000000002p-1022,          0x0p+0, INEXACT)
133T(RN,               0x1p-1021,               0x1p-1021,          0x0p+0, INEXACT)
134T(RN,               0x1p-1020,               0x1p-1020,          0x0p+0, INEXACT)
135T(RN,                 0x1p-26,                 0x1p-26,  -0x1.555556p-3, INEXACT)
136T(RN,                 0x1p-25,   0x1.0000000000001p-25,   0x1.555556p-2, INEXACT)
137T(RN,               0x1.4p-25,   0x1.4000000000001p-25,  -0x1.355556p-2, INEXACT)
138T(RN,-0x1.0000000000001p-1022,-0x1.0000000000001p-1022,          0x0p+0, INEXACT)
139T(RN,-0x1.0000000000002p-1022,-0x1.0000000000002p-1022,          0x0p+0, INEXACT)
140T(RN,              -0x1p-1021,              -0x1p-1021,          0x0p+0, INEXACT)
141T(RN,              -0x1p-1020,              -0x1p-1020,          0x0p+0, INEXACT)
142T(RN,                -0x1p-26,                -0x1p-26,   0x1.555556p-3, INEXACT)
143T(RN,                -0x1p-25,  -0x1.0000000000001p-25,  -0x1.555556p-2, INEXACT)
144T(RN,              -0x1.4p-25,  -0x1.4000000000001p-25,   0x1.355556p-2, INEXACT)
145T(RN,               0x1p-1073,               0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
146T(RN,               0x1p-1024,               0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
147T(RN,               0x1p-1023,               0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
148T(RN, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
149T(RN, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
150T(RN,              -0x1p-1073,              -0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
151T(RN,              -0x1p-1024,              -0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
152T(RN,              -0x1p-1023,              -0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
153T(RN,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
154T(RN,-0x1.ffffffffffffep-1023,-0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
155T(RN,              0x1.634p+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
156T(RN,               0x1p+1022,                     inf,          0x0p+0, INEXACT|OVERFLOW)
157T(RN,               0x1p+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
158T(RN, 0x1.ffffffffffffep+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
159T(RN, 0x1.fffffffffffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
160T(RN,             -0x1.634p+9,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
161T(RN,              -0x1p+1022,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
162T(RN,              -0x1p+1023,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
163T(RN,-0x1.ffffffffffffep+1023,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
164T(RN,-0x1.fffffffffffffp+1023,                    -inf,          0x0p+0, INEXACT|OVERFLOW)
165T(RN,                     nan,                     nan,          0x0p+0, 0)
166T(RU,                     inf,                     inf,          0x0p+0, 0)
167T(RU,                    -inf,                    -inf,          0x0p+0, 0)
168T(RU,               0x1.8p-26,   0x1.8000000000001p-26,        0x1.cp-2, INEXACT)
169T(RU,              -0x1p-1022,              -0x1p-1022,          0x0p+0, INEXACT)
170T(RU,-0x1.0000000000001p-1022,-0x1.0000000000001p-1022,          0x0p+0, INEXACT)
171T(RU,-0x1.0000000000002p-1022,-0x1.0000000000002p-1022,          0x0p+0, INEXACT)
172T(RU,              -0x1p-1021,              -0x1p-1021,          0x0p+0, INEXACT)
173T(RU,              -0x1p-1020,              -0x1p-1020,          0x0p+0, INEXACT)
174T(RU,              -0x1p-1074,              -0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
175T(RU,              -0x1p-1073,              -0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
176T(RU,              -0x1p-1024,              -0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
177T(RU,              -0x1p-1023,              -0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
178T(RU,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
179T(RU,-0x1.ffffffffffffep-1023,-0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
180T(RU,              0x1.634p+9,                     inf,          0x0p+0, INEXACT|OVERFLOW)
181T(RU,               0x1p+1022,                     inf,          0x0p+0, INEXACT|OVERFLOW)
182T(RU,               0x1p+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
183T(RU, 0x1.ffffffffffffep+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
184T(RU, 0x1.fffffffffffffp+1023,                     inf,          0x0p+0, INEXACT|OVERFLOW)
185T(RU,             -0x1.634p+9,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
186T(RU,              -0x1p+1022,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
187T(RU,              -0x1p+1023,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
188T(RU,-0x1.ffffffffffffep+1023,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
189T(RU,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
190T(RU,                     nan,                     nan,          0x0p+0, 0)
191T(RU,                     nan,                     nan,          0x0p+0, 0)
192T(RU,               0x1p-1022, 0x1.0000000000001p-1022,          0x1p+0, INEXACT)
193T(RU, 0x1.0000000000001p-1022, 0x1.0000000000002p-1022,          0x1p+0, INEXACT)
194T(RU, 0x1.0000000000002p-1022, 0x1.0000000000003p-1022,          0x1p+0, INEXACT)
195T(RU,               0x1p-1021, 0x1.0000000000001p-1021,          0x1p+0, INEXACT)
196T(RU,               0x1p-1020, 0x1.0000000000001p-1020,          0x1p+0, INEXACT)
197T(RU,                 0x1p-26,   0x1.0000000000001p-26,   0x1.aaaaaap-1, INEXACT)
198T(RU,                 0x1p-25,   0x1.0000000000001p-25,   0x1.555556p-2, INEXACT)
199T(RU,               0x1.4p-25,   0x1.4000000000002p-25,   0x1.655556p-1, INEXACT)
200T(RU,                -0x1p-26,                -0x1p-26,   0x1.555556p-3, INEXACT)
201T(RU,              -0x1.8p-26,              -0x1.8p-26,        0x1.2p-1, INEXACT)
202T(RU,                -0x1p-25,                -0x1p-25,   0x1.555556p-1, INEXACT)
203T(RU,              -0x1.4p-25,  -0x1.4000000000001p-25,   0x1.355556p-2, INEXACT)
204T(RU,               0x1p-1074,               0x1p-1073,          0x1p+0, INEXACT|UNDERFLOW)
205T(RU,               0x1p-1073,             0x1.8p-1073,          0x1p+0, INEXACT|UNDERFLOW)
206T(RU,               0x1p-1024, 0x1.0000000000004p-1024,          0x1p+0, INEXACT|UNDERFLOW)
207T(RU,               0x1p-1023, 0x1.0000000000002p-1023,          0x1p+0, INEXACT|UNDERFLOW)
208T(RU, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffffep-1023,          0x1p+0, INEXACT|UNDERFLOW)
209T(RU, 0x1.ffffffffffffep-1023,               0x1p-1022,          0x1p+0, INEXACT|UNDERFLOW)
210T(RZ,                     inf,                     inf,          0x0p+0, 0)
211T(RZ,                    -inf,                    -inf,          0x0p+0, 0)
212T(RZ,               0x1p-1022,               0x1p-1022,          0x0p+0, INEXACT)
213T(RZ, 0x1.0000000000001p-1022, 0x1.0000000000001p-1022,          0x0p+0, INEXACT)
214T(RZ, 0x1.0000000000002p-1022, 0x1.0000000000002p-1022,          0x0p+0, INEXACT)
215T(RZ,               0x1p-1021,               0x1p-1021,          0x0p+0, INEXACT)
216T(RZ,               0x1p-1020,               0x1p-1020,          0x0p+0, INEXACT)
217T(RZ,                 0x1p-26,                 0x1p-26,  -0x1.555556p-3, INEXACT)
218T(RZ,               0x1.8p-26,               0x1.8p-26,       -0x1.2p-1, INEXACT)
219T(RZ,              -0x1p-1022,              -0x1p-1022,          0x0p+0, INEXACT)
220T(RZ,-0x1.0000000000001p-1022,-0x1.0000000000001p-1022,          0x0p+0, INEXACT)
221T(RZ,-0x1.0000000000002p-1022,-0x1.0000000000002p-1022,          0x0p+0, INEXACT)
222T(RZ,              -0x1p-1021,              -0x1p-1021,          0x0p+0, INEXACT)
223T(RZ,              -0x1p-1020,              -0x1p-1020,          0x0p+0, INEXACT)
224T(RZ,               0x1p-1074,               0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
225T(RZ,               0x1p-1073,               0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
226T(RZ,               0x1p-1024,               0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
227T(RZ,               0x1p-1023,               0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
228T(RZ, 0x1.ffffffffffffcp-1023, 0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
229T(RZ, 0x1.ffffffffffffep-1023, 0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
230T(RZ,              -0x1p-1074,              -0x1p-1074,          0x0p+0, INEXACT|UNDERFLOW)
231T(RZ,              -0x1p-1073,              -0x1p-1073,          0x0p+0, INEXACT|UNDERFLOW)
232T(RZ,              -0x1p-1024,              -0x1p-1024,          0x0p+0, INEXACT|UNDERFLOW)
233T(RZ,              -0x1p-1023,              -0x1p-1023,          0x0p+0, INEXACT|UNDERFLOW)
234T(RZ,-0x1.ffffffffffffcp-1023,-0x1.ffffffffffffcp-1023,          0x0p+0, INEXACT|UNDERFLOW)
235T(RZ,-0x1.ffffffffffffep-1023,-0x1.ffffffffffffep-1023,          0x0p+0, INEXACT|UNDERFLOW)
236T(RZ,              0x1.634p+9, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
237T(RZ,               0x1p+1022, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
238T(RZ,               0x1p+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
239T(RZ, 0x1.ffffffffffffep+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
240T(RZ, 0x1.fffffffffffffp+1023, 0x1.fffffffffffffp+1023,         -0x1p+0, INEXACT|OVERFLOW)
241T(RZ,             -0x1.634p+9,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
242T(RZ,              -0x1p+1022,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
243T(RZ,              -0x1p+1023,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
244T(RZ,-0x1.ffffffffffffep+1023,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
245T(RZ,-0x1.fffffffffffffp+1023,-0x1.fffffffffffffp+1023,          0x1p+0, INEXACT|OVERFLOW)
246T(RZ,                     nan,                     nan,          0x0p+0, 0)
247T(RZ,                     nan,                     nan,          0x0p+0, 0)
248T(RZ,                 0x1p-25,                 0x1p-25,  -0x1.555556p-1, INEXACT)
249T(RZ,               0x1.4p-25,   0x1.4000000000001p-25,  -0x1.355556p-2, INEXACT)
250T(RZ,                -0x1p-26,                -0x1p-26,   0x1.555556p-3, INEXACT)
251T(RZ,              -0x1.8p-26,              -0x1.8p-26,        0x1.2p-1, INEXACT)
252T(RZ,                -0x1p-25,                -0x1p-25,   0x1.555556p-1, INEXACT)
253T(RZ,              -0x1.4p-25,  -0x1.4000000000001p-25,   0x1.355556p-2, INEXACT)
254