Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 1 | // |
| 2 | // Copyright 2015 The ANGLE Project Authors. All rights reserved. |
| 3 | // Use of this source code is governed by a BSD-style license that can be |
| 4 | // found in the LICENSE file. |
| 5 | // |
Jamie Madill | 20e005b | 2017-04-07 14:19:22 -0400 | [diff] [blame] | 6 | // bitset_utils: |
| 7 | // Bitset-related helper classes, such as a fast iterator to scan for set bits. |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 8 | // |
| 9 | |
| 10 | #ifndef COMMON_BITSETITERATOR_H_ |
| 11 | #define COMMON_BITSETITERATOR_H_ |
| 12 | |
| 13 | #include <stdint.h> |
| 14 | |
| 15 | #include <bitset> |
| 16 | |
| 17 | #include "common/angleutils.h" |
| 18 | #include "common/debug.h" |
| 19 | #include "common/mathutil.h" |
| 20 | #include "common/platform.h" |
| 21 | |
| 22 | namespace angle |
| 23 | { |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 24 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 25 | template <size_t N, typename BitsT, typename ParamT = std::size_t> |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 26 | class BitSetT final |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 27 | { |
| 28 | public: |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 29 | class Reference final |
| 30 | { |
| 31 | public: |
| 32 | ~Reference() {} |
Shao | 37219c8 | 2017-04-26 10:59:48 +0800 | [diff] [blame] | 33 | Reference &operator=(bool x) |
| 34 | { |
| 35 | mParent->set(mBit, x); |
| 36 | return *this; |
| 37 | } |
Jeff Gilbert | 5e5438f | 2017-10-31 14:44:06 -0700 | [diff] [blame] | 38 | explicit operator bool() const { return mParent->test(mBit); } |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 39 | |
| 40 | private: |
| 41 | friend class BitSetT; |
| 42 | |
| 43 | Reference(BitSetT *parent, std::size_t bit) : mParent(parent), mBit(bit) {} |
| 44 | |
| 45 | BitSetT *mParent; |
| 46 | std::size_t mBit; |
| 47 | }; |
| 48 | |
| 49 | class Iterator final |
| 50 | { |
| 51 | public: |
| 52 | Iterator(const BitSetT &bits); |
| 53 | Iterator &operator++(); |
| 54 | |
| 55 | bool operator==(const Iterator &other) const; |
| 56 | bool operator!=(const Iterator &other) const; |
| 57 | std::size_t operator*() const; |
| 58 | |
| 59 | private: |
| 60 | std::size_t getNextBit(); |
| 61 | |
| 62 | BitSetT mBitsCopy; |
| 63 | std::size_t mCurrentBit; |
| 64 | }; |
| 65 | |
| 66 | BitSetT(); |
| 67 | BitSetT(BitsT value); |
| 68 | ~BitSetT(); |
| 69 | |
| 70 | BitSetT(const BitSetT &other); |
| 71 | BitSetT &operator=(const BitSetT &other); |
| 72 | |
| 73 | bool operator==(const BitSetT &other) const; |
| 74 | bool operator!=(const BitSetT &other) const; |
| 75 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 76 | constexpr bool operator[](ParamT pos) const; |
| 77 | Reference operator[](ParamT pos) { return Reference(this, pos); } |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 78 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 79 | bool test(ParamT pos) const; |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 80 | |
| 81 | bool all() const; |
| 82 | bool any() const; |
| 83 | bool none() const; |
| 84 | std::size_t count() const; |
| 85 | |
| 86 | constexpr std::size_t size() const { return N; } |
| 87 | |
| 88 | BitSetT &operator&=(const BitSetT &other); |
| 89 | BitSetT &operator|=(const BitSetT &other); |
| 90 | BitSetT &operator^=(const BitSetT &other); |
| 91 | BitSetT operator~() const; |
| 92 | |
| 93 | BitSetT operator<<(std::size_t pos) const; |
| 94 | BitSetT &operator<<=(std::size_t pos); |
| 95 | BitSetT operator>>(std::size_t pos) const; |
| 96 | BitSetT &operator>>=(std::size_t pos); |
| 97 | |
| 98 | BitSetT &set(); |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 99 | BitSetT &set(ParamT pos, bool value = true); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 100 | |
| 101 | BitSetT &reset(); |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 102 | BitSetT &reset(ParamT pos); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 103 | |
| 104 | BitSetT &flip(); |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 105 | BitSetT &flip(ParamT pos); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 106 | |
| 107 | unsigned long to_ulong() const { return static_cast<unsigned long>(mBits); } |
| 108 | BitsT bits() const { return mBits; } |
| 109 | |
| 110 | Iterator begin() const { return Iterator(*this); } |
| 111 | Iterator end() const { return Iterator(BitSetT()); } |
| 112 | |
| 113 | private: |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 114 | constexpr static BitsT Bit(ParamT x) |
| 115 | { |
| 116 | return (static_cast<BitsT>(1) << static_cast<size_t>(x)); |
| 117 | } |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 118 | constexpr static BitsT Mask(std::size_t x) { return ((Bit(x - 1) - 1) << 1) + 1; } |
| 119 | |
| 120 | BitsT mBits; |
| 121 | }; |
| 122 | |
| 123 | template <size_t N> |
| 124 | class IterableBitSet : public std::bitset<N> |
| 125 | { |
| 126 | public: |
| 127 | IterableBitSet() {} |
| 128 | IterableBitSet(const std::bitset<N> &implicitBitSet) : std::bitset<N>(implicitBitSet) {} |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 129 | |
| 130 | class Iterator final |
| 131 | { |
| 132 | public: |
| 133 | Iterator(const std::bitset<N> &bits); |
| 134 | Iterator &operator++(); |
| 135 | |
| 136 | bool operator==(const Iterator &other) const; |
| 137 | bool operator!=(const Iterator &other) const; |
| 138 | unsigned long operator*() const { return mCurrentBit; } |
| 139 | |
| 140 | private: |
| 141 | unsigned long getNextBit(); |
| 142 | |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 143 | static constexpr size_t BitsPerWord = sizeof(uint32_t) * 8; |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 144 | std::bitset<N> mBits; |
| 145 | unsigned long mCurrentBit; |
| 146 | unsigned long mOffset; |
| 147 | }; |
| 148 | |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 149 | Iterator begin() const { return Iterator(*this); } |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 150 | Iterator end() const { return Iterator(std::bitset<N>(0)); } |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 151 | }; |
| 152 | |
| 153 | template <size_t N> |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 154 | IterableBitSet<N>::Iterator::Iterator(const std::bitset<N> &bitset) |
| 155 | : mBits(bitset), mCurrentBit(0), mOffset(0) |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 156 | { |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 157 | if (mBits.any()) |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 158 | { |
| 159 | mCurrentBit = getNextBit(); |
| 160 | } |
| 161 | else |
| 162 | { |
Cooper Partin | 4d61f7e | 2015-08-12 10:56:50 -0700 | [diff] [blame] | 163 | mOffset = static_cast<unsigned long>(rx::roundUp(N, BitsPerWord)); |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 164 | } |
| 165 | } |
| 166 | |
| 167 | template <size_t N> |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 168 | typename IterableBitSet<N>::Iterator &IterableBitSet<N>::Iterator::operator++() |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 169 | { |
| 170 | ASSERT(mBits.any()); |
| 171 | mBits.set(mCurrentBit - mOffset, 0); |
| 172 | mCurrentBit = getNextBit(); |
| 173 | return *this; |
| 174 | } |
| 175 | |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 176 | template <size_t N> |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 177 | bool IterableBitSet<N>::Iterator::operator==(const Iterator &other) const |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 178 | { |
| 179 | return mOffset == other.mOffset && mBits == other.mBits; |
| 180 | } |
| 181 | |
| 182 | template <size_t N> |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 183 | bool IterableBitSet<N>::Iterator::operator!=(const Iterator &other) const |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 184 | { |
| 185 | return !(*this == other); |
| 186 | } |
| 187 | |
| 188 | template <size_t N> |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 189 | unsigned long IterableBitSet<N>::Iterator::getNextBit() |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 190 | { |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 191 | // TODO(jmadill): Use 64-bit scan when possible. |
| 192 | static constexpr std::bitset<N> wordMask(std::numeric_limits<uint32_t>::max()); |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 193 | |
| 194 | while (mOffset < N) |
| 195 | { |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 196 | uint32_t wordBits = static_cast<uint32_t>((mBits & wordMask).to_ulong()); |
| 197 | if (wordBits != 0) |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 198 | { |
Olli Etuaho | 9250cb2 | 2017-01-21 10:51:27 +0000 | [diff] [blame] | 199 | return gl::ScanForward(wordBits) + mOffset; |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 200 | } |
| 201 | |
| 202 | mBits >>= BitsPerWord; |
| 203 | mOffset += BitsPerWord; |
| 204 | } |
| 205 | return 0; |
| 206 | } |
| 207 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 208 | template <size_t N, typename BitsT, typename ParamT> |
| 209 | BitSetT<N, BitsT, ParamT>::BitSetT() : mBits(0) |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 210 | { |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 211 | static_assert(N > 0, "Bitset type cannot support zero bits."); |
| 212 | static_assert(N <= sizeof(BitsT) * 8, "Bitset type cannot support a size this large."); |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 213 | } |
| 214 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 215 | template <size_t N, typename BitsT, typename ParamT> |
| 216 | BitSetT<N, BitsT, ParamT>::BitSetT(BitsT value) : mBits(value & Mask(N)) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 217 | { |
| 218 | } |
| 219 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 220 | template <size_t N, typename BitsT, typename ParamT> |
| 221 | BitSetT<N, BitsT, ParamT>::~BitSetT() |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 222 | { |
| 223 | } |
| 224 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 225 | template <size_t N, typename BitsT, typename ParamT> |
| 226 | BitSetT<N, BitsT, ParamT>::BitSetT(const BitSetT &other) : mBits(other.mBits) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 227 | { |
| 228 | } |
| 229 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 230 | template <size_t N, typename BitsT, typename ParamT> |
| 231 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::operator=(const BitSetT &other) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 232 | { |
| 233 | mBits = other.mBits; |
| 234 | return *this; |
| 235 | } |
| 236 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 237 | template <size_t N, typename BitsT, typename ParamT> |
| 238 | bool BitSetT<N, BitsT, ParamT>::operator==(const BitSetT &other) const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 239 | { |
| 240 | return mBits == other.mBits; |
| 241 | } |
| 242 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 243 | template <size_t N, typename BitsT, typename ParamT> |
| 244 | bool BitSetT<N, BitsT, ParamT>::operator!=(const BitSetT &other) const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 245 | { |
| 246 | return mBits != other.mBits; |
| 247 | } |
| 248 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 249 | template <size_t N, typename BitsT, typename ParamT> |
| 250 | constexpr bool BitSetT<N, BitsT, ParamT>::operator[](ParamT pos) const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 251 | { |
| 252 | return test(pos); |
| 253 | } |
| 254 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 255 | template <size_t N, typename BitsT, typename ParamT> |
| 256 | bool BitSetT<N, BitsT, ParamT>::test(ParamT pos) const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 257 | { |
| 258 | return (mBits & Bit(pos)) != 0; |
| 259 | } |
| 260 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 261 | template <size_t N, typename BitsT, typename ParamT> |
| 262 | bool BitSetT<N, BitsT, ParamT>::all() const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 263 | { |
| 264 | ASSERT(mBits == (mBits & Mask(N))); |
| 265 | return mBits == Mask(N); |
| 266 | } |
| 267 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 268 | template <size_t N, typename BitsT, typename ParamT> |
| 269 | bool BitSetT<N, BitsT, ParamT>::any() const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 270 | { |
| 271 | ASSERT(mBits == (mBits & Mask(N))); |
| 272 | return (mBits != 0); |
| 273 | } |
| 274 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 275 | template <size_t N, typename BitsT, typename ParamT> |
| 276 | bool BitSetT<N, BitsT, ParamT>::none() const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 277 | { |
| 278 | ASSERT(mBits == (mBits & Mask(N))); |
| 279 | return (mBits == 0); |
| 280 | } |
| 281 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 282 | template <size_t N, typename BitsT, typename ParamT> |
| 283 | std::size_t BitSetT<N, BitsT, ParamT>::count() const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 284 | { |
| 285 | return gl::BitCount(mBits); |
| 286 | } |
| 287 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 288 | template <size_t N, typename BitsT, typename ParamT> |
| 289 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::operator&=(const BitSetT &other) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 290 | { |
| 291 | mBits &= other.mBits; |
| 292 | return *this; |
| 293 | } |
| 294 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 295 | template <size_t N, typename BitsT, typename ParamT> |
| 296 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::operator|=(const BitSetT &other) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 297 | { |
| 298 | mBits |= other.mBits; |
| 299 | return *this; |
| 300 | } |
| 301 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 302 | template <size_t N, typename BitsT, typename ParamT> |
| 303 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::operator^=(const BitSetT &other) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 304 | { |
| 305 | mBits = (mBits ^ other.mBits) & Mask(N); |
| 306 | return *this; |
| 307 | } |
| 308 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 309 | template <size_t N, typename BitsT, typename ParamT> |
| 310 | BitSetT<N, BitsT, ParamT> BitSetT<N, BitsT, ParamT>::operator~() const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 311 | { |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 312 | return BitSetT<N, BitsT, ParamT>(~mBits & Mask(N)); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 313 | } |
| 314 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 315 | template <size_t N, typename BitsT, typename ParamT> |
| 316 | BitSetT<N, BitsT, ParamT> BitSetT<N, BitsT, ParamT>::operator<<(std::size_t pos) const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 317 | { |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 318 | return BitSetT<N, BitsT, ParamT>((mBits << pos) & Mask(N)); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 319 | } |
| 320 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 321 | template <size_t N, typename BitsT, typename ParamT> |
| 322 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::operator<<=(std::size_t pos) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 323 | { |
| 324 | mBits = (mBits << pos & Mask(N)); |
| 325 | return *this; |
| 326 | } |
| 327 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 328 | template <size_t N, typename BitsT, typename ParamT> |
| 329 | BitSetT<N, BitsT, ParamT> BitSetT<N, BitsT, ParamT>::operator>>(std::size_t pos) const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 330 | { |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 331 | return BitSetT<N, BitsT, ParamT>(mBits >> pos); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 332 | } |
| 333 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 334 | template <size_t N, typename BitsT, typename ParamT> |
| 335 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::operator>>=(std::size_t pos) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 336 | { |
| 337 | mBits = ((mBits >> pos) & Mask(N)); |
| 338 | return *this; |
| 339 | } |
| 340 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 341 | template <size_t N, typename BitsT, typename ParamT> |
| 342 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::set() |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 343 | { |
| 344 | mBits = Mask(N); |
| 345 | return *this; |
| 346 | } |
| 347 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 348 | template <size_t N, typename BitsT, typename ParamT> |
| 349 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::set(ParamT pos, bool value) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 350 | { |
| 351 | if (value) |
| 352 | { |
| 353 | mBits |= Bit(pos); |
| 354 | } |
| 355 | else |
| 356 | { |
| 357 | reset(pos); |
| 358 | } |
| 359 | return *this; |
| 360 | } |
| 361 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 362 | template <size_t N, typename BitsT, typename ParamT> |
| 363 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::reset() |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 364 | { |
| 365 | mBits = 0; |
| 366 | return *this; |
| 367 | } |
| 368 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 369 | template <size_t N, typename BitsT, typename ParamT> |
| 370 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::reset(ParamT pos) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 371 | { |
| 372 | mBits &= ~Bit(pos); |
| 373 | return *this; |
| 374 | } |
| 375 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 376 | template <size_t N, typename BitsT, typename ParamT> |
| 377 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::flip() |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 378 | { |
| 379 | mBits ^= Mask(N); |
| 380 | return *this; |
| 381 | } |
| 382 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 383 | template <size_t N, typename BitsT, typename ParamT> |
| 384 | BitSetT<N, BitsT, ParamT> &BitSetT<N, BitsT, ParamT>::flip(ParamT pos) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 385 | { |
| 386 | mBits ^= Bit(pos); |
| 387 | return *this; |
| 388 | } |
| 389 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 390 | template <size_t N, typename BitsT, typename ParamT> |
| 391 | BitSetT<N, BitsT, ParamT>::Iterator::Iterator(const BitSetT &bits) : mBitsCopy(bits), mCurrentBit(0) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 392 | { |
| 393 | if (bits.any()) |
| 394 | { |
| 395 | mCurrentBit = getNextBit(); |
| 396 | } |
| 397 | } |
| 398 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 399 | template <size_t N, typename BitsT, typename ParamT> |
| 400 | typename BitSetT<N, BitsT, ParamT>::Iterator &BitSetT<N, BitsT, ParamT>::Iterator::operator++() |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 401 | { |
| 402 | ASSERT(mBitsCopy.any()); |
| 403 | mBitsCopy.reset(mCurrentBit); |
| 404 | mCurrentBit = getNextBit(); |
| 405 | return *this; |
| 406 | } |
| 407 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 408 | template <size_t N, typename BitsT, typename ParamT> |
| 409 | bool BitSetT<N, BitsT, ParamT>::Iterator::operator==(const Iterator &other) const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 410 | { |
| 411 | return mBitsCopy == other.mBitsCopy; |
| 412 | } |
| 413 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 414 | template <size_t N, typename BitsT, typename ParamT> |
| 415 | bool BitSetT<N, BitsT, ParamT>::Iterator::operator!=(const Iterator &other) const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 416 | { |
| 417 | return !(*this == other); |
| 418 | } |
| 419 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 420 | template <size_t N, typename BitsT, typename ParamT> |
| 421 | std::size_t BitSetT<N, BitsT, ParamT>::Iterator::operator*() const |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 422 | { |
| 423 | return mCurrentBit; |
| 424 | } |
| 425 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 426 | template <size_t N, typename BitsT, typename ParamT> |
| 427 | std::size_t BitSetT<N, BitsT, ParamT>::Iterator::getNextBit() |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 428 | { |
| 429 | if (mBitsCopy.none()) |
| 430 | { |
| 431 | return 0; |
| 432 | } |
| 433 | |
| 434 | return gl::ScanForward(mBitsCopy.mBits); |
| 435 | } |
| 436 | |
| 437 | template <size_t N> |
| 438 | using BitSet32 = BitSetT<N, uint32_t>; |
| 439 | |
| 440 | // ScanForward for 64-bits requires a 64-bit implementation. |
Yuly Novikov | c4f1dd8 | 2017-10-25 17:02:29 -0400 | [diff] [blame] | 441 | #if defined(ANGLE_IS_64_BIT_CPU) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 442 | template <size_t N> |
| 443 | using BitSet64 = BitSetT<N, uint64_t>; |
Yuly Novikov | c4f1dd8 | 2017-10-25 17:02:29 -0400 | [diff] [blame] | 444 | #endif // defined(ANGLE_IS_64_BIT_CPU) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 445 | |
| 446 | namespace priv |
| 447 | { |
| 448 | |
| 449 | template <size_t N, typename T> |
| 450 | using EnableIfBitsFit = typename std::enable_if<N <= sizeof(T) * 8>::type; |
| 451 | |
| 452 | template <size_t N, typename Enable = void> |
| 453 | struct GetBitSet |
| 454 | { |
| 455 | using Type = IterableBitSet<N>; |
| 456 | }; |
| 457 | |
| 458 | // Prefer 64-bit bitsets on 64-bit CPUs. They seem faster than 32-bit. |
Yuly Novikov | c4f1dd8 | 2017-10-25 17:02:29 -0400 | [diff] [blame] | 459 | #if defined(ANGLE_IS_64_BIT_CPU) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 460 | template <size_t N> |
| 461 | struct GetBitSet<N, EnableIfBitsFit<N, uint64_t>> |
| 462 | { |
| 463 | using Type = BitSet64<N>; |
| 464 | }; |
| 465 | #else |
| 466 | template <size_t N> |
| 467 | struct GetBitSet<N, EnableIfBitsFit<N, uint32_t>> |
| 468 | { |
| 469 | using Type = BitSet32<N>; |
| 470 | }; |
Yuly Novikov | c4f1dd8 | 2017-10-25 17:02:29 -0400 | [diff] [blame] | 471 | #endif // defined(ANGLE_IS_64_BIT_CPU) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 472 | |
| 473 | } // namespace priv |
| 474 | |
| 475 | template <size_t N> |
| 476 | using BitSet = typename priv::GetBitSet<N>::Type; |
| 477 | |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 478 | } // angle |
| 479 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 480 | template <size_t N, typename BitsT, typename ParamT> |
| 481 | inline angle::BitSetT<N, BitsT, ParamT> operator&(const angle::BitSetT<N, BitsT, ParamT> &lhs, |
| 482 | const angle::BitSetT<N, BitsT, ParamT> &rhs) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 483 | { |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 484 | return angle::BitSetT<N, BitsT, ParamT>(lhs.bits() & rhs.bits()); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 485 | } |
| 486 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 487 | template <size_t N, typename BitsT, typename ParamT> |
| 488 | inline angle::BitSetT<N, BitsT, ParamT> operator|(const angle::BitSetT<N, BitsT, ParamT> &lhs, |
| 489 | const angle::BitSetT<N, BitsT, ParamT> &rhs) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 490 | { |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 491 | return angle::BitSetT<N, BitsT, ParamT>(lhs.bits() | rhs.bits()); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 492 | } |
| 493 | |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 494 | template <size_t N, typename BitsT, typename ParamT> |
| 495 | inline angle::BitSetT<N, BitsT, ParamT> operator^(const angle::BitSetT<N, BitsT, ParamT> &lhs, |
| 496 | const angle::BitSetT<N, BitsT, ParamT> &rhs) |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 497 | { |
Corentin Wallez | e447700 | 2017-12-01 14:39:58 -0500 | [diff] [blame^] | 498 | return angle::BitSetT<N, BitsT, ParamT>(lhs.bits() ^ rhs.bits()); |
Jamie Madill | 6de5185 | 2017-04-12 09:53:01 -0400 | [diff] [blame] | 499 | } |
| 500 | |
Jamie Madill | 6b2a0b0 | 2015-08-03 14:15:08 -0400 | [diff] [blame] | 501 | #endif // COMMON_BITSETITERATOR_H_ |