1 // TR2 <dynamic_bitset> -*- C++ -*-
3 // Copyright (C) 2009-2014 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // Under Section 7 of GPL version 3, you are granted additional
17 // permissions described in the GCC Runtime Library Exception, version
18 // 3.1, as published by the Free Software Foundation.
20 // You should have received a copy of the GNU General Public License and
21 // a copy of the GCC Runtime Library Exception along with this program;
22 // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
23 // <http://www.gnu.org/licenses/>.
25 /** @file tr2/dynamic_bitset.tcc
26 * This is an internal header file, included by other library headers.
27 * Do not attempt to use it directly. @headername{tr2/dynamic_bitset}
30 #ifndef _GLIBCXX_TR2_DYNAMIC_BITSET_TCC
31 #define _GLIBCXX_TR2_DYNAMIC_BITSET_TCC 1
33 #pragma GCC system_header
35 namespace std _GLIBCXX_VISIBILITY(default)
39 _GLIBCXX_BEGIN_NAMESPACE_VERSION
41 // Definitions of non-inline functions from __dynamic_bitset_base.
42 template<typename _WordT, typename _Alloc>
44 __dynamic_bitset_base<_WordT, _Alloc>::_M_do_left_shift(size_t __shift)
46 if (__builtin_expect(__shift != 0, 1))
48 const size_t __wshift = __shift / _S_bits_per_block;
49 const size_t __offset = __shift % _S_bits_per_block;
52 for (size_t __n = this->_M_w.size() - 1; __n >= __wshift; --__n)
53 this->_M_w[__n] = this->_M_w[__n - __wshift];
56 const size_t __sub_offset = _S_bits_per_block - __offset;
57 for (size_t __n = _M_w.size() - 1; __n > __wshift; --__n)
58 this->_M_w[__n] = ((this->_M_w[__n - __wshift] << __offset)
59 | (this->_M_w[__n - __wshift - 1] >> __sub_offset));
60 this->_M_w[__wshift] = this->_M_w[0] << __offset;
63 //// std::fill(this->_M_w.begin(), this->_M_w.begin() + __wshift,
64 //// static_cast<_WordT>(0));
68 template<typename _WordT, typename _Alloc>
70 __dynamic_bitset_base<_WordT, _Alloc>::_M_do_right_shift(size_t __shift)
72 if (__builtin_expect(__shift != 0, 1))
74 const size_t __wshift = __shift / _S_bits_per_block;
75 const size_t __offset = __shift % _S_bits_per_block;
76 const size_t __limit = this->_M_w.size() - __wshift - 1;
79 for (size_t __n = 0; __n <= __limit; ++__n)
80 this->_M_w[__n] = this->_M_w[__n + __wshift];
83 const size_t __sub_offset = (_S_bits_per_block
85 for (size_t __n = 0; __n < __limit; ++__n)
86 this->_M_w[__n] = ((this->_M_w[__n + __wshift] >> __offset)
87 | (this->_M_w[__n + __wshift + 1] << __sub_offset));
88 this->_M_w[__limit] = this->_M_w[_M_w.size()-1] >> __offset;
91 ////std::fill(this->_M_w.begin() + __limit + 1, this->_M_w.end(),
92 //// static_cast<_WordT>(0));
96 template<typename _WordT, typename _Alloc>
98 __dynamic_bitset_base<_WordT, _Alloc>::_M_do_to_ulong() const
100 size_t __n = sizeof(unsigned long) / sizeof(block_type);
101 for (size_t __i = __n; __i < this->_M_w.size(); ++__i)
103 __throw_overflow_error(__N("__dynamic_bitset_base::_M_do_to_ulong"));
104 unsigned long __res = 0UL;
105 for (size_t __i = 0; __i < __n && __i < this->_M_w.size(); ++__i)
106 __res += this->_M_w[__i] << (__i * _S_bits_per_block);
110 template<typename _WordT, typename _Alloc>
112 __dynamic_bitset_base<_WordT, _Alloc>::_M_do_to_ullong() const
114 size_t __n = sizeof(unsigned long long) / sizeof(block_type);
115 for (size_t __i = __n; __i < this->_M_w.size(); ++__i)
117 __throw_overflow_error(__N("__dynamic_bitset_base::_M_do_to_ullong"));
118 unsigned long long __res = 0ULL;
119 for (size_t __i = 0; __i < __n && __i < this->_M_w.size(); ++__i)
120 __res += this->_M_w[__i] << (__i * _S_bits_per_block);
124 template<typename _WordT, typename _Alloc>
126 __dynamic_bitset_base<_WordT, _Alloc>
127 ::_M_do_find_first(size_t __not_found) const
129 for (size_t __i = 0; __i < this->_M_w.size(); ++__i)
131 _WordT __thisword = this->_M_w[__i];
132 if (__thisword != static_cast<_WordT>(0))
133 return (__i * _S_bits_per_block
134 + __builtin_ctzll(__thisword));
136 // not found, so return an indication of failure.
140 template<typename _WordT, typename _Alloc>
142 __dynamic_bitset_base<_WordT, _Alloc>
143 ::_M_do_find_next(size_t __prev, size_t __not_found) const
145 // make bound inclusive
148 // check out of bounds
149 if (__prev >= this->_M_w.size() * _S_bits_per_block)
153 size_t __i = _S_whichword(__prev);
154 _WordT __thisword = this->_M_w[__i];
156 // mask off bits below bound
157 __thisword &= (~static_cast<_WordT>(0)) << _S_whichbit(__prev);
159 if (__thisword != static_cast<_WordT>(0))
160 return (__i * _S_bits_per_block
161 + __builtin_ctzll(__thisword));
163 // check subsequent words
164 for (++__i; __i < this->_M_w.size(); ++__i)
166 __thisword = this->_M_w[__i];
167 if (__thisword != static_cast<_WordT>(0))
168 return (__i * _S_bits_per_block
169 + __builtin_ctzll(__thisword));
171 // not found, so return an indication of failure.
173 } // end _M_do_find_next
175 // Definitions of non-inline member functions.
176 template<typename _WordT, typename _Alloc>
177 template<typename _CharT, typename _Traits>
179 dynamic_bitset<_WordT, _Alloc>::
180 _M_copy_from_ptr(const _CharT* __str, size_t __len,
181 size_t __pos, size_t __n, _CharT __zero, _CharT __one)
184 const size_t __nbits = std::min(_M_Nb, std::min(__n, __len - __pos));
185 for (size_t __i = __nbits; __i > 0; --__i)
187 const _CharT __c = __str[__pos + __nbits - __i];
188 if (_Traits::eq(__c, __zero))
190 else if (_Traits::eq(__c, __one))
191 _M_unchecked_set(__i - 1);
193 __throw_invalid_argument(__N("dynamic_bitset::_M_copy_from_ptr"));
198 * @defgroup Global I/O operators for bitsets.
200 * @brief Global I/O operators for bitsets.
202 * Direct I/O between streams and bitsets is supported. Output is
203 * straightforward. Input will skip whitespace and only accept '0'
204 * and '1' characters. The %dynamic_bitset will grow as necessary
205 * to hold the string of bits.
207 template<typename _CharT, typename _Traits,
208 typename _WordT, typename _Alloc>
209 std::basic_istream<_CharT, _Traits>&
210 operator>>(std::basic_istream<_CharT, _Traits>& __is,
211 dynamic_bitset<_WordT, _Alloc>& __x)
213 typedef typename _Traits::char_type char_type;
214 typedef std::basic_istream<_CharT, _Traits> __istream_type;
215 typedef typename __istream_type::ios_base __ios_base;
217 std::basic_string<_CharT, _Traits> __tmp;
218 __tmp.reserve(__x.size());
220 const char_type __zero = __is.widen('0');
221 const char_type __one = __is.widen('1');
223 typename __ios_base::iostate __state = __ios_base::goodbit;
224 typename __istream_type::sentry __sentry(__is);
231 static typename _Traits::int_type __eof = _Traits::eof();
233 typename _Traits::int_type __c1 = __is.rdbuf()->sbumpc();
234 if (_Traits::eq_int_type(__c1, __eof))
236 __state |= __ios_base::eofbit;
241 const char_type __c2 = _Traits::to_char_type(__c1);
242 if (_Traits::eq(__c2, __zero))
243 __tmp.push_back(__zero);
244 else if (_Traits::eq(__c2, __one))
245 __tmp.push_back(__one);
247 eq_int_type(__is.rdbuf()->sputbackc(__c2),
250 __state |= __ios_base::failbit;
258 __catch(__cxxabiv1::__forced_unwind&)
260 __is._M_setstate(__ios_base::badbit);
261 __throw_exception_again;
264 { __is._M_setstate(__ios_base::badbit); }
267 __x.resize(__tmp.size());
269 if (__tmp.empty() && __x.size())
270 __state |= __ios_base::failbit;
272 __x._M_copy_from_string(__tmp, static_cast<size_t>(0), __x.size(),
275 __is.setstate(__state);
282 _GLIBCXX_END_NAMESPACE_VERSION
286 #endif /* _GLIBCXX_TR2_DYNAMIC_BITSET_TCC */