15a83710eSEric Fiselier //===----------------------------------------------------------------------===// 25a83710eSEric Fiselier // 3*57b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*57b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information. 5*57b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 65a83710eSEric Fiselier // 75a83710eSEric Fiselier //===----------------------------------------------------------------------===// 85a83710eSEric Fiselier 95a83710eSEric Fiselier // <functional> 105a83710eSEric Fiselier 115a83710eSEric Fiselier // template <class T> 125a83710eSEric Fiselier // struct hash 135a83710eSEric Fiselier // : public unary_function<T, size_t> 145a83710eSEric Fiselier // { 155a83710eSEric Fiselier // size_t operator()(T val) const; 165a83710eSEric Fiselier // }; 175a83710eSEric Fiselier 185a83710eSEric Fiselier #include <functional> 195a83710eSEric Fiselier #include <cassert> 205a83710eSEric Fiselier #include <type_traits> 21df5ddf2cSMarshall Clow #include <cstddef> 225a83710eSEric Fiselier #include <limits> 235a83710eSEric Fiselier 245f15481fSEric Fiselier #include "test_macros.h" 255f15481fSEric Fiselier 265a83710eSEric Fiselier template <class T> 275a83710eSEric Fiselier void 285a83710eSEric Fiselier test() 295a83710eSEric Fiselier { 30d95510ebSMarshall Clow typedef std::hash<T> H; 31d95510ebSMarshall Clow static_assert((std::is_same<typename H::argument_type, T>::value), "" ); 32d95510ebSMarshall Clow static_assert((std::is_same<typename H::result_type, std::size_t>::value), "" ); 337c803385SMarshall Clow ASSERT_NOEXCEPT(H()(T())); 34d95510ebSMarshall Clow H h; 35d95510ebSMarshall Clow 365a83710eSEric Fiselier for (int i = 0; i <= 5; ++i) 375a83710eSEric Fiselier { 38f2e24f56SStephan T. Lavavej T t(static_cast<T>(i)); 393d26ee29SStephan T. Lavavej const bool small = std::integral_constant<bool, sizeof(T) <= sizeof(std::size_t)>::value; // avoid compiler warnings 403d26ee29SStephan T. Lavavej if (small) 415f15481fSEric Fiselier { 425f15481fSEric Fiselier const std::size_t result = h(t); 43c71bd55bSEric Fiselier LIBCPP_ASSERT(result == static_cast<size_t>(t)); 445f15481fSEric Fiselier ((void)result); // Prevent unused warning 455f15481fSEric Fiselier } 465a83710eSEric Fiselier } 475a83710eSEric Fiselier } 485a83710eSEric Fiselier 495a83710eSEric Fiselier int main() 505a83710eSEric Fiselier { 515a83710eSEric Fiselier test<bool>(); 525a83710eSEric Fiselier test<char>(); 535a83710eSEric Fiselier test<signed char>(); 545a83710eSEric Fiselier test<unsigned char>(); 555a83710eSEric Fiselier test<char16_t>(); 565a83710eSEric Fiselier test<char32_t>(); 575a83710eSEric Fiselier test<wchar_t>(); 585a83710eSEric Fiselier test<short>(); 595a83710eSEric Fiselier test<unsigned short>(); 605a83710eSEric Fiselier test<int>(); 615a83710eSEric Fiselier test<unsigned int>(); 625a83710eSEric Fiselier test<long>(); 635a83710eSEric Fiselier test<unsigned long>(); 645a83710eSEric Fiselier test<long long>(); 655a83710eSEric Fiselier test<unsigned long long>(); 661867554cSMarshall Clow 671867554cSMarshall Clow // LWG #2119 68df5ddf2cSMarshall Clow test<std::ptrdiff_t>(); 691867554cSMarshall Clow test<size_t>(); 701867554cSMarshall Clow 711867554cSMarshall Clow test<int8_t>(); 721867554cSMarshall Clow test<int16_t>(); 731867554cSMarshall Clow test<int32_t>(); 741867554cSMarshall Clow test<int64_t>(); 751867554cSMarshall Clow 761867554cSMarshall Clow test<int_fast8_t>(); 771867554cSMarshall Clow test<int_fast16_t>(); 781867554cSMarshall Clow test<int_fast32_t>(); 791867554cSMarshall Clow test<int_fast64_t>(); 801867554cSMarshall Clow 811867554cSMarshall Clow test<int_least8_t>(); 821867554cSMarshall Clow test<int_least16_t>(); 831867554cSMarshall Clow test<int_least32_t>(); 841867554cSMarshall Clow test<int_least64_t>(); 851867554cSMarshall Clow 861867554cSMarshall Clow test<intmax_t>(); 871867554cSMarshall Clow test<intptr_t>(); 881867554cSMarshall Clow 891867554cSMarshall Clow test<uint8_t>(); 901867554cSMarshall Clow test<uint16_t>(); 911867554cSMarshall Clow test<uint32_t>(); 921867554cSMarshall Clow test<uint64_t>(); 931867554cSMarshall Clow 941867554cSMarshall Clow test<uint_fast8_t>(); 951867554cSMarshall Clow test<uint_fast16_t>(); 961867554cSMarshall Clow test<uint_fast32_t>(); 971867554cSMarshall Clow test<uint_fast64_t>(); 981867554cSMarshall Clow 991867554cSMarshall Clow test<uint_least8_t>(); 1001867554cSMarshall Clow test<uint_least16_t>(); 1011867554cSMarshall Clow test<uint_least32_t>(); 1021867554cSMarshall Clow test<uint_least64_t>(); 1031867554cSMarshall Clow 1041867554cSMarshall Clow test<uintmax_t>(); 1051867554cSMarshall Clow test<uintptr_t>(); 106df691e18SEric Fiselier 107df691e18SEric Fiselier #ifndef _LIBCPP_HAS_NO_INT128 108df691e18SEric Fiselier test<__int128_t>(); 109df691e18SEric Fiselier test<__uint128_t>(); 110df691e18SEric Fiselier #endif 1115a83710eSEric Fiselier } 112