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: 11c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 12c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// bool operator==(const bitset<N>& rhs) const; 13c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant// bool operator!=(const bitset<N>& rhs) const; 14c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 15c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <bitset> 16c3564b92bcaa73fefde1cf5f7e159069f66f797cStephan T. Lavavej#include <type_traits> 17c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cstdlib> 18c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant#include <cassert> 19c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 20c79549b70e66c251c15dd145c964edb70fa2e2b3Dan Albert#include "test_macros.h" 21c79549b70e66c251c15dd145c964edb70fa2e2b3Dan Albert 22c79549b70e66c251c15dd145c964edb70fa2e2b3Dan Albert#if defined(TEST_COMPILER_CLANG) 2397ecd6491374d756bd9c6da9ef84ab173f5049d6Howard Hinnant#pragma clang diagnostic ignored "-Wtautological-compare" 24c79549b70e66c251c15dd145c964edb70fa2e2b3Dan Albert#elif defined(TEST_COMPILER_C1XX) 25c79549b70e66c251c15dd145c964edb70fa2e2b3Dan Albert#pragma warning(disable: 6294) // Ill-defined for-loop: initial condition does not satisfy test. Loop body not executed. 264596c2919563b1a2c85285a8be96c74b1d993e75Eric Fiselier#endif 2797ecd6491374d756bd9c6da9ef84ab173f5049d6Howard Hinnant 28c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <std::size_t N> 29c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantstd::bitset<N> 30c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantmake_bitset() 31c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 32c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant std::bitset<N> v; 33c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant for (std::size_t i = 0; i < N; ++i) 34c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant v[i] = static_cast<bool>(std::rand() & 1); 35c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant return v; 36c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 37c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 38c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnanttemplate <std::size_t N> 39c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantvoid test_equality() 40c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 41c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant const std::bitset<N> v1 = make_bitset<N>(); 42c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant std::bitset<N> v2 = v1; 43c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(v1 == v2); 44c3564b92bcaa73fefde1cf5f7e159069f66f797cStephan T. Lavavej const bool greater_than_0 = std::integral_constant<bool, (N > 0)>::value; // avoid compiler warnings 45c3564b92bcaa73fefde1cf5f7e159069f66f797cStephan T. Lavavej if (greater_than_0) 46c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant { 47c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant v2[N/2].flip(); 48c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant assert(v1 != v2); 49c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant } 50c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 51c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant 52c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnantint main() 53c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant{ 54c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<0>(); 55c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<1>(); 56c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<31>(); 57c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<32>(); 58c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<33>(); 59c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<63>(); 60c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<64>(); 61c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<65>(); 62c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant test_equality<1000>(); 63c52f43e72dfcea03037729649da84c23b3beb04aHoward Hinnant} 64