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 Dionnevoid 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 Dionneint 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