xref: /dflybsd-src/contrib/gcc-8.0/libstdc++-v3/include/tr2/dynamic_bitset.tcc (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
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