1bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 2bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 3f5256e16dfc425c1d466f6308d4026d529ce9e0bHoward Hinnant// The LLVM Compiler Infrastructure 4bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open 6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details. 7bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// 8bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant//===----------------------------------------------------------------------===// 9bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 10bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// test numeric_limits 11bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 12bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant// signaling_NaN() 13bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 14bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <limits> 15bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cmath> 16bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <type_traits> 17bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#include <cassert> 18bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 19bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 20bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 21bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest_imp(std::true_type) 22bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 23bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::isnan(std::numeric_limits<T>::signaling_NaN())); 24bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::isnan(std::numeric_limits<const T>::signaling_NaN())); 25bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::isnan(std::numeric_limits<volatile T>::signaling_NaN())); 26bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::isnan(std::numeric_limits<const volatile T>::signaling_NaN())); 27bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 28bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 29bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 30bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 31bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest_imp(std::false_type) 32bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 33bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::numeric_limits<T>::signaling_NaN() == T()); 34bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::numeric_limits<const T>::signaling_NaN() == T()); 35bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::numeric_limits<volatile T>::signaling_NaN() == T()); 36bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant assert(std::numeric_limits<const volatile T>::signaling_NaN() == T()); 37bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 38bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 39bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttemplate <class T> 40bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantinline 41bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantvoid 42bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnanttest() 43bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 44bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test_imp<T>(std::is_floating_point<T>()); 45bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 46bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant 47bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnantint main() 48bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant{ 49bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<bool>(); 50bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<char>(); 51bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<signed char>(); 52bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<unsigned char>(); 53bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<wchar_t>(); 54bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant#ifndef _LIBCPP_HAS_NO_UNICODE_CHARS 55bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<char16_t>(); 56bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<char32_t>(); 57cf6dcc35e14a3d2dafe67cf76a200b2e1a671e7dHoward Hinnant#endif // _LIBCPP_HAS_NO_UNICODE_CHARS 58bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<short>(); 59bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<unsigned short>(); 60bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<int>(); 61bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<unsigned int>(); 62bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<long>(); 63bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<unsigned long>(); 64bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<long long>(); 65bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<unsigned long long>(); 668a71d236336705a49257d43ac8d986ba3d5f5060Stephan Tolksdorf#ifndef _LIBCPP_HAS_NO_INT128 678a71d236336705a49257d43ac8d986ba3d5f5060Stephan Tolksdorf test<__int128_t>(); 688a71d236336705a49257d43ac8d986ba3d5f5060Stephan Tolksdorf test<__uint128_t>(); 698a71d236336705a49257d43ac8d986ba3d5f5060Stephan Tolksdorf#endif 70bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<float>(); 71bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<double>(); 72bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant test<long double>(); 73bc8d3f97eb5c958007f2713238472e0c1c8fe02Howard Hinnant} 74