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 bitset<N> operator>>(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" 17e803cc52SStephan T. Lavavej #include "test_macros.h" 18e803cc52SStephan T. Lavavej 195a83710eSEric Fiselier template <std::size_t N> test_right_shift()2063aeadb4SLouis Dionnevoid test_right_shift() { 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 for (std::size_t s = 0; s <= N+1; ++s) { 2463aeadb4SLouis Dionne std::bitset<N> v1 = cases[c]; 255a83710eSEric Fiselier std::bitset<N> v2 = v1; 265a83710eSEric Fiselier assert((v1 >>= s) == (v2 >> s)); 275a83710eSEric Fiselier } 285a83710eSEric Fiselier } 2963aeadb4SLouis Dionne } 305a83710eSEric Fiselier main(int,char **)3163aeadb4SLouis Dionneint main(int, char**) { 325a83710eSEric Fiselier test_right_shift<0>(); 335a83710eSEric Fiselier test_right_shift<1>(); 345a83710eSEric Fiselier test_right_shift<31>(); 355a83710eSEric Fiselier test_right_shift<32>(); 365a83710eSEric Fiselier test_right_shift<33>(); 375a83710eSEric Fiselier test_right_shift<63>(); 385a83710eSEric Fiselier test_right_shift<64>(); 395a83710eSEric Fiselier test_right_shift<65>(); 405a83710eSEric Fiselier test_right_shift<1000>(); 412df59c50SJF Bastien 422df59c50SJF Bastien return 0; 435a83710eSEric Fiselier } 44