1 //===----------------------------------------------------------------------===//
2 //
3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4 // See https://llvm.org/LICENSE.txt for license information.
5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6 //
7 //===----------------------------------------------------------------------===//
8
9 // Check that Clang supports constexpr <cmath> and <cstdlib> functions
10 // mentioned in the P0533R9 paper that is part of C++23
11 // (https://wg21.link/p0533r9)
12 //
13 // Every function called in this test should become constexpr. Whenever some
14 // of the desired function become constexpr, the programmer switches
15 // `ASSERT_NOT_CONSTEXPR_CXX23` to `ASSERT_CONSTEXPR_CXX23` and eventually the
16 // paper is implemented in Clang.
17 // The test also works as a reference list of unimplemented functions.
18 //
19 // REQUIRES: clang
20 // UNSUPPORTED: c++03, c++11, c++14, c++17, c++20
21
22 // We don't control the implementation of these functions on windows
23 // UNSUPPORTED: windows
24
25 #include <cmath>
26 #include <cstdlib>
27 #include <cassert>
28
main(int,char **)29 int main(int, char**) {
30 bool ImplementedP0533R9 = true;
31
32 #define ASSERT_CONSTEXPR_CXX23(Expr) static_assert(__builtin_constant_p(Expr) && (Expr))
33 #define ASSERT_NOT_CONSTEXPR_CXX23(Expr) \
34 static_assert(!__builtin_constant_p(Expr)); \
35 assert(Expr); \
36 ImplementedP0533R9 = false
37
38 int DummyInt;
39 float DummyFloat;
40 double DummyDouble;
41 long double DummyLongDouble;
42
43 ASSERT_NOT_CONSTEXPR_CXX23(std::abs(-1) == 1);
44 ASSERT_NOT_CONSTEXPR_CXX23(std::abs(-1L) == 1L);
45 ASSERT_NOT_CONSTEXPR_CXX23(std::abs(-1LL) == 1LL);
46 ASSERT_NOT_CONSTEXPR_CXX23(std::abs(-1.0f) == 1.0f);
47 ASSERT_NOT_CONSTEXPR_CXX23(std::abs(-1.0) == 1.0);
48 ASSERT_NOT_CONSTEXPR_CXX23(std::abs(-1.0L) == 1.0L);
49
50 ASSERT_NOT_CONSTEXPR_CXX23(std::labs(-1L) == 1L);
51 ASSERT_NOT_CONSTEXPR_CXX23(std::llabs(-1LL) == 1LL);
52
53 ASSERT_NOT_CONSTEXPR_CXX23(std::div(13, 5).rem == 3);
54 ASSERT_NOT_CONSTEXPR_CXX23(std::div(13L, 5L).rem == 3L);
55 ASSERT_NOT_CONSTEXPR_CXX23(std::div(13LL, 5LL).rem == 3LL);
56 ASSERT_NOT_CONSTEXPR_CXX23(std::ldiv(13L, 5L).rem == 3L);
57 ASSERT_NOT_CONSTEXPR_CXX23(std::lldiv(13LL, 5LL).rem == 3LL);
58
59 ASSERT_NOT_CONSTEXPR_CXX23(std::frexp(0.0f, &DummyInt) == 0.0f);
60 ASSERT_NOT_CONSTEXPR_CXX23(std::frexp(0.0, &DummyInt) == 0.0);
61 //FIXME: currently linux powerpc does not support this expansion
62 // since 0.0L lowers to ppcf128 and special handling is required.
63 #if !defined(__LONG_DOUBLE_IBM128__)
64 ASSERT_NOT_CONSTEXPR_CXX23(std::frexp(0.0L, &DummyInt) == 0.0L);
65 #endif
66 ASSERT_NOT_CONSTEXPR_CXX23(std::frexpf(0.0f, &DummyInt) == 0.0f);
67 #if !defined(__LONG_DOUBLE_IBM128__)
68 ASSERT_NOT_CONSTEXPR_CXX23(std::frexpl(0.0L, &DummyInt) == 0.0L);
69 #endif
70
71 ASSERT_NOT_CONSTEXPR_CXX23(std::ilogb(1.0f) == 0);
72 ASSERT_NOT_CONSTEXPR_CXX23(std::ilogb(1.0) == 0);
73 ASSERT_NOT_CONSTEXPR_CXX23(std::ilogb(1.0L) == 0);
74 ASSERT_NOT_CONSTEXPR_CXX23(std::ilogbf(1.0f) == 0);
75 ASSERT_NOT_CONSTEXPR_CXX23(std::ilogbl(1.0L) == 0);
76
77 ASSERT_NOT_CONSTEXPR_CXX23(std::ldexp(1.0f, 1) == 2.0f);
78 ASSERT_NOT_CONSTEXPR_CXX23(std::ldexp(1.0, 1) == 2.0);
79 ASSERT_NOT_CONSTEXPR_CXX23(std::ldexp(1.0L, 1) == 2.0L);
80 ASSERT_NOT_CONSTEXPR_CXX23(std::ldexpf(1.0f, 1) == 2.0f);
81 ASSERT_NOT_CONSTEXPR_CXX23(std::ldexpl(1.0L, 1) == 2.0L);
82
83 ASSERT_NOT_CONSTEXPR_CXX23(std::logb(1.0f) == 0.0f);
84 ASSERT_NOT_CONSTEXPR_CXX23(std::logb(1.0) == 0.0);
85 ASSERT_NOT_CONSTEXPR_CXX23(std::logb(1.0L) == 0.0L);
86 ASSERT_NOT_CONSTEXPR_CXX23(std::logbf(1.0f) == 0.0f);
87 ASSERT_NOT_CONSTEXPR_CXX23(std::logbl(1.0L) == 0.0L);
88
89 ASSERT_NOT_CONSTEXPR_CXX23(std::modf(1.0f, &DummyFloat) == 0.0f);
90 ASSERT_NOT_CONSTEXPR_CXX23(std::modf(1.0, &DummyDouble) == 0.0);
91 ASSERT_NOT_CONSTEXPR_CXX23(std::modf(1.0L, &DummyLongDouble) == 0.0L);
92 ASSERT_NOT_CONSTEXPR_CXX23(std::modff(1.0f, &DummyFloat) == 0.0f);
93 ASSERT_NOT_CONSTEXPR_CXX23(std::modfl(1.0L, &DummyLongDouble) == 0.0L);
94
95 ASSERT_NOT_CONSTEXPR_CXX23(std::scalbn(1.0f, 1) == 2.0f);
96 ASSERT_NOT_CONSTEXPR_CXX23(std::scalbn(1.0, 1) == 2.0);
97 ASSERT_NOT_CONSTEXPR_CXX23(std::scalbn(1.0L, 1) == 2.0L);
98 ASSERT_NOT_CONSTEXPR_CXX23(std::scalbnf(1.0f, 1) == 2.0f);
99 ASSERT_NOT_CONSTEXPR_CXX23(std::scalbnl(1.0L, 1) == 2.0L);
100
101 ASSERT_NOT_CONSTEXPR_CXX23(std::scalbln(1.0f, 1L) == 2);
102 ASSERT_NOT_CONSTEXPR_CXX23(std::scalbln(1.0, 1L) == 2.0);
103 ASSERT_NOT_CONSTEXPR_CXX23(std::scalbln(1.0L, 1L) == 2.0L);
104 ASSERT_NOT_CONSTEXPR_CXX23(std::scalblnf(1.0f, 1L) == 2.0f);
105 ASSERT_NOT_CONSTEXPR_CXX23(std::scalblnl(1.0L, 1L) == 2.0L);
106
107 ASSERT_NOT_CONSTEXPR_CXX23(std::fabs(-1.0f) == 1.0f);
108 ASSERT_NOT_CONSTEXPR_CXX23(std::fabs(-1.0) == 1.0);
109 ASSERT_NOT_CONSTEXPR_CXX23(std::fabs(-1.0L) == 1.0L);
110 ASSERT_NOT_CONSTEXPR_CXX23(std::fabsf(-1.0f) == 1.0f);
111 ASSERT_NOT_CONSTEXPR_CXX23(std::fabsl(-1.0L) == 1.0L);
112
113 ASSERT_NOT_CONSTEXPR_CXX23(std::ceil(0.0f) == 0.0f);
114 ASSERT_NOT_CONSTEXPR_CXX23(std::ceil(0.0) == 0.0);
115 ASSERT_NOT_CONSTEXPR_CXX23(std::ceil(0.0L) == 0.0L);
116 ASSERT_NOT_CONSTEXPR_CXX23(std::ceilf(0.0f) == 0.0f);
117 ASSERT_NOT_CONSTEXPR_CXX23(std::ceill(0.0L) == 0.0L);
118
119 ASSERT_NOT_CONSTEXPR_CXX23(std::floor(1.0f) == 1.0f);
120 ASSERT_NOT_CONSTEXPR_CXX23(std::floor(1.0) == 1.0);
121 ASSERT_NOT_CONSTEXPR_CXX23(std::floor(1.0L) == 1.0L);
122 ASSERT_NOT_CONSTEXPR_CXX23(std::floorf(1.0f) == 1.0f);
123 ASSERT_NOT_CONSTEXPR_CXX23(std::floorl(1.0L) == 1.0L);
124
125 ASSERT_NOT_CONSTEXPR_CXX23(std::round(1.0f) == 1.0f);
126 ASSERT_NOT_CONSTEXPR_CXX23(std::round(1.0) == 1.0);
127 ASSERT_NOT_CONSTEXPR_CXX23(std::round(1.0L) == 1.0L);
128 ASSERT_NOT_CONSTEXPR_CXX23(std::roundf(1.0f) == 1.0f);
129 ASSERT_NOT_CONSTEXPR_CXX23(std::roundl(1.0L) == 1.0L);
130
131 ASSERT_NOT_CONSTEXPR_CXX23(std::lround(1.0f) == 1L);
132 ASSERT_NOT_CONSTEXPR_CXX23(std::lround(1.0) == 1L);
133 ASSERT_NOT_CONSTEXPR_CXX23(std::lround(1.0L) == 1L);
134 ASSERT_NOT_CONSTEXPR_CXX23(std::lroundf(1.0f) == 1L);
135 ASSERT_NOT_CONSTEXPR_CXX23(std::lroundl(1.0L) == 1L);
136
137 ASSERT_NOT_CONSTEXPR_CXX23(std::llround(1.0f) == 1LL);
138 ASSERT_NOT_CONSTEXPR_CXX23(std::llround(1.0) == 1LL);
139 ASSERT_NOT_CONSTEXPR_CXX23(std::llround(1.0L) == 1LL);
140 ASSERT_NOT_CONSTEXPR_CXX23(std::llroundf(1.0f) == 1LL);
141 ASSERT_NOT_CONSTEXPR_CXX23(std::llroundl(1.0L) == 1LL);
142
143 ASSERT_NOT_CONSTEXPR_CXX23(std::trunc(1.0f) == 1.0f);
144 ASSERT_NOT_CONSTEXPR_CXX23(std::trunc(1.0) == 1.0);
145 ASSERT_NOT_CONSTEXPR_CXX23(std::trunc(1.0L) == 1.0L);
146 ASSERT_NOT_CONSTEXPR_CXX23(std::truncf(1.0f) == 1.0f);
147 ASSERT_NOT_CONSTEXPR_CXX23(std::truncl(1.0L) == 1.0L);
148
149 ASSERT_NOT_CONSTEXPR_CXX23(std::fmod(1.5f, 1.0f) == 0.5f);
150 ASSERT_NOT_CONSTEXPR_CXX23(std::fmod(1.5, 1.0) == 0.5);
151 ASSERT_NOT_CONSTEXPR_CXX23(std::fmod(1.5L, 1.0L) == 0.5L);
152 ASSERT_NOT_CONSTEXPR_CXX23(std::fmodf(1.5f, 1.0f) == 0.5f);
153 ASSERT_NOT_CONSTEXPR_CXX23(std::fmodl(1.5L, 1.0L) == 0.5L);
154
155 ASSERT_NOT_CONSTEXPR_CXX23(std::remainder(0.5f, 1.0f) == 0.5f);
156 ASSERT_NOT_CONSTEXPR_CXX23(std::remainder(0.5, 1.0) == 0.5);
157 ASSERT_NOT_CONSTEXPR_CXX23(std::remainder(0.5L, 1.0L) == 0.5L);
158 ASSERT_NOT_CONSTEXPR_CXX23(std::remainderf(0.5f, 1.0f) == 0.5f);
159 ASSERT_NOT_CONSTEXPR_CXX23(std::remainderl(0.5L, 1.0L) == 0.5L);
160
161 ASSERT_NOT_CONSTEXPR_CXX23(std::remquo(0.5f, 1.0f, &DummyInt) == 0.5f);
162 ASSERT_NOT_CONSTEXPR_CXX23(std::remquo(0.5, 1.0, &DummyInt) == 0.5);
163 ASSERT_NOT_CONSTEXPR_CXX23(std::remquo(0.5L, 1.0L, &DummyInt) == 0.5L);
164 ASSERT_NOT_CONSTEXPR_CXX23(std::remquof(0.5f, 1.0f, &DummyInt) == 0.5f);
165 ASSERT_NOT_CONSTEXPR_CXX23(std::remquol(0.5L, 1.0L, &DummyInt) == 0.5L);
166
167 ASSERT_NOT_CONSTEXPR_CXX23(std::copysign(1.0f, 1.0f) == 1.0f);
168 ASSERT_NOT_CONSTEXPR_CXX23(std::copysign(1.0, 1.0) == 1.0);
169 ASSERT_NOT_CONSTEXPR_CXX23(std::copysign(1.0L, 1.0L) == 1.0L);
170 ASSERT_NOT_CONSTEXPR_CXX23(std::copysignf(1.0f, 1.0f) == 1.0f);
171 ASSERT_NOT_CONSTEXPR_CXX23(std::copysignl(1.0L, 1.0L) == 1.0L);
172
173 ASSERT_NOT_CONSTEXPR_CXX23(std::nextafter(0.0f, 0.0f) == 0.0f);
174 ASSERT_NOT_CONSTEXPR_CXX23(std::nextafter(0.0, 0.0) == 0.0);
175 ASSERT_NOT_CONSTEXPR_CXX23(std::nextafter(0.0L, 0.0L) == 0.0L);
176 ASSERT_NOT_CONSTEXPR_CXX23(std::nextafterf(0.0f, 0.0f) == 0.0f);
177 ASSERT_NOT_CONSTEXPR_CXX23(std::nextafterl(0.0L, 0.0L) == 0.0L);
178
179 ASSERT_NOT_CONSTEXPR_CXX23(std::nexttoward(0.0f, 0.0L) == 0.0f);
180 ASSERT_NOT_CONSTEXPR_CXX23(std::nexttoward(0.0, 0.0L) == 0.0f);
181 ASSERT_NOT_CONSTEXPR_CXX23(std::nexttoward(0.0L, 0.0L) == 0.0L);
182 ASSERT_NOT_CONSTEXPR_CXX23(std::nexttowardf(0.0f, 0.0L) == 0.0f);
183 ASSERT_NOT_CONSTEXPR_CXX23(std::nexttowardl(0.0L, 0.0L) == 0.0L);
184
185 ASSERT_NOT_CONSTEXPR_CXX23(std::fdim(1.0f, 0.0f) == 1.0f);
186 ASSERT_NOT_CONSTEXPR_CXX23(std::fdim(1.0, 0.0) == 1.0);
187 ASSERT_NOT_CONSTEXPR_CXX23(std::fdim(1.0L, 0.0L) == 1.0L);
188 ASSERT_NOT_CONSTEXPR_CXX23(std::fdimf(1.0f, 0.0f) == 1.0f);
189 ASSERT_NOT_CONSTEXPR_CXX23(std::fdiml(1.0L, 0.0L) == 1.0L);
190
191 ASSERT_NOT_CONSTEXPR_CXX23(std::fmax(1.0f, 0.0f) == 1.0f);
192 ASSERT_NOT_CONSTEXPR_CXX23(std::fmax(1.0, 0.0) == 1.0);
193 ASSERT_NOT_CONSTEXPR_CXX23(std::fmax(1.0L, 0.0L) == 1.0L);
194 ASSERT_NOT_CONSTEXPR_CXX23(std::fmaxf(1.0f, 0.0f) == 1.0f);
195 ASSERT_NOT_CONSTEXPR_CXX23(std::fmaxl(1.0L, 0.0L) == 1.0L);
196
197 ASSERT_NOT_CONSTEXPR_CXX23(std::fmin(1.0f, 0.0f) == 0.0f);
198 ASSERT_NOT_CONSTEXPR_CXX23(std::fmin(1.0, 0.0) == 0.0);
199 ASSERT_NOT_CONSTEXPR_CXX23(std::fmin(1.0L, 0.0L) == 0.0L);
200 ASSERT_NOT_CONSTEXPR_CXX23(std::fminf(1.0f, 0.0f) == 0.0f);
201 ASSERT_NOT_CONSTEXPR_CXX23(std::fminl(1.0L, 0.0L) == 0.0L);
202
203 ASSERT_NOT_CONSTEXPR_CXX23(std::fma(1.0f, 1.0f, 1.0f) == 2.0f);
204 ASSERT_NOT_CONSTEXPR_CXX23(std::fma(1.0, 1.0, 1.0) == 2.0);
205 ASSERT_NOT_CONSTEXPR_CXX23(std::fma(1.0L, 1.0L, 1.0L) == 2.0L);
206 ASSERT_NOT_CONSTEXPR_CXX23(std::fmaf(1.0f, 1.0f, 1.0f) == 2.0f);
207 ASSERT_NOT_CONSTEXPR_CXX23(std::fmal(1.0L, 1.0L, 1.0L) == 2.0L);
208
209 ASSERT_NOT_CONSTEXPR_CXX23(std::fpclassify(-1.0f) == FP_NORMAL);
210 ASSERT_NOT_CONSTEXPR_CXX23(std::fpclassify(-1.0) == FP_NORMAL);
211 ASSERT_NOT_CONSTEXPR_CXX23(std::fpclassify(-1.0L) == FP_NORMAL);
212
213 ASSERT_CONSTEXPR_CXX23(std::isfinite(-1.0f) == 1);
214 ASSERT_CONSTEXPR_CXX23(std::isfinite(-1.0) == 1);
215 ASSERT_CONSTEXPR_CXX23(std::isfinite(-1.0L) == 1);
216
217 ASSERT_CONSTEXPR_CXX23(std::isinf(-1.0f) == 0);
218 ASSERT_CONSTEXPR_CXX23(std::isinf(-1.0) == 0);
219 ASSERT_CONSTEXPR_CXX23(std::isinf(-1.0L) == 0);
220
221 ASSERT_CONSTEXPR_CXX23(std::isnan(-1.0f) == 0);
222 ASSERT_CONSTEXPR_CXX23(std::isnan(-1.0) == 0);
223 ASSERT_CONSTEXPR_CXX23(std::isnan(-1.0L) == 0);
224
225 ASSERT_CONSTEXPR_CXX23(std::isnormal(-1.0f) == 1);
226 ASSERT_CONSTEXPR_CXX23(std::isnormal(-1.0) == 1);
227 ASSERT_CONSTEXPR_CXX23(std::isnormal(-1.0L) == 1);
228
229 ASSERT_NOT_CONSTEXPR_CXX23(std::signbit(-1.0f) == 1);
230 ASSERT_NOT_CONSTEXPR_CXX23(std::signbit(-1.0) == 1);
231 ASSERT_NOT_CONSTEXPR_CXX23(std::signbit(-1.0L) == 1);
232
233 ASSERT_NOT_CONSTEXPR_CXX23(std::isgreater(-1.0f, 0.0f) == 0);
234 ASSERT_NOT_CONSTEXPR_CXX23(std::isgreater(-1.0, 0.0) == 0);
235 ASSERT_NOT_CONSTEXPR_CXX23(std::isgreater(-1.0L, 0.0L) == 0);
236
237 ASSERT_NOT_CONSTEXPR_CXX23(std::isgreaterequal(-1.0f, 0.0f) == 0);
238 ASSERT_NOT_CONSTEXPR_CXX23(std::isgreaterequal(-1.0, 0.0) == 0);
239 ASSERT_NOT_CONSTEXPR_CXX23(std::isgreaterequal(-1.0L, 0.0L) == 0);
240
241 ASSERT_NOT_CONSTEXPR_CXX23(std::isless(-1.0f, 0.0f) == 1);
242 ASSERT_NOT_CONSTEXPR_CXX23(std::isless(-1.0, 0.0) == 1);
243 ASSERT_NOT_CONSTEXPR_CXX23(std::isless(-1.0L, 0.0L) == 1);
244
245 ASSERT_NOT_CONSTEXPR_CXX23(std::islessequal(-1.0f, 0.0f) == 1);
246 ASSERT_NOT_CONSTEXPR_CXX23(std::islessequal(-1.0, 0.0) == 1);
247 ASSERT_NOT_CONSTEXPR_CXX23(std::islessequal(-1.0L, 0.0L) == 1);
248
249 ASSERT_NOT_CONSTEXPR_CXX23(std::islessgreater(-1.0f, 0.0f) == 1);
250 ASSERT_NOT_CONSTEXPR_CXX23(std::islessgreater(-1.0, 0.0) == 1);
251 ASSERT_NOT_CONSTEXPR_CXX23(std::islessgreater(-1.0L, 0.0L) == 1);
252
253 ASSERT_NOT_CONSTEXPR_CXX23(std::isunordered(-1.0f, 0.0f) == 0);
254 ASSERT_NOT_CONSTEXPR_CXX23(std::isunordered(-1.0, 0.0) == 0);
255 ASSERT_NOT_CONSTEXPR_CXX23(std::isunordered(-1.0L, 0.0L) == 0);
256
257 assert(!ImplementedP0533R9 && R"(
258 Congratulations! You just have implemented P0533R9 (https://wg21.link/p0533r9).
259 Please go to `clang/www/cxx_status.html` and change the paper's implementation
260 status. Also please delete this assert and refactor `ASSERT_CONSTEXPR_CXX23`
261 and `ASSERT_NOT_CONSTEXPR_CXX23`.
262 )");
263
264 return 0;
265 }
266