1 /* $NetBSD: t_floatunditf.c,v 1.7 2024/05/06 17:53:43 riastradh Exp $ */
2
3 /*-
4 * Copyright (c) 2014 The NetBSD Foundation, Inc.
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in the
14 * documentation and/or other materials provided with the distribution.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
17 * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
18 * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
19 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
20 * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
21 * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
22 * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
23 * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
24 * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
25 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
26 * POSSIBILITY OF SUCH DAMAGE.
27 */
28
29 #include <sys/cdefs.h>
30 __RCSID("$NetBSD: t_floatunditf.c,v 1.7 2024/05/06 17:53:43 riastradh Exp $");
31
32 #include <atf-c.h>
33 #include <float.h>
34 #include <inttypes.h>
35 #include <math.h>
36
37 #if LDBL_MANT_DIG < 53
38 #error Unsupported long double format
39 #endif
40
41 static const struct {
42 uint64_t u64;
43 long double ld;
44 } testcases[] = {
45 #if LDBL_MANT_DIG >= 64
46 { 0xffffffffffffffffULL, 0xf.fffffffffffffffp+60L },
47 { 0xfffffffffffffffeULL, 0xf.ffffffffffffffep+60L },
48 { 0xfffffffffffffffdULL, 0xf.ffffffffffffffdp+60L },
49 { 0xfffffffffffffffcULL, 0xf.ffffffffffffffcp+60L },
50 { 0x7fffffffffffffffULL, 0xf.ffffffffffffffep+59L },
51 { 0x3fffffffffffffffULL, 0xf.ffffffffffffffcp+58L },
52 { 0x1fffffffffffffffULL, 0xf.ffffffffffffff8p+57L },
53 { 0xfffffffffffffffULL, 0xf.ffffffffffffffp+56L },
54 { 0x7ffffffffffffffULL, 0xf.fffffffffffffep+55L },
55 { 0x3ffffffffffffffULL, 0xf.fffffffffffffcp+54L },
56 { 0x1ffffffffffffffULL, 0xf.fffffffffffff8p+53L },
57 #endif
58 #if LDBL_MANT_DIG >= 56
59 { 0xffffffffffffffULL, 0xf.fffffffffffffp+52L },
60 { 0x7fffffffffffffULL, 0xf.ffffffffffffep+51L },
61 { 0x3fffffffffffffULL, 0xf.ffffffffffffcp+50L },
62 #endif
63 { 0x1fffffffffffffULL, 0xf.ffffffffffff8p+49L },
64 { 0xfffffffffffffULL, 0xf.ffffffffffffp+48L },
65 { 0x7ffffffffffffULL, 0xf.fffffffffffep+47L },
66 { 0x3ffffffffffffULL, 0xf.fffffffffffcp+46L },
67 { 0x1ffffffffffffULL, 0xf.fffffffffff8p+45L },
68 { 0xffffffffffffULL, 0xf.fffffffffffp+44L },
69 { 0x7fffffffffffULL, 0xf.ffffffffffep+43L },
70 { 0x3fffffffffffULL, 0xf.ffffffffffcp+42L },
71 { 0x1fffffffffffULL, 0xf.ffffffffff8p+41L },
72 { 0xfffffffffffULL, 0xf.ffffffffffp+40L },
73 { 0x7ffffffffffULL, 0xf.fffffffffep+39L },
74 { 0x3ffffffffffULL, 0xf.fffffffffcp+38L },
75 { 0x1ffffffffffULL, 0xf.fffffffff8p+37L },
76 { 0xffffffffffULL, 0xf.fffffffffp+36L },
77 { 0x7fffffffffULL, 0xf.ffffffffep+35L },
78 { 0x3fffffffffULL, 0xf.ffffffffcp+34L },
79 { 0x1fffffffffULL, 0xf.ffffffff8p+33L },
80 { 0xfffffffffULL, 0xf.ffffffffp+32L },
81 { 0x7ffffffffULL, 0xf.fffffffep+31L },
82 { 0x3ffffffffULL, 0xf.fffffffcp+30L },
83 { 0x1ffffffffULL, 0xf.fffffff8p+29L },
84 { 0xffffffffULL, 0xf.fffffffp+28L },
85 { 0x7fffffffULL, 0xf.ffffffep+27L },
86 { 0x3fffffffULL, 0xf.ffffffcp+26L },
87 { 0x1fffffffULL, 0xf.ffffff8p+25L },
88 { 0xfffffffULL, 0xf.ffffffp+24L },
89 { 0x7ffffffULL, 0xf.fffffep+23L },
90 { 0x3ffffffULL, 0xf.fffffcp+22L },
91 { 0x1ffffffULL, 0xf.fffff8p+21L },
92 { 0xffffffULL, 0xf.fffffp+20L },
93 { 0x7fffffULL, 0xf.ffffep+19L },
94 { 0x3fffffULL, 0xf.ffffcp+18L },
95 { 0x1fffffULL, 0xf.ffff8p+17L },
96 { 0xfffffULL, 0xf.ffffp+16L },
97 { 0x7ffffULL, 0xf.fffep+15L },
98 { 0x3ffffULL, 0xf.fffcp+14L },
99 { 0x1ffffULL, 0xf.fff8p+13L },
100 { 0xffffULL, 0xf.fffp+12L },
101 { 0x7fffULL, 0xf.ffep+11L },
102 { 0x3fffULL, 0xf.ffcp+10L },
103 { 0x1fffULL, 0xf.ff8p+9L },
104 { 0xfffULL, 0xf.ffp+8L },
105 { 0x7ffULL, 0xf.fep+7L },
106 { 0x3ffULL, 0xf.fcp+6L },
107 { 0x1ffULL, 0xf.f8p+5L },
108 { 0xffULL, 0xf.fp+4L },
109 { 0x7fULL, 0xf.ep+3L },
110 { 0x3fULL, 0xf.cp+2L },
111 { 0x1fULL, 0xf.8p+1L },
112 { 0xfULL, 0xfp+0L },
113 { 0x7ULL, 0xep-1L },
114 { 0x3ULL, 0xcp-2L },
115 { 0x1ULL, 0x8p-3L },
116 };
117
118 ATF_TC(floatunditf);
ATF_TC_HEAD(floatunditf,tc)119 ATF_TC_HEAD(floatunditf, tc)
120 {
121 atf_tc_set_md_var(tc, "descr",
122 "Verify that uint64 -> long double conversion works");
123 }
124
ATF_TC_BODY(floatunditf,tc)125 ATF_TC_BODY(floatunditf, tc)
126 {
127 size_t i;
128
129 for (i = 0; i < __arraycount(testcases); ++i)
130 ATF_CHECK_MSG(
131 testcases[i].ld == (long double)testcases[i].u64,
132 "#%zu: expected %.20Lf, got %.20Lf\n", i,
133 testcases[i].ld,
134 (long double)testcases[i].u64);
135 }
136
ATF_TP_ADD_TCS(tp)137 ATF_TP_ADD_TCS(tp)
138 {
139 ATF_TP_ADD_TC(tp, floatunditf);
140 return atf_no_error();
141 }
142