// Copyright 2020 The Dawn & Tint Authors
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
// 1. Redistributions of source code must retain the above copyright notice, this
//    list of conditions and the following disclaimer.
//
// 2. Redistributions in binary form must reproduce the above copyright notice,
//    this list of conditions and the following disclaimer in the documentation
//    and/or other materials provided with the distribution.
//
// 3. Neither the name of the copyright holder nor the names of its
//    contributors may be used to endorse or promote products derived from
//    this software without specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
// AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

#ifndef SRC_DAWN_COMMON_ITYP_BITSET_H_
#define SRC_DAWN_COMMON_ITYP_BITSET_H_

#include <bit>
#include <bitset>
#include <limits>

#include "src/dawn/common/Assert.h"
#include "src/dawn/common/BitSetRangeIterator.h"
#include "src/dawn/common/Math.h"
#include "src/utils/underlying_type.h"

namespace dawn {
namespace ityp {

namespace detail {

template <typename Index, size_t N>
class Iterator64 final {
  public:
    explicit Iterator64(const std::bitset<N>& bits)
        : mBits(static_cast<uint64_t>(bits.to_ullong())) {}
    Iterator64& operator++();

    bool operator==(const Iterator64& other) const = default;

    Index operator*() const;

  private:
    uint32_t getNextBit() const;
    uint64_t mBits;
};

template <typename Index, size_t N>
Iterator64<Index, N>& Iterator64<Index, N>::operator++() {
    DAWN_RELEASE_ASSUME(mBits != 0);
    uint32_t currentBit = getNextBit();
    // Clear the previous current bit.
    mBits = mBits & ~(static_cast<uint64_t>(1) << currentBit);
    return *this;
}

template <typename Index, size_t N>
Index Iterator64<Index, N>::operator*() const {
    using U = UnderlyingType<Index>;
    uint32_t currentBit = getNextBit();
    DAWN_RELEASE_ASSUME(static_cast<U>(currentBit) <= std::numeric_limits<U>::max());
    return static_cast<Index>(static_cast<U>(currentBit));
}

template <typename Index, size_t N>
uint32_t Iterator64<Index, N>::getNextBit() const {
    if (mBits == 0) {
        return 0;
    }
    return std::countr_zero(mBits);
}

template <typename Index, size_t N>
class IteratorArray final {
  public:
    explicit IteratorArray(const std::bitset<N>& bits);

    IteratorArray& operator++();

    bool operator==(const IteratorArray& other) const {
        return mOffset == other.mOffset && mBits == other.mBits;
    }
    bool operator!=(const IteratorArray& other) const { return !(*this == other); }

    Index operator*() const;

  private:
    uint32_t getNextBit();

    static constexpr size_t kBitsPerWord = sizeof(uint64_t) * 8;
    std::bitset<N> mBits;
    uint32_t mCurrentBit{0};
    uint32_t mOffset{0};
};

template <typename Index, size_t N>
IteratorArray<Index, N>::IteratorArray(const std::bitset<N>& bits) : mBits(bits) {
    if (bits.any()) {
        mCurrentBit = getNextBit();
    } else {
        mOffset = static_cast<uint32_t>(RoundUp(N, kBitsPerWord));
    }
}

template <typename Index, size_t N>
IteratorArray<Index, N>& IteratorArray<Index, N>::operator++() {
    DAWN_RELEASE_ASSUME(mBits.any());
    mBits.set(mCurrentBit - mOffset, 0);
    mCurrentBit = getNextBit();
    return *this;
}

template <typename Index, size_t N>
Index IteratorArray<Index, N>::operator*() const {
    using U = UnderlyingType<Index>;
    DAWN_RELEASE_ASSUME(static_cast<U>(mCurrentBit) <= std::numeric_limits<U>::max());
    return static_cast<Index>(static_cast<U>(mCurrentBit));
}

template <typename Index, size_t N>
uint32_t IteratorArray<Index, N>::getNextBit() {
    static std::bitset<N> wordMask(std::numeric_limits<uint64_t>::max());

    while (mOffset < N) {
        uint64_t wordBits = static_cast<uint64_t>((mBits & wordMask).to_ullong());
        if (wordBits != 0ull) {
            return std::countr_zero(wordBits) + mOffset;
        }

        mBits >>= kBitsPerWord;
        mOffset += kBitsPerWord;
    }
    return 0;
}

}  // namespace detail

// ityp::bitset is a helper class that wraps std::bitset with the restriction that
// indices must be a particular type |Index|.
template <typename Index, size_t N>
class bitset : private ::std::bitset<N> {
    using I = UnderlyingType<Index>;
    using Base = ::std::bitset<N>;

    static_assert(HasUnsignedUnderlyingType<Index>, "Index type must be unsigned");
    // If this needs to be relaxed, look at ityp::vector for code to share.
    static_assert(std::numeric_limits<I>::max() <= std::numeric_limits<size_t>::max(),
                  "Index type must fit within size_t");
    static_assert(N <= std::numeric_limits<I>::max());

    explicit constexpr bitset(const Base& rhs) : Base(rhs) {}

  public:
    using Iterator = std::conditional_t<(N < sizeof(uint64_t) * 8),
                                        detail::Iterator64<Index, N>,      // true
                                        detail::IteratorArray<Index, N>>;  // false

    Iterator begin() const { return Iterator(*this); }
    Iterator end() const { return Iterator(std::bitset<N>(0)); }

    const Base& AsBase() const { return static_cast<const Base&>(*this); }
    Base& AsBase() { return static_cast<Base&>(*this); }

    using reference = typename Base::reference;

    constexpr bitset() noexcept : Base() {}

    // NOLINTNEXTLINE(runtime/explicit)
    constexpr bitset(uint64_t value) noexcept : Base(value) {
        // Unlike std::bitset, we don't simply discard the most significant bits >= N as this is
        // almost always an error (e.g. the bitset is not large enough, or the value was incorrectly
        // computed). We assert that only the least significant bits < N are being set.
        if constexpr (N < 64) {
            // NOTE: If value is a const expression, this will result in a compile-time failure
            // complaining that `HandleAssertionFailure` cannot be used in a constant expression, or
            // similar.
            DAWN_RELEASE_ASSUME((value >> N) == 0);
        }
    }

    constexpr bool operator[](Index i) const { return Base::operator[](static_cast<I>(i)); }

    typename Base::reference operator[](Index i) { return Base::operator[](static_cast<I>(i)); }

    bool test(Index i) const { return Base::test(static_cast<I>(i)); }

    using Base::all;
    using Base::any;
    using Base::count;
    using Base::none;
    using Base::size;

    bool operator==(const bitset& other) const noexcept {
        return Base::operator==(static_cast<const Base&>(other));
    }

    bool operator!=(const bitset& other) const noexcept {
        return !Base::operator==(static_cast<const Base&>(other));
    }

    bitset& operator&=(const bitset& other) noexcept {
        return static_cast<bitset&>(Base::operator&=(static_cast<const Base&>(other)));
    }

    bitset& operator|=(const bitset& other) noexcept {
        return static_cast<bitset&>(Base::operator|=(static_cast<const Base&>(other)));
    }

    bitset& operator^=(const bitset& other) noexcept {
        return static_cast<bitset&>(Base::operator^=(static_cast<const Base&>(other)));
    }

    bitset operator~() const noexcept { return bitset(*this).flip(); }

    bitset& set() noexcept { return static_cast<bitset&>(Base::set()); }

    bitset& set(Index i, bool value = true) {
        return static_cast<bitset&>(Base::set(static_cast<I>(i), value));
    }

    bitset& reset() noexcept { return static_cast<bitset&>(Base::reset()); }

    bitset& reset(Index i) { return static_cast<bitset&>(Base::reset(static_cast<I>(i))); }

    bitset& flip() noexcept { return static_cast<bitset&>(Base::flip()); }

    bitset& flip(Index i) { return static_cast<bitset&>(Base::flip(static_cast<I>(i))); }

    using Base::to_string;
    using Base::to_ullong;
    using Base::to_ulong;

    friend bitset operator&(const bitset& lhs, const bitset& rhs) noexcept {
        return bitset(static_cast<const Base&>(lhs) & static_cast<const Base&>(rhs));
    }

    friend bitset operator|(const bitset& lhs, const bitset& rhs) noexcept {
        return bitset(static_cast<const Base&>(lhs) | static_cast<const Base&>(rhs));
    }

    friend bitset operator^(const bitset& lhs, const bitset& rhs) noexcept {
        return bitset(static_cast<const Base&>(lhs) ^ static_cast<const Base&>(rhs));
    }

    friend BitSetRangeIterator<N, Index> IterateRanges(const bitset& bitset) {
        return BitSetRangeIterator<N, Index>(static_cast<const Base&>(bitset));
    }

    friend struct std::hash<bitset>;
};

}  // namespace ityp

// Assume we have bitset of at most 64 bits
// Returns i which is the next integer of the index of the highest bit
// i == 0 if there is no bit set to true
// i == 1 if only the least significant bit (at index 0) is the bit set to true with the
// highest index
// ...
// i == 64 if the most significant bit (at index 64) is the bit set to true with the highest
// index
template <typename Index, size_t N>
Index GetHighestBitIndexPlusOne(const ityp::bitset<Index, N>& bitset) {
    using I = UnderlyingType<Index>;
    if (bitset.none()) {
        return Index(static_cast<I>(0));
    }
    if constexpr (N > 32) {
        return Index(
            static_cast<I>(64 - std::countl_zero(static_cast<uint64_t>(bitset.to_ullong()))));
    } else {
        return Index(
            static_cast<I>(32 - std::countl_zero(static_cast<uint32_t>(bitset.to_ulong()))));
    }
}

}  // namespace dawn

#endif  // SRC_DAWN_COMMON_ITYP_BITSET_H_
