54 lines · cpp
1//===----------------------------------------------------------------------===//2//3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.4// See https://llvm.org/LICENSE.txt for license information.5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception6//7//===----------------------------------------------------------------------===//8 9// bitset<N> operator&(const bitset<N>& lhs, const bitset<N>& rhs); // constexpr since C++2310 11#include <bitset>12#include <cassert>13#include <cstddef>14#include <vector>15 16#include "../bitset_test_cases.h"17#include "test_macros.h"18 19template <std::size_t N>20TEST_CONSTEXPR_CXX23 void test_op_and() {21 std::vector<std::bitset<N> > const cases = get_test_cases<N>();22 for (std::size_t c1 = 0; c1 != cases.size(); ++c1) {23 for (std::size_t c2 = 0; c2 != cases.size(); ++c2) {24 std::bitset<N> v1 = cases[c1];25 std::bitset<N> v2 = cases[c2];26 std::bitset<N> v3 = v1;27 assert((v1 & v2) == (v3 &= v2));28 }29 }30}31 32TEST_CONSTEXPR_CXX23 bool test() {33 test_op_and<0>();34 test_op_and<1>();35 test_op_and<31>();36 test_op_and<32>();37 test_op_and<33>();38 test_op_and<63>();39 test_op_and<64>();40 test_op_and<65>();41 42 return true;43}44 45int main(int, char**) {46 test();47 test_op_and<1000>(); // not in constexpr because of constexpr evaluation step limits48#if TEST_STD_VER > 2049 static_assert(test());50#endif51 52 return 0;53}54