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 <bitset> 195a83710eSEric Fiselier #include <cassert> 205a83710eSEric Fiselier #include <type_traits> 215a83710eSEric Fiselier 2278f8ce48SEric Fiselier #include "test_macros.h" 2378f8ce48SEric Fiselier 245a83710eSEric Fiselier template <std::size_t N> 255a83710eSEric Fiselier void 265a83710eSEric Fiselier test() 275a83710eSEric Fiselier { 285a83710eSEric Fiselier typedef std::bitset<N> T; 295a83710eSEric Fiselier typedef std::hash<T> H; 30d95510ebSMarshall Clow static_assert((std::is_same<typename H::argument_type, T>::value), "" ); 31d95510ebSMarshall Clow static_assert((std::is_same<typename H::result_type, std::size_t>::value), "" ); 327c803385SMarshall Clow ASSERT_NOEXCEPT(H()(T())); 337c803385SMarshall Clow 345a83710eSEric Fiselier H h; 355a83710eSEric Fiselier T bs(static_cast<unsigned long long>(N)); 3678f8ce48SEric Fiselier const std::size_t result = h(bs); 3778f8ce48SEric Fiselier LIBCPP_ASSERT(result == N); 3878f8ce48SEric Fiselier ((void)result); // Prevent unused warning 395a83710eSEric Fiselier } 405a83710eSEric Fiselier 415a83710eSEric Fiselier int main() 425a83710eSEric Fiselier { 435a83710eSEric Fiselier test<0>(); 445a83710eSEric Fiselier test<10>(); 455a83710eSEric Fiselier test<100>(); 465a83710eSEric Fiselier test<1000>(); 475a83710eSEric Fiselier } 48