// SPDX-License-Identifier: GPL-2.0
/* Copyright (c) 2024 Meta Platforms, Inc. and affiliates. */
#include <test_progs.h>
#include <sys/mman.h>
#include <network_helpers.h>
#include <sys/user.h>
#ifndef PAGE_SIZE /* on some archs it comes in sys/user.h */
#include <unistd.h>
#define PAGE_SIZE getpagesize()
#endif

#include "bpf_arena_list.h"
#include "arena_list.skel.h"

struct elem {
        struct arena_list_node node;
        __u64 value;
};

static int list_sum(struct arena_list_head *head)
{
        struct elem __arena *n;
        int sum = 0;

        list_for_each_entry(n, head, node)
                sum += n->value;
        return sum;
}

static void test_arena_list_add_del(int cnt, bool nonsleepable)
{
        LIBBPF_OPTS(bpf_test_run_opts, opts);
        struct arena_list *skel;
        int expected_sum = (u64)cnt * (cnt - 1) / 2;
        int ret, sum;

        skel = arena_list__open();
        if (!ASSERT_OK_PTR(skel, "arena_list__open"))
                return;

        skel->rodata->nonsleepable = nonsleepable;

        ret = arena_list__load(skel);
        if (!ASSERT_OK(ret, "arena_list__load"))
                goto out;

        skel->bss->cnt = cnt;
        ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.arena_list_add), &opts);
        ASSERT_OK(ret, "ret_add");
        ASSERT_OK(opts.retval, "retval");
        if (skel->bss->skip) {
                printf("%s:SKIP:compiler doesn't support arena_cast\n", __func__);
                test__skip();
                goto out;
        }
        sum = list_sum(skel->bss->list_head);
        ASSERT_EQ(sum, expected_sum, "sum of elems");
        ASSERT_EQ(skel->arena->arena_sum, expected_sum, "__arena sum of elems");
        ASSERT_EQ(skel->arena->test_val, cnt + 1, "num of elems");

        ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.arena_list_del), &opts);
        ASSERT_OK(ret, "ret_del");
        sum = list_sum(skel->bss->list_head);
        ASSERT_EQ(sum, 0, "sum of list elems after del");
        ASSERT_EQ(skel->bss->list_sum, expected_sum, "sum of list elems computed by prog");
        ASSERT_EQ(skel->arena->arena_sum, expected_sum, "__arena sum of elems");
out:
        arena_list__destroy(skel);
}

void test_arena_list(void)
{
        if (test__start_subtest("arena_list_1"))
                test_arena_list_add_del(1, false);
        if (test__start_subtest("arena_list_1000"))
                test_arena_list_add_del(1000, false);
        if (test__start_subtest("arena_list_1_nonsleepable"))
                test_arena_list_add_del(1, true);
        if (test__start_subtest("arena_list_1000_nonsleepable"))
                test_arena_list_add_del(1000, true);
}