test constant snan

Author: wzssyqa

clang/test/Sema/constant-builtins-fmaximum-num.cpp

@@ -3,13 +3,26 @@
 // expected-no-diagnostics
 
 constexpr double NaN = __builtin_nan("");
+constexpr double SNaN = __builtin_nans("");
 constexpr double Inf = __builtin_inf();
 constexpr double NegInf = -__builtin_inf();
 
 #define FMAXIMUMNUM_TEST_SIMPLE(T, FUNC)                           \
     static_assert(T(6.7890) == FUNC(T(1.2345), T(6.7890))); \
     static_assert(T(6.7890) == FUNC(T(6.7890), T(1.2345)));
 
+#define FMAXIMUMNUM_TEST_SNAN(T, FUNC)                          \
+    static_assert(Inf == FUNC(SNaN, Inf));               \
+    static_assert(NegInf == FUNC(NegInf, SNaN));         \
+    static_assert(0.0 == FUNC(SNaN, 0.0));               \
+    static_assert(-0.0 == FUNC(-0.0, SNaN));             \
+    static_assert(T(-1.2345) == FUNC(SNaN, T(-1.2345))); \
+    static_assert(T(1.2345) == FUNC(T(1.2345), SNaN));   \
+    static_assert(__builtin_isnan(FUNC(SNaN, SNaN)));    \
+    static_assert(__builtin_isnan(FUNC(NaN, SNaN)));    \
+    static_assert(!__builtin_issignaling(FUNC(SNaN, SNaN)));  \
+    static_assert(!__builtin_issignaling(FUNC(NaN, SNaN)));
+
 #define FMAXIMUMNUM_TEST_NAN(T, FUNC)                          \
     static_assert(Inf == FUNC(NaN, Inf));               \
     static_assert(NegInf == FUNC(NegInf, NaN));         \
@@ -42,6 +55,7 @@ constexpr double NegInf = -__builtin_inf();
 #define LIST_FMAXIMUMNUM_TESTS(T, FUNC) \
     FMAXIMUMNUM_TEST_SIMPLE(T, FUNC)    \
     FMAXIMUMNUM_TEST_NAN(T, FUNC)       \
+    FMAXIMUMNUM_TEST_SNAN(T, FUNC)       \
     FMAXIMUMNUM_TEST_INF(T, FUNC)       \
     FMAXIMUMNUM_TEST_NEG_INF(T, FUNC)   \
     FMAXIMUMNUM_TEST_BOTH_ZERO(T, FUNC)

clang/test/Sema/constant-builtins-fminimum-num.cpp

@@ -3,6 +3,7 @@
 // expected-no-diagnostics
 
 constexpr double NaN = __builtin_nan("");
+constexpr double SNaN = __builtin_nans("");
 constexpr double Inf = __builtin_inf();
 constexpr double NegInf = -__builtin_inf();
 
@@ -19,6 +20,18 @@ constexpr double NegInf = -__builtin_inf();
     static_assert(T(1.2345) == FUNC(T(1.2345), NaN));   \
     static_assert(__builtin_isnan(FUNC(NaN, NaN)));
 
+#define FMINIMUMNUM_TEST_SNAN(T, FUNC)                          \
+    static_assert(Inf == FUNC(SNaN, Inf));               \
+    static_assert(NegInf == FUNC(NegInf, SNaN));         \
+    static_assert(0.0 == FUNC(SNaN, 0.0));               \
+    static_assert(-0.0 == FUNC(-0.0, SNaN));             \
+    static_assert(T(-1.2345) == FUNC(SNaN, T(-1.2345))); \
+    static_assert(T(1.2345) == FUNC(T(1.2345), SNaN));   \
+    static_assert(__builtin_isnan(FUNC(SNaN, SNaN)));    \
+    static_assert(__builtin_isnan(FUNC(NaN, SNaN)));    \
+    static_assert(!__builtin_issignaling(FUNC(SNaN, SNaN)));  \
+    static_assert(!__builtin_issignaling(FUNC(NaN, SNaN)));
+
 #define FMINIMUMNUM_TEST_INF(T, FUNC)                        \
     static_assert(NegInf == FUNC(NegInf, Inf));       \
     static_assert(0.0 == FUNC(Inf, 0.0));             \
@@ -42,6 +55,7 @@ constexpr double NegInf = -__builtin_inf();
 #define LIST_FMINIMUMNUM_TESTS(T, FUNC) \
     FMINIMUMNUM_TEST_SIMPLE(T, FUNC)    \
     FMINIMUMNUM_TEST_NAN(T, FUNC)       \
+    FMINIMUMNUM_TEST_SNAN(T, FUNC)      \
     FMINIMUMNUM_TEST_INF(T, FUNC)       \
     FMINIMUMNUM_TEST_NEG_INF(T, FUNC)   \
     FMINIMUMNUM_TEST_BOTH_ZERO(T, FUNC)