1c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
2c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
3c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//                     The LLVM Compiler Infrastructure
4c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
7c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//
8c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant//===----------------------------------------------------------------------===//
9c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
10c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// test bitset<N>& operator<<=(size_t pos);
11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <bitset>
13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cstdlib>
14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert>
15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
1697ecd6491374d756bd9c6da9ef84ab173f5049d6Howard Hinnant#pragma clang diagnostic ignored "-Wtautological-compare"
1797ecd6491374d756bd9c6da9ef84ab173f5049d6Howard Hinnant
18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <std::size_t N>
19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstd::bitset<N>
20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantmake_bitset()
21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    std::bitset<N> v;
23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    for (std::size_t i = 0; i < N; ++i)
24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        v[i] = static_cast<bool>(std::rand() & 1);
25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    return v;
26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <std::size_t N>
29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_left_shift()
30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    for (std::size_t s = 0; s <= N+1; ++s)
32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::bitset<N> v1 = make_bitset<N>();
34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::bitset<N> v2 = v1;
35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        v1 <<= s;
36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        for (std::size_t i = 0; i < N; ++i)
37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            if (i < s)
38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant                assert(v1[i] == 0);
39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant            else
40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant                assert(v1[i] == v2[i-s]);
41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main()
45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<0>();
47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<1>();
48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<31>();
49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<32>();
50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<33>();
51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<63>();
52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<64>();
53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<65>();
54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_left_shift<1000>();
55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
56