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(string, pos, n, zero, one);
11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <bitset>
13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert>
14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
1597ecd6491374d756bd9c6da9ef84ab173f5049d6Howard Hinnant#pragma clang diagnostic ignored "-Wtautological-compare"
1697ecd6491374d756bd9c6da9ef84ab173f5049d6Howard Hinnant
17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <std::size_t N>
18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_string_ctor()
19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
20c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
21c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    try
22c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
23c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::string str("xxx1010101010xxxx");
24c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::bitset<N> v(str, str.size()+1, 10);
25c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(false);
26c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
27c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    catch (std::out_of_range&)
28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    try
34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::string str("xxx1010101010xxxx");
36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::bitset<N> v(str, 2, 10);
37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(false);
38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    catch (std::invalid_argument&)
40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
44c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
45c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    std::string str("xxx1010101010xxxx");
46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    std::bitset<N> v(str, 3, 10);
47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    std::size_t M = std::min<std::size_t>(N, 10);
48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    for (std::size_t i = 0; i < M; ++i)
49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(v[i] == (str[3 + M - 1 - i] == '1'));
50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    for (std::size_t i = 10; i < N; ++i)
51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(v[i] == false);
52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    try
56c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
57c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::string str("xxxbababababaxxxx");
58c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        std::bitset<N> v(str, 2, 10, 'a', 'b');
59c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(false);
60c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
61c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    catch (std::invalid_argument&)
62c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
63c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
64c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
65c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
66c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    {
67c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    std::string str("xxxbababababaxxxx");
68c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    std::bitset<N> v(str, 3, 10, 'a', 'b');
69c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    std::size_t M = std::min<std::size_t>(N, 10);
70c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    for (std::size_t i = 0; i < M; ++i)
71c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(v[i] == (str[3 + M - 1 - i] == 'b'));
72c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    for (std::size_t i = 10; i < N; ++i)
73c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant        assert(v[i] == false);
74c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    }
75c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
76c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant
77c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main()
78c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{
79c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<0>();
80c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<1>();
81c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<31>();
82c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<32>();
83c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<33>();
84c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<63>();
85c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<64>();
86c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<65>();
87c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant    test_string_ctor<1000>();
88c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant}
89