1d2022014SRyan Prichard // RUN: %clang_builtins %s %librt -o %t && %run %t
2d2022014SRyan Prichard
3d2022014SRyan Prichard #define DOUBLE_PRECISION
4d2022014SRyan Prichard #include <fenv.h>
5d2022014SRyan Prichard #include <float.h>
6d2022014SRyan Prichard #include <limits.h>
7d2022014SRyan Prichard #include <math.h>
8d2022014SRyan Prichard #include <stdio.h>
9d2022014SRyan Prichard #include "fp_lib.h"
10d2022014SRyan Prichard
test__compiler_rt_scalbn(const char * mode,fp_t x,int y)11d2022014SRyan Prichard int test__compiler_rt_scalbn(const char *mode, fp_t x, int y) {
12496e7f33SSimon Moll #if defined(__ve__)
13496e7f33SSimon Moll if (fpclassify(x) == FP_SUBNORMAL)
14496e7f33SSimon Moll return 0;
15496e7f33SSimon Moll #endif
16d2022014SRyan Prichard fp_t crt_value = __compiler_rt_scalbn(x, y);
17d2022014SRyan Prichard fp_t libm_value = scalbn(x, y);
18d2022014SRyan Prichard // Consider +/-0 unequal, but disregard the sign/payload of NaN.
19d2022014SRyan Prichard if (toRep(crt_value) != toRep(libm_value) &&
20d2022014SRyan Prichard !(crt_isnan(crt_value) && crt_isnan(libm_value))) {
21d2022014SRyan Prichard printf("error: [%s] in __compiler_rt_scalbn(%a [%llX], %d) = %a [%llX] "
22d2022014SRyan Prichard "!= %a [%llX]\n",
23d2022014SRyan Prichard mode, x, (unsigned long long)toRep(x), y,
24d2022014SRyan Prichard crt_value, (unsigned long long)toRep(crt_value),
25d2022014SRyan Prichard libm_value, (unsigned long long)toRep(libm_value));
26d2022014SRyan Prichard return 1;
27d2022014SRyan Prichard }
28d2022014SRyan Prichard return 0;
29d2022014SRyan Prichard }
30d2022014SRyan Prichard
31d2022014SRyan Prichard fp_t cases[] = {
32d2022014SRyan Prichard -NAN, NAN, -INFINITY, INFINITY, -0.0, 0.0, -1, 1, -2, 2,
33d2022014SRyan Prichard DBL_TRUE_MIN, DBL_TRUE_MIN*7, DBL_MIN, DBL_MAX,
34d2022014SRyan Prichard -1.001, 1.001, -1.002, 1.002, 1.e-6, -1.e-6,
35d2022014SRyan Prichard 0x1.0p-1021,
36d2022014SRyan Prichard 0x1.0p-1022,
37d2022014SRyan Prichard 0x1.0p-1023, // subnormal
38d2022014SRyan Prichard 0x1.0p-1024, // subnormal
39d2022014SRyan Prichard };
40d2022014SRyan Prichard
iterate_cases(const char * mode)41d2022014SRyan Prichard int iterate_cases(const char *mode) {
42d2022014SRyan Prichard const unsigned N = sizeof(cases) / sizeof(cases[0]);
43d2022014SRyan Prichard unsigned i;
44d2022014SRyan Prichard for (i = 0; i < N; ++i) {
45d2022014SRyan Prichard int j;
46d2022014SRyan Prichard for (j = -5; j <= 5; ++j) {
47d2022014SRyan Prichard if (test__compiler_rt_scalbn(mode, cases[i], j)) return 1;
48d2022014SRyan Prichard }
49d2022014SRyan Prichard if (test__compiler_rt_scalbn(mode, cases[i], -10000)) return 1;
50d2022014SRyan Prichard if (test__compiler_rt_scalbn(mode, cases[i], 10000)) return 1;
51d2022014SRyan Prichard if (test__compiler_rt_scalbn(mode, cases[i], INT_MIN)) return 1;
52d2022014SRyan Prichard if (test__compiler_rt_scalbn(mode, cases[i], INT_MAX)) return 1;
53d2022014SRyan Prichard }
54d2022014SRyan Prichard return 0;
55d2022014SRyan Prichard }
56d2022014SRyan Prichard
main()57d2022014SRyan Prichard int main() {
58d2022014SRyan Prichard if (iterate_cases("default")) return 1;
59d2022014SRyan Prichard
60d2022014SRyan Prichard // Rounding mode tests on supported architectures. __compiler_rt_scalbn
61d2022014SRyan Prichard // should have the same rounding behavior as double-precision multiplication.
62d2022014SRyan Prichard #if (defined(__arm__) || defined(__aarch64__)) && defined(__ARM_FP) || \
63d2022014SRyan Prichard defined(__i386__) || defined(__x86_64__)
64*703de006SMartin Storsjö // Skip these tests on Windows because the UCRT scalbn function always behaves
65*703de006SMartin Storsjö // as if the default rounding mode is set (FE_TONEAREST).
66e256f552SDavid Candler // Also skip for newlib because although its scalbn function does respect the
67e256f552SDavid Candler // rounding mode, where the tests trigger an underflow or overflow using a
68e256f552SDavid Candler // large exponent the result is rounded in the opposite direction to that which
69e256f552SDavid Candler // would be expected in the (FE_UPWARD) and (FE_DOWNWARD) modes.
70*703de006SMartin Storsjö # if !defined(_WIN32) && !defined(_NEWLIB_VERSION)
71d2022014SRyan Prichard fesetround(FE_UPWARD);
72d2022014SRyan Prichard if (iterate_cases("FE_UPWARD")) return 1;
73d2022014SRyan Prichard
74d2022014SRyan Prichard fesetround(FE_DOWNWARD);
75d2022014SRyan Prichard if (iterate_cases("FE_DOWNWARD")) return 1;
76d2022014SRyan Prichard
77d2022014SRyan Prichard fesetround(FE_TOWARDZERO);
78d2022014SRyan Prichard if (iterate_cases("FE_TOWARDZERO")) return 1;
79d2022014SRyan Prichard #endif
80d2022014SRyan Prichard
81d2022014SRyan Prichard fesetround(FE_TONEAREST);
82d2022014SRyan Prichard if (iterate_cases("FE_TONEAREST")) return 1;
83d2022014SRyan Prichard #endif
84d2022014SRyan Prichard
85d2022014SRyan Prichard return 0;
86d2022014SRyan Prichard }
87