15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier 
95a83710eSEric Fiselier // test constexpr bool test(size_t pos) const;
105a83710eSEric Fiselier 
115a83710eSEric Fiselier #include <bitset>
125a83710eSEric Fiselier #include <cassert>
1363aeadb4SLouis Dionne #include <cstddef>
1463aeadb4SLouis Dionne #include <vector>
155a83710eSEric Fiselier 
16*bd8884f0SLouis Dionne #include "../bitset_test_cases.h"
17aee391b5SRoger Ferrer Ibanez #include "test_macros.h"
18aee391b5SRoger Ferrer Ibanez 
195a83710eSEric Fiselier template <std::size_t N>
test_test()2063aeadb4SLouis Dionne void test_test() {
2163aeadb4SLouis Dionne     std::vector<std::bitset<N> > const cases = get_test_cases<N>();
2263aeadb4SLouis Dionne     for (std::size_t c = 0; c != cases.size(); ++c) {
2363aeadb4SLouis Dionne         std::bitset<N> const v = cases[c];
2463aeadb4SLouis Dionne         if (v.size() > 0) {
2563aeadb4SLouis Dionne             std::size_t middle = v.size() / 2;
2663aeadb4SLouis Dionne             bool b = v.test(middle);
2763aeadb4SLouis Dionne             assert(b == v[middle]);
2863aeadb4SLouis Dionne         }
2963aeadb4SLouis Dionne     }
305a83710eSEric Fiselier }
315a83710eSEric Fiselier 
main(int,char **)3263aeadb4SLouis Dionne int main(int, char**) {
3363aeadb4SLouis Dionne     test_test<0>();
3463aeadb4SLouis Dionne     test_test<1>();
3563aeadb4SLouis Dionne     test_test<31>();
3663aeadb4SLouis Dionne     test_test<32>();
3763aeadb4SLouis Dionne     test_test<33>();
3863aeadb4SLouis Dionne     test_test<63>();
3963aeadb4SLouis Dionne     test_test<64>();
4063aeadb4SLouis Dionne     test_test<65>();
4163aeadb4SLouis Dionne     test_test<1000>();
422df59c50SJF Bastien 
432df59c50SJF Bastien     return 0;
445a83710eSEric Fiselier }
45