bpf/prog_tests/arena_atomics.c

4 #include "arena_atomics.skel.h"
6 static void test_add(struct arena_atomics *skel)
12 	prog_fd = bpf_program__fd(skel->progs.add);
19 	ASSERT_EQ(skel->arena->add64_value, 3, "add64_value");
20 	ASSERT_EQ(skel->arena->add64_result, 1, "add64_result");
22 	ASSERT_EQ(skel->arena->add32_value, 3, "add32_value");
23 	ASSERT_EQ(skel->arena->add32_result, 1, "add32_result");
25 	ASSERT_EQ(skel->arena->add_stack_value_copy, 3, "add_stack_value");
26 	ASSERT_EQ(skel->arena->add_stack_result, 1, "add_stack_result");
28 	ASSERT_EQ(skel->arena->add_noreturn_value, 3, "add_noreturn_value");
31 static void test_sub(struct arena_atomics *skel)
37 	prog_fd = bpf_program__fd(skel->progs.sub);
44 	ASSERT_EQ(skel->arena->sub64_value, -1, "sub64_value");
45 	ASSERT_EQ(skel->arena->sub64_result, 1, "sub64_result");
47 	ASSERT_EQ(skel->arena->sub32_value, -1, "sub32_value");
48 	ASSERT_EQ(skel->arena->sub32_result, 1, "sub32_result");
50 	ASSERT_EQ(skel->arena->sub_stack_value_copy, -1, "sub_stack_value");
51 	ASSERT_EQ(skel->arena->sub_stack_result, 1, "sub_stack_result");
53 	ASSERT_EQ(skel->arena->sub_noreturn_value, -1, "sub_noreturn_value");
56 static void test_and(struct arena_atomics *skel)
62 	prog_fd = bpf_program__fd(skel->progs.and);
69 	ASSERT_EQ(skel->arena->and64_value, 0x010ull << 32, "and64_value");
70 	ASSERT_EQ(skel->arena->and32_value, 0x010, "and32_value");
73 static void test_or(struct arena_atomics *skel)
79 	prog_fd = bpf_program__fd(skel->progs.or);
86 	ASSERT_EQ(skel->arena->or64_value, 0x111ull << 32, "or64_value");
87 	ASSERT_EQ(skel->arena->or32_value, 0x111, "or32_value");
90 static void test_xor(struct arena_atomics *skel)
96 	prog_fd = bpf_program__fd(skel->progs.xor);
103 	ASSERT_EQ(skel->arena->xor64_value, 0x101ull << 32, "xor64_value");
104 	ASSERT_EQ(skel->arena->xor32_value, 0x101, "xor32_value");
107 static void test_cmpxchg(struct arena_atomics *skel)
113 	prog_fd = bpf_program__fd(skel->progs.cmpxchg);
120 	ASSERT_EQ(skel->arena->cmpxchg64_value, 2, "cmpxchg64_value");
121 	ASSERT_EQ(skel->arena->cmpxchg64_result_fail, 1, "cmpxchg_result_fail");
122 	ASSERT_EQ(skel->arena->cmpxchg64_result_succeed, 1, "cmpxchg_result_succeed");
124 	ASSERT_EQ(skel->arena->cmpxchg32_value, 2, "lcmpxchg32_value");
125 	ASSERT_EQ(skel->arena->cmpxchg32_result_fail, 1, "cmpxchg_result_fail");
126 	ASSERT_EQ(skel->arena->cmpxchg32_result_succeed, 1, "cmpxchg_result_succeed");
129 static void test_xchg(struct arena_atomics *skel)
135 	prog_fd = bpf_program__fd(skel->progs.xchg);
142 	ASSERT_EQ(skel->arena->xchg64_value, 2, "xchg64_value");
143 	ASSERT_EQ(skel->arena->xchg64_result, 1, "xchg64_result");
145 	ASSERT_EQ(skel->arena->xchg32_value, 2, "xchg32_value");
146 	ASSERT_EQ(skel->arena->xchg32_result, 1, "xchg32_result");
149 static void test_uaf(struct arena_atomics *skel)
155 	prog_fd = bpf_program__fd(skel->progs.uaf);
162 	ASSERT_EQ(skel->arena->uaf_recovery_fails, 0, "uaf_recovery_fails");
165 static void test_load_acquire(struct arena_atomics *skel)
170 	if (skel->data->skip_lacq_srel_tests) {
178 	prog_fd = bpf_program__fd(skel->progs.load_acquire);
185 	ASSERT_EQ(skel->arena->load_acquire8_result, 0x12,
187 	ASSERT_EQ(skel->arena->load_acquire16_result, 0x1234,
189 	ASSERT_EQ(skel->arena->load_acquire32_result, 0x12345678,
191 	ASSERT_EQ(skel->arena->load_acquire64_result, 0x1234567890abcdef,
195 static void test_store_release(struct arena_atomics *skel)
200 	if (skel->data->skip_lacq_srel_tests) {
208 	prog_fd = bpf_program__fd(skel->progs.store_release);
215 	ASSERT_EQ(skel->arena->store_release8_result, 0x12,
217 	ASSERT_EQ(skel->arena->store_release16_result, 0x1234,
219 	ASSERT_EQ(skel->arena->store_release32_result, 0x12345678,
221 	ASSERT_EQ(skel->arena->store_release64_result, 0x1234567890abcdef,
227 	struct arena_atomics *skel;
230 	skel = arena_atomics__open();
231 	if (!ASSERT_OK_PTR(skel, "arena atomics skeleton open"))
234 	if (skel->data->skip_all_tests) {
240 	err = arena_atomics__load(skel);
243 	skel->bss->pid = getpid();
246 		test_add(skel);
248 		test_sub(skel);
250 		test_and(skel);
252 		test_or(skel);
254 		test_xor(skel);
256 		test_cmpxchg(skel);
258 		test_xchg(skel);
260 		test_uaf(skel);
262 		test_load_acquire(skel);
264 		test_store_release(skel);
267 	arena_atomics__destroy(skel);