198d666d0SBrendan Jackman // SPDX-License-Identifier: GPL-2.0
298d666d0SBrendan Jackman
398d666d0SBrendan Jackman #include <test_progs.h>
498d666d0SBrendan Jackman
50a930662SAlexei Starovoitov #include "atomics.lskel.h"
698d666d0SBrendan Jackman
test_add(struct atomics_lskel * skel)7087cba79SKumar Kartikeya Dwivedi static void test_add(struct atomics_lskel *skel)
898d666d0SBrendan Jackman {
998d666d0SBrendan Jackman int err, prog_fd;
1004fcb5f9SDelyan Kratunov LIBBPF_OPTS(bpf_test_run_opts, topts);
1198d666d0SBrendan Jackman
12*07609c19SHou Tao /* No need to attach it, just run it directly */
130a930662SAlexei Starovoitov prog_fd = skel->progs.add.prog_fd;
1404fcb5f9SDelyan Kratunov err = bpf_prog_test_run_opts(prog_fd, &topts);
1504fcb5f9SDelyan Kratunov if (!ASSERT_OK(err, "test_run_opts err"))
16*07609c19SHou Tao return;
1704fcb5f9SDelyan Kratunov if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
18*07609c19SHou Tao return;
1998d666d0SBrendan Jackman
2098d666d0SBrendan Jackman ASSERT_EQ(skel->data->add64_value, 3, "add64_value");
2198d666d0SBrendan Jackman ASSERT_EQ(skel->bss->add64_result, 1, "add64_result");
2298d666d0SBrendan Jackman
2398d666d0SBrendan Jackman ASSERT_EQ(skel->data->add32_value, 3, "add32_value");
2498d666d0SBrendan Jackman ASSERT_EQ(skel->bss->add32_result, 1, "add32_result");
2598d666d0SBrendan Jackman
2698d666d0SBrendan Jackman ASSERT_EQ(skel->bss->add_stack_value_copy, 3, "add_stack_value");
2798d666d0SBrendan Jackman ASSERT_EQ(skel->bss->add_stack_result, 1, "add_stack_result");
2898d666d0SBrendan Jackman
2998d666d0SBrendan Jackman ASSERT_EQ(skel->data->add_noreturn_value, 3, "add_noreturn_value");
3098d666d0SBrendan Jackman }
3198d666d0SBrendan Jackman
test_sub(struct atomics_lskel * skel)32087cba79SKumar Kartikeya Dwivedi static void test_sub(struct atomics_lskel *skel)
3398d666d0SBrendan Jackman {
3498d666d0SBrendan Jackman int err, prog_fd;
3504fcb5f9SDelyan Kratunov LIBBPF_OPTS(bpf_test_run_opts, topts);
3698d666d0SBrendan Jackman
37*07609c19SHou Tao /* No need to attach it, just run it directly */
380a930662SAlexei Starovoitov prog_fd = skel->progs.sub.prog_fd;
3904fcb5f9SDelyan Kratunov err = bpf_prog_test_run_opts(prog_fd, &topts);
4004fcb5f9SDelyan Kratunov if (!ASSERT_OK(err, "test_run_opts err"))
41*07609c19SHou Tao return;
4204fcb5f9SDelyan Kratunov if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
43*07609c19SHou Tao return;
4498d666d0SBrendan Jackman
4598d666d0SBrendan Jackman ASSERT_EQ(skel->data->sub64_value, -1, "sub64_value");
4698d666d0SBrendan Jackman ASSERT_EQ(skel->bss->sub64_result, 1, "sub64_result");
4798d666d0SBrendan Jackman
4898d666d0SBrendan Jackman ASSERT_EQ(skel->data->sub32_value, -1, "sub32_value");
4998d666d0SBrendan Jackman ASSERT_EQ(skel->bss->sub32_result, 1, "sub32_result");
5098d666d0SBrendan Jackman
5198d666d0SBrendan Jackman ASSERT_EQ(skel->bss->sub_stack_value_copy, -1, "sub_stack_value");
5298d666d0SBrendan Jackman ASSERT_EQ(skel->bss->sub_stack_result, 1, "sub_stack_result");
5398d666d0SBrendan Jackman
5498d666d0SBrendan Jackman ASSERT_EQ(skel->data->sub_noreturn_value, -1, "sub_noreturn_value");
5598d666d0SBrendan Jackman }
5698d666d0SBrendan Jackman
test_and(struct atomics_lskel * skel)57087cba79SKumar Kartikeya Dwivedi static void test_and(struct atomics_lskel *skel)
5898d666d0SBrendan Jackman {
5998d666d0SBrendan Jackman int err, prog_fd;
6004fcb5f9SDelyan Kratunov LIBBPF_OPTS(bpf_test_run_opts, topts);
6198d666d0SBrendan Jackman
62*07609c19SHou Tao /* No need to attach it, just run it directly */
630a930662SAlexei Starovoitov prog_fd = skel->progs.and.prog_fd;
6404fcb5f9SDelyan Kratunov err = bpf_prog_test_run_opts(prog_fd, &topts);
6504fcb5f9SDelyan Kratunov if (!ASSERT_OK(err, "test_run_opts err"))
66*07609c19SHou Tao return;
6704fcb5f9SDelyan Kratunov if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
68*07609c19SHou Tao return;
6998d666d0SBrendan Jackman
7098d666d0SBrendan Jackman ASSERT_EQ(skel->data->and64_value, 0x010ull << 32, "and64_value");
7198d666d0SBrendan Jackman ASSERT_EQ(skel->bss->and64_result, 0x110ull << 32, "and64_result");
7298d666d0SBrendan Jackman
7398d666d0SBrendan Jackman ASSERT_EQ(skel->data->and32_value, 0x010, "and32_value");
7498d666d0SBrendan Jackman ASSERT_EQ(skel->bss->and32_result, 0x110, "and32_result");
7598d666d0SBrendan Jackman
7698d666d0SBrendan Jackman ASSERT_EQ(skel->data->and_noreturn_value, 0x010ull << 32, "and_noreturn_value");
7798d666d0SBrendan Jackman }
7898d666d0SBrendan Jackman
test_or(struct atomics_lskel * skel)79087cba79SKumar Kartikeya Dwivedi static void test_or(struct atomics_lskel *skel)
8098d666d0SBrendan Jackman {
8198d666d0SBrendan Jackman int err, prog_fd;
8204fcb5f9SDelyan Kratunov LIBBPF_OPTS(bpf_test_run_opts, topts);
8398d666d0SBrendan Jackman
84*07609c19SHou Tao /* No need to attach it, just run it directly */
850a930662SAlexei Starovoitov prog_fd = skel->progs.or.prog_fd;
8604fcb5f9SDelyan Kratunov err = bpf_prog_test_run_opts(prog_fd, &topts);
8704fcb5f9SDelyan Kratunov if (!ASSERT_OK(err, "test_run_opts err"))
88*07609c19SHou Tao return;
8904fcb5f9SDelyan Kratunov if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
90*07609c19SHou Tao return;
9198d666d0SBrendan Jackman
9298d666d0SBrendan Jackman ASSERT_EQ(skel->data->or64_value, 0x111ull << 32, "or64_value");
9398d666d0SBrendan Jackman ASSERT_EQ(skel->bss->or64_result, 0x110ull << 32, "or64_result");
9498d666d0SBrendan Jackman
9598d666d0SBrendan Jackman ASSERT_EQ(skel->data->or32_value, 0x111, "or32_value");
9698d666d0SBrendan Jackman ASSERT_EQ(skel->bss->or32_result, 0x110, "or32_result");
9798d666d0SBrendan Jackman
9898d666d0SBrendan Jackman ASSERT_EQ(skel->data->or_noreturn_value, 0x111ull << 32, "or_noreturn_value");
9998d666d0SBrendan Jackman }
10098d666d0SBrendan Jackman
test_xor(struct atomics_lskel * skel)101087cba79SKumar Kartikeya Dwivedi static void test_xor(struct atomics_lskel *skel)
10298d666d0SBrendan Jackman {
10398d666d0SBrendan Jackman int err, prog_fd;
10404fcb5f9SDelyan Kratunov LIBBPF_OPTS(bpf_test_run_opts, topts);
10598d666d0SBrendan Jackman
106*07609c19SHou Tao /* No need to attach it, just run it directly */
1070a930662SAlexei Starovoitov prog_fd = skel->progs.xor.prog_fd;
10804fcb5f9SDelyan Kratunov err = bpf_prog_test_run_opts(prog_fd, &topts);
10904fcb5f9SDelyan Kratunov if (!ASSERT_OK(err, "test_run_opts err"))
110*07609c19SHou Tao return;
11104fcb5f9SDelyan Kratunov if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
112*07609c19SHou Tao return;
11398d666d0SBrendan Jackman
11498d666d0SBrendan Jackman ASSERT_EQ(skel->data->xor64_value, 0x101ull << 32, "xor64_value");
11598d666d0SBrendan Jackman ASSERT_EQ(skel->bss->xor64_result, 0x110ull << 32, "xor64_result");
11698d666d0SBrendan Jackman
11798d666d0SBrendan Jackman ASSERT_EQ(skel->data->xor32_value, 0x101, "xor32_value");
11898d666d0SBrendan Jackman ASSERT_EQ(skel->bss->xor32_result, 0x110, "xor32_result");
11998d666d0SBrendan Jackman
12098d666d0SBrendan Jackman ASSERT_EQ(skel->data->xor_noreturn_value, 0x101ull << 32, "xor_nxoreturn_value");
12198d666d0SBrendan Jackman }
12298d666d0SBrendan Jackman
test_cmpxchg(struct atomics_lskel * skel)123087cba79SKumar Kartikeya Dwivedi static void test_cmpxchg(struct atomics_lskel *skel)
12498d666d0SBrendan Jackman {
12598d666d0SBrendan Jackman int err, prog_fd;
12604fcb5f9SDelyan Kratunov LIBBPF_OPTS(bpf_test_run_opts, topts);
12798d666d0SBrendan Jackman
128*07609c19SHou Tao /* No need to attach it, just run it directly */
1290a930662SAlexei Starovoitov prog_fd = skel->progs.cmpxchg.prog_fd;
13004fcb5f9SDelyan Kratunov err = bpf_prog_test_run_opts(prog_fd, &topts);
13104fcb5f9SDelyan Kratunov if (!ASSERT_OK(err, "test_run_opts err"))
132*07609c19SHou Tao return;
13304fcb5f9SDelyan Kratunov if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
134*07609c19SHou Tao return;
13598d666d0SBrendan Jackman
13698d666d0SBrendan Jackman ASSERT_EQ(skel->data->cmpxchg64_value, 2, "cmpxchg64_value");
13798d666d0SBrendan Jackman ASSERT_EQ(skel->bss->cmpxchg64_result_fail, 1, "cmpxchg_result_fail");
13898d666d0SBrendan Jackman ASSERT_EQ(skel->bss->cmpxchg64_result_succeed, 1, "cmpxchg_result_succeed");
13998d666d0SBrendan Jackman
14098d666d0SBrendan Jackman ASSERT_EQ(skel->data->cmpxchg32_value, 2, "lcmpxchg32_value");
14198d666d0SBrendan Jackman ASSERT_EQ(skel->bss->cmpxchg32_result_fail, 1, "cmpxchg_result_fail");
14298d666d0SBrendan Jackman ASSERT_EQ(skel->bss->cmpxchg32_result_succeed, 1, "cmpxchg_result_succeed");
14398d666d0SBrendan Jackman }
14498d666d0SBrendan Jackman
test_xchg(struct atomics_lskel * skel)145087cba79SKumar Kartikeya Dwivedi static void test_xchg(struct atomics_lskel *skel)
14698d666d0SBrendan Jackman {
14798d666d0SBrendan Jackman int err, prog_fd;
14804fcb5f9SDelyan Kratunov LIBBPF_OPTS(bpf_test_run_opts, topts);
14998d666d0SBrendan Jackman
150*07609c19SHou Tao /* No need to attach it, just run it directly */
1510a930662SAlexei Starovoitov prog_fd = skel->progs.xchg.prog_fd;
15204fcb5f9SDelyan Kratunov err = bpf_prog_test_run_opts(prog_fd, &topts);
15304fcb5f9SDelyan Kratunov if (!ASSERT_OK(err, "test_run_opts err"))
154*07609c19SHou Tao return;
15504fcb5f9SDelyan Kratunov if (!ASSERT_OK(topts.retval, "test_run_opts retval"))
156*07609c19SHou Tao return;
15798d666d0SBrendan Jackman
15898d666d0SBrendan Jackman ASSERT_EQ(skel->data->xchg64_value, 2, "xchg64_value");
15998d666d0SBrendan Jackman ASSERT_EQ(skel->bss->xchg64_result, 1, "xchg64_result");
16098d666d0SBrendan Jackman
16198d666d0SBrendan Jackman ASSERT_EQ(skel->data->xchg32_value, 2, "xchg32_value");
16298d666d0SBrendan Jackman ASSERT_EQ(skel->bss->xchg32_result, 1, "xchg32_result");
16398d666d0SBrendan Jackman }
16498d666d0SBrendan Jackman
test_atomics(void)16598d666d0SBrendan Jackman void test_atomics(void)
16698d666d0SBrendan Jackman {
167087cba79SKumar Kartikeya Dwivedi struct atomics_lskel *skel;
16898d666d0SBrendan Jackman
169087cba79SKumar Kartikeya Dwivedi skel = atomics_lskel__open_and_load();
170*07609c19SHou Tao if (!ASSERT_OK_PTR(skel, "atomics skeleton load"))
17198d666d0SBrendan Jackman return;
17298d666d0SBrendan Jackman
17398d666d0SBrendan Jackman if (skel->data->skip_tests) {
17498d666d0SBrendan Jackman printf("%s:SKIP:no ENABLE_ATOMICS_TESTS (missing Clang BPF atomics support)",
17598d666d0SBrendan Jackman __func__);
17698d666d0SBrendan Jackman test__skip();
17798d666d0SBrendan Jackman goto cleanup;
17898d666d0SBrendan Jackman }
1790f4feaccSYucong Sun skel->bss->pid = getpid();
18098d666d0SBrendan Jackman
18198d666d0SBrendan Jackman if (test__start_subtest("add"))
18298d666d0SBrendan Jackman test_add(skel);
18398d666d0SBrendan Jackman if (test__start_subtest("sub"))
18498d666d0SBrendan Jackman test_sub(skel);
18598d666d0SBrendan Jackman if (test__start_subtest("and"))
18698d666d0SBrendan Jackman test_and(skel);
18798d666d0SBrendan Jackman if (test__start_subtest("or"))
18898d666d0SBrendan Jackman test_or(skel);
18998d666d0SBrendan Jackman if (test__start_subtest("xor"))
19098d666d0SBrendan Jackman test_xor(skel);
19198d666d0SBrendan Jackman if (test__start_subtest("cmpxchg"))
19298d666d0SBrendan Jackman test_cmpxchg(skel);
19398d666d0SBrendan Jackman if (test__start_subtest("xchg"))
19498d666d0SBrendan Jackman test_xchg(skel);
19598d666d0SBrendan Jackman
19698d666d0SBrendan Jackman cleanup:
197087cba79SKumar Kartikeya Dwivedi atomics_lskel__destroy(skel);
19898d666d0SBrendan Jackman }
199