2010-05-11 21:42:16 +02:00
|
|
|
// -*- C++ -*-
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
2010-05-11 23:36:01 +02:00
|
|
|
// The LLVM Compiler Infrastructure
|
2010-05-11 21:42:16 +02:00
|
|
|
//
|
2010-11-16 23:09:02 +01:00
|
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
|
|
// Source Licenses. See LICENSE.TXT for details.
|
2010-05-11 21:42:16 +02:00
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
|
|
|
#ifndef _LIBCPP___BIT_REFERENCE
|
|
|
|
#define _LIBCPP___BIT_REFERENCE
|
|
|
|
|
|
|
|
#include <__config>
|
|
|
|
#include <algorithm>
|
|
|
|
|
2011-11-29 17:45:27 +01:00
|
|
|
#include <__undef_min_max>
|
|
|
|
|
2011-10-17 22:05:10 +02:00
|
|
|
#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
|
2010-05-11 21:42:16 +02:00
|
|
|
#pragma GCC system_header
|
2011-10-17 22:05:10 +02:00
|
|
|
#endif
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
_LIBCPP_BEGIN_NAMESPACE_STD
|
|
|
|
|
2012-05-07 18:50:38 +02:00
|
|
|
template <class _Cp, bool _IsConst, typename _Cp::__storage_type = 0> class __bit_iterator;
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp> class __bit_const_reference;
|
2010-05-11 21:42:16 +02:00
|
|
|
|
2011-07-02 22:33:23 +02:00
|
|
|
template <class _Tp>
|
|
|
|
struct __has_storage_type
|
|
|
|
{
|
|
|
|
static const bool value = false;
|
|
|
|
};
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool = __has_storage_type<_Cp>::value>
|
2010-05-11 21:42:16 +02:00
|
|
|
class __bit_reference
|
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef typename _Cp::__storage_type __storage_type;
|
|
|
|
typedef typename _Cp::__storage_pointer __storage_pointer;
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
__storage_pointer __seg_;
|
|
|
|
__storage_type __mask_;
|
|
|
|
|
|
|
|
#if defined(__clang__)
|
2011-11-29 19:15:50 +01:00
|
|
|
friend typename _Cp::__self;
|
2010-05-11 21:42:16 +02:00
|
|
|
#else
|
2011-11-29 19:15:50 +01:00
|
|
|
friend class _Cp::__self;
|
2010-05-11 21:42:16 +02:00
|
|
|
#endif
|
2011-11-29 19:15:50 +01:00
|
|
|
friend class __bit_const_reference<_Cp>;
|
|
|
|
friend class __bit_iterator<_Cp, false>;
|
2010-05-11 21:42:16 +02:00
|
|
|
public:
|
2011-05-27 22:52:28 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY operator bool() const _NOEXCEPT
|
|
|
|
{return static_cast<bool>(*__seg_ & __mask_);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY bool operator ~() const _NOEXCEPT
|
|
|
|
{return !static_cast<bool>(*this);}
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
2011-05-27 22:52:28 +02:00
|
|
|
__bit_reference& operator=(bool __x) _NOEXCEPT
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
if (__x)
|
|
|
|
*__seg_ |= __mask_;
|
|
|
|
else
|
|
|
|
*__seg_ &= ~__mask_;
|
|
|
|
return *this;
|
|
|
|
}
|
2010-08-22 02:02:43 +02:00
|
|
|
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
2011-05-27 22:52:28 +02:00
|
|
|
__bit_reference& operator=(const __bit_reference& __x) _NOEXCEPT
|
|
|
|
{return operator=(static_cast<bool>(__x));}
|
2010-05-11 21:42:16 +02:00
|
|
|
|
2011-05-27 22:52:28 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY void flip() _NOEXCEPT {*__seg_ ^= __mask_;}
|
2011-11-29 19:15:50 +01:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator<_Cp, false> operator&() const _NOEXCEPT
|
|
|
|
{return __bit_iterator<_Cp, false>(__seg_, static_cast<unsigned>(__ctz(__mask_)));}
|
2010-05-11 21:42:16 +02:00
|
|
|
private:
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
2011-05-27 22:52:28 +02:00
|
|
|
__bit_reference(__storage_pointer __s, __storage_type __m) _NOEXCEPT
|
|
|
|
: __seg_(__s), __mask_(__m) {}
|
2010-05-11 21:42:16 +02:00
|
|
|
};
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
|
|
|
class __bit_reference<_Cp, false>
|
2011-07-02 22:33:23 +02:00
|
|
|
{
|
|
|
|
};
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, class _Dp>
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY inline
|
|
|
|
void
|
2011-11-29 19:15:50 +01:00
|
|
|
swap(__bit_reference<_Cp> __x, __bit_reference<_Dp> __y) _NOEXCEPT
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
bool __t = __x;
|
|
|
|
__x = __y;
|
|
|
|
__y = __t;
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY inline
|
|
|
|
void
|
2011-11-29 19:15:50 +01:00
|
|
|
swap(__bit_reference<_Cp> __x, bool& __y) _NOEXCEPT
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
bool __t = __x;
|
|
|
|
__x = __y;
|
|
|
|
__y = __t;
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY inline
|
|
|
|
void
|
2011-11-29 19:15:50 +01:00
|
|
|
swap(bool& __x, __bit_reference<_Cp> __y) _NOEXCEPT
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
bool __t = __x;
|
|
|
|
__x = __y;
|
|
|
|
__y = __t;
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
2010-05-11 21:42:16 +02:00
|
|
|
class __bit_const_reference
|
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef typename _Cp::__storage_type __storage_type;
|
|
|
|
typedef typename _Cp::__const_storage_pointer __storage_pointer;
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
__storage_pointer __seg_;
|
|
|
|
__storage_type __mask_;
|
|
|
|
|
|
|
|
#if defined(__clang__)
|
2011-11-29 19:15:50 +01:00
|
|
|
friend typename _Cp::__self;
|
2010-05-11 21:42:16 +02:00
|
|
|
#else
|
2011-11-29 19:15:50 +01:00
|
|
|
friend class _Cp::__self;
|
2010-05-11 21:42:16 +02:00
|
|
|
#endif
|
2011-11-29 19:15:50 +01:00
|
|
|
friend class __bit_iterator<_Cp, true>;
|
2010-05-11 21:42:16 +02:00
|
|
|
public:
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_const_reference(const __bit_reference<_Cp>& __x) _NOEXCEPT
|
2010-05-11 21:42:16 +02:00
|
|
|
: __seg_(__x.__seg_), __mask_(__x.__mask_) {}
|
|
|
|
|
2012-07-07 19:04:52 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY _LIBCPP_CONSTEXPR operator bool() const _NOEXCEPT
|
2011-05-27 22:52:28 +02:00
|
|
|
{return static_cast<bool>(*__seg_ & __mask_);}
|
2010-05-11 21:42:16 +02:00
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator<_Cp, true> operator&() const _NOEXCEPT
|
|
|
|
{return __bit_iterator<_Cp, true>(__seg_, static_cast<unsigned>(__ctz(__mask_)));}
|
2010-05-11 21:42:16 +02:00
|
|
|
private:
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
2012-07-07 19:04:52 +02:00
|
|
|
_LIBCPP_CONSTEXPR
|
2011-05-27 22:52:28 +02:00
|
|
|
__bit_const_reference(__storage_pointer __s, __storage_type __m) _NOEXCEPT
|
|
|
|
: __seg_(__s), __mask_(__m) {}
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
__bit_const_reference& operator=(const __bit_const_reference& __x);
|
|
|
|
};
|
|
|
|
|
|
|
|
// find
|
|
|
|
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Cp, bool _IsConst>
|
|
|
|
__bit_iterator<_Cp, _IsConst>
|
|
|
|
__find_bool_true(__bit_iterator<_Cp, _IsConst> __first, typename _Cp::size_type __n)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2012-05-10 16:55:00 +02:00
|
|
|
typedef __bit_iterator<_Cp, _IsConst> _It;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _It::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _It::__bits_per_word;
|
|
|
|
// do first partial word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
__storage_type __clz_f = static_cast<__storage_type>(__bits_per_word - __first.__ctz_);
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__clz_f, __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
|
|
|
__storage_type __b = *__first.__seg_ & __m;
|
|
|
|
if (__b)
|
2011-06-30 23:18:19 +02:00
|
|
|
return _It(__first.__seg_, static_cast<unsigned>(_VSTD::__ctz(__b)));
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
++__first.__seg_;
|
|
|
|
}
|
|
|
|
// do middle whole words
|
|
|
|
for (; __n >= __bits_per_word; ++__first.__seg_, __n -= __bits_per_word)
|
|
|
|
if (*__first.__seg_)
|
2011-06-30 23:18:19 +02:00
|
|
|
return _It(__first.__seg_, static_cast<unsigned>(_VSTD::__ctz(*__first.__seg_)));
|
2010-05-11 21:42:16 +02:00
|
|
|
// do last partial word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
__storage_type __b = *__first.__seg_ & __m;
|
|
|
|
if (__b)
|
2011-06-30 23:18:19 +02:00
|
|
|
return _It(__first.__seg_, static_cast<unsigned>(_VSTD::__ctz(__b)));
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
return _It(__first.__seg_, static_cast<unsigned>(__n));
|
|
|
|
}
|
|
|
|
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Cp, bool _IsConst>
|
|
|
|
__bit_iterator<_Cp, _IsConst>
|
|
|
|
__find_bool_false(__bit_iterator<_Cp, _IsConst> __first, typename _Cp::size_type __n)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2012-05-10 16:55:00 +02:00
|
|
|
typedef __bit_iterator<_Cp, _IsConst> _It;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _It::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _It::__bits_per_word;
|
|
|
|
// do first partial word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
__storage_type __clz_f = static_cast<__storage_type>(__bits_per_word - __first.__ctz_);
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__clz_f, __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
2012-05-10 16:55:00 +02:00
|
|
|
__storage_type __b = ~*__first.__seg_ & __m;
|
2010-05-11 21:42:16 +02:00
|
|
|
if (__b)
|
2011-06-30 23:18:19 +02:00
|
|
|
return _It(__first.__seg_, static_cast<unsigned>(_VSTD::__ctz(__b)));
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
++__first.__seg_;
|
|
|
|
}
|
|
|
|
// do middle whole words
|
|
|
|
for (; __n >= __bits_per_word; ++__first.__seg_, __n -= __bits_per_word)
|
|
|
|
{
|
|
|
|
__storage_type __b = ~*__first.__seg_;
|
|
|
|
if (__b)
|
2011-06-30 23:18:19 +02:00
|
|
|
return _It(__first.__seg_, static_cast<unsigned>(_VSTD::__ctz(__b)));
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
// do last partial word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
2012-05-10 16:55:00 +02:00
|
|
|
__storage_type __b = ~*__first.__seg_ & __m;
|
2010-05-11 21:42:16 +02:00
|
|
|
if (__b)
|
2011-06-30 23:18:19 +02:00
|
|
|
return _It(__first.__seg_, static_cast<unsigned>(_VSTD::__ctz(__b)));
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
return _It(__first.__seg_, static_cast<unsigned>(__n));
|
|
|
|
}
|
|
|
|
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Cp, bool _IsConst, class _Tp>
|
2010-05-11 21:42:16 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
2012-05-10 16:55:00 +02:00
|
|
|
__bit_iterator<_Cp, _IsConst>
|
|
|
|
find(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last, const _Tp& __value_)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-10-22 22:59:45 +02:00
|
|
|
if (static_cast<bool>(__value_))
|
2011-11-29 19:15:50 +01:00
|
|
|
return __find_bool_true(__first, static_cast<typename _Cp::size_type>(__last - __first));
|
|
|
|
return __find_bool_false(__first, static_cast<typename _Cp::size_type>(__last - __first));
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// count
|
|
|
|
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Cp, bool _IsConst>
|
|
|
|
typename __bit_iterator<_Cp, _IsConst>::difference_type
|
|
|
|
__count_bool_true(__bit_iterator<_Cp, _IsConst> __first, typename _Cp::size_type __n)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2012-05-10 16:55:00 +02:00
|
|
|
typedef __bit_iterator<_Cp, _IsConst> _It;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _It::__storage_type __storage_type;
|
|
|
|
typedef typename _It::difference_type difference_type;
|
|
|
|
static const unsigned __bits_per_word = _It::__bits_per_word;
|
|
|
|
difference_type __r = 0;
|
|
|
|
// do first partial word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
__storage_type __clz_f = static_cast<__storage_type>(__bits_per_word - __first.__ctz_);
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__clz_f, __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
2011-06-30 23:18:19 +02:00
|
|
|
__r = _VSTD::__pop_count(*__first.__seg_ & __m);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
++__first.__seg_;
|
|
|
|
}
|
|
|
|
// do middle whole words
|
|
|
|
for (; __n >= __bits_per_word; ++__first.__seg_, __n -= __bits_per_word)
|
2011-06-30 23:18:19 +02:00
|
|
|
__r += _VSTD::__pop_count(*__first.__seg_);
|
2010-05-11 21:42:16 +02:00
|
|
|
// do last partial word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
2011-06-30 23:18:19 +02:00
|
|
|
__r += _VSTD::__pop_count(*__first.__seg_ & __m);
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
return __r;
|
|
|
|
}
|
|
|
|
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Cp, bool _IsConst>
|
|
|
|
typename __bit_iterator<_Cp, _IsConst>::difference_type
|
|
|
|
__count_bool_false(__bit_iterator<_Cp, _IsConst> __first, typename _Cp::size_type __n)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2012-05-10 16:55:00 +02:00
|
|
|
typedef __bit_iterator<_Cp, _IsConst> _It;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _It::__storage_type __storage_type;
|
|
|
|
typedef typename _It::difference_type difference_type;
|
|
|
|
static const unsigned __bits_per_word = _It::__bits_per_word;
|
|
|
|
difference_type __r = 0;
|
|
|
|
// do first partial word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
__storage_type __clz_f = static_cast<__storage_type>(__bits_per_word - __first.__ctz_);
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__clz_f, __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
2012-05-10 16:55:00 +02:00
|
|
|
__r = _VSTD::__pop_count(~*__first.__seg_ & __m);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
++__first.__seg_;
|
|
|
|
}
|
|
|
|
// do middle whole words
|
|
|
|
for (; __n >= __bits_per_word; ++__first.__seg_, __n -= __bits_per_word)
|
2011-06-30 23:18:19 +02:00
|
|
|
__r += _VSTD::__pop_count(~*__first.__seg_);
|
2010-05-11 21:42:16 +02:00
|
|
|
// do last partial word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
2012-05-10 16:55:00 +02:00
|
|
|
__r += _VSTD::__pop_count(~*__first.__seg_ & __m);
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
return __r;
|
|
|
|
}
|
|
|
|
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Cp, bool _IsConst, class _Tp>
|
2010-05-11 21:42:16 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
2012-05-10 16:55:00 +02:00
|
|
|
typename __bit_iterator<_Cp, _IsConst>::difference_type
|
|
|
|
count(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last, const _Tp& __value_)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-10-22 22:59:45 +02:00
|
|
|
if (static_cast<bool>(__value_))
|
2011-11-29 19:15:50 +01:00
|
|
|
return __count_bool_true(__first, static_cast<typename _Cp::size_type>(__last - __first));
|
|
|
|
return __count_bool_false(__first, static_cast<typename _Cp::size_type>(__last - __first));
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// fill_n
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
2010-05-11 21:42:16 +02:00
|
|
|
void
|
2011-11-29 19:15:50 +01:00
|
|
|
__fill_n_false(__bit_iterator<_Cp, false> __first, typename _Cp::size_type __n)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef __bit_iterator<_Cp, false> _It;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _It::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _It::__bits_per_word;
|
|
|
|
// do first partial word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
__storage_type __clz_f = static_cast<__storage_type>(__bits_per_word - __first.__ctz_);
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__clz_f, __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
|
|
|
*__first.__seg_ &= ~__m;
|
|
|
|
__n -= __dn;
|
|
|
|
++__first.__seg_;
|
|
|
|
}
|
|
|
|
// do middle whole words
|
|
|
|
__storage_type __nw = __n / __bits_per_word;
|
2011-06-30 23:18:19 +02:00
|
|
|
_VSTD::memset(__first.__seg_, 0, __nw * sizeof(__storage_type));
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __nw * __bits_per_word;
|
|
|
|
// do last partial word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__first.__seg_ += __nw;
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
*__first.__seg_ &= ~__m;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
2010-05-11 21:42:16 +02:00
|
|
|
void
|
2011-11-29 19:15:50 +01:00
|
|
|
__fill_n_true(__bit_iterator<_Cp, false> __first, typename _Cp::size_type __n)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef __bit_iterator<_Cp, false> _It;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _It::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _It::__bits_per_word;
|
|
|
|
// do first partial word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
__storage_type __clz_f = static_cast<__storage_type>(__bits_per_word - __first.__ctz_);
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__clz_f, __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
|
|
|
*__first.__seg_ |= __m;
|
|
|
|
__n -= __dn;
|
|
|
|
++__first.__seg_;
|
|
|
|
}
|
|
|
|
// do middle whole words
|
|
|
|
__storage_type __nw = __n / __bits_per_word;
|
2011-06-30 23:18:19 +02:00
|
|
|
_VSTD::memset(__first.__seg_, -1, __nw * sizeof(__storage_type));
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __nw * __bits_per_word;
|
|
|
|
// do last partial word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__first.__seg_ += __nw;
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
*__first.__seg_ |= __m;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY inline
|
|
|
|
void
|
2011-11-29 19:15:50 +01:00
|
|
|
fill_n(__bit_iterator<_Cp, false> __first, typename _Cp::size_type __n, bool __value_)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
2011-10-22 22:59:45 +02:00
|
|
|
if (__value_)
|
2010-05-11 21:42:16 +02:00
|
|
|
__fill_n_true(__first, __n);
|
|
|
|
else
|
|
|
|
__fill_n_false(__first, __n);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// fill
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
2010-05-11 21:42:16 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
|
|
void
|
2011-11-29 19:15:50 +01:00
|
|
|
fill(__bit_iterator<_Cp, false> __first, __bit_iterator<_Cp, false> __last, bool __value_)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
_VSTD::fill_n(__first, static_cast<typename _Cp::size_type>(__last - __first), __value_);
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// copy
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IsConst>
|
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
__copy_aligned(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last,
|
|
|
|
__bit_iterator<_Cp, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef __bit_iterator<_Cp, _IsConst> _In;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _In::difference_type difference_type;
|
|
|
|
typedef typename _In::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _In::__bits_per_word;
|
|
|
|
difference_type __n = __last - __first;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// do first word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
unsigned __clz = __bits_per_word - __first.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
difference_type __dn = _VSTD::min(static_cast<difference_type>(__clz), __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz - __dn));
|
|
|
|
__storage_type __b = *__first.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b;
|
|
|
|
__result.__seg_ += (__dn + __result.__ctz_) / __bits_per_word;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>((__dn + __result.__ctz_) % __bits_per_word);
|
|
|
|
++__first.__seg_;
|
|
|
|
// __first.__ctz_ = 0;
|
|
|
|
}
|
|
|
|
// __first.__ctz_ == 0;
|
|
|
|
// do middle words
|
|
|
|
__storage_type __nw = __n / __bits_per_word;
|
2011-06-30 23:18:19 +02:00
|
|
|
_VSTD::memmove(__result.__seg_, __first.__seg_, __nw * sizeof(__storage_type));
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __nw * __bits_per_word;
|
|
|
|
__result.__seg_ += __nw;
|
|
|
|
// do last word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__first.__seg_ += __nw;
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
__storage_type __b = *__first.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(__n);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return __result;
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IsConst>
|
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
__copy_unaligned(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last,
|
|
|
|
__bit_iterator<_Cp, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef __bit_iterator<_Cp, _IsConst> _In;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _In::difference_type difference_type;
|
|
|
|
typedef typename _In::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _In::__bits_per_word;
|
|
|
|
difference_type __n = __last - __first;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// do first word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
unsigned __clz_f = __bits_per_word - __first.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
difference_type __dn = _VSTD::min(static_cast<difference_type>(__clz_f), __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
|
|
|
__storage_type __b = *__first.__seg_ & __m;
|
|
|
|
unsigned __clz_r = __bits_per_word - __result.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __ddn = _VSTD::min<__storage_type>(__dn, __clz_r);
|
2010-05-11 21:42:16 +02:00
|
|
|
__m = (~__storage_type(0) << __result.__ctz_) & (~__storage_type(0) >> (__clz_r - __ddn));
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
if (__result.__ctz_ > __first.__ctz_)
|
|
|
|
*__result.__seg_ |= __b << (__result.__ctz_ - __first.__ctz_);
|
|
|
|
else
|
|
|
|
*__result.__seg_ |= __b >> (__first.__ctz_ - __result.__ctz_);
|
|
|
|
__result.__seg_ += (__ddn + __result.__ctz_) / __bits_per_word;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>((__ddn + __result.__ctz_) % __bits_per_word);
|
|
|
|
__dn -= __ddn;
|
|
|
|
if (__dn > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __dn);
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b >> (__first.__ctz_ + __ddn);
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(__dn);
|
|
|
|
}
|
|
|
|
++__first.__seg_;
|
|
|
|
// __first.__ctz_ = 0;
|
|
|
|
}
|
|
|
|
// __first.__ctz_ == 0;
|
|
|
|
// do middle words
|
|
|
|
unsigned __clz_r = __bits_per_word - __result.__ctz_;
|
|
|
|
__storage_type __m = ~__storage_type(0) << __result.__ctz_;
|
|
|
|
for (; __n >= __bits_per_word; __n -= __bits_per_word, ++__first.__seg_)
|
|
|
|
{
|
|
|
|
__storage_type __b = *__first.__seg_;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b << __result.__ctz_;
|
|
|
|
++__result.__seg_;
|
|
|
|
*__result.__seg_ &= __m;
|
|
|
|
*__result.__seg_ |= __b >> __clz_r;
|
|
|
|
}
|
|
|
|
// do last word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
__storage_type __b = *__first.__seg_ & __m;
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__n, static_cast<difference_type>(__clz_r));
|
2010-05-11 21:42:16 +02:00
|
|
|
__m = (~__storage_type(0) << __result.__ctz_) & (~__storage_type(0) >> (__clz_r - __dn));
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b << __result.__ctz_;
|
|
|
|
__result.__seg_ += (__dn + __result.__ctz_) / __bits_per_word;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>((__dn + __result.__ctz_) % __bits_per_word);
|
|
|
|
__n -= __dn;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b >> __dn;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(__n);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return __result;
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IsConst>
|
2010-05-11 21:42:16 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
copy(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last, __bit_iterator<_Cp, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
if (__first.__ctz_ == __result.__ctz_)
|
|
|
|
return __copy_aligned(__first, __last, __result);
|
|
|
|
return __copy_unaligned(__first, __last, __result);
|
|
|
|
}
|
|
|
|
|
|
|
|
// copy_backward
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IsConst>
|
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
__copy_backward_aligned(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last,
|
|
|
|
__bit_iterator<_Cp, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef __bit_iterator<_Cp, _IsConst> _In;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _In::difference_type difference_type;
|
|
|
|
typedef typename _In::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _In::__bits_per_word;
|
|
|
|
difference_type __n = __last - __first;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// do first word
|
|
|
|
if (__last.__ctz_ != 0)
|
|
|
|
{
|
2011-06-30 23:18:19 +02:00
|
|
|
difference_type __dn = _VSTD::min(static_cast<difference_type>(__last.__ctz_), __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
unsigned __clz = __bits_per_word - __last.__ctz_;
|
|
|
|
__storage_type __m = (~__storage_type(0) << (__last.__ctz_ - __dn)) & (~__storage_type(0) >> __clz);
|
|
|
|
__storage_type __b = *__last.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(((-__dn & (__bits_per_word - 1)) +
|
|
|
|
__result.__ctz_) % __bits_per_word);
|
|
|
|
// __last.__ctz_ = 0
|
|
|
|
}
|
|
|
|
// __last.__ctz_ == 0 || __n == 0
|
|
|
|
// __result.__ctz_ == 0 || __n == 0
|
|
|
|
// do middle words
|
|
|
|
__storage_type __nw = __n / __bits_per_word;
|
|
|
|
__result.__seg_ -= __nw;
|
|
|
|
__last.__seg_ -= __nw;
|
2011-06-30 23:18:19 +02:00
|
|
|
_VSTD::memmove(__result.__seg_, __last.__seg_, __nw * sizeof(__storage_type));
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __nw * __bits_per_word;
|
|
|
|
// do last word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__storage_type __m = ~__storage_type(0) << (__bits_per_word - __n);
|
|
|
|
__storage_type __b = *--__last.__seg_ & __m;
|
|
|
|
*--__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(-__n & (__bits_per_word - 1));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return __result;
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IsConst>
|
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
__copy_backward_unaligned(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last,
|
|
|
|
__bit_iterator<_Cp, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef __bit_iterator<_Cp, _IsConst> _In;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _In::difference_type difference_type;
|
|
|
|
typedef typename _In::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _In::__bits_per_word;
|
|
|
|
difference_type __n = __last - __first;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// do first word
|
|
|
|
if (__last.__ctz_ != 0)
|
|
|
|
{
|
2011-06-30 23:18:19 +02:00
|
|
|
difference_type __dn = _VSTD::min(static_cast<difference_type>(__last.__ctz_), __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
unsigned __clz_l = __bits_per_word - __last.__ctz_;
|
|
|
|
__storage_type __m = (~__storage_type(0) << (__last.__ctz_ - __dn)) & (~__storage_type(0) >> __clz_l);
|
|
|
|
__storage_type __b = *__last.__seg_ & __m;
|
|
|
|
unsigned __clz_r = __bits_per_word - __result.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __ddn = _VSTD::min(__dn, static_cast<difference_type>(__result.__ctz_));
|
2010-05-11 21:42:16 +02:00
|
|
|
if (__ddn > 0)
|
|
|
|
{
|
|
|
|
__m = (~__storage_type(0) << (__result.__ctz_ - __ddn)) & (~__storage_type(0) >> __clz_r);
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
if (__result.__ctz_ > __last.__ctz_)
|
|
|
|
*__result.__seg_ |= __b << (__result.__ctz_ - __last.__ctz_);
|
|
|
|
else
|
|
|
|
*__result.__seg_ |= __b >> (__last.__ctz_ - __result.__ctz_);
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(((-__ddn & (__bits_per_word - 1)) +
|
|
|
|
__result.__ctz_) % __bits_per_word);
|
|
|
|
__dn -= __ddn;
|
|
|
|
}
|
|
|
|
if (__dn > 0)
|
|
|
|
{
|
|
|
|
// __result.__ctz_ == 0
|
|
|
|
--__result.__seg_;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(-__dn & (__bits_per_word - 1));
|
|
|
|
__m = ~__storage_type(0) << __result.__ctz_;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
__last.__ctz_ -= __dn + __ddn;
|
|
|
|
*__result.__seg_ |= __b << (__result.__ctz_ - __last.__ctz_);
|
|
|
|
}
|
|
|
|
// __last.__ctz_ = 0
|
|
|
|
}
|
|
|
|
// __last.__ctz_ == 0 || __n == 0
|
|
|
|
// __result.__ctz_ != 0 || __n == 0
|
|
|
|
// do middle words
|
|
|
|
unsigned __clz_r = __bits_per_word - __result.__ctz_;
|
|
|
|
__storage_type __m = ~__storage_type(0) >> __clz_r;
|
|
|
|
for (; __n >= __bits_per_word; __n -= __bits_per_word)
|
|
|
|
{
|
|
|
|
__storage_type __b = *--__last.__seg_;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b >> __clz_r;
|
|
|
|
*--__result.__seg_ &= __m;
|
|
|
|
*__result.__seg_ |= __b << __result.__ctz_;
|
|
|
|
}
|
|
|
|
// do last word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) << (__bits_per_word - __n);
|
|
|
|
__storage_type __b = *--__last.__seg_ & __m;
|
2011-12-01 21:21:04 +01:00
|
|
|
__clz_r = __bits_per_word - __result.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__n, static_cast<difference_type>(__result.__ctz_));
|
2010-05-11 21:42:16 +02:00
|
|
|
__m = (~__storage_type(0) << (__result.__ctz_ - __dn)) & (~__storage_type(0) >> __clz_r);
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b >> (__bits_per_word - __result.__ctz_);
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(((-__dn & (__bits_per_word - 1)) +
|
|
|
|
__result.__ctz_) % __bits_per_word);
|
|
|
|
__n -= __dn;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// __result.__ctz_ == 0
|
|
|
|
--__result.__seg_;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(-__n & (__bits_per_word - 1));
|
|
|
|
__m = ~__storage_type(0) << __result.__ctz_;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b << (__result.__ctz_ - (__bits_per_word - __n - __dn));
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return __result;
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IsConst>
|
2010-05-11 21:42:16 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
copy_backward(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last, __bit_iterator<_Cp, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
if (__last.__ctz_ == __result.__ctz_)
|
|
|
|
return __copy_backward_aligned(__first, __last, __result);
|
|
|
|
return __copy_backward_unaligned(__first, __last, __result);
|
|
|
|
}
|
|
|
|
|
|
|
|
// move
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IsConst>
|
2010-05-11 21:42:16 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
move(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last, __bit_iterator<_Cp, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-06-30 23:18:19 +02:00
|
|
|
return _VSTD::copy(__first, __last, __result);
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// move_backward
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IsConst>
|
2010-05-11 21:42:16 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
move_backward(__bit_iterator<_Cp, _IsConst> __first, __bit_iterator<_Cp, _IsConst> __last, __bit_iterator<_Cp, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-06-30 23:18:19 +02:00
|
|
|
return _VSTD::copy(__first, __last, __result);
|
2010-05-11 21:42:16 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
// swap_ranges
|
|
|
|
|
2011-09-23 18:11:27 +02:00
|
|
|
template <class __C1, class __C2>
|
|
|
|
__bit_iterator<__C2, false>
|
|
|
|
__swap_ranges_aligned(__bit_iterator<__C1, false> __first, __bit_iterator<__C1, false> __last,
|
|
|
|
__bit_iterator<__C2, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-09-23 18:11:27 +02:00
|
|
|
typedef __bit_iterator<__C1, false> _I1;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _I1::difference_type difference_type;
|
|
|
|
typedef typename _I1::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _I1::__bits_per_word;
|
|
|
|
difference_type __n = __last - __first;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// do first word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
unsigned __clz = __bits_per_word - __first.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
difference_type __dn = _VSTD::min(static_cast<difference_type>(__clz), __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz - __dn));
|
|
|
|
__storage_type __b1 = *__first.__seg_ & __m;
|
|
|
|
*__first.__seg_ &= ~__m;
|
|
|
|
__storage_type __b2 = *__result.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b1;
|
|
|
|
*__first.__seg_ |= __b2;
|
|
|
|
__result.__seg_ += (__dn + __result.__ctz_) / __bits_per_word;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>((__dn + __result.__ctz_) % __bits_per_word);
|
|
|
|
++__first.__seg_;
|
|
|
|
// __first.__ctz_ = 0;
|
|
|
|
}
|
|
|
|
// __first.__ctz_ == 0;
|
|
|
|
// do middle words
|
|
|
|
for (; __n >= __bits_per_word; __n -= __bits_per_word, ++__first.__seg_, ++__result.__seg_)
|
|
|
|
swap(*__first.__seg_, *__result.__seg_);
|
|
|
|
// do last word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
__storage_type __b1 = *__first.__seg_ & __m;
|
|
|
|
*__first.__seg_ &= ~__m;
|
|
|
|
__storage_type __b2 = *__result.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b1;
|
|
|
|
*__first.__seg_ |= __b2;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(__n);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return __result;
|
|
|
|
}
|
|
|
|
|
2011-09-23 18:11:27 +02:00
|
|
|
template <class __C1, class __C2>
|
|
|
|
__bit_iterator<__C2, false>
|
|
|
|
__swap_ranges_unaligned(__bit_iterator<__C1, false> __first, __bit_iterator<__C1, false> __last,
|
|
|
|
__bit_iterator<__C2, false> __result)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-09-23 18:11:27 +02:00
|
|
|
typedef __bit_iterator<__C1, false> _I1;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _I1::difference_type difference_type;
|
|
|
|
typedef typename _I1::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _I1::__bits_per_word;
|
|
|
|
difference_type __n = __last - __first;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// do first word
|
|
|
|
if (__first.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
unsigned __clz_f = __bits_per_word - __first.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
difference_type __dn = _VSTD::min(static_cast<difference_type>(__clz_f), __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
__storage_type __m = (~__storage_type(0) << __first.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
|
|
|
__storage_type __b1 = *__first.__seg_ & __m;
|
|
|
|
*__first.__seg_ &= ~__m;
|
|
|
|
unsigned __clz_r = __bits_per_word - __result.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __ddn = _VSTD::min<__storage_type>(__dn, __clz_r);
|
2010-05-11 21:42:16 +02:00
|
|
|
__m = (~__storage_type(0) << __result.__ctz_) & (~__storage_type(0) >> (__clz_r - __ddn));
|
|
|
|
__storage_type __b2 = *__result.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
if (__result.__ctz_ > __first.__ctz_)
|
|
|
|
{
|
|
|
|
unsigned __s = __result.__ctz_ - __first.__ctz_;
|
|
|
|
*__result.__seg_ |= __b1 << __s;
|
|
|
|
*__first.__seg_ |= __b2 >> __s;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
unsigned __s = __first.__ctz_ - __result.__ctz_;
|
|
|
|
*__result.__seg_ |= __b1 >> __s;
|
|
|
|
*__first.__seg_ |= __b2 << __s;
|
|
|
|
}
|
|
|
|
__result.__seg_ += (__ddn + __result.__ctz_) / __bits_per_word;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>((__ddn + __result.__ctz_) % __bits_per_word);
|
|
|
|
__dn -= __ddn;
|
|
|
|
if (__dn > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __dn);
|
|
|
|
__b2 = *__result.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
unsigned __s = __first.__ctz_ + __ddn;
|
|
|
|
*__result.__seg_ |= __b1 >> __s;
|
|
|
|
*__first.__seg_ |= __b2 << __s;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(__dn);
|
|
|
|
}
|
|
|
|
++__first.__seg_;
|
|
|
|
// __first.__ctz_ = 0;
|
|
|
|
}
|
|
|
|
// __first.__ctz_ == 0;
|
|
|
|
// do middle words
|
|
|
|
__storage_type __m = ~__storage_type(0) << __result.__ctz_;
|
|
|
|
unsigned __clz_r = __bits_per_word - __result.__ctz_;
|
|
|
|
for (; __n >= __bits_per_word; __n -= __bits_per_word, ++__first.__seg_)
|
|
|
|
{
|
|
|
|
__storage_type __b1 = *__first.__seg_;
|
|
|
|
__storage_type __b2 = *__result.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b1 << __result.__ctz_;
|
|
|
|
*__first.__seg_ = __b2 >> __result.__ctz_;
|
|
|
|
++__result.__seg_;
|
|
|
|
__b2 = *__result.__seg_ & ~__m;
|
|
|
|
*__result.__seg_ &= __m;
|
|
|
|
*__result.__seg_ |= __b1 >> __clz_r;
|
|
|
|
*__first.__seg_ |= __b2 << __clz_r;
|
|
|
|
}
|
|
|
|
// do last word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
__storage_type __b1 = *__first.__seg_ & __m;
|
|
|
|
*__first.__seg_ &= ~__m;
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min<__storage_type>(__n, __clz_r);
|
2010-05-11 21:42:16 +02:00
|
|
|
__m = (~__storage_type(0) << __result.__ctz_) & (~__storage_type(0) >> (__clz_r - __dn));
|
|
|
|
__storage_type __b2 = *__result.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b1 << __result.__ctz_;
|
|
|
|
*__first.__seg_ |= __b2 >> __result.__ctz_;
|
|
|
|
__result.__seg_ += (__dn + __result.__ctz_) / __bits_per_word;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>((__dn + __result.__ctz_) % __bits_per_word);
|
|
|
|
__n -= __dn;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
__b2 = *__result.__seg_ & __m;
|
|
|
|
*__result.__seg_ &= ~__m;
|
|
|
|
*__result.__seg_ |= __b1 >> __dn;
|
|
|
|
*__first.__seg_ |= __b2 << __dn;
|
|
|
|
__result.__ctz_ = static_cast<unsigned>(__n);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return __result;
|
|
|
|
}
|
|
|
|
|
2011-09-23 18:11:27 +02:00
|
|
|
template <class __C1, class __C2>
|
2010-05-11 21:42:16 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
2011-09-23 18:11:27 +02:00
|
|
|
__bit_iterator<__C2, false>
|
|
|
|
swap_ranges(__bit_iterator<__C1, false> __first1, __bit_iterator<__C1, false> __last1,
|
|
|
|
__bit_iterator<__C2, false> __first2)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
if (__first1.__ctz_ == __first2.__ctz_)
|
|
|
|
return __swap_ranges_aligned(__first1, __last1, __first2);
|
|
|
|
return __swap_ranges_unaligned(__first1, __last1, __first2);
|
|
|
|
}
|
|
|
|
|
|
|
|
// rotate
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
2010-05-11 21:42:16 +02:00
|
|
|
struct __bit_array
|
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef typename _Cp::difference_type difference_type;
|
|
|
|
typedef typename _Cp::__storage_type __storage_type;
|
|
|
|
typedef typename _Cp::iterator iterator;
|
|
|
|
static const unsigned __bits_per_word = _Cp::__bits_per_word;
|
|
|
|
static const unsigned _Np = 4;
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
difference_type __size_;
|
2011-11-29 19:15:50 +01:00
|
|
|
__storage_type __word_[_Np];
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY static difference_type capacity()
|
2011-11-29 19:15:50 +01:00
|
|
|
{return static_cast<difference_type>(_Np * __bits_per_word);}
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY explicit __bit_array(difference_type __s) : __size_(__s) {}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY iterator begin() {return iterator(__word_, 0);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY iterator end() {return iterator(__word_ + __size_ / __bits_per_word,
|
|
|
|
static_cast<unsigned>(__size_ % __bits_per_word));}
|
|
|
|
};
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp>
|
|
|
|
__bit_iterator<_Cp, false>
|
|
|
|
rotate(__bit_iterator<_Cp, false> __first, __bit_iterator<_Cp, false> __middle, __bit_iterator<_Cp, false> __last)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef __bit_iterator<_Cp, false> _I1;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _I1::difference_type difference_type;
|
|
|
|
typedef typename _I1::__storage_type __storage_type;
|
|
|
|
difference_type __d1 = __middle - __first;
|
|
|
|
difference_type __d2 = __last - __middle;
|
|
|
|
_I1 __r = __first + __d2;
|
|
|
|
while (__d1 != 0 && __d2 != 0)
|
|
|
|
{
|
|
|
|
if (__d1 <= __d2)
|
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
if (__d1 <= __bit_array<_Cp>::capacity())
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_array<_Cp> __b(__d1);
|
2011-06-30 23:18:19 +02:00
|
|
|
_VSTD::copy(__first, __middle, __b.begin());
|
|
|
|
_VSTD::copy(__b.begin(), __b.end(), _VSTD::copy(__middle, __last, __first));
|
2010-05-11 21:42:16 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_iterator<_Cp, false> __mp = _VSTD::swap_ranges(__first, __middle, __middle);
|
2010-05-11 21:42:16 +02:00
|
|
|
__first = __middle;
|
|
|
|
__middle = __mp;
|
|
|
|
__d2 -= __d1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
if (__d2 <= __bit_array<_Cp>::capacity())
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_array<_Cp> __b(__d2);
|
2011-06-30 23:18:19 +02:00
|
|
|
_VSTD::copy(__middle, __last, __b.begin());
|
|
|
|
_VSTD::copy_backward(__b.begin(), __b.end(), _VSTD::copy_backward(__first, __middle, __last));
|
2010-05-11 21:42:16 +02:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_iterator<_Cp, false> __mp = __first + __d2;
|
2011-06-30 23:18:19 +02:00
|
|
|
_VSTD::swap_ranges(__first, __mp, __middle);
|
2010-05-11 21:42:16 +02:00
|
|
|
__first = __mp;
|
|
|
|
__d1 -= __d2;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return __r;
|
|
|
|
}
|
|
|
|
|
|
|
|
// equal
|
|
|
|
|
2012-08-05 23:43:11 +02:00
|
|
|
template <class _Cp, bool _IC1, bool _IC2>
|
2010-05-11 21:42:16 +02:00
|
|
|
bool
|
2012-08-05 23:43:11 +02:00
|
|
|
__equal_unaligned(__bit_iterator<_Cp, _IC1> __first1, __bit_iterator<_Cp, _IC1> __last1,
|
|
|
|
__bit_iterator<_Cp, _IC2> __first2)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2012-08-05 23:43:11 +02:00
|
|
|
typedef __bit_iterator<_Cp, _IC1> _It;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _It::difference_type difference_type;
|
|
|
|
typedef typename _It::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _It::__bits_per_word;
|
|
|
|
difference_type __n = __last1 - __first1;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// do first word
|
|
|
|
if (__first1.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
unsigned __clz_f = __bits_per_word - __first1.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
difference_type __dn = _VSTD::min(static_cast<difference_type>(__clz_f), __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
__storage_type __m = (~__storage_type(0) << __first1.__ctz_) & (~__storage_type(0) >> (__clz_f - __dn));
|
|
|
|
__storage_type __b = *__first1.__seg_ & __m;
|
|
|
|
unsigned __clz_r = __bits_per_word - __first2.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __ddn = _VSTD::min<__storage_type>(__dn, __clz_r);
|
2010-05-11 21:42:16 +02:00
|
|
|
__m = (~__storage_type(0) << __first2.__ctz_) & (~__storage_type(0) >> (__clz_r - __ddn));
|
|
|
|
if (__first2.__ctz_ > __first1.__ctz_)
|
2012-06-01 01:12:03 +02:00
|
|
|
{
|
2010-05-11 21:42:16 +02:00
|
|
|
if ((*__first2.__seg_ & __m) != (__b << (__first2.__ctz_ - __first1.__ctz_)))
|
|
|
|
return false;
|
2012-06-01 01:12:03 +02:00
|
|
|
}
|
2010-05-11 21:42:16 +02:00
|
|
|
else
|
2012-06-01 01:12:03 +02:00
|
|
|
{
|
2010-05-11 21:42:16 +02:00
|
|
|
if ((*__first2.__seg_ & __m) != (__b >> (__first1.__ctz_ - __first2.__ctz_)))
|
|
|
|
return false;
|
2012-06-01 01:12:03 +02:00
|
|
|
}
|
2010-05-11 21:42:16 +02:00
|
|
|
__first2.__seg_ += (__ddn + __first2.__ctz_) / __bits_per_word;
|
|
|
|
__first2.__ctz_ = static_cast<unsigned>((__ddn + __first2.__ctz_) % __bits_per_word);
|
|
|
|
__dn -= __ddn;
|
|
|
|
if (__dn > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __dn);
|
|
|
|
if ((*__first2.__seg_ & __m) != (__b >> (__first1.__ctz_ + __ddn)))
|
|
|
|
return false;
|
|
|
|
__first2.__ctz_ = static_cast<unsigned>(__dn);
|
|
|
|
}
|
|
|
|
++__first1.__seg_;
|
|
|
|
// __first1.__ctz_ = 0;
|
|
|
|
}
|
|
|
|
// __first1.__ctz_ == 0;
|
|
|
|
// do middle words
|
|
|
|
unsigned __clz_r = __bits_per_word - __first2.__ctz_;
|
|
|
|
__storage_type __m = ~__storage_type(0) << __first2.__ctz_;
|
|
|
|
for (; __n >= __bits_per_word; __n -= __bits_per_word, ++__first1.__seg_)
|
|
|
|
{
|
|
|
|
__storage_type __b = *__first1.__seg_;
|
|
|
|
if ((*__first2.__seg_ & __m) != (__b << __first2.__ctz_))
|
|
|
|
return false;
|
|
|
|
++__first2.__seg_;
|
|
|
|
if ((*__first2.__seg_ & ~__m) != (__b >> __clz_r))
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
// do last word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
__storage_type __b = *__first1.__seg_ & __m;
|
2011-06-30 23:18:19 +02:00
|
|
|
__storage_type __dn = _VSTD::min(__n, static_cast<difference_type>(__clz_r));
|
2010-05-11 21:42:16 +02:00
|
|
|
__m = (~__storage_type(0) << __first2.__ctz_) & (~__storage_type(0) >> (__clz_r - __dn));
|
|
|
|
if ((*__first2.__seg_ & __m) != (__b << __first2.__ctz_))
|
|
|
|
return false;
|
|
|
|
__first2.__seg_ += (__dn + __first2.__ctz_) / __bits_per_word;
|
|
|
|
__first2.__ctz_ = static_cast<unsigned>((__dn + __first2.__ctz_) % __bits_per_word);
|
|
|
|
__n -= __dn;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
if ((*__first2.__seg_ & __m) != (__b >> __dn))
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2012-08-05 23:43:11 +02:00
|
|
|
template <class _Cp, bool _IC1, bool _IC2>
|
2010-05-11 21:42:16 +02:00
|
|
|
bool
|
2012-08-05 23:43:11 +02:00
|
|
|
__equal_aligned(__bit_iterator<_Cp, _IC1> __first1, __bit_iterator<_Cp, _IC1> __last1,
|
|
|
|
__bit_iterator<_Cp, _IC2> __first2)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
2012-08-05 23:43:11 +02:00
|
|
|
typedef __bit_iterator<_Cp, _IC1> _It;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef typename _It::difference_type difference_type;
|
|
|
|
typedef typename _It::__storage_type __storage_type;
|
|
|
|
static const unsigned __bits_per_word = _It::__bits_per_word;
|
|
|
|
difference_type __n = __last1 - __first1;
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
// do first word
|
|
|
|
if (__first1.__ctz_ != 0)
|
|
|
|
{
|
|
|
|
unsigned __clz = __bits_per_word - __first1.__ctz_;
|
2011-06-30 23:18:19 +02:00
|
|
|
difference_type __dn = _VSTD::min(static_cast<difference_type>(__clz), __n);
|
2010-05-11 21:42:16 +02:00
|
|
|
__n -= __dn;
|
|
|
|
__storage_type __m = (~__storage_type(0) << __first1.__ctz_) & (~__storage_type(0) >> (__clz - __dn));
|
|
|
|
if ((*__first2.__seg_ & __m) != (*__first1.__seg_ & __m))
|
|
|
|
return false;
|
|
|
|
++__first2.__seg_;
|
|
|
|
++__first1.__seg_;
|
|
|
|
// __first1.__ctz_ = 0;
|
|
|
|
// __first2.__ctz_ = 0;
|
|
|
|
}
|
|
|
|
// __first1.__ctz_ == 0;
|
|
|
|
// __first2.__ctz_ == 0;
|
|
|
|
// do middle words
|
|
|
|
for (; __n >= __bits_per_word; __n -= __bits_per_word, ++__first1.__seg_, ++__first2.__seg_)
|
|
|
|
if (*__first2.__seg_ != *__first1.__seg_)
|
|
|
|
return false;
|
|
|
|
// do last word
|
|
|
|
if (__n > 0)
|
|
|
|
{
|
|
|
|
__storage_type __m = ~__storage_type(0) >> (__bits_per_word - __n);
|
|
|
|
if ((*__first2.__seg_ & __m) != (*__first1.__seg_ & __m))
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Cp, bool _IC1, bool _IC2>
|
2010-09-21 19:32:39 +02:00
|
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
2010-05-11 21:42:16 +02:00
|
|
|
bool
|
2011-11-29 19:15:50 +01:00
|
|
|
equal(__bit_iterator<_Cp, _IC1> __first1, __bit_iterator<_Cp, _IC1> __last1, __bit_iterator<_Cp, _IC2> __first2)
|
2010-05-11 21:42:16 +02:00
|
|
|
{
|
|
|
|
if (__first1.__ctz_ == __first2.__ctz_)
|
|
|
|
return __equal_aligned(__first1, __last1, __first2);
|
|
|
|
return __equal_unaligned(__first1, __last1, __first2);
|
|
|
|
}
|
|
|
|
|
2012-05-07 18:50:38 +02:00
|
|
|
template <class _Cp, bool _IsConst,
|
|
|
|
typename _Cp::__storage_type>
|
2010-05-11 21:42:16 +02:00
|
|
|
class __bit_iterator
|
|
|
|
{
|
|
|
|
public:
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef typename _Cp::difference_type difference_type;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef bool value_type;
|
|
|
|
typedef __bit_iterator pointer;
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef typename conditional<_IsConst, __bit_const_reference<_Cp>, __bit_reference<_Cp> >::type reference;
|
2010-05-11 21:42:16 +02:00
|
|
|
typedef random_access_iterator_tag iterator_category;
|
|
|
|
|
|
|
|
private:
|
2011-11-29 19:15:50 +01:00
|
|
|
typedef typename _Cp::__storage_type __storage_type;
|
|
|
|
typedef typename conditional<_IsConst, typename _Cp::__const_storage_pointer,
|
|
|
|
typename _Cp::__storage_pointer>::type __storage_pointer;
|
|
|
|
static const unsigned __bits_per_word = _Cp::__bits_per_word;
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
__storage_pointer __seg_;
|
|
|
|
unsigned __ctz_;
|
|
|
|
|
|
|
|
public:
|
2011-05-27 22:52:28 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator() _NOEXCEPT {}
|
2010-05-11 21:42:16 +02:00
|
|
|
|
2011-05-27 22:52:28 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
2011-11-29 19:15:50 +01:00
|
|
|
__bit_iterator(const __bit_iterator<_Cp, false>& __it) _NOEXCEPT
|
2010-05-11 21:42:16 +02:00
|
|
|
: __seg_(__it.__seg_), __ctz_(__it.__ctz_) {}
|
|
|
|
|
2011-05-27 22:52:28 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY reference operator*() const _NOEXCEPT
|
|
|
|
{return reference(__seg_, __storage_type(1) << __ctz_);}
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator& operator++()
|
|
|
|
{
|
|
|
|
if (__ctz_ != __bits_per_word-1)
|
|
|
|
++__ctz_;
|
|
|
|
else
|
|
|
|
{
|
|
|
|
__ctz_ = 0;
|
|
|
|
++__seg_;
|
|
|
|
}
|
|
|
|
return *this;
|
|
|
|
}
|
2010-08-22 02:02:43 +02:00
|
|
|
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator operator++(int)
|
|
|
|
{
|
|
|
|
__bit_iterator __tmp = *this;
|
|
|
|
++(*this);
|
|
|
|
return __tmp;
|
|
|
|
}
|
2010-08-22 02:02:43 +02:00
|
|
|
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator& operator--()
|
|
|
|
{
|
|
|
|
if (__ctz_ != 0)
|
|
|
|
--__ctz_;
|
|
|
|
else
|
|
|
|
{
|
|
|
|
__ctz_ = __bits_per_word - 1;
|
|
|
|
--__seg_;
|
|
|
|
}
|
|
|
|
return *this;
|
|
|
|
}
|
2010-08-22 02:02:43 +02:00
|
|
|
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator operator--(int)
|
|
|
|
{
|
|
|
|
__bit_iterator __tmp = *this;
|
|
|
|
--(*this);
|
|
|
|
return __tmp;
|
|
|
|
}
|
2010-08-22 02:02:43 +02:00
|
|
|
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator& operator+=(difference_type __n)
|
|
|
|
{
|
|
|
|
if (__n >= 0)
|
|
|
|
__seg_ += (__n + __ctz_) / __bits_per_word;
|
|
|
|
else
|
|
|
|
__seg_ += static_cast<difference_type>(__n - __bits_per_word + __ctz_ + 1)
|
|
|
|
/ static_cast<difference_type>(__bits_per_word);
|
|
|
|
__n &= (__bits_per_word - 1);
|
|
|
|
__ctz_ = static_cast<unsigned>((__n + __ctz_) % __bits_per_word);
|
|
|
|
return *this;
|
|
|
|
}
|
2010-08-22 02:02:43 +02:00
|
|
|
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator& operator-=(difference_type __n)
|
|
|
|
{
|
|
|
|
return *this += -__n;
|
|
|
|
}
|
2010-08-22 02:02:43 +02:00
|
|
|
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator operator+(difference_type __n) const
|
|
|
|
{
|
|
|
|
__bit_iterator __t(*this);
|
|
|
|
__t += __n;
|
|
|
|
return __t;
|
|
|
|
}
|
2010-08-22 02:02:43 +02:00
|
|
|
|
2010-05-11 21:42:16 +02:00
|
|
|
_LIBCPP_INLINE_VISIBILITY __bit_iterator operator-(difference_type __n) const
|
|
|
|
{
|
|
|
|
__bit_iterator __t(*this);
|
|
|
|
__t -= __n;
|
|
|
|
return __t;
|
|
|
|
}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
|
|
friend __bit_iterator operator+(difference_type __n, const __bit_iterator& __it) {return __it + __n;}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
|
|
friend difference_type operator-(const __bit_iterator& __x, const __bit_iterator& __y)
|
|
|
|
{return (__x.__seg_ - __y.__seg_) * __bits_per_word + __x.__ctz_ - __y.__ctz_;}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY reference operator[](difference_type __n) const {return *(*this + __n);}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY friend bool operator==(const __bit_iterator& __x, const __bit_iterator& __y)
|
|
|
|
{return __x.__seg_ == __y.__seg_ && __x.__ctz_ == __y.__ctz_;}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY friend bool operator!=(const __bit_iterator& __x, const __bit_iterator& __y)
|
|
|
|
{return !(__x == __y);}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY friend bool operator<(const __bit_iterator& __x, const __bit_iterator& __y)
|
|
|
|
{return __x.__seg_ < __y.__seg_ || (__x.__seg_ == __y.__seg_ && __x.__ctz_ < __y.__ctz_);}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY friend bool operator>(const __bit_iterator& __x, const __bit_iterator& __y)
|
|
|
|
{return __y < __x;}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY friend bool operator<=(const __bit_iterator& __x, const __bit_iterator& __y)
|
|
|
|
{return !(__y < __x);}
|
|
|
|
|
|
|
|
_LIBCPP_INLINE_VISIBILITY friend bool operator>=(const __bit_iterator& __x, const __bit_iterator& __y)
|
|
|
|
{return !(__x < __y);}
|
|
|
|
|
|
|
|
private:
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
2011-05-27 22:52:28 +02:00
|
|
|
__bit_iterator(__storage_pointer __s, unsigned __ctz) _NOEXCEPT
|
|
|
|
: __seg_(__s), __ctz_(__ctz) {}
|
2010-05-11 21:42:16 +02:00
|
|
|
|
|
|
|
#if defined(__clang__)
|
2011-11-29 19:15:50 +01:00
|
|
|
friend typename _Cp::__self;
|
2010-05-11 21:42:16 +02:00
|
|
|
#else
|
2011-11-29 19:15:50 +01:00
|
|
|
friend class _Cp::__self;
|
2010-05-11 21:42:16 +02:00
|
|
|
#endif
|
2011-11-29 19:15:50 +01:00
|
|
|
friend class __bit_reference<_Cp>;
|
|
|
|
friend class __bit_const_reference<_Cp>;
|
|
|
|
friend class __bit_iterator<_Cp, true>;
|
|
|
|
template <class _Dp> friend struct __bit_array;
|
|
|
|
template <class _Dp> friend void __fill_n_false(__bit_iterator<_Dp, false> __first, typename _Dp::size_type __n);
|
|
|
|
template <class _Dp> friend void __fill_n_true(__bit_iterator<_Dp, false> __first, typename _Dp::size_type __n);
|
|
|
|
template <class _Dp, bool _IC> friend __bit_iterator<_Dp, false> __copy_aligned(__bit_iterator<_Dp, _IC> __first,
|
|
|
|
__bit_iterator<_Dp, _IC> __last,
|
|
|
|
__bit_iterator<_Dp, false> __result);
|
|
|
|
template <class _Dp, bool _IC> friend __bit_iterator<_Dp, false> __copy_unaligned(__bit_iterator<_Dp, _IC> __first,
|
|
|
|
__bit_iterator<_Dp, _IC> __last,
|
|
|
|
__bit_iterator<_Dp, false> __result);
|
|
|
|
template <class _Dp, bool _IC> friend __bit_iterator<_Dp, false> copy(__bit_iterator<_Dp, _IC> __first,
|
|
|
|
__bit_iterator<_Dp, _IC> __last,
|
|
|
|
__bit_iterator<_Dp, false> __result);
|
|
|
|
template <class _Dp, bool _IC> friend __bit_iterator<_Dp, false> __copy_backward_aligned(__bit_iterator<_Dp, _IC> __first,
|
|
|
|
__bit_iterator<_Dp, _IC> __last,
|
|
|
|
__bit_iterator<_Dp, false> __result);
|
|
|
|
template <class _Dp, bool _IC> friend __bit_iterator<_Dp, false> __copy_backward_unaligned(__bit_iterator<_Dp, _IC> __first,
|
|
|
|
__bit_iterator<_Dp, _IC> __last,
|
|
|
|
__bit_iterator<_Dp, false> __result);
|
|
|
|
template <class _Dp, bool _IC> friend __bit_iterator<_Dp, false> copy_backward(__bit_iterator<_Dp, _IC> __first,
|
|
|
|
__bit_iterator<_Dp, _IC> __last,
|
|
|
|
__bit_iterator<_Dp, false> __result);
|
2011-09-23 18:11:27 +02:00
|
|
|
template <class __C1, class __C2>friend __bit_iterator<__C2, false> __swap_ranges_aligned(__bit_iterator<__C1, false>,
|
|
|
|
__bit_iterator<__C1, false>,
|
|
|
|
__bit_iterator<__C2, false>);
|
|
|
|
template <class __C1, class __C2>friend __bit_iterator<__C2, false> __swap_ranges_unaligned(__bit_iterator<__C1, false>,
|
|
|
|
__bit_iterator<__C1, false>,
|
|
|
|
__bit_iterator<__C2, false>);
|
|
|
|
template <class __C1, class __C2>friend __bit_iterator<__C2, false> swap_ranges(__bit_iterator<__C1, false>,
|
|
|
|
__bit_iterator<__C1, false>,
|
|
|
|
__bit_iterator<__C2, false>);
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Dp> friend __bit_iterator<_Dp, false> rotate(__bit_iterator<_Dp, false>,
|
|
|
|
__bit_iterator<_Dp, false>,
|
|
|
|
__bit_iterator<_Dp, false>);
|
2012-08-05 23:43:11 +02:00
|
|
|
template <class _Dp, bool _IC1, bool _IC2> friend bool __equal_aligned(__bit_iterator<_Dp, _IC1>,
|
|
|
|
__bit_iterator<_Dp, _IC1>,
|
|
|
|
__bit_iterator<_Dp, _IC2>);
|
|
|
|
template <class _Dp, bool _IC1, bool _IC2> friend bool __equal_unaligned(__bit_iterator<_Dp, _IC1>,
|
|
|
|
__bit_iterator<_Dp, _IC1>,
|
|
|
|
__bit_iterator<_Dp, _IC2>);
|
2011-11-29 19:15:50 +01:00
|
|
|
template <class _Dp, bool _IC1, bool _IC2> friend bool equal(__bit_iterator<_Dp, _IC1>,
|
|
|
|
__bit_iterator<_Dp, _IC1>,
|
|
|
|
__bit_iterator<_Dp, _IC2>);
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Dp, bool _IC> friend __bit_iterator<_Dp, _IC> __find_bool_true(__bit_iterator<_Dp, _IC>,
|
2011-11-29 19:15:50 +01:00
|
|
|
typename _Dp::size_type);
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Dp, bool _IC> friend __bit_iterator<_Dp, _IC> __find_bool_false(__bit_iterator<_Dp, _IC>,
|
2011-11-29 19:15:50 +01:00
|
|
|
typename _Dp::size_type);
|
2012-05-10 16:55:00 +02:00
|
|
|
template <class _Dp, bool _IC> friend typename __bit_iterator<_Dp, _IC>::difference_type
|
|
|
|
__count_bool_true(__bit_iterator<_Dp, _IC>, typename _Dp::size_type);
|
|
|
|
template <class _Dp, bool _IC> friend typename __bit_iterator<_Dp, _IC>::difference_type
|
|
|
|
__count_bool_false(__bit_iterator<_Dp, _IC>, typename _Dp::size_type);
|
2010-05-11 21:42:16 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
_LIBCPP_END_NAMESPACE_STD
|
|
|
|
|
|
|
|
#endif // _LIBCPP___BIT_REFERENCE
|