/*
 * Copyright (c) 2018-2025, Andreas Kling <andreas@ladybird.org>
 * Copyright (c) 2023, Jelle Raaijmakers <jelle@ladybird.org>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#pragma once

#include <AK/Concepts.h>
#include <AK/Error.h>
#include <AK/IntegralMath.h>
#include <AK/ReverseIterator.h>
#include <AK/StdLibExtras.h>
#include <AK/Traits.h>
#include <AK/TypedTransfer.h>
#include <AK/Types.h>
#include <AK/kmalloc.h>

namespace AK {

enum class HashSetResult {
    InsertedNewEntry,
    ReplacedExistingEntry,
    KeptExistingEntry,
};

enum class HashSetExistingEntryBehavior {
    Keep,
    Replace,
};

// BucketState doubles as both an enum and a probe length value.
// - Free: empty bucket
// - Used (implicit, values 1..254): value-1 represents probe length
// - CalculateLength: same as Used but probe length > 253, so we calculate the actual probe length
enum class BucketState : u8 {
    Free = 0,
    CalculateLength = 255,
};

template<typename HashTableType, typename T, typename BucketType>
class HashTableIterator {
    friend HashTableType;

public:
    bool operator==(HashTableIterator const& other) const { return m_bucket == other.m_bucket; }
    bool operator!=(HashTableIterator const& other) const { return m_bucket != other.m_bucket; }
    T& operator*() { return *m_bucket->slot(); }
    T* operator->() { return m_bucket->slot(); }
    void operator++() { skip_to_next(); }

private:
    void skip_to_next()
    {
        if (!m_bucket)
            return;
        do {
            ++m_bucket;
            if (m_bucket == m_end_bucket) {
                m_bucket = nullptr;
                return;
            }
        } while (m_bucket->state == BucketState::Free);
    }

    HashTableIterator(BucketType* bucket, BucketType* end_bucket)
        : m_bucket(bucket)
        , m_end_bucket(end_bucket)
    {
    }

    BucketType* m_bucket { nullptr };
    BucketType* m_end_bucket { nullptr };
};

template<typename OrderedHashTableType, typename T, typename BucketType>
class OrderedHashTableIterator {
    friend OrderedHashTableType;

public:
    bool operator==(OrderedHashTableIterator const& other) const { return m_bucket == other.m_bucket; }
    bool operator!=(OrderedHashTableIterator const& other) const { return m_bucket != other.m_bucket; }
    T& operator*() { return *m_bucket->slot(); }
    T* operator->() { return m_bucket->slot(); }
    void operator++() { m_bucket = m_bucket->next; }
    void operator--() { m_bucket = m_bucket->previous; }

private:
    OrderedHashTableIterator(BucketType* bucket, BucketType*)
        : m_bucket(bucket)
    {
    }

    BucketType* m_bucket { nullptr };
};

template<typename OrderedHashTableType, typename T, typename BucketType>
class ReverseOrderedHashTableIterator {
    friend OrderedHashTableType;

public:
    bool operator==(ReverseOrderedHashTableIterator const& other) const { return m_bucket == other.m_bucket; }
    bool operator!=(ReverseOrderedHashTableIterator const& other) const { return m_bucket != other.m_bucket; }
    T& operator*() { return *m_bucket->slot(); }
    T* operator->() { return m_bucket->slot(); }
    void operator++() { m_bucket = m_bucket->previous; }
    void operator--() { m_bucket = m_bucket->next; }

private:
    ReverseOrderedHashTableIterator(BucketType* bucket)
        : m_bucket(bucket)
    {
    }

    BucketType* m_bucket { nullptr };
};

// A set datastructure based on a hash table with closed hashing.
// HashTable can optionally provide ordered iteration when IsOrdered = true.
// For a (more commonly required) map datastructure with key-value entries, see HashMap.
template<typename T, typename TraitsForT, bool IsOrdered>
class HashTable {
    static constexpr size_t grow_capacity_at_least = 8;
    static constexpr size_t grow_at_load_factor_percent = 70;

    struct StoredHash {
        void set([[maybe_unused]] u32 h)
        {
            if constexpr (TraitsForT::may_have_slow_equality_check()) {
                hash = h;
            }
        }
        bool check(u32 h)
        {
            if constexpr (TraitsForT::may_have_slow_equality_check()) {
                // If equality checks may be slow, we always store the hash and compare it first.
                return hash == h;
            } else {
                // If equality checks are fast, we don't store the hash and always return true.
                return true;
            }
        }
        u32 hash;
    };

    struct Bucket {
        BucketState state;
        StoredHash hash;
        alignas(T) u8 storage[sizeof(T)];
        T* slot() { return reinterpret_cast<T*>(storage); }
        T const* slot() const { return reinterpret_cast<T const*>(storage); }
    };

    struct OrderedBucket {
        OrderedBucket* previous;
        OrderedBucket* next;
        BucketState state;
        StoredHash hash;
        alignas(T) u8 storage[sizeof(T)];
        T* slot() { return reinterpret_cast<T*>(storage); }
        T const* slot() const { return reinterpret_cast<T const*>(storage); }
    };

    using BucketType = Conditional<IsOrdered, OrderedBucket, Bucket>;

    struct CollectionData {
    };

    struct OrderedCollectionData {
        BucketType* head { nullptr };
        BucketType* tail { nullptr };
    };

    using CollectionDataType = Conditional<IsOrdered, OrderedCollectionData, CollectionData>;

public:
    HashTable() = default;
    explicit HashTable(size_t capacity) { rehash(capacity); }

    ~HashTable()
    {
        if (!m_buckets)
            return;

        if constexpr (!IsTriviallyDestructible<T>) {
            for (size_t i = 0; i < capacity(); ++i) {
                if (m_buckets[i].state != BucketState::Free)
                    m_buckets[i].slot()->~T();
            }
        }

        kfree(m_buckets);
    }

    HashTable(HashTable const& other)
    {
        rehash(other.capacity());
        for (auto& it : other)
            set(it);
    }

    HashTable& operator=(HashTable const& other)
    {
        HashTable temporary(other);
        swap(*this, temporary);
        return *this;
    }

    HashTable(HashTable&& other) noexcept
        : m_buckets(other.m_buckets)
        , m_collection_data(other.m_collection_data)
        , m_size(other.m_size)
        , m_mask(other.m_mask)
    {
        other.m_size = 0;
        other.m_mask = 0;
        other.m_buckets = nullptr;
        if constexpr (IsOrdered)
            other.m_collection_data = { nullptr, nullptr };
    }

    HashTable& operator=(HashTable&& other) noexcept
    {
        HashTable temporary { move(other) };
        swap(*this, temporary);
        return *this;
    }

    friend void swap(HashTable& a, HashTable& b) noexcept
    {
        swap(a.m_buckets, b.m_buckets);
        swap(a.m_size, b.m_size);
        swap(a.m_mask, b.m_mask);

        if constexpr (IsOrdered)
            swap(a.m_collection_data, b.m_collection_data);
    }

    [[nodiscard]] bool is_empty() const { return m_size == 0; }
    [[nodiscard]] size_t size() const { return m_size; }
    [[nodiscard]] size_t capacity() const { return m_buckets ? m_mask + 1 : 0; }

    template<typename U, size_t N>
    ErrorOr<void> try_set_from(U (&from_array)[N])
    {
        for (size_t i = 0; i < N; ++i)
            TRY(try_set(from_array[i]));
        return {};
    }
    template<typename U, size_t N>
    void set_from(U (&from_array)[N])
    {
        MUST(try_set_from(from_array));
    }

    ErrorOr<void> try_ensure_capacity(size_t capacity)
    {
        // The user usually expects "capacity" to mean the number of values that can be stored in a
        // container without it needing to reallocate. Our definition of "capacity" is the number of
        // buckets we can store, but we reallocate earlier because of `grow_at_load_factor_percent`.
        // This calculates the required internal capacity to store `capacity` number of values.
        size_t required_capacity = (capacity * 100 / grow_at_load_factor_percent) + 1;
        if (required_capacity <= this->capacity())
            return {};
        return try_rehash(required_capacity);
    }
    void ensure_capacity(size_t capacity)
    {
        MUST(try_ensure_capacity(capacity));
    }

    [[nodiscard]] bool contains(T const& value) const
    {
        return find(value) != end();
    }

    template<Concepts::HashCompatible<T> K>
    requires(IsSame<TraitsForT, Traits<T>>) [[nodiscard]] bool contains(K const& value) const
    {
        return find(value) != end();
    }

    using Iterator = Conditional<IsOrdered,
        OrderedHashTableIterator<HashTable, T, BucketType>,
        HashTableIterator<HashTable, T, BucketType>>;

    [[nodiscard]] Iterator begin()
    {
        if constexpr (IsOrdered)
            return Iterator(m_collection_data.head, end_bucket());

        for (size_t i = 0; i < capacity(); ++i) {
            if (m_buckets[i].state != BucketState::Free)
                return Iterator(&m_buckets[i], end_bucket());
        }
        return end();
    }

    [[nodiscard]] Iterator end()
    {
        return Iterator(nullptr, nullptr);
    }

    using ConstIterator = Conditional<IsOrdered,
        OrderedHashTableIterator<HashTable const, T const, BucketType const>,
        HashTableIterator<HashTable const, T const, BucketType const>>;

    [[nodiscard]] ConstIterator begin() const
    {
        if constexpr (IsOrdered)
            return ConstIterator(m_collection_data.head, end_bucket());

        for (size_t i = 0; i < capacity(); ++i) {
            if (m_buckets[i].state != BucketState::Free)
                return ConstIterator(&m_buckets[i], end_bucket());
        }
        return end();
    }

    [[nodiscard]] ConstIterator end() const
    {
        return ConstIterator(nullptr, nullptr);
    }

    using ReverseIterator = Conditional<IsOrdered,
        ReverseOrderedHashTableIterator<HashTable, T, BucketType>,
        void>;

    [[nodiscard]] ReverseIterator rbegin()
    requires(IsOrdered)
    {
        return ReverseIterator(m_collection_data.tail);
    }

    [[nodiscard]] ReverseIterator rend()
    requires(IsOrdered)
    {
        return ReverseIterator(nullptr);
    }

    auto in_reverse() { return ReverseWrapper::in_reverse(*this); }

    using ReverseConstIterator = Conditional<IsOrdered,
        ReverseOrderedHashTableIterator<HashTable const, T const, BucketType const>,
        void>;

    [[nodiscard]] ReverseConstIterator rbegin() const
    requires(IsOrdered)
    {
        return ReverseConstIterator(m_collection_data.tail);
    }

    [[nodiscard]] ReverseConstIterator rend() const
    requires(IsOrdered)
    {
        return ReverseConstIterator(nullptr);
    }

    auto in_reverse() const { return ReverseWrapper::in_reverse(*this); }

    void clear()
    {
        *this = HashTable();
    }

    void clear_with_capacity()
    {
        if (!m_buckets)
            return;

        if constexpr (!IsTriviallyDestructible<T>) {
            for (auto& bucket : *this)
                bucket.~T();
        }
        __builtin_memset(m_buckets, 0, size_in_bytes(capacity()));
        m_size = 0;

        if constexpr (IsOrdered)
            m_collection_data = { nullptr, nullptr };
    }

    template<typename U = T>
    ErrorOr<HashSetResult> try_set(U&& value, HashSetExistingEntryBehavior existing_entry_behavior = HashSetExistingEntryBehavior::Replace)
    {
        if (should_grow())
            TRY(try_rehash(max(capacity() * 2, grow_capacity_at_least)));

        return write_value(forward<U>(value), existing_entry_behavior);
    }
    template<typename U = T>
    HashSetResult set(U&& value, HashSetExistingEntryBehavior existing_entry_behavior = HashSetExistingEntryBehavior::Replace)
    {
        return MUST(try_set(forward<U>(value), existing_entry_behavior));
    }

    template<typename U = T>
    T& ensure(U&& value, HashSetExistingEntryBehavior existing_entry_behavior = HashSetExistingEntryBehavior::Replace)
    {
        return MUST(try_set(forward<U>(value), existing_entry_behavior));
    }

    template<typename TUnaryPredicate, typename InitializationCallback>
    [[nodiscard]] T& ensure(unsigned hash, TUnaryPredicate predicate, InitializationCallback initialization_callback, HashSetExistingEntryBehavior existing_entry_behavior)
    {
        if (should_grow())
            rehash(max(capacity() * 2, grow_capacity_at_least));

        auto [result, bucket, probe_length] = lookup_for_writing<T>(hash, move(predicate), existing_entry_behavior);
        switch (result) {
        case HashSetResult::InsertedNewEntry:
            // The bucket is in a tentative state (Free, not in the ordered list). Construct the
            // value first so that if the callback triggers traversal of this hash table,
            // iterators skip this bucket. Commit only after construction succeeds.
            new (bucket.slot()) T(initialization_callback());
            commit_inserted_bucket(bucket, hash, probe_length);
            break;
        case HashSetResult::ReplacedExistingEntry:
            (*bucket.slot()) = T(initialization_callback());
            break;
        case HashSetResult::KeptExistingEntry:
            break;
        default:
            __builtin_unreachable();
        }
        return *bucket.slot();
    }

    template<typename TUnaryPredicate>
    [[nodiscard]] Iterator find(unsigned hash, TUnaryPredicate predicate)
    {
        return Iterator(lookup_with_hash(hash, move(predicate)), end_bucket());
    }

    [[nodiscard]] Iterator find(T const& value)
    {
        if (is_empty())
            return end();
        return find(TraitsForT::hash(value), [&](auto& entry) { return TraitsForT::equals(entry, value); });
    }

    template<typename TUnaryPredicate>
    [[nodiscard]] ConstIterator find(unsigned hash, TUnaryPredicate predicate) const
    {
        return ConstIterator(lookup_with_hash(hash, move(predicate)), end_bucket());
    }

    [[nodiscard]] ConstIterator find(T const& value) const
    {
        if (is_empty())
            return end();
        return find(TraitsForT::hash(value), [&](auto& entry) { return TraitsForT::equals(entry, value); });
    }
    // FIXME: Support for predicates, while guaranteeing that the predicate call
    //        does not call a non trivial constructor each time invoked
    template<Concepts::HashCompatible<T> K>
    requires(IsSame<TraitsForT, Traits<T>>) [[nodiscard]] Iterator find(K const& value)
    {
        if (is_empty())
            return end();
        return find(Traits<K>::hash(value), [&](auto& entry) { return Traits<T>::equals(entry, value); });
    }

    template<Concepts::HashCompatible<T> K, typename TUnaryPredicate>
    requires(IsSame<TraitsForT, Traits<T>>) [[nodiscard]] Iterator find(K const& value, TUnaryPredicate predicate)
    {
        if (is_empty())
            return end();
        return find(Traits<K>::hash(value), move(predicate));
    }

    template<Concepts::HashCompatible<T> K>
    requires(IsSame<TraitsForT, Traits<T>>) [[nodiscard]] ConstIterator find(K const& value) const
    {
        if (is_empty())
            return end();
        return find(Traits<K>::hash(value), [&](auto& entry) { return Traits<T>::equals(entry, value); });
    }

    template<Concepts::HashCompatible<T> K, typename TUnaryPredicate>
    requires(IsSame<TraitsForT, Traits<T>>) [[nodiscard]] ConstIterator find(K const& value, TUnaryPredicate predicate) const
    {
        if (is_empty())
            return end();
        return find(Traits<K>::hash(value), move(predicate));
    }

    bool remove(T const& value)
    {
        auto it = find(value);
        if (it != end()) {
            remove(it);
            return true;
        }
        return false;
    }

    template<Concepts::HashCompatible<T> K>
    requires(IsSame<TraitsForT, Traits<T>>) bool remove(K const& value)
    {
        auto it = find(value);
        if (it != end()) {
            remove(it);
            return true;
        }
        return false;
    }

    // This invalidates the iterator
    void remove(Iterator& iterator)
    {
        VERIFY(iterator.m_bucket);
        delete_bucket(*iterator.m_bucket);
        iterator.m_bucket = nullptr;
    }

    template<typename TUnaryPredicate>
    bool remove_all_matching(TUnaryPredicate const& predicate)
    {
        bool has_removed_anything = false;
        for (size_t i = 0; i < capacity(); ++i) {
            auto& bucket = m_buckets[i];
            if (bucket.state == BucketState::Free || !predicate(*bucket.slot()))
                continue;

            delete_bucket(bucket);
            has_removed_anything = true;

            // If a bucket was shifted up, reevaluate this bucket index
            if (bucket.state != BucketState::Free)
                --i;
        }
        return has_removed_anything;
    }

    template<typename TUnaryPredicate>
    Vector<T> take_all_matching(TUnaryPredicate const& predicate)
    {
        Vector<T> values;
        for (size_t i = 0; i < capacity(); ++i) {
            auto& bucket = m_buckets[i];
            if (bucket.state == BucketState::Free || !predicate(*bucket.slot()))
                continue;

            values.append(move(*bucket.slot()));
            delete_bucket(bucket);

            // If a bucket was shifted up, reevaluate this bucket index
            if (bucket.state != BucketState::Free)
                --i;
        }
        return values;
    }

    T take_last()
    requires(IsOrdered)
    {
        VERIFY(!is_empty());
        T element = move(*m_collection_data.tail->slot());
        delete_bucket(*m_collection_data.tail);
        return element;
    }

    T take_first()
    requires(IsOrdered)
    {
        VERIFY(!is_empty());
        T element = move(*m_collection_data.head->slot());
        delete_bucket(*m_collection_data.head);
        return element;
    }

    [[nodiscard]] Vector<T> values() const
    {
        Vector<T> list;
        list.ensure_capacity(size());
        for (auto& value : *this)
            list.unchecked_append(value);
        return list;
    }

private:
    bool should_grow() const { return ((m_size + 1) * 100) >= (capacity() * grow_at_load_factor_percent); }
    static constexpr size_t size_in_bytes(size_t capacity) { return sizeof(BucketType) * capacity; }

    static void relocate_bucket(BucketType* dst, BucketType* src)
    {
        dst->state = src->state;
        dst->hash = src->hash;
        if constexpr (IsOrdered) {
            dst->previous = exchange(src->previous, nullptr);
            dst->next = exchange(src->next, nullptr);
        }
        TypedTransfer<T>::relocate(dst->slot(), src->slot(), 1);
    }

    static void swap_buckets(BucketType* a, BucketType* b)
    {
        swap(a->state, b->state);
        swap(a->hash, b->hash);
        if constexpr (IsOrdered) {
            swap(a->previous, b->previous);
            swap(a->next, b->next);
        }
        alignas(T) u8 tmp[sizeof(T)];
        TypedTransfer<T>::relocate(reinterpret_cast<T*>(tmp), a->slot(), 1);
        TypedTransfer<T>::relocate(a->slot(), b->slot(), 1);
        TypedTransfer<T>::relocate(b->slot(), reinterpret_cast<T*>(tmp), 1);
    }

    BucketType* end_bucket()
    {
        if constexpr (IsOrdered)
            return m_collection_data.tail;
        else
            return &m_buckets[capacity()];
    }
    BucketType const* end_bucket() const
    {
        return const_cast<HashTable*>(this)->end_bucket();
    }

    ErrorOr<void> try_rehash(size_t new_capacity)
    {
        new_capacity = AK::exp2<size_t>(AK::ceil_log2(max(new_capacity, capacity() + 1)));
        VERIFY(new_capacity >= size());

        auto* old_buckets = m_buckets;
        Iterator old_iter = begin();

        auto* new_buckets = kcalloc(1, size_in_bytes(new_capacity));
        if (!new_buckets)
            return Error::from_errno(ENOMEM);

        m_buckets = static_cast<BucketType*>(new_buckets);
        m_mask = new_capacity - 1;

        if constexpr (IsOrdered)
            m_collection_data = { nullptr, nullptr };

        if (!old_buckets)
            return {};

        m_size = 0;
        for (auto it = move(old_iter); it != end(); ++it) {
            write_value(move(*it), HashSetExistingEntryBehavior::Keep);
            it->~T();
        }

        kfree(old_buckets);
        return {};
    }
    void rehash(size_t new_capacity)
    {
        MUST(try_rehash(new_capacity));
    }

    template<typename TUnaryPredicate>
    [[nodiscard]] BucketType* lookup_with_hash(unsigned hash, TUnaryPredicate predicate) const
    {
        if (is_empty())
            return nullptr;

        size_t bucket_index = hash & m_mask;
        for (;;) {
            auto* bucket = &m_buckets[bucket_index];
            if (bucket->state == BucketState::Free)
                return nullptr;
            if (bucket->hash.check(hash) && predicate(*bucket->slot()))
                return bucket;
            bucket_index = (bucket_index + 1) & m_mask;
        }
    }

    size_t used_bucket_probe_length(BucketType const& bucket) const
    {
        VERIFY(bucket.state != BucketState::Free);

        if (bucket.state == BucketState::CalculateLength) {
            size_t ideal_bucket_index = TraitsForT::hash(*bucket.slot()) & m_mask;

            VERIFY(&bucket >= m_buckets);
            size_t actual_bucket_index = &bucket - m_buckets;

            if (actual_bucket_index < ideal_bucket_index)
                return capacity() + actual_bucket_index - ideal_bucket_index;
            return actual_bucket_index - ideal_bucket_index;
        }

        return static_cast<u8>(bucket.state) - 1;
    }

    constexpr BucketState bucket_state_for_probe_length(size_t probe_length)
    {
        if (probe_length > 253)
            return BucketState::CalculateLength;
        return static_cast<BucketState>(probe_length + 1);
    }

    struct LookupForWritingResult {
        HashSetResult result;
        BucketType& bucket;
        // Only meaningful for InsertedNewEntry: the probe length to stamp when the caller commits.
        size_t probe_length;
    };

    template<typename U, typename TUnaryPredicate>
    ALWAYS_INLINE LookupForWritingResult lookup_for_writing(u32 const hash, TUnaryPredicate predicate,
        HashSetExistingEntryBehavior existing_entry_behavior)
    {
        // NB: For InsertedNewEntry results we hand the bucket back in a tentative state:
        //     state=Free, not in the ordered list, and m_size unchanged. The caller must
        //     placement-new the value and then call commit_inserted_bucket() to finalize.
        //     Leaving state=Free across construction makes the bucket invisible to iterators,
        //     which is essential for ensure() callbacks that may trigger traversal.
        auto update_collection_for_swapped_buckets = [&](BucketType* left_bucket, BucketType* right_bucket) {
            if constexpr (IsOrdered) {
                if (m_collection_data.head == left_bucket)
                    m_collection_data.head = right_bucket;
                else if (m_collection_data.head == right_bucket)
                    m_collection_data.head = left_bucket;
                if (m_collection_data.tail == left_bucket)
                    m_collection_data.tail = right_bucket;
                else if (m_collection_data.tail == right_bucket)
                    m_collection_data.tail = left_bucket;

                if (left_bucket->previous) {
                    if (left_bucket->previous == left_bucket)
                        left_bucket->previous = right_bucket;
                    left_bucket->previous->next = left_bucket;
                }
                if (left_bucket->next) {
                    if (left_bucket->next == left_bucket)
                        left_bucket->next = right_bucket;
                    left_bucket->next->previous = left_bucket;
                }

                if (right_bucket->previous && right_bucket->previous != left_bucket)
                    right_bucket->previous->next = right_bucket;
                if (right_bucket->next && right_bucket->next != left_bucket)
                    right_bucket->next->previous = right_bucket;
            }
        };

        auto bucket_index = hash & m_mask;
        size_t probe_length = 0;
        for (;;) {
            auto* bucket = &m_buckets[bucket_index];

            // We found a free bucket. Return it tentatively; caller commits after construction.
            if (bucket->state == BucketState::Free) {
                return { HashSetResult::InsertedNewEntry, *bucket, probe_length };
            }

            // The bucket is already used, does it have an identical value?
            if (bucket->hash.check(hash) && predicate(*bucket->slot())) {
                if (existing_entry_behavior == HashSetExistingEntryBehavior::Replace) {
                    return { HashSetResult::ReplacedExistingEntry, *bucket, 0 };
                }
                return { HashSetResult::KeptExistingEntry, *bucket, 0 };
            }

            // Robin hood: if our probe length is larger (poor) than this bucket's (rich), steal its position!
            // This ensures that we will always traverse buckets in order of probe length.
            auto target_probe_length = used_bucket_probe_length(*bucket);
            if (probe_length > target_probe_length) {
                // Copy out bucket
                BucketType bucket_to_move {};
                relocate_bucket(&bucket_to_move, bucket);
                update_collection_for_swapped_buckets(bucket, &bucket_to_move);

                // Tentatively occupy the stolen slot so the displacement loop below sees it as
                // used with the correct probe length. We will un-stamp it before returning so
                // that the caller can commit after constructing the value.
                BucketType* inserted_bucket = bucket;
                size_t const inserted_probe_length = probe_length;
                bucket->state = bucket_state_for_probe_length(probe_length);
                bucket->hash.set(hash);
                probe_length = target_probe_length;
                if constexpr (IsOrdered) {
                    bucket->previous = nullptr;
                    bucket->next = nullptr;
                }

                // Find a free bucket, swapping with smaller probe length buckets along the way
                for (;;) {
                    bucket_index = (bucket_index + 1) & m_mask;
                    bucket = &m_buckets[bucket_index];
                    ++probe_length;

                    if (bucket->state == BucketState::Free) {
                        relocate_bucket(bucket, &bucket_to_move);
                        bucket->state = bucket_state_for_probe_length(probe_length);
                        update_collection_for_swapped_buckets(&bucket_to_move, bucket);
                        break;
                    }

                    target_probe_length = used_bucket_probe_length(*bucket);
                    if (probe_length > target_probe_length) {
                        swap_buckets(&bucket_to_move, bucket);
                        bucket->state = bucket_state_for_probe_length(probe_length);
                        probe_length = target_probe_length;
                        update_collection_for_swapped_buckets(&bucket_to_move, bucket);
                    }
                }

                // Un-stamp the target bucket: state back to Free, not in the ordered list,
                // m_size unchanged. The caller will commit after placement-new.
                inserted_bucket->state = BucketState::Free;
                if constexpr (IsOrdered) {
                    inserted_bucket->previous = nullptr;
                    inserted_bucket->next = nullptr;
                }

                return { HashSetResult::InsertedNewEntry, *inserted_bucket, inserted_probe_length };
            }

            // Try next bucket
            bucket_index = (bucket_index + 1) & m_mask;
            ++probe_length;
        }
    }

    // Finalizes a bucket tentatively reserved by lookup_for_writing. Must be called after
    // the caller has constructed the value in bucket.slot() via placement-new.
    ALWAYS_INLINE void commit_inserted_bucket(BucketType& bucket, u32 hash, size_t probe_length)
    {
        bucket.state = bucket_state_for_probe_length(probe_length);
        bucket.hash.set(hash);
        if constexpr (IsOrdered) {
            if (!m_collection_data.head) [[unlikely]] {
                m_collection_data.head = &bucket;
            } else {
                bucket.previous = m_collection_data.tail;
                m_collection_data.tail->next = &bucket;
            }
            m_collection_data.tail = &bucket;
        }
        ++m_size;
    }

    template<typename U = T>
    ALWAYS_INLINE HashSetResult write_value(U&& value, HashSetExistingEntryBehavior existing_entry_behavior)
    {
        u32 const hash = TraitsForT::hash(value);
        auto [result, bucket, probe_length] = lookup_for_writing<U>(hash, [&](auto& candidate) { return TraitsForT::equals(candidate, static_cast<T const&>(value)); }, existing_entry_behavior);
        switch (result) {
        case HashSetResult::ReplacedExistingEntry:
            (*bucket.slot()) = forward<U>(value);
            break;
        case HashSetResult::InsertedNewEntry:
            new (bucket.slot()) T(forward<U>(value));
            commit_inserted_bucket(bucket, hash, probe_length);
            break;
        case HashSetResult::KeptExistingEntry:
            break;
        default:
            __builtin_unreachable();
        }
        return result;
    }

    void delete_bucket(auto& bucket)
    {
        VERIFY(bucket.state != BucketState::Free);

        // Delete the bucket
        bucket.slot()->~T();
        if constexpr (IsOrdered) {
            if (bucket.previous)
                bucket.previous->next = bucket.next;
            else
                m_collection_data.head = bucket.next;
            if (bucket.next)
                bucket.next->previous = bucket.previous;
            else
                m_collection_data.tail = bucket.previous;
            bucket.previous = nullptr;
            bucket.next = nullptr;
        }
        --m_size;

        // If we deleted a bucket, we need to make sure to shift up all buckets after it to ensure
        // that we can still probe for buckets with collisions, and we automatically optimize the
        // probe lengths. To do so, we shift the following buckets up until we reach a free bucket,
        // or a bucket with a probe length of 0 (the ideal index for that bucket).
        auto update_bucket_neighbors = [&](BucketType* bucket) {
            if constexpr (IsOrdered) {
                if (bucket->previous)
                    bucket->previous->next = bucket;
                else
                    m_collection_data.head = bucket;
                if (bucket->next)
                    bucket->next->previous = bucket;
                else
                    m_collection_data.tail = bucket;
            }
        };

        VERIFY(&bucket >= m_buckets);
        size_t shift_to_index = &bucket - m_buckets;
        VERIFY(shift_to_index <= m_mask);
        size_t shift_from_index = shift_to_index;
        for (;;) {
            shift_from_index = (shift_from_index + 1) & m_mask;

            auto* shift_from_bucket = &m_buckets[shift_from_index];
            if (shift_from_bucket->state == BucketState::Free)
                break;

            auto shift_from_probe_length = used_bucket_probe_length(*shift_from_bucket);
            if (shift_from_probe_length == 0)
                break;

            auto* shift_to_bucket = &m_buckets[shift_to_index];
            relocate_bucket(shift_to_bucket, shift_from_bucket);
            shift_to_bucket->state = bucket_state_for_probe_length(shift_from_probe_length - 1);
            update_bucket_neighbors(shift_to_bucket);

            shift_to_index = (shift_to_index + 1) & m_mask;
        }

        // Mark last bucket as free
        m_buckets[shift_to_index].state = BucketState::Free;
    }

    BucketType* m_buckets { nullptr };

    NO_UNIQUE_ADDRESS CollectionDataType m_collection_data;
    size_t m_size { 0 };
    size_t m_mask { 0 };
};

}

#if USING_AK_GLOBALLY
using AK::HashSetResult;
using AK::HashTable;
using AK::OrderedHashTable;
#endif