1 // SPDX-License-Identifier: GPL-2.0
2 /* Copyright (c) 2023 Meta Platforms, Inc. and affiliates. */
3
4 #include "vmlinux.h"
5 #include <bpf/bpf_helpers.h>
6 #include "bpf_misc.h"
7
8 struct bpf_iter_testmod_seq {
9 u64 :64;
10 u64 :64;
11 };
12
13 extern int bpf_iter_testmod_seq_new(struct bpf_iter_testmod_seq *it, s64 value, int cnt) __ksym;
14 extern s64 *bpf_iter_testmod_seq_next(struct bpf_iter_testmod_seq *it) __ksym;
15 extern s64 bpf_iter_testmod_seq_value(int blah, struct bpf_iter_testmod_seq *it) __ksym;
16 extern void bpf_iter_testmod_seq_destroy(struct bpf_iter_testmod_seq *it) __ksym;
17
18 const volatile __s64 exp_empty = 0 + 1;
19 __s64 res_empty;
20
21 SEC("raw_tp/sys_enter")
22 __success __log_level(2)
23 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
24 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
25 __msg("call bpf_iter_testmod_seq_destroy")
26 int testmod_seq_empty(const void *ctx)
27 {
28 __s64 sum = 0, *i;
29
30 bpf_for_each(testmod_seq, i, 1000, 0) sum += *i;
31 res_empty = 1 + sum;
32
33 return 0;
34 }
35
36 const volatile __s64 exp_full = 1000000;
37 __s64 res_full;
38
39 SEC("raw_tp/sys_enter")
40 __success __log_level(2)
41 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
42 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
43 __msg("call bpf_iter_testmod_seq_destroy")
44 int testmod_seq_full(const void *ctx)
45 {
46 __s64 sum = 0, *i;
47
48 bpf_for_each(testmod_seq, i, 1000, 1000) sum += *i;
49 res_full = sum;
50
51 return 0;
52 }
53
54 const volatile __s64 exp_truncated = 10 * 1000000;
55 __s64 res_truncated;
56
57 static volatile int zero = 0;
58
59 SEC("raw_tp/sys_enter")
60 __success __log_level(2)
61 __msg("fp-16_w=iter_testmod_seq(ref_id=1,state=active,depth=0)")
62 __msg("fp-16=iter_testmod_seq(ref_id=1,state=drained,depth=0)")
63 __msg("call bpf_iter_testmod_seq_destroy")
64 int testmod_seq_truncated(const void *ctx)
65 {
66 __s64 sum = 0, *i;
67 int cnt = zero;
68
69 bpf_for_each(testmod_seq, i, 10, 2000000) {
70 sum += *i;
71 cnt++;
72 if (cnt >= 1000000)
73 break;
74 }
75 res_truncated = sum;
76
77 return 0;
78 }
79
80 SEC("?raw_tp")
81 __failure
82 __msg("expected an initialized iter_testmod_seq as arg #2")
83 int testmod_seq_getter_before_bad(const void *ctx)
84 {
85 struct bpf_iter_testmod_seq it;
86
87 return bpf_iter_testmod_seq_value(0, &it);
88 }
89
90 SEC("?raw_tp")
91 __failure
92 __msg("expected an initialized iter_testmod_seq as arg #2")
93 int testmod_seq_getter_after_bad(const void *ctx)
94 {
95 struct bpf_iter_testmod_seq it;
96 s64 sum = 0, *v;
97
98 bpf_iter_testmod_seq_new(&it, 100, 100);
99
100 while ((v = bpf_iter_testmod_seq_next(&it))) {
101 sum += *v;
102 }
103
104 bpf_iter_testmod_seq_destroy(&it);
105
106 return sum + bpf_iter_testmod_seq_value(0, &it);
107 }
108
109 SEC("?socket")
110 __success __retval(1000000)
111 int testmod_seq_getter_good(const void *ctx)
112 {
113 struct bpf_iter_testmod_seq it;
114 s64 sum = 0, *v;
115
116 bpf_iter_testmod_seq_new(&it, 100, 100);
117
118 while ((v = bpf_iter_testmod_seq_next(&it))) {
119 sum += *v;
120 }
121
122 sum *= bpf_iter_testmod_seq_value(0, &it);
123
124 bpf_iter_testmod_seq_destroy(&it);
125
126 return sum;
127 }
128
129 char _license[] SEC("license") = "GPL";
130
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.