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 */