Function tests

lib/tests/src/basic_page_pool_t/behavior.cpp:83–185

<!-- description --> @brief Used to execute the actual checks. We put the checks in this function so that we can validate the tests both at compile-time and at run-time. If a bsl::ut_check fails, the tests will either fail fast at run-time, or will produce a compile-time error. <!-- inputs/outputs --> @return Always returns bsl::exit_success.

    ///   @return Always returns bsl::exit_success.
    ///
    [[nodiscard]] constexpr auto
    tests() noexcept -> bsl::exit_code
    {
        using pool_t = basic_page_pool_t<
            tls_t,
            bool,
            HYPERVISOR_MK_DIRECT_MAP_ADDR.get(),
            HYPERVISOR_MK_DIRECT_MAP_SIZE.get()>;

        bsl::ut_scenario{"allocate empty"} = []() noexcept {
            bsl::ut_given{} = []() noexcept {
                pool_t mut_page_pool{};
                bsl::span<basic_page_pool_node_t> mut_view{};
                tls_t mut_tls{};
                bool mut_return_nullptr{true};
                bsl::ut_when{} = [&]() noexcept {
                    mut_page_pool.initialize(mut_view);
                    bsl::ut_then{} = [&]() noexcept {
                        auto const *const nd{
                            mut_page_pool.allocate<nd_t>(mut_tls, mut_return_nullptr)};
                        bsl::ut_check(nd == nullptr);
                    };
                };
            };
        };

        bsl::ut_scenario{"allocate until empty"} = []() noexcept {
            bsl::ut_given{} = []() noexcept {
                pool_t mut_page_pool{};
                bsl::array<basic_page_pool_node_t, POOL_SIZE.get()> mut_pool{};
                bsl::span mut_view{mut_pool};
                tls_t mut_tls{};
                bool mut_return_nullptr{true};
                bsl::ut_when{} = [&]() noexcept {
                    initialize_pool(mut_view);
                    mut_page_pool.initialize(mut_view);
                    auto *const pmut_nd0{mut_page_pool.allocate<nd_t>(mut_tls, mut_return_nullptr)};
                    auto *const pmut_nd1{mut_page_pool.allocate<nd_t>(mut_tls, mut_return_nullptr)};
                    auto *const pmut_nd2{mut_page_pool.allocate<nd_t>(mut_tls, mut_return_nullptr)};
                    bsl::ut_required_step(pmut_nd0 == mut_pool.at_if(0_idx));
                    bsl::ut_required_step(pmut_nd1 == mut_pool.at_if(1_idx));
                    bsl::ut_required_step(pmut_nd2 == mut_pool.at_if(2_idx));
                    bsl::ut_then{} = [&]() noexcept {
                        auto *const pmut_nd3{
                            mut_page_pool.allocate<nd_t>(mut_tls, mut_return_nullptr)};
                        bsl::ut_check(pmut_nd3 == nullptr);
                    };
                };
            };
        };

        bsl::ut_scenario{"allocate until empty, then alloc more"} = []() noexcept {
            bsl::ut_given{} = []() noexcept {
                pool_t mut_page_pool{};
                bsl::array<basic_page_pool_node_t, POOL_SIZE.get()> mut_pool{};
                bsl::span mut_view{mut_pool};
                tls_t mut_tls{};
                bool mut_return_nd{false};