1*38fd1498Szrj // TR2 <dynamic_bitset> -*- C++ -*- 2*38fd1498Szrj 3*38fd1498Szrj // Copyright (C) 2009-2018 Free Software Foundation, Inc. 4*38fd1498Szrj // 5*38fd1498Szrj // This file is part of the GNU ISO C++ Library. This library is free 6*38fd1498Szrj // software; you can redistribute it and/or modify it under the 7*38fd1498Szrj // terms of the GNU General Public License as published by the 8*38fd1498Szrj // Free Software Foundation; either version 3, or (at your option) 9*38fd1498Szrj // any later version. 10*38fd1498Szrj 11*38fd1498Szrj // This library is distributed in the hope that it will be useful, 12*38fd1498Szrj // but WITHOUT ANY WARRANTY; without even the implied warranty of 13*38fd1498Szrj // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14*38fd1498Szrj // GNU General Public License for more details. 15*38fd1498Szrj 16*38fd1498Szrj // Under Section 7 of GPL version 3, you are granted additional 17*38fd1498Szrj // permissions described in the GCC Runtime Library Exception, version 18*38fd1498Szrj // 3.1, as published by the Free Software Foundation. 19*38fd1498Szrj 20*38fd1498Szrj // You should have received a copy of the GNU General Public License and 21*38fd1498Szrj // a copy of the GCC Runtime Library Exception along with this program; 22*38fd1498Szrj // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see 23*38fd1498Szrj // <http://www.gnu.org/licenses/>. 24*38fd1498Szrj 25*38fd1498Szrj /** @file tr2/dynamic_bitset.tcc 26*38fd1498Szrj * This is an internal header file, included by other library headers. 27*38fd1498Szrj * Do not attempt to use it directly. @headername{tr2/dynamic_bitset} 28*38fd1498Szrj */ 29*38fd1498Szrj 30*38fd1498Szrj #ifndef _GLIBCXX_TR2_DYNAMIC_BITSET_TCC 31*38fd1498Szrj #define _GLIBCXX_TR2_DYNAMIC_BITSET_TCC 1 32*38fd1498Szrj 33*38fd1498Szrj #pragma GCC system_header 34*38fd1498Szrj 35*38fd1498Szrj namespace std _GLIBCXX_VISIBILITY(default) 36*38fd1498Szrj { 37*38fd1498Szrj _GLIBCXX_BEGIN_NAMESPACE_VERSION 38*38fd1498Szrj 39*38fd1498Szrj namespace tr2 40*38fd1498Szrj { 41*38fd1498Szrj // Definitions of non-inline functions from __dynamic_bitset_base. 42*38fd1498Szrj template<typename _WordT, typename _Alloc> 43*38fd1498Szrj void _M_do_left_shift(size_t __shift)44*38fd1498Szrj __dynamic_bitset_base<_WordT, _Alloc>::_M_do_left_shift(size_t __shift) 45*38fd1498Szrj { 46*38fd1498Szrj if (__builtin_expect(__shift != 0, 1)) 47*38fd1498Szrj { 48*38fd1498Szrj const size_t __wshift = __shift / _S_bits_per_block; 49*38fd1498Szrj const size_t __offset = __shift % _S_bits_per_block; 50*38fd1498Szrj 51*38fd1498Szrj if (__offset == 0) 52*38fd1498Szrj for (size_t __n = this->_M_w.size() - 1; __n >= __wshift; --__n) 53*38fd1498Szrj this->_M_w[__n] = this->_M_w[__n - __wshift]; 54*38fd1498Szrj else 55*38fd1498Szrj { 56*38fd1498Szrj const size_t __sub_offset = _S_bits_per_block - __offset; 57*38fd1498Szrj for (size_t __n = _M_w.size() - 1; __n > __wshift; --__n) 58*38fd1498Szrj this->_M_w[__n] = ((this->_M_w[__n - __wshift] << __offset) 59*38fd1498Szrj | (this->_M_w[__n - __wshift - 1] >> __sub_offset)); 60*38fd1498Szrj this->_M_w[__wshift] = this->_M_w[0] << __offset; 61*38fd1498Szrj } 62*38fd1498Szrj 63*38fd1498Szrj //// std::fill(this->_M_w.begin(), this->_M_w.begin() + __wshift, 64*38fd1498Szrj //// static_cast<_WordT>(0)); 65*38fd1498Szrj } 66*38fd1498Szrj } 67*38fd1498Szrj 68*38fd1498Szrj template<typename _WordT, typename _Alloc> 69*38fd1498Szrj void _M_do_right_shift(size_t __shift)70*38fd1498Szrj __dynamic_bitset_base<_WordT, _Alloc>::_M_do_right_shift(size_t __shift) 71*38fd1498Szrj { 72*38fd1498Szrj if (__builtin_expect(__shift != 0, 1)) 73*38fd1498Szrj { 74*38fd1498Szrj const size_t __wshift = __shift / _S_bits_per_block; 75*38fd1498Szrj const size_t __offset = __shift % _S_bits_per_block; 76*38fd1498Szrj const size_t __limit = this->_M_w.size() - __wshift - 1; 77*38fd1498Szrj 78*38fd1498Szrj if (__offset == 0) 79*38fd1498Szrj for (size_t __n = 0; __n <= __limit; ++__n) 80*38fd1498Szrj this->_M_w[__n] = this->_M_w[__n + __wshift]; 81*38fd1498Szrj else 82*38fd1498Szrj { 83*38fd1498Szrj const size_t __sub_offset = (_S_bits_per_block 84*38fd1498Szrj - __offset); 85*38fd1498Szrj for (size_t __n = 0; __n < __limit; ++__n) 86*38fd1498Szrj this->_M_w[__n] = ((this->_M_w[__n + __wshift] >> __offset) 87*38fd1498Szrj | (this->_M_w[__n + __wshift + 1] << __sub_offset)); 88*38fd1498Szrj this->_M_w[__limit] = this->_M_w[_M_w.size()-1] >> __offset; 89*38fd1498Szrj } 90*38fd1498Szrj 91*38fd1498Szrj ////std::fill(this->_M_w.begin() + __limit + 1, this->_M_w.end(), 92*38fd1498Szrj //// static_cast<_WordT>(0)); 93*38fd1498Szrj } 94*38fd1498Szrj } 95*38fd1498Szrj 96*38fd1498Szrj template<typename _WordT, typename _Alloc> 97*38fd1498Szrj unsigned long _M_do_to_ulong() const98*38fd1498Szrj __dynamic_bitset_base<_WordT, _Alloc>::_M_do_to_ulong() const 99*38fd1498Szrj { 100*38fd1498Szrj size_t __n = sizeof(unsigned long) / sizeof(block_type); 101*38fd1498Szrj for (size_t __i = __n; __i < this->_M_w.size(); ++__i) 102*38fd1498Szrj if (this->_M_w[__i]) 103*38fd1498Szrj __throw_overflow_error(__N("__dynamic_bitset_base::_M_do_to_ulong")); 104*38fd1498Szrj unsigned long __res = 0UL; 105*38fd1498Szrj for (size_t __i = 0; __i < __n && __i < this->_M_w.size(); ++__i) 106*38fd1498Szrj __res += this->_M_w[__i] << (__i * _S_bits_per_block); 107*38fd1498Szrj return __res; 108*38fd1498Szrj } 109*38fd1498Szrj 110*38fd1498Szrj template<typename _WordT, typename _Alloc> 111*38fd1498Szrj unsigned long long _M_do_to_ullong() const112*38fd1498Szrj __dynamic_bitset_base<_WordT, _Alloc>::_M_do_to_ullong() const 113*38fd1498Szrj { 114*38fd1498Szrj size_t __n = sizeof(unsigned long long) / sizeof(block_type); 115*38fd1498Szrj for (size_t __i = __n; __i < this->_M_w.size(); ++__i) 116*38fd1498Szrj if (this->_M_w[__i]) 117*38fd1498Szrj __throw_overflow_error(__N("__dynamic_bitset_base::_M_do_to_ullong")); 118*38fd1498Szrj unsigned long long __res = 0ULL; 119*38fd1498Szrj for (size_t __i = 0; __i < __n && __i < this->_M_w.size(); ++__i) 120*38fd1498Szrj __res += this->_M_w[__i] << (__i * _S_bits_per_block); 121*38fd1498Szrj return __res; 122*38fd1498Szrj } 123*38fd1498Szrj 124*38fd1498Szrj template<typename _WordT, typename _Alloc> 125*38fd1498Szrj size_t 126*38fd1498Szrj __dynamic_bitset_base<_WordT, _Alloc> _M_do_find_first(size_t __not_found) const127*38fd1498Szrj ::_M_do_find_first(size_t __not_found) const 128*38fd1498Szrj { 129*38fd1498Szrj for (size_t __i = 0; __i < this->_M_w.size(); ++__i) 130*38fd1498Szrj { 131*38fd1498Szrj _WordT __thisword = this->_M_w[__i]; 132*38fd1498Szrj if (__thisword != static_cast<_WordT>(0)) 133*38fd1498Szrj return (__i * _S_bits_per_block 134*38fd1498Szrj + __builtin_ctzll(__thisword)); 135*38fd1498Szrj } 136*38fd1498Szrj // not found, so return an indication of failure. 137*38fd1498Szrj return __not_found; 138*38fd1498Szrj } 139*38fd1498Szrj 140*38fd1498Szrj template<typename _WordT, typename _Alloc> 141*38fd1498Szrj size_t 142*38fd1498Szrj __dynamic_bitset_base<_WordT, _Alloc> _M_do_find_next(size_t __prev,size_t __not_found) const143*38fd1498Szrj ::_M_do_find_next(size_t __prev, size_t __not_found) const 144*38fd1498Szrj { 145*38fd1498Szrj // make bound inclusive 146*38fd1498Szrj ++__prev; 147*38fd1498Szrj 148*38fd1498Szrj // check out of bounds 149*38fd1498Szrj if (__prev >= this->_M_w.size() * _S_bits_per_block) 150*38fd1498Szrj return __not_found; 151*38fd1498Szrj 152*38fd1498Szrj // search first word 153*38fd1498Szrj size_t __i = _S_whichword(__prev); 154*38fd1498Szrj _WordT __thisword = this->_M_w[__i]; 155*38fd1498Szrj 156*38fd1498Szrj // mask off bits below bound 157*38fd1498Szrj __thisword &= (~static_cast<_WordT>(0)) << _S_whichbit(__prev); 158*38fd1498Szrj 159*38fd1498Szrj if (__thisword != static_cast<_WordT>(0)) 160*38fd1498Szrj return (__i * _S_bits_per_block 161*38fd1498Szrj + __builtin_ctzll(__thisword)); 162*38fd1498Szrj 163*38fd1498Szrj // check subsequent words 164*38fd1498Szrj for (++__i; __i < this->_M_w.size(); ++__i) 165*38fd1498Szrj { 166*38fd1498Szrj __thisword = this->_M_w[__i]; 167*38fd1498Szrj if (__thisword != static_cast<_WordT>(0)) 168*38fd1498Szrj return (__i * _S_bits_per_block 169*38fd1498Szrj + __builtin_ctzll(__thisword)); 170*38fd1498Szrj } 171*38fd1498Szrj // not found, so return an indication of failure. 172*38fd1498Szrj return __not_found; 173*38fd1498Szrj } // end _M_do_find_next 174*38fd1498Szrj 175*38fd1498Szrj // Definitions of non-inline member functions. 176*38fd1498Szrj template<typename _WordT, typename _Alloc> 177*38fd1498Szrj template<typename _CharT, typename _Traits> 178*38fd1498Szrj void 179*38fd1498Szrj dynamic_bitset<_WordT, _Alloc>:: _M_copy_from_ptr(const _CharT * __str,size_t __len,size_t __pos,size_t __n,_CharT __zero,_CharT __one)180*38fd1498Szrj _M_copy_from_ptr(const _CharT* __str, size_t __len, 181*38fd1498Szrj size_t __pos, size_t __n, _CharT __zero, _CharT __one) 182*38fd1498Szrj { 183*38fd1498Szrj reset(); 184*38fd1498Szrj const size_t __nbits = std::min(_M_Nb, std::min(__n, __len - __pos)); 185*38fd1498Szrj for (size_t __i = __nbits; __i > 0; --__i) 186*38fd1498Szrj { 187*38fd1498Szrj const _CharT __c = __str[__pos + __nbits - __i]; 188*38fd1498Szrj if (_Traits::eq(__c, __zero)) 189*38fd1498Szrj ; 190*38fd1498Szrj else if (_Traits::eq(__c, __one)) 191*38fd1498Szrj _M_unchecked_set(__i - 1); 192*38fd1498Szrj else 193*38fd1498Szrj __throw_invalid_argument(__N("dynamic_bitset::_M_copy_from_ptr")); 194*38fd1498Szrj } 195*38fd1498Szrj } 196*38fd1498Szrj 197*38fd1498Szrj /** 198*38fd1498Szrj * @brief Stream input operator for dynamic_bitset. 199*38fd1498Szrj * @ingroup dynamic_bitset 200*38fd1498Szrj * 201*38fd1498Szrj * Input will skip whitespace and only accept '0' and '1' characters. 202*38fd1498Szrj * The %dynamic_bitset will grow as necessary to hold the string of bits. 203*38fd1498Szrj */ 204*38fd1498Szrj template<typename _CharT, typename _Traits, 205*38fd1498Szrj typename _WordT, typename _Alloc> 206*38fd1498Szrj std::basic_istream<_CharT, _Traits>& operator >>(std::basic_istream<_CharT,_Traits> & __is,dynamic_bitset<_WordT,_Alloc> & __x)207*38fd1498Szrj operator>>(std::basic_istream<_CharT, _Traits>& __is, 208*38fd1498Szrj dynamic_bitset<_WordT, _Alloc>& __x) 209*38fd1498Szrj { 210*38fd1498Szrj typedef typename _Traits::char_type char_type; 211*38fd1498Szrj typedef std::basic_istream<_CharT, _Traits> __istream_type; 212*38fd1498Szrj typedef typename __istream_type::ios_base __ios_base; 213*38fd1498Szrj 214*38fd1498Szrj std::basic_string<_CharT, _Traits> __tmp; 215*38fd1498Szrj __tmp.reserve(__x.size()); 216*38fd1498Szrj 217*38fd1498Szrj const char_type __zero = __is.widen('0'); 218*38fd1498Szrj const char_type __one = __is.widen('1'); 219*38fd1498Szrj 220*38fd1498Szrj typename __ios_base::iostate __state = __ios_base::goodbit; 221*38fd1498Szrj typename __istream_type::sentry __sentry(__is); 222*38fd1498Szrj if (__sentry) 223*38fd1498Szrj { 224*38fd1498Szrj __try 225*38fd1498Szrj { 226*38fd1498Szrj while (1) 227*38fd1498Szrj { 228*38fd1498Szrj static typename _Traits::int_type __eof = _Traits::eof(); 229*38fd1498Szrj 230*38fd1498Szrj typename _Traits::int_type __c1 = __is.rdbuf()->sbumpc(); 231*38fd1498Szrj if (_Traits::eq_int_type(__c1, __eof)) 232*38fd1498Szrj { 233*38fd1498Szrj __state |= __ios_base::eofbit; 234*38fd1498Szrj break; 235*38fd1498Szrj } 236*38fd1498Szrj else 237*38fd1498Szrj { 238*38fd1498Szrj const char_type __c2 = _Traits::to_char_type(__c1); 239*38fd1498Szrj if (_Traits::eq(__c2, __zero)) 240*38fd1498Szrj __tmp.push_back(__zero); 241*38fd1498Szrj else if (_Traits::eq(__c2, __one)) 242*38fd1498Szrj __tmp.push_back(__one); 243*38fd1498Szrj else if (_Traits:: 244*38fd1498Szrj eq_int_type(__is.rdbuf()->sputbackc(__c2), 245*38fd1498Szrj __eof)) 246*38fd1498Szrj { 247*38fd1498Szrj __state |= __ios_base::failbit; 248*38fd1498Szrj break; 249*38fd1498Szrj } 250*38fd1498Szrj else 251*38fd1498Szrj break; 252*38fd1498Szrj } 253*38fd1498Szrj } 254*38fd1498Szrj } 255*38fd1498Szrj __catch(__cxxabiv1::__forced_unwind&) 256*38fd1498Szrj { 257*38fd1498Szrj __is._M_setstate(__ios_base::badbit); 258*38fd1498Szrj __throw_exception_again; 259*38fd1498Szrj } 260*38fd1498Szrj __catch(...) 261*38fd1498Szrj { __is._M_setstate(__ios_base::badbit); } 262*38fd1498Szrj } 263*38fd1498Szrj 264*38fd1498Szrj __x.resize(__tmp.size()); 265*38fd1498Szrj 266*38fd1498Szrj if (__tmp.empty() && __x.size()) 267*38fd1498Szrj __state |= __ios_base::failbit; 268*38fd1498Szrj else 269*38fd1498Szrj __x._M_copy_from_string(__tmp, static_cast<size_t>(0), __x.size(), 270*38fd1498Szrj __zero, __one); 271*38fd1498Szrj if (__state) 272*38fd1498Szrj __is.setstate(__state); 273*38fd1498Szrj return __is; 274*38fd1498Szrj } 275*38fd1498Szrj } // tr2 276*38fd1498Szrj 277*38fd1498Szrj _GLIBCXX_END_NAMESPACE_VERSION 278*38fd1498Szrj } // std 279*38fd1498Szrj 280*38fd1498Szrj #endif /* _GLIBCXX_TR2_DYNAMIC_BITSET_TCC */ 281