| // P1467R9 - Extended floating-point types and standard names. |
| // { dg-do compile { target c++23 } } |
| // { dg-options "" } |
| |
| #include "ext-floating.h" |
| |
| #ifdef __STRICT_ANSI__ |
| #undef __SIZEOF_FLOAT128__ |
| #endif |
| |
| using namespace std; |
| |
| static_assert (!is_same<float, double>::value); |
| static_assert (!is_same<float, long double>::value); |
| static_assert (!is_same<double, long double>::value); |
| static_assert (is_same<decltype (0.0f), float>::value); |
| static_assert (is_same<decltype (0.0F), float>::value); |
| static_assert (is_same<decltype (0.0), double>::value); |
| static_assert (is_same<decltype (0.0l), long double>::value); |
| static_assert (is_same<decltype (0.0L), long double>::value); |
| static_assert (is_same<decltype (0.0f + 0.0F), float>::value); |
| static_assert (is_same<decltype (0.0F + 0.0f), float>::value); |
| static_assert (is_same<decltype (0.0 + 0.0), double>::value); |
| static_assert (is_same<decltype (0.0l + 0.0L), long double>::value); |
| static_assert (is_same<decltype (0.0L + 0.0l), long double>::value); |
| #ifdef __SIZEOF_FLOAT128__ |
| static_assert (is_same<decltype (0.0q), __float128>::value); |
| static_assert (is_same<decltype (0.0Q), __float128>::value); |
| static_assert (is_same<decltype (0.0q + 0.0q), __float128>::value); |
| static_assert (is_same<decltype (0.0Q + 0.0Q), __float128>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT16_T__ |
| static_assert (!is_same<float, float16_t>::value); |
| static_assert (!is_same<double, float16_t>::value); |
| static_assert (!is_same<long double, float16_t>::value); |
| static_assert (is_same<decltype (0.0f16), float16_t>::value); |
| static_assert (is_same<decltype (0.0F16), float16_t>::value); |
| static_assert (is_same<decltype (0.0f16 + 0.0f16), float16_t>::value); |
| static_assert (is_same<decltype (0.0F16 + 0.0F16), float16_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT32_T__ |
| static_assert (!is_same<float, float32_t>::value); |
| static_assert (!is_same<double, float32_t>::value); |
| static_assert (!is_same<long double, float32_t>::value); |
| static_assert (!is_same<decltype (0.0f), float32_t>::value); |
| static_assert (!is_same<decltype (0.0F), float32_t>::value); |
| static_assert (is_same<decltype (0.0f32), float32_t>::value); |
| static_assert (is_same<decltype (0.0F32), float32_t>::value); |
| static_assert (!is_same<decltype (0.0f32), float>::value); |
| static_assert (!is_same<decltype (0.0F32), float>::value); |
| static_assert (is_same<decltype (0.0f32 + 0.0f32), float32_t>::value); |
| static_assert (is_same<decltype (0.0F32 + 0.0F32), float32_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT64_T__ |
| static_assert (!is_same<float, float64_t>::value); |
| static_assert (!is_same<double, float64_t>::value); |
| static_assert (!is_same<long double, float64_t>::value); |
| static_assert (!is_same<decltype (0.0), float64_t>::value); |
| static_assert (is_same<decltype (0.0f64), float64_t>::value); |
| static_assert (is_same<decltype (0.0F64), float64_t>::value); |
| static_assert (!is_same<decltype (0.0f64), double>::value); |
| static_assert (!is_same<decltype (0.0F64), double>::value); |
| static_assert (is_same<decltype (0.0f64 + 0.0f64), float64_t>::value); |
| static_assert (is_same<decltype (0.0F64 + 0.0F64), float64_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT128_T__ |
| static_assert (!is_same<float, float128_t>::value); |
| static_assert (!is_same<double, float128_t>::value); |
| static_assert (!is_same<long double, float128_t>::value); |
| static_assert (!is_same<decltype (0.0l), float128_t>::value); |
| static_assert (!is_same<decltype (0.0L), float128_t>::value); |
| static_assert (is_same<decltype (0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128), float128_t>::value); |
| static_assert (!is_same<decltype (0.0f128), long double>::value); |
| static_assert (!is_same<decltype (0.0F128), long double>::value); |
| static_assert (is_same<decltype (0.0f128 + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0F128), float128_t>::value); |
| #ifdef __SIZEOF_FLOAT128__ |
| static_assert (!is_same<float128_t, __float128>::value); |
| static_assert (!is_same<decltype (0.0q), float128_t>::value); |
| static_assert (!is_same<decltype (0.0Q), float128_t>::value); |
| static_assert (!is_same<decltype (0.0f128), __float128>::value); |
| static_assert (!is_same<decltype (0.0F128), __float128>::value); |
| #endif |
| #endif |
| #ifdef __STDCPP_BFLOAT16_T__ |
| static_assert (!is_same<float, bfloat16_t>::value); |
| static_assert (!is_same<double, bfloat16_t>::value); |
| static_assert (!is_same<long double, bfloat16_t>::value); |
| static_assert (is_same<decltype (0.0bf16), bfloat16_t>::value); |
| static_assert (is_same<decltype (0.0BF16), bfloat16_t>::value); |
| static_assert (is_same<decltype (0.0bf16 + 0.0bf16), bfloat16_t>::value); |
| static_assert (is_same<decltype (0.0BF16 + 0.0BF16), bfloat16_t>::value); |
| #endif |
| #ifdef __FLT32X_MANT_DIG__ |
| static_assert (!is_same<float, _Float32x>::value); |
| static_assert (!is_same<double, _Float32x>::value); |
| static_assert (!is_same<long double, _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0F), _Float32x>::value); |
| static_assert (is_same<decltype (0.0f32x), _Float32x>::value); |
| static_assert (is_same<decltype (0.0F32x), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f32x), float>::value); |
| static_assert (!is_same<decltype (0.0F32x), float>::value); |
| static_assert (is_same<decltype (0.0f32x + 0.0f32x), _Float32x>::value); |
| static_assert (is_same<decltype (0.0F32x + 0.0F32x), _Float32x>::value); |
| #ifdef __STDCPP_FLOAT16_T__ |
| static_assert (!is_same<float16_t, _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f16), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0F16), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f32x), float16_t>::value); |
| static_assert (!is_same<decltype (0.0F32x), float16_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT32_T__ |
| static_assert (!is_same<float32_t, _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f32), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0F32), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f32x), float32_t>::value); |
| static_assert (!is_same<decltype (0.0F32x), float32_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT64_T__ |
| static_assert (!is_same<float64_t, _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f64), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0F64), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f32x), float64_t>::value); |
| static_assert (!is_same<decltype (0.0F32x), float64_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT128_T__ |
| static_assert (!is_same<float128_t, _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f128), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0F128), _Float32x>::value); |
| static_assert (!is_same<decltype (0.0f32x), float128_t>::value); |
| static_assert (!is_same<decltype (0.0F32x), float128_t>::value); |
| #endif |
| #endif |
| #ifdef __FLT64X_MANT_DIG__ |
| static_assert (!is_same<float, _Float64x>::value); |
| static_assert (!is_same<double, _Float64x>::value); |
| static_assert (!is_same<long double, _Float64x>::value); |
| static_assert (!is_same<decltype (0.0), _Float64x>::value); |
| static_assert (is_same<decltype (0.0f64x), _Float64x>::value); |
| static_assert (is_same<decltype (0.0F64x), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f64x), double>::value); |
| static_assert (!is_same<decltype (0.0F64x), double>::value); |
| static_assert (is_same<decltype (0.0f64x + 0.0f64x), _Float64x>::value); |
| static_assert (is_same<decltype (0.0F64x + 0.0F64x), _Float64x>::value); |
| #ifdef __STDCPP_FLOAT16_T__ |
| static_assert (!is_same<float16_t, _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f16), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0F16), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f64x), float16_t>::value); |
| static_assert (!is_same<decltype (0.0F64x), float16_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT32_T__ |
| static_assert (!is_same<float32_t, _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f32), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0F32), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f64x), float32_t>::value); |
| static_assert (!is_same<decltype (0.0F64x), float32_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT64_T__ |
| static_assert (!is_same<float64_t, _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f64), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0F64), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f64x), float64_t>::value); |
| static_assert (!is_same<decltype (0.0F64x), float64_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT128_T__ |
| static_assert (!is_same<float128_t, _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f128), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0F128), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f64x), float128_t>::value); |
| static_assert (!is_same<decltype (0.0F64x), float128_t>::value); |
| #endif |
| #ifdef __SIZEOF_FLOAT128__ |
| static_assert (!is_same<_Float64x, __float128>::value); |
| static_assert (!is_same<decltype (0.0q), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0Q), _Float64x>::value); |
| static_assert (!is_same<decltype (0.0f64x), __float128>::value); |
| static_assert (!is_same<decltype (0.0F64x), __float128>::value); |
| #endif |
| #endif |
| #ifdef __FLT128X_MANT_DIG__ |
| static_assert (!is_same<float, _Float128x>::value); |
| static_assert (!is_same<double, _Float128x>::value); |
| static_assert (!is_same<long double, _Float128x>::value); |
| static_assert (!is_same<decltype (0.0l), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0L), _Float128x>::value); |
| static_assert (is_same<decltype (0.0f128x), _Float128x>::value); |
| static_assert (is_same<decltype (0.0F128x), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f128x), long double>::value); |
| static_assert (!is_same<decltype (0.0F128x), long double>::value); |
| static_assert (is_same<decltype (0.0f128x + 0.0f128x), _Float128x>::value); |
| static_assert (is_same<decltype (0.0F128x + 0.0F128x), _Float128x>::value); |
| #ifdef __STDCPP_FLOAT16_T__ |
| static_assert (!is_same<float16_t, _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f16), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0F16), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f128x), float16_t>::value); |
| static_assert (!is_same<decltype (0.0F128x), float16_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT32_T__ |
| static_assert (!is_same<float32_t, _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f32), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0F32), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f128x), float32_t>::value); |
| static_assert (!is_same<decltype (0.0F128x), float32_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT64_T__ |
| static_assert (!is_same<float64_t, _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f64), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0F64), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f128x), float64_t>::value); |
| static_assert (!is_same<decltype (0.0F128x), float64_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT128_T__ |
| static_assert (!is_same<float128_t, _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f128), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0F128), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f128x), float128_t>::value); |
| static_assert (!is_same<decltype (0.0F128x), float128_t>::value); |
| #endif |
| #ifdef __SIZEOF_FLOAT128__ |
| static_assert (!is_same<_Float128x, __float128>::value); |
| static_assert (!is_same<decltype (0.0q), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0Q), _Float128x>::value); |
| static_assert (!is_same<decltype (0.0f128x), __float128>::value); |
| static_assert (!is_same<decltype (0.0F128x), __float128>::value); |
| #endif |
| #endif |
| static_assert (is_same<decltype (0.0f + 0.0), double>::value); |
| static_assert (is_same<decltype (0.0 + 0.0F), double>::value); |
| static_assert (is_same<decltype (0.0L + 0.0), long double>::value); |
| static_assert (is_same<decltype (0.0 + 0.0L), long double>::value); |
| static_assert (is_same<decltype (0.0L + 0.0f), long double>::value); |
| static_assert (is_same<decltype (0.0F + 0.0l), long double>::value); |
| #if defined(__STDCPP_FLOAT16_T__) && defined(__STDCPP_FLOAT32_T__) |
| static_assert (!is_same<float16_t, float32_t>::value); |
| static_assert (is_same<decltype (0.0f16 + 0.0f32), float32_t>::value); |
| static_assert (is_same<decltype (0.0F32 + 0.0F16), float32_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT16_T__) && defined(__STDCPP_FLOAT64_T__) |
| static_assert (!is_same<float16_t, float64_t>::value); |
| static_assert (is_same<decltype (0.0f16 + 0.0f64), float64_t>::value); |
| static_assert (is_same<decltype (0.0F64 + 0.0F16), float64_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT16_T__) && defined(__STDCPP_FLOAT128_T__) |
| static_assert (!is_same<float16_t, float128_t>::value); |
| static_assert (is_same<decltype (0.0f16 + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0F16), float128_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT16_T__) && defined(__FLT32X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f16 + 0.0f32x), _Float32x>::value); |
| static_assert (is_same<decltype (0.0F32x + 0.0F16), _Float32x>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT16_T__) && defined(__FLT64X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f16 + 0.0f64x), _Float64x>::value); |
| static_assert (is_same<decltype (0.0F64x + 0.0F16), _Float64x>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT16_T__) && defined(__FLT128X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f16 + 0.0f128x), _Float128x>::value); |
| static_assert (is_same<decltype (0.0F128x + 0.0F16), _Float128x>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT32_T__) && defined(__STDCPP_FLOAT64_T__) |
| static_assert (!is_same<float32_t, float64_t>::value); |
| static_assert (is_same<decltype (0.0f32 + 0.0f64), float64_t>::value); |
| static_assert (is_same<decltype (0.0F64 + 0.0F32), float64_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT32_T__) && defined(__STDCPP_FLOAT128_T__) |
| static_assert (!is_same<float32_t, float128_t>::value); |
| static_assert (is_same<decltype (0.0f32 + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0F32), float128_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT32_T__) && defined(__FLT32X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f32 + 0.0f32x), _Float32x>::value); |
| static_assert (is_same<decltype (0.0F32x + 0.0F32), _Float32x>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT32_T__) && defined(__FLT64X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f32 + 0.0f64x), _Float64x>::value); |
| static_assert (is_same<decltype (0.0F64x + 0.0F32), _Float64x>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT32_T__) && defined(__FLT128X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f32 + 0.0f128x), _Float128x>::value); |
| static_assert (is_same<decltype (0.0F128x + 0.0F32), _Float128x>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT64_T__) && defined(__STDCPP_FLOAT128_T__) |
| static_assert (!is_same<float64_t, float128_t>::value); |
| static_assert (is_same<decltype (0.0f64 + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0F64), float128_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT64_T__) && defined(__FLT32X_MANT_DIG__) \ |
| && __FLT64_MAX_EXP__ == __FLT32X_MAX_EXP__ \ |
| && __FLT64_MANT_DIG__ == __FLT32X_MANT_DIG__ |
| static_assert (is_same<decltype (0.0f64 + 0.0f32x), float64_t>::value); |
| static_assert (is_same<decltype (0.0F32x + 0.0F64), float64_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT64_T__) && defined(__FLT64X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f64 + 0.0f64x), _Float64x>::value); |
| static_assert (is_same<decltype (0.0F64x + 0.0F64), _Float64x>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT64_T__) && defined(__FLT128X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f64 + 0.0f128x), _Float128x>::value); |
| static_assert (is_same<decltype (0.0F128x + 0.0F64), _Float128x>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT128_T__) && defined(__FLT32X_MANT_DIG__) \ |
| && __FLT128_MAX_EXP__ >= __FLT32X_MAX_EXP__ \ |
| && __FLT128_MANT_DIG__ >= __FLT32X_MANT_DIG__ |
| static_assert (is_same<decltype (0.0f128 + 0.0f32x), float128_t>::value); |
| static_assert (is_same<decltype (0.0F32x + 0.0F128), float128_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT128_T__) && defined(__FLT64X_MANT_DIG__) \ |
| && __FLT128_MAX_EXP__ >= __FLT64X_MAX_EXP__ \ |
| && __FLT128_MANT_DIG__ >= __FLT64X_MANT_DIG__ |
| static_assert (is_same<decltype (0.0f128 + 0.0f64x), float128_t>::value); |
| static_assert (is_same<decltype (0.0F64x + 0.0F128), float128_t>::value); |
| #endif |
| #if defined(__STDCPP_FLOAT128_T__) && defined(__FLT128X_MANT_DIG__) |
| static_assert (is_same<decltype (0.0f128 + 0.0f128x), _Float128>::value); |
| static_assert (is_same<decltype (0.0F128x + 0.0F128), _Float128>::value); |
| #endif |
| #if defined(__STDCPP_BFLOAT16_T__) && defined(__STDCPP_FLOAT32_T__) |
| static_assert (!is_same<bfloat16_t, float32_t>::value); |
| static_assert (is_same<decltype (0.0bf16 + 0.0f32), float32_t>::value); |
| static_assert (is_same<decltype (0.0F32 + 0.0BF16), float32_t>::value); |
| #endif |
| #if defined(__STDCPP_BFLOAT16_T__) && defined(__STDCPP_FLOAT64_T__) |
| static_assert (!is_same<bfloat16_t, float64_t>::value); |
| static_assert (is_same<decltype (0.0bf16 + 0.0f64), float64_t>::value); |
| static_assert (is_same<decltype (0.0F64 + 0.0BF16), float64_t>::value); |
| #endif |
| #if defined(__STDCPP_BFLOAT16_T__) && defined(__STDCPP_FLOAT128_T__) |
| static_assert (!is_same<bfloat16_t, float128_t>::value); |
| static_assert (is_same<decltype (0.0bf16 + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0BF16), float128_t>::value); |
| #endif |
| #ifdef __STDCPP_FLOAT16_T__ |
| #if __FLT_MAX_EXP__ > __FLT16_MAX_EXP__ && __FLT_MANT_DIG__ > __FLT16_MANT_DIG__ |
| static_assert (is_same<decltype (0.0f + 0.0f16), float>::value); |
| static_assert (is_same<decltype (0.0F16 + 0.0F), float>::value); |
| #endif |
| #if __DBL_MAX_EXP__ > __FLT16_MAX_EXP__ && __DBL_MANT_DIG__ > __FLT16_MANT_DIG__ |
| static_assert (is_same<decltype (0.0 + 0.0f16), double>::value); |
| static_assert (is_same<decltype (0.0F16 + 0.0), double>::value); |
| #endif |
| #if __LDBL_MAX_EXP__ > __FLT16_MAX_EXP__ && __LDBL_MANT_DIG__ > __FLT16_MANT_DIG__ |
| static_assert (is_same<decltype (0.0L + 0.0f16), long double>::value); |
| static_assert (is_same<decltype (0.0F16 + 0.0l), long double>::value); |
| #endif |
| #endif |
| #ifdef __STDCPP_FLOAT32_T__ |
| #if __FLT_MAX_EXP__ == __FLT32_MAX_EXP__ && __FLT_MANT_DIG__ == __FLT32_MANT_DIG__ |
| static_assert (is_same<decltype (0.0f + 0.0f32), float32_t>::value); |
| static_assert (is_same<decltype (0.0F32 + 0.0F), float32_t>::value); |
| #endif |
| #if __DBL_MAX_EXP__ > __FLT32_MAX_EXP__ && __DBL_MANT_DIG__ > __FLT32_MANT_DIG__ |
| static_assert (is_same<decltype (0.0 + 0.0f32), double>::value); |
| static_assert (is_same<decltype (0.0F32 + 0.0), double>::value); |
| #endif |
| #if __LDBL_MAX_EXP__ > __FLT32_MAX_EXP__ && __LDBL_MANT_DIG__ > __FLT32_MANT_DIG__ |
| static_assert (is_same<decltype (0.0L + 0.0f32), long double>::value); |
| static_assert (is_same<decltype (0.0F32 + 0.0l), long double>::value); |
| #endif |
| #endif |
| #ifdef __STDCPP_FLOAT64_T__ |
| #if __FLT_MAX_EXP__ < __FLT64_MAX_EXP__ && __FLT_MANT_DIG__ < __FLT64_MANT_DIG__ |
| static_assert (is_same<decltype (0.0f + 0.0f64), float64_t>::value); |
| static_assert (is_same<decltype (0.0F64 + 0.0F), float64_t>::value); |
| #endif |
| #if __DBL_MAX_EXP__ == __FLT64_MAX_EXP__ && __DBL_MANT_DIG__ == __FLT64_MANT_DIG__ |
| static_assert (is_same<decltype (0.0 + 0.0f64), float64_t>::value); |
| static_assert (is_same<decltype (0.0F64 + 0.0), float64_t>::value); |
| #endif |
| #if __LDBL_MAX_EXP__ > __FLT64_MAX_EXP__ && __LDBL_MANT_DIG__ > __FLT64_MANT_DIG__ |
| static_assert (is_same<decltype (0.0L + 0.0f64), long double>::value); |
| static_assert (is_same<decltype (0.0F64 + 0.0l), long double>::value); |
| #endif |
| #if __LDBL_MAX_EXP__ == __FLT64_MAX_EXP__ && __LDBL_MANT_DIG__ == __FLT64_MANT_DIG__ \ |
| && __DBL_MAX_EXP__ == __FLT64_MAX_EXP__ && __DBL_MANT_DIG__ == __FLT64_MANT_DIG__ |
| // An extended floating-point type with the same set of values as more than one |
| // cv-unqualified standard floating-point type has a rank equal to the rank of |
| // double. |
| // Then long double will have higher rank than float64_t. |
| static_assert (is_same<decltype (0.0L + 0.0f64), long double>::value); |
| static_assert (is_same<decltype (0.0F64 + 0.0l), long double>::value); |
| #endif |
| #endif |
| #ifdef __STDCPP_FLOAT128_T__ |
| #if __FLT_MAX_EXP__ < __FLT128_MAX_EXP__ && __FLT_MANT_DIG__ < __FLT128_MANT_DIG__ |
| static_assert (is_same<decltype (0.0f + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0F), float128_t>::value); |
| #endif |
| #if __DBL_MAX_EXP__ < __FLT128_MAX_EXP__ && __DBL_MANT_DIG__ < __FLT128_MANT_DIG__ |
| static_assert (is_same<decltype (0.0 + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0), float128_t>::value); |
| #endif |
| #if __LDBL_MAX_EXP__ <= __FLT128_MAX_EXP__ && __LDBL_MANT_DIG__ <= __FLT128_MANT_DIG__ \ |
| && __LDBL_MANT_DIG__ != 106 // IBM extended long double and IEEE quad are unordered. |
| static_assert (is_same<decltype (0.0L + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0l), float128_t>::value); |
| #endif |
| #ifdef __SIZEOF_FLOAT128__ |
| static_assert (is_same<decltype (0.0Q + 0.0f128), float128_t>::value); |
| static_assert (is_same<decltype (0.0F128 + 0.0q), float128_t>::value); |
| #endif |
| #endif |
| #ifdef __STDCPP_BFLOAT16_T__ |
| #if __FLT_MAX_EXP__ > __BFLT16_MAX_EXP__ && __FLT_MANT_DIG__ > __BFLT16_MANT_DIG__ |
| static_assert (is_same<decltype (0.0f + 0.0bf16), float>::value); |
| static_assert (is_same<decltype (0.0BF16 + 0.0F), float>::value); |
| #endif |
| #if __DBL_MAX_EXP__ > __BFLT16_MAX_EXP__ && __DBL_MANT_DIG__ > __BFLT16_MANT_DIG__ |
| static_assert (is_same<decltype (0.0 + 0.0bf16), double>::value); |
| static_assert (is_same<decltype (0.0BF16 + 0.0), double>::value); |
| #endif |
| #if __LDBL_MAX_EXP__ > __BFLT16_MAX_EXP__ && __LDBL_MANT_DIG__ > __BFLT16_MANT_DIG__ |
| static_assert (is_same<decltype (0.0L + 0.0bf16), long double>::value); |
| static_assert (is_same<decltype (0.0BF16 + 0.0l), long double>::value); |
| #endif |
| #endif |
| |
| void foo (float) {} |
| void foo (double) {} |
| void foo (long double) {} |
| #ifdef __STDCPP_FLOAT16_T__ |
| void foo (float16_t) {} |
| #endif |
| #ifdef __STDCPP_FLOAT32_T__ |
| void foo (float32_t) {} |
| #endif |
| #ifdef __STDCPP_FLOAT64_T__ |
| void foo (float64_t) {} |
| #endif |
| #ifdef __STDCPP_FLOAT128_T__ |
| void foo (float128_t) {} |
| #endif |
| #ifdef __STDCPP_BFLOAT16_T__ |
| void foo (bfloat16_t) {} |
| #endif |
| #ifdef __FLT32X_MANT_DIG__ |
| void foo (_Float32x) {} |
| #endif |
| #ifdef __FLT64X_MANT_DIG__ |
| void foo (_Float64x) {} |
| #endif |
| #ifdef __FLT128X_MANT_DIG__ |
| void foo (_Float128x) {} |
| #endif |
