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 <bitset>
205a83710eSEric Fiselier #include <cassert>
215a83710eSEric Fiselier #include <type_traits>
225a83710eSEric Fiselier 
23*78f8ce48SEric Fiselier #include "test_macros.h"
24*78f8ce48SEric Fiselier 
255a83710eSEric Fiselier template <std::size_t N>
265a83710eSEric Fiselier void
275a83710eSEric Fiselier test()
285a83710eSEric Fiselier {
295a83710eSEric Fiselier     typedef std::bitset<N> T;
305a83710eSEric Fiselier     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), "" );
335a83710eSEric Fiselier     H h;
345a83710eSEric Fiselier     T bs(static_cast<unsigned long long>(N));
35*78f8ce48SEric Fiselier     const std::size_t result = h(bs);
36*78f8ce48SEric Fiselier     LIBCPP_ASSERT(result == N);
37*78f8ce48SEric Fiselier     ((void)result); // Prevent unused warning
385a83710eSEric Fiselier }
395a83710eSEric Fiselier 
405a83710eSEric Fiselier int main()
415a83710eSEric Fiselier {
425a83710eSEric Fiselier     test<0>();
435a83710eSEric Fiselier     test<10>();
445a83710eSEric Fiselier     test<100>();
455a83710eSEric Fiselier     test<1000>();
465a83710eSEric Fiselier }
47