70 lines · cpp
1// RUN: %clang_cc1 -std=c++17 -fsyntax-only -verify %s2// RUN: %clang_cc1 -std=c++17 -fsyntax-only -verify -fexperimental-new-constant-interpreter %s3// expected-no-diagnostics4 5constexpr double NaN = __builtin_nan("");6constexpr double SNaN = __builtin_nans("");7constexpr double Inf = __builtin_inf();8constexpr double NegInf = -__builtin_inf();9 10#define FMINIMUMNUM_TEST_SIMPLE(T, FUNC) \11 static_assert(T(1.2345) == FUNC(T(1.2345), T(6.7890))); \12 static_assert(T(1.2345) == FUNC(T(6.7890), T(1.2345)));13 14#define FMINIMUMNUM_TEST_NAN(T, FUNC) \15 static_assert(Inf == FUNC(NaN, Inf)); \16 static_assert(NegInf == FUNC(NegInf, NaN)); \17 static_assert(0.0 == FUNC(NaN, 0.0)); \18 static_assert(-0.0 == FUNC(-0.0, NaN)); \19 static_assert(T(-1.2345) == FUNC(NaN, T(-1.2345))); \20 static_assert(T(1.2345) == FUNC(T(1.2345), NaN)); \21 static_assert(__builtin_isnan(FUNC(NaN, NaN)));22 23#define FMINIMUMNUM_TEST_SNAN(T, FUNC) \24 static_assert(Inf == FUNC(SNaN, Inf)); \25 static_assert(NegInf == FUNC(NegInf, SNaN)); \26 static_assert(0.0 == FUNC(SNaN, 0.0)); \27 static_assert(-0.0 == FUNC(-0.0, SNaN)); \28 static_assert(T(-1.2345) == FUNC(SNaN, T(-1.2345))); \29 static_assert(T(1.2345) == FUNC(T(1.2345), SNaN)); \30 static_assert(__builtin_isnan(FUNC(SNaN, SNaN))); \31 static_assert(__builtin_isnan(FUNC(NaN, SNaN))); \32 static_assert(!__builtin_issignaling(FUNC(SNaN, SNaN))); \33 static_assert(!__builtin_issignaling(FUNC(NaN, SNaN)));34 35#define FMINIMUMNUM_TEST_INF(T, FUNC) \36 static_assert(NegInf == FUNC(NegInf, Inf)); \37 static_assert(0.0 == FUNC(Inf, 0.0)); \38 static_assert(-0.0 == FUNC(-0.0, Inf)); \39 static_assert(T(1.2345) == FUNC(Inf, T(1.2345))); \40 static_assert(T(-1.2345) == FUNC(T(-1.2345), Inf));41 42#define FMINIMUMNUM_TEST_NEG_INF(T, FUNC) \43 static_assert(NegInf == FUNC(Inf, NegInf)); \44 static_assert(NegInf == FUNC(NegInf, 0.0)); \45 static_assert(NegInf == FUNC(-0.0, NegInf)); \46 static_assert(NegInf == FUNC(NegInf, T(-1.2345))); \47 static_assert(NegInf == FUNC(T(1.2345), NegInf));48 49#define FMINIMUMNUM_TEST_BOTH_ZERO(T, FUNC) \50 static_assert(__builtin_copysign(1.0, FUNC(0.0, 0.0)) == 1.0); \51 static_assert(__builtin_copysign(1.0, FUNC(-0.0, 0.0)) == -1.0); \52 static_assert(__builtin_copysign(1.0, FUNC(0.0, -0.0)) == -1.0); \53 static_assert(__builtin_copysign(1.0, FUNC(-0.0, -0.0)) == -1.0);54 55#define LIST_FMINIMUMNUM_TESTS(T, FUNC) \56 FMINIMUMNUM_TEST_SIMPLE(T, FUNC) \57 FMINIMUMNUM_TEST_NAN(T, FUNC) \58 FMINIMUMNUM_TEST_SNAN(T, FUNC) \59 FMINIMUMNUM_TEST_INF(T, FUNC) \60 FMINIMUMNUM_TEST_NEG_INF(T, FUNC) \61 FMINIMUMNUM_TEST_BOTH_ZERO(T, FUNC)62 63LIST_FMINIMUMNUM_TESTS(double, __builtin_fminimum_num)64LIST_FMINIMUMNUM_TESTS(float, __builtin_fminimum_numf)65LIST_FMINIMUMNUM_TESTS((long double), __builtin_fminimum_numl)66LIST_FMINIMUMNUM_TESTS(__fp16, __builtin_fminimum_numf16)67#ifdef __FLOAT128__68LIST_FMINIMUMNUM_TESTS(__float128, __builtin_fminimum_numf128)69#endif70