15a83710eSEric Fiselier //===----------------------------------------------------------------------===// 25a83710eSEric Fiselier // 35a83710eSEric Fiselier // The LLVM Compiler Infrastructure 45a83710eSEric Fiselier // 55a83710eSEric Fiselier // This file is dual licensed under the MIT and the University of Illinois Open 65a83710eSEric Fiselier // Source Licenses. See LICENSE.TXT for details. 75a83710eSEric Fiselier // 85a83710eSEric Fiselier //===----------------------------------------------------------------------===// 95a83710eSEric Fiselier 105a83710eSEric Fiselier // <functional> 115a83710eSEric Fiselier 125a83710eSEric Fiselier // template <class T> 135a83710eSEric Fiselier // struct hash 145a83710eSEric Fiselier // : public unary_function<T, size_t> 155a83710eSEric Fiselier // { 165a83710eSEric Fiselier // size_t operator()(T val) const; 175a83710eSEric Fiselier // }; 185a83710eSEric Fiselier 195a83710eSEric Fiselier #include <functional> 205a83710eSEric Fiselier #include <cassert> 215a83710eSEric Fiselier #include <type_traits> 22df5ddf2cSMarshall Clow #include <cstddef> 235a83710eSEric Fiselier #include <limits> 245a83710eSEric Fiselier 255f15481fSEric Fiselier #include "test_macros.h" 265f15481fSEric Fiselier 275a83710eSEric Fiselier template <class T> 285a83710eSEric Fiselier void 295a83710eSEric Fiselier test() 305a83710eSEric Fiselier { 31d95510ebSMarshall Clow typedef std::hash<T> H; 32d95510ebSMarshall Clow static_assert((std::is_same<typename H::argument_type, T>::value), "" ); 33d95510ebSMarshall Clow static_assert((std::is_same<typename H::result_type, std::size_t>::value), "" ); 34*7c803385SMarshall Clow ASSERT_NOEXCEPT(H()(T())); 35d95510ebSMarshall Clow H h; 36d95510ebSMarshall Clow 375a83710eSEric Fiselier for (int i = 0; i <= 5; ++i) 385a83710eSEric Fiselier { 39f2e24f56SStephan T. Lavavej T t(static_cast<T>(i)); 403d26ee29SStephan T. Lavavej const bool small = std::integral_constant<bool, sizeof(T) <= sizeof(std::size_t)>::value; // avoid compiler warnings 413d26ee29SStephan T. Lavavej if (small) 425f15481fSEric Fiselier { 435f15481fSEric Fiselier const std::size_t result = h(t); 44c71bd55bSEric Fiselier LIBCPP_ASSERT(result == static_cast<size_t>(t)); 455f15481fSEric Fiselier ((void)result); // Prevent unused warning 465f15481fSEric Fiselier } 475a83710eSEric Fiselier } 485a83710eSEric Fiselier } 495a83710eSEric Fiselier 505a83710eSEric Fiselier int main() 515a83710eSEric Fiselier { 525a83710eSEric Fiselier test<bool>(); 535a83710eSEric Fiselier test<char>(); 545a83710eSEric Fiselier test<signed char>(); 555a83710eSEric Fiselier test<unsigned char>(); 565a83710eSEric Fiselier test<char16_t>(); 575a83710eSEric Fiselier test<char32_t>(); 585a83710eSEric Fiselier test<wchar_t>(); 595a83710eSEric Fiselier test<short>(); 605a83710eSEric Fiselier test<unsigned short>(); 615a83710eSEric Fiselier test<int>(); 625a83710eSEric Fiselier test<unsigned int>(); 635a83710eSEric Fiselier test<long>(); 645a83710eSEric Fiselier test<unsigned long>(); 655a83710eSEric Fiselier test<long long>(); 665a83710eSEric Fiselier test<unsigned long long>(); 671867554cSMarshall Clow 681867554cSMarshall Clow // LWG #2119 69df5ddf2cSMarshall Clow test<std::ptrdiff_t>(); 701867554cSMarshall Clow test<size_t>(); 711867554cSMarshall Clow 721867554cSMarshall Clow test<int8_t>(); 731867554cSMarshall Clow test<int16_t>(); 741867554cSMarshall Clow test<int32_t>(); 751867554cSMarshall Clow test<int64_t>(); 761867554cSMarshall Clow 771867554cSMarshall Clow test<int_fast8_t>(); 781867554cSMarshall Clow test<int_fast16_t>(); 791867554cSMarshall Clow test<int_fast32_t>(); 801867554cSMarshall Clow test<int_fast64_t>(); 811867554cSMarshall Clow 821867554cSMarshall Clow test<int_least8_t>(); 831867554cSMarshall Clow test<int_least16_t>(); 841867554cSMarshall Clow test<int_least32_t>(); 851867554cSMarshall Clow test<int_least64_t>(); 861867554cSMarshall Clow 871867554cSMarshall Clow test<intmax_t>(); 881867554cSMarshall Clow test<intptr_t>(); 891867554cSMarshall Clow 901867554cSMarshall Clow test<uint8_t>(); 911867554cSMarshall Clow test<uint16_t>(); 921867554cSMarshall Clow test<uint32_t>(); 931867554cSMarshall Clow test<uint64_t>(); 941867554cSMarshall Clow 951867554cSMarshall Clow test<uint_fast8_t>(); 961867554cSMarshall Clow test<uint_fast16_t>(); 971867554cSMarshall Clow test<uint_fast32_t>(); 981867554cSMarshall Clow test<uint_fast64_t>(); 991867554cSMarshall Clow 1001867554cSMarshall Clow test<uint_least8_t>(); 1011867554cSMarshall Clow test<uint_least16_t>(); 1021867554cSMarshall Clow test<uint_least32_t>(); 1031867554cSMarshall Clow test<uint_least64_t>(); 1041867554cSMarshall Clow 1051867554cSMarshall Clow test<uintmax_t>(); 1061867554cSMarshall Clow test<uintptr_t>(); 107df691e18SEric Fiselier 108df691e18SEric Fiselier #ifndef _LIBCPP_HAS_NO_INT128 109df691e18SEric Fiselier test<__int128_t>(); 110df691e18SEric Fiselier test<__uint128_t>(); 111df691e18SEric Fiselier #endif 1125a83710eSEric Fiselier } 113