1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (c) 2024 Meta Platforms, Inc. and affiliates. */
3 #include <test_progs.h>
4 #include <sys/mman.h>
5 #include <network_helpers.h>
6 #include <sys/user.h>
7 #ifndef PAGE_SIZE /* on some archs it comes in sys/user.h */
8 #include <unistd.h>
9 #define PAGE_SIZE getpagesize()
10 #endif
11
12 #include "bpf_arena_list.h"
13 #include "arena_list.skel.h"
14
15 struct elem {
16 struct arena_list_node node;
17 __u64 value;
18 };
19
list_sum(struct arena_list_head * head)20 static int list_sum(struct arena_list_head *head)
21 {
22 struct elem __arena *n;
23 int sum = 0;
24
25 list_for_each_entry(n, head, node)
26 sum += n->value;
27 return sum;
28 }
29
test_arena_list_add_del(int cnt)30 static void test_arena_list_add_del(int cnt)
31 {
32 LIBBPF_OPTS(bpf_test_run_opts, opts);
33 struct arena_list *skel;
34 int expected_sum = (u64)cnt * (cnt - 1) / 2;
35 int ret, sum;
36
37 skel = arena_list__open_and_load();
38 if (!ASSERT_OK_PTR(skel, "arena_list__open_and_load"))
39 return;
40
41 skel->bss->cnt = cnt;
42 ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.arena_list_add), &opts);
43 ASSERT_OK(ret, "ret_add");
44 ASSERT_OK(opts.retval, "retval");
45 if (skel->bss->skip) {
46 printf("%s:SKIP:compiler doesn't support arena_cast\n", __func__);
47 test__skip();
48 goto out;
49 }
50 sum = list_sum(skel->bss->list_head);
51 ASSERT_EQ(sum, expected_sum, "sum of elems");
52 ASSERT_EQ(skel->arena->arena_sum, expected_sum, "__arena sum of elems");
53 ASSERT_EQ(skel->arena->test_val, cnt + 1, "num of elems");
54
55 ret = bpf_prog_test_run_opts(bpf_program__fd(skel->progs.arena_list_del), &opts);
56 ASSERT_OK(ret, "ret_del");
57 sum = list_sum(skel->bss->list_head);
58 ASSERT_EQ(sum, 0, "sum of list elems after del");
59 ASSERT_EQ(skel->bss->list_sum, expected_sum, "sum of list elems computed by prog");
60 ASSERT_EQ(skel->arena->arena_sum, expected_sum, "__arena sum of elems");
61 out:
62 arena_list__destroy(skel);
63 }
64
test_arena_list(void)65 void test_arena_list(void)
66 {
67 if (test__start_subtest("arena_list_1"))
68 test_arena_list_add_del(1);
69 if (test__start_subtest("arena_list_1000"))
70 test_arena_list_add_del(1000);
71 }
72