15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier 
95a83710eSEric Fiselier // test numeric_limits
105a83710eSEric Fiselier 
115a83710eSEric Fiselier // infinity()
125a83710eSEric Fiselier 
135a83710eSEric Fiselier #include <limits>
145a83710eSEric Fiselier #include <cfloat>
155a83710eSEric Fiselier #include <cassert>
165a83710eSEric Fiselier 
1708794627SMarshall Clow #include "test_macros.h"
1808794627SMarshall Clow 
195a83710eSEric Fiselier template <class T>
205a83710eSEric Fiselier void
test(T expected)215a83710eSEric Fiselier test(T expected)
225a83710eSEric Fiselier {
235a83710eSEric Fiselier     assert(std::numeric_limits<T>::infinity() == expected);
245a83710eSEric Fiselier     assert(std::numeric_limits<const T>::infinity() == expected);
255a83710eSEric Fiselier     assert(std::numeric_limits<volatile T>::infinity() == expected);
265a83710eSEric Fiselier     assert(std::numeric_limits<const volatile T>::infinity() == expected);
275a83710eSEric Fiselier }
285a83710eSEric Fiselier 
295a83710eSEric Fiselier extern float zero;
305a83710eSEric Fiselier 
main(int,char **)312df59c50SJF Bastien int main(int, char**)
325a83710eSEric Fiselier {
335a83710eSEric Fiselier     test<bool>(false);
345a83710eSEric Fiselier     test<char>(0);
355a83710eSEric Fiselier     test<signed char>(0);
365a83710eSEric Fiselier     test<unsigned char>(0);
375a83710eSEric Fiselier     test<wchar_t>(0);
3808794627SMarshall Clow #if TEST_STD_VER > 17 && defined(__cpp_char8_t)
3908794627SMarshall Clow     test<char8_t>(0);
4008794627SMarshall Clow #endif
415a83710eSEric Fiselier     test<char16_t>(0);
425a83710eSEric Fiselier     test<char32_t>(0);
435a83710eSEric Fiselier     test<short>(0);
445a83710eSEric Fiselier     test<unsigned short>(0);
455a83710eSEric Fiselier     test<int>(0);
465a83710eSEric Fiselier     test<unsigned int>(0);
475a83710eSEric Fiselier     test<long>(0);
485a83710eSEric Fiselier     test<unsigned long>(0);
495a83710eSEric Fiselier     test<long long>(0);
505a83710eSEric Fiselier     test<unsigned long long>(0);
51*8f972cb0SMark de Wever #ifndef TEST_HAS_NO_INT128
525a83710eSEric Fiselier     test<__int128_t>(0);
535a83710eSEric Fiselier     test<__uint128_t>(0);
545a83710eSEric Fiselier #endif
55f2e24f56SStephan T. Lavavej     test<float>(1.f/zero);
565a83710eSEric Fiselier     test<double>(1./zero);
575a83710eSEric Fiselier     test<long double>(1./zero);
582df59c50SJF Bastien 
592df59c50SJF Bastien   return 0;
605a83710eSEric Fiselier }
615a83710eSEric Fiselier 
625a83710eSEric Fiselier float zero = 0;
63