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 // test numeric_limits 10 11 // denorm_min() 12 13 #include <limits> 14 #include <cfloat> 15 #include <cassert> 16 17 #include "test_macros.h" 18 19 template <class T> 20 void test(T expected)21test(T expected) 22 { 23 assert(std::numeric_limits<T>::denorm_min() == expected); 24 assert(std::numeric_limits<const T>::denorm_min() == expected); 25 assert(std::numeric_limits<volatile T>::denorm_min() == expected); 26 assert(std::numeric_limits<const volatile T>::denorm_min() == expected); 27 } 28 main(int,char **)29int main(int, char**) 30 { 31 test<bool>(false); 32 test<char>(0); 33 test<signed char>(0); 34 test<unsigned char>(0); 35 test<wchar_t>(0); 36 #if TEST_STD_VER > 17 && defined(__cpp_char8_t) 37 test<char8_t>(0); 38 #endif 39 test<char16_t>(0); 40 test<char32_t>(0); 41 test<short>(0); 42 test<unsigned short>(0); 43 test<int>(0); 44 test<unsigned int>(0); 45 test<long>(0); 46 test<unsigned long>(0); 47 test<long long>(0); 48 test<unsigned long long>(0); 49 #ifndef TEST_HAS_NO_INT128 50 test<__int128_t>(0); 51 test<__uint128_t>(0); 52 #endif 53 #if defined(__FLT_DENORM_MIN__) // guarded because these macros are extensions. 54 test<float>(__FLT_DENORM_MIN__); 55 test<double>(__DBL_DENORM_MIN__); 56 test<long double>(__LDBL_DENORM_MIN__); 57 #endif 58 #if defined(FLT_TRUE_MIN) // not currently provided on linux. 59 test<float>(FLT_TRUE_MIN); 60 test<double>(DBL_TRUE_MIN); 61 test<long double>(LDBL_TRUE_MIN); 62 #endif 63 #if !defined(__FLT_DENORM_MIN__) && !defined(FLT_TRUE_MIN) 64 #error Test has no expected values for floating point types 65 #endif 66 67 return 0; 68 } 69