1 // SPDX-License-Identifier: GPL-2.0
2
3 #include <test_progs.h>
4
5 #include "atomics.lskel.h"
6
7 static void test_add(struct atomics_lskel *skel)
8 {
9 int err, prog_fd;
10 LIBBPF_OPTS(bpf_test_run_opts, topts);
11
12 /* No need to attach it, just run it directly */
13 prog_fd = skel->progs.add.prog_fd;
14 err = bpf_prog_test_run_opts(prog_fd, &topts);
15 if (!ASSERT_OK(err, "test_run_opts err"))
16 return;
17 if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
18 return;
19
20 ASSERT_EQ(skel->data->add64_value, 3, "add64_value");
21 ASSERT_EQ(skel->bss->add64_result, 1, "add64_result");
22
23 ASSERT_EQ(skel->data->add32_value, 3, "add32_value");
24 ASSERT_EQ(skel->bss->add32_result, 1, "add32_result");
25
26 ASSERT_EQ(skel->bss->add_stack_value_copy, 3, "add_stack_value");
27 ASSERT_EQ(skel->bss->add_stack_result, 1, "add_stack_result");
28
29 ASSERT_EQ(skel->data->add_noreturn_value, 3, "add_noreturn_value");
30 }
31
32 static void test_sub(struct atomics_lskel *skel)
33 {
34 int err, prog_fd;
35 LIBBPF_OPTS(bpf_test_run_opts, topts);
36
37 /* No need to attach it, just run it directly */
38 prog_fd = skel->progs.sub.prog_fd;
39 err = bpf_prog_test_run_opts(prog_fd, &topts);
40 if (!ASSERT_OK(err, "test_run_opts err"))
41 return;
42 if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
43 return;
44
45 ASSERT_EQ(skel->data->sub64_value, -1, "sub64_value");
46 ASSERT_EQ(skel->bss->sub64_result, 1, "sub64_result");
47
48 ASSERT_EQ(skel->data->sub32_value, -1, "sub32_value");
49 ASSERT_EQ(skel->bss->sub32_result, 1, "sub32_result");
50
51 ASSERT_EQ(skel->bss->sub_stack_value_copy, -1, "sub_stack_value");
52 ASSERT_EQ(skel->bss->sub_stack_result, 1, "sub_stack_result");
53
54 ASSERT_EQ(skel->data->sub_noreturn_value, -1, "sub_noreturn_value");
55 }
56
57 static void test_and(struct atomics_lskel *skel)
58 {
59 int err, prog_fd;
60 LIBBPF_OPTS(bpf_test_run_opts, topts);
61
62 /* No need to attach it, just run it directly */
63 prog_fd = skel->progs.and.prog_fd;
64 err = bpf_prog_test_run_opts(prog_fd, &topts);
65 if (!ASSERT_OK(err, "test_run_opts err"))
66 return;
67 if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
68 return;
69
70 ASSERT_EQ(skel->data->and64_value, 0x010ull << 32, "and64_value");
71 ASSERT_EQ(skel->bss->and64_result, 0x110ull << 32, "and64_result");
72
73 ASSERT_EQ(skel->data->and32_value, 0x010, "and32_value");
74 ASSERT_EQ(skel->bss->and32_result, 0x110, "and32_result");
75
76 ASSERT_EQ(skel->data->and_noreturn_value, 0x010ull << 32, "and_noreturn_value");
77 }
78
79 static void test_or(struct atomics_lskel *skel)
80 {
81 int err, prog_fd;
82 LIBBPF_OPTS(bpf_test_run_opts, topts);
83
84 /* No need to attach it, just run it directly */
85 prog_fd = skel->progs.or.prog_fd;
86 err = bpf_prog_test_run_opts(prog_fd, &topts);
87 if (!ASSERT_OK(err, "test_run_opts err"))
88 return;
89 if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
90 return;
91
92 ASSERT_EQ(skel->data->or64_value, 0x111ull << 32, "or64_value");
93 ASSERT_EQ(skel->bss->or64_result, 0x110ull << 32, "or64_result");
94
95 ASSERT_EQ(skel->data->or32_value, 0x111, "or32_value");
96 ASSERT_EQ(skel->bss->or32_result, 0x110, "or32_result");
97
98 ASSERT_EQ(skel->data->or_noreturn_value, 0x111ull << 32, "or_noreturn_value");
99 }
100
101 static void test_xor(struct atomics_lskel *skel)
102 {
103 int err, prog_fd;
104 LIBBPF_OPTS(bpf_test_run_opts, topts);
105
106 /* No need to attach it, just run it directly */
107 prog_fd = skel->progs.xor.prog_fd;
108 err = bpf_prog_test_run_opts(prog_fd, &topts);
109 if (!ASSERT_OK(err, "test_run_opts err"))
110 return;
111 if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
112 return;
113
114 ASSERT_EQ(skel->data->xor64_value, 0x101ull << 32, "xor64_value");
115 ASSERT_EQ(skel->bss->xor64_result, 0x110ull << 32, "xor64_result");
116
117 ASSERT_EQ(skel->data->xor32_value, 0x101, "xor32_value");
118 ASSERT_EQ(skel->bss->xor32_result, 0x110, "xor32_result");
119
120 ASSERT_EQ(skel->data->xor_noreturn_value, 0x101ull << 32, "xor_nxoreturn_value");
121 }
122
123 static void test_cmpxchg(struct atomics_lskel *skel)
124 {
125 int err, prog_fd;
126 LIBBPF_OPTS(bpf_test_run_opts, topts);
127
128 /* No need to attach it, just run it directly */
129 prog_fd = skel->progs.cmpxchg.prog_fd;
130 err = bpf_prog_test_run_opts(prog_fd, &topts);
131 if (!ASSERT_OK(err, "test_run_opts err"))
132 return;
133 if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
134 return;
135
136 ASSERT_EQ(skel->data->cmpxchg64_value, 2, "cmpxchg64_value");
137 ASSERT_EQ(skel->bss->cmpxchg64_result_fail, 1, "cmpxchg_result_fail");
138 ASSERT_EQ(skel->bss->cmpxchg64_result_succeed, 1, "cmpxchg_result_succeed");
139
140 ASSERT_EQ(skel->data->cmpxchg32_value, 2, "lcmpxchg32_value");
141 ASSERT_EQ(skel->bss->cmpxchg32_result_fail, 1, "cmpxchg_result_fail");
142 ASSERT_EQ(skel->bss->cmpxchg32_result_succeed, 1, "cmpxchg_result_succeed");
143 }
144
145 static void test_xchg(struct atomics_lskel *skel)
146 {
147 int err, prog_fd;
148 LIBBPF_OPTS(bpf_test_run_opts, topts);
149
150 /* No need to attach it, just run it directly */
151 prog_fd = skel->progs.xchg.prog_fd;
152 err = bpf_prog_test_run_opts(prog_fd, &topts);
153 if (!ASSERT_OK(err, "test_run_opts err"))
154 return;
155 if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
156 return;
157
158 ASSERT_EQ(skel->data->xchg64_value, 2, "xchg64_value");
159 ASSERT_EQ(skel->bss->xchg64_result, 1, "xchg64_result");
160
161 ASSERT_EQ(skel->data->xchg32_value, 2, "xchg32_value");
162 ASSERT_EQ(skel->bss->xchg32_result, 1, "xchg32_result");
163 }
164
165 void test_atomics(void)
166 {
167 struct atomics_lskel *skel;
168
169 skel = atomics_lskel__open_and_load();
170 if (!ASSERT_OK_PTR(skel, "atomics skeleton load"))
171 return;
172
173 if (skel->data->skip_tests) {
174 printf("%s:SKIP:no ENABLE_ATOMICS_TESTS (missing Clang BPF atomics support)",
175 __func__);
176 test__skip();
177 goto cleanup;
178 }
179 skel->bss->pid = getpid();
180
181 if (test__start_subtest("add"))
182 test_add(skel);
183 if (test__start_subtest("sub"))
184 test_sub(skel);
185 if (test__start_subtest("and"))
186 test_and(skel);
187 if (test__start_subtest("or"))
188 test_or(skel);
189 if (test__start_subtest("xor"))
190 test_xor(skel);
191 if (test__start_subtest("cmpxchg"))
192 test_cmpxchg(skel);
193 if (test__start_subtest("xchg"))
194 test_xchg(skel);
195
196 cleanup:
197 atomics_lskel__destroy(skel);
198 }
199
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.