1*30aeb9ccSriastradh /* $NetBSD: t_floatunditf.c,v 1.7 2024/05/06 17:53:43 riastradh Exp $ */
2048981b5Sjoerg
3048981b5Sjoerg /*-
4048981b5Sjoerg * Copyright (c) 2014 The NetBSD Foundation, Inc.
5048981b5Sjoerg * All rights reserved.
6048981b5Sjoerg *
7048981b5Sjoerg * Redistribution and use in source and binary forms, with or without
8048981b5Sjoerg * modification, are permitted provided that the following conditions
9048981b5Sjoerg * are met:
10048981b5Sjoerg * 1. Redistributions of source code must retain the above copyright
11048981b5Sjoerg * notice, this list of conditions and the following disclaimer.
12048981b5Sjoerg * 2. Redistributions in binary form must reproduce the above copyright
13048981b5Sjoerg * notice, this list of conditions and the following disclaimer in the
14048981b5Sjoerg * documentation and/or other materials provided with the distribution.
15048981b5Sjoerg *
16048981b5Sjoerg * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17048981b5Sjoerg * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18048981b5Sjoerg * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19048981b5Sjoerg * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20048981b5Sjoerg * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21048981b5Sjoerg * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22048981b5Sjoerg * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23048981b5Sjoerg * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24048981b5Sjoerg * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25048981b5Sjoerg * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26048981b5Sjoerg * POSSIBILITY OF SUCH DAMAGE.
27048981b5Sjoerg */
28048981b5Sjoerg
29*30aeb9ccSriastradh #include <sys/cdefs.h>
30*30aeb9ccSriastradh __RCSID("$NetBSD: t_floatunditf.c,v 1.7 2024/05/06 17:53:43 riastradh Exp $");
31*30aeb9ccSriastradh
32048981b5Sjoerg #include <atf-c.h>
33*30aeb9ccSriastradh #include <float.h>
34048981b5Sjoerg #include <inttypes.h>
35048981b5Sjoerg #include <math.h>
36048981b5Sjoerg
37*30aeb9ccSriastradh #if LDBL_MANT_DIG < 53
38*30aeb9ccSriastradh #error Unsupported long double format
39*30aeb9ccSriastradh #endif
40*30aeb9ccSriastradh
41048981b5Sjoerg static const struct {
42048981b5Sjoerg uint64_t u64;
43048981b5Sjoerg long double ld;
44048981b5Sjoerg } testcases[] = {
45*30aeb9ccSriastradh #if LDBL_MANT_DIG >= 64
46048981b5Sjoerg { 0xffffffffffffffffULL, 0xf.fffffffffffffffp+60L },
47e9501cb2Smartin { 0xfffffffffffffffeULL, 0xf.ffffffffffffffep+60L },
48e9501cb2Smartin { 0xfffffffffffffffdULL, 0xf.ffffffffffffffdp+60L },
49e9501cb2Smartin { 0xfffffffffffffffcULL, 0xf.ffffffffffffffcp+60L },
50048981b5Sjoerg { 0x7fffffffffffffffULL, 0xf.ffffffffffffffep+59L },
51048981b5Sjoerg { 0x3fffffffffffffffULL, 0xf.ffffffffffffffcp+58L },
52048981b5Sjoerg { 0x1fffffffffffffffULL, 0xf.ffffffffffffff8p+57L },
53048981b5Sjoerg { 0xfffffffffffffffULL, 0xf.ffffffffffffffp+56L },
54048981b5Sjoerg { 0x7ffffffffffffffULL, 0xf.fffffffffffffep+55L },
55048981b5Sjoerg { 0x3ffffffffffffffULL, 0xf.fffffffffffffcp+54L },
56048981b5Sjoerg { 0x1ffffffffffffffULL, 0xf.fffffffffffff8p+53L },
57*30aeb9ccSriastradh #endif
58*30aeb9ccSriastradh #if LDBL_MANT_DIG >= 56
59048981b5Sjoerg { 0xffffffffffffffULL, 0xf.fffffffffffffp+52L },
60048981b5Sjoerg { 0x7fffffffffffffULL, 0xf.ffffffffffffep+51L },
61048981b5Sjoerg { 0x3fffffffffffffULL, 0xf.ffffffffffffcp+50L },
62*30aeb9ccSriastradh #endif
63048981b5Sjoerg { 0x1fffffffffffffULL, 0xf.ffffffffffff8p+49L },
64048981b5Sjoerg { 0xfffffffffffffULL, 0xf.ffffffffffffp+48L },
65048981b5Sjoerg { 0x7ffffffffffffULL, 0xf.fffffffffffep+47L },
66048981b5Sjoerg { 0x3ffffffffffffULL, 0xf.fffffffffffcp+46L },
67048981b5Sjoerg { 0x1ffffffffffffULL, 0xf.fffffffffff8p+45L },
68048981b5Sjoerg { 0xffffffffffffULL, 0xf.fffffffffffp+44L },
69048981b5Sjoerg { 0x7fffffffffffULL, 0xf.ffffffffffep+43L },
70048981b5Sjoerg { 0x3fffffffffffULL, 0xf.ffffffffffcp+42L },
71048981b5Sjoerg { 0x1fffffffffffULL, 0xf.ffffffffff8p+41L },
72048981b5Sjoerg { 0xfffffffffffULL, 0xf.ffffffffffp+40L },
73048981b5Sjoerg { 0x7ffffffffffULL, 0xf.fffffffffep+39L },
74048981b5Sjoerg { 0x3ffffffffffULL, 0xf.fffffffffcp+38L },
75048981b5Sjoerg { 0x1ffffffffffULL, 0xf.fffffffff8p+37L },
76048981b5Sjoerg { 0xffffffffffULL, 0xf.fffffffffp+36L },
77048981b5Sjoerg { 0x7fffffffffULL, 0xf.ffffffffep+35L },
78048981b5Sjoerg { 0x3fffffffffULL, 0xf.ffffffffcp+34L },
79048981b5Sjoerg { 0x1fffffffffULL, 0xf.ffffffff8p+33L },
80048981b5Sjoerg { 0xfffffffffULL, 0xf.ffffffffp+32L },
81048981b5Sjoerg { 0x7ffffffffULL, 0xf.fffffffep+31L },
82048981b5Sjoerg { 0x3ffffffffULL, 0xf.fffffffcp+30L },
83048981b5Sjoerg { 0x1ffffffffULL, 0xf.fffffff8p+29L },
84048981b5Sjoerg { 0xffffffffULL, 0xf.fffffffp+28L },
85048981b5Sjoerg { 0x7fffffffULL, 0xf.ffffffep+27L },
86048981b5Sjoerg { 0x3fffffffULL, 0xf.ffffffcp+26L },
87048981b5Sjoerg { 0x1fffffffULL, 0xf.ffffff8p+25L },
88048981b5Sjoerg { 0xfffffffULL, 0xf.ffffffp+24L },
89048981b5Sjoerg { 0x7ffffffULL, 0xf.fffffep+23L },
90048981b5Sjoerg { 0x3ffffffULL, 0xf.fffffcp+22L },
91048981b5Sjoerg { 0x1ffffffULL, 0xf.fffff8p+21L },
92048981b5Sjoerg { 0xffffffULL, 0xf.fffffp+20L },
93048981b5Sjoerg { 0x7fffffULL, 0xf.ffffep+19L },
94048981b5Sjoerg { 0x3fffffULL, 0xf.ffffcp+18L },
95048981b5Sjoerg { 0x1fffffULL, 0xf.ffff8p+17L },
96048981b5Sjoerg { 0xfffffULL, 0xf.ffffp+16L },
97048981b5Sjoerg { 0x7ffffULL, 0xf.fffep+15L },
98048981b5Sjoerg { 0x3ffffULL, 0xf.fffcp+14L },
99048981b5Sjoerg { 0x1ffffULL, 0xf.fff8p+13L },
100048981b5Sjoerg { 0xffffULL, 0xf.fffp+12L },
101048981b5Sjoerg { 0x7fffULL, 0xf.ffep+11L },
102048981b5Sjoerg { 0x3fffULL, 0xf.ffcp+10L },
103048981b5Sjoerg { 0x1fffULL, 0xf.ff8p+9L },
104048981b5Sjoerg { 0xfffULL, 0xf.ffp+8L },
105048981b5Sjoerg { 0x7ffULL, 0xf.fep+7L },
106048981b5Sjoerg { 0x3ffULL, 0xf.fcp+6L },
107048981b5Sjoerg { 0x1ffULL, 0xf.f8p+5L },
108048981b5Sjoerg { 0xffULL, 0xf.fp+4L },
109048981b5Sjoerg { 0x7fULL, 0xf.ep+3L },
110048981b5Sjoerg { 0x3fULL, 0xf.cp+2L },
111048981b5Sjoerg { 0x1fULL, 0xf.8p+1L },
112048981b5Sjoerg { 0xfULL, 0xfp+0L },
113048981b5Sjoerg { 0x7ULL, 0xep-1L },
114048981b5Sjoerg { 0x3ULL, 0xcp-2L },
115048981b5Sjoerg { 0x1ULL, 0x8p-3L },
116048981b5Sjoerg };
117048981b5Sjoerg
118048981b5Sjoerg ATF_TC(floatunditf);
ATF_TC_HEAD(floatunditf,tc)119048981b5Sjoerg ATF_TC_HEAD(floatunditf, tc)
120048981b5Sjoerg {
121048981b5Sjoerg atf_tc_set_md_var(tc, "descr",
122048981b5Sjoerg "Verify that uint64 -> long double conversion works");
123048981b5Sjoerg }
124048981b5Sjoerg
ATF_TC_BODY(floatunditf,tc)125048981b5Sjoerg ATF_TC_BODY(floatunditf, tc)
126048981b5Sjoerg {
127048981b5Sjoerg size_t i;
128048981b5Sjoerg
129048981b5Sjoerg for (i = 0; i < __arraycount(testcases); ++i)
1305f1a7389Smartin ATF_CHECK_MSG(
1315f1a7389Smartin testcases[i].ld == (long double)testcases[i].u64,
1325f1a7389Smartin "#%zu: expected %.20Lf, got %.20Lf\n", i,
1335f1a7389Smartin testcases[i].ld,
1345f1a7389Smartin (long double)testcases[i].u64);
1353de77da1Smartin }
136048981b5Sjoerg
ATF_TP_ADD_TCS(tp)137048981b5Sjoerg ATF_TP_ADD_TCS(tp)
138048981b5Sjoerg {
139048981b5Sjoerg ATF_TP_ADD_TC(tp, floatunditf);
140048981b5Sjoerg return atf_no_error();
141048981b5Sjoerg }
142