1 | // SPDX-License-Identifier: GPL-2.0 |
2 | /* Converted from tools/testing/selftests/bpf/verifier/masking.c */ |
3 | |
4 | #include <linux/bpf.h> |
5 | #include <bpf/bpf_helpers.h> |
6 | #include "bpf_misc.h" |
7 | |
8 | SEC("socket" ) |
9 | __description("masking, test out of bounds 1" ) |
10 | __success __success_unpriv __retval(0) |
11 | __naked void test_out_of_bounds_1(void) |
12 | { |
13 | asm volatile (" \ |
14 | w1 = 5; \ |
15 | w2 = %[__imm_0]; \ |
16 | r2 -= r1; \ |
17 | r2 |= r1; \ |
18 | r2 = -r2; \ |
19 | r2 s>>= 63; \ |
20 | r1 &= r2; \ |
21 | r0 = r1; \ |
22 | exit; \ |
23 | " : |
24 | : __imm_const(__imm_0, 5 - 1) |
25 | : __clobber_all); |
26 | } |
27 | |
28 | SEC("socket" ) |
29 | __description("masking, test out of bounds 2" ) |
30 | __success __success_unpriv __retval(0) |
31 | __naked void test_out_of_bounds_2(void) |
32 | { |
33 | asm volatile (" \ |
34 | w1 = 1; \ |
35 | w2 = %[__imm_0]; \ |
36 | r2 -= r1; \ |
37 | r2 |= r1; \ |
38 | r2 = -r2; \ |
39 | r2 s>>= 63; \ |
40 | r1 &= r2; \ |
41 | r0 = r1; \ |
42 | exit; \ |
43 | " : |
44 | : __imm_const(__imm_0, 1 - 1) |
45 | : __clobber_all); |
46 | } |
47 | |
48 | SEC("socket" ) |
49 | __description("masking, test out of bounds 3" ) |
50 | __success __success_unpriv __retval(0) |
51 | __naked void test_out_of_bounds_3(void) |
52 | { |
53 | asm volatile (" \ |
54 | w1 = 0xffffffff; \ |
55 | w2 = %[__imm_0]; \ |
56 | r2 -= r1; \ |
57 | r2 |= r1; \ |
58 | r2 = -r2; \ |
59 | r2 s>>= 63; \ |
60 | r1 &= r2; \ |
61 | r0 = r1; \ |
62 | exit; \ |
63 | " : |
64 | : __imm_const(__imm_0, 0xffffffff - 1) |
65 | : __clobber_all); |
66 | } |
67 | |
68 | SEC("socket" ) |
69 | __description("masking, test out of bounds 4" ) |
70 | __success __success_unpriv __retval(0) |
71 | __naked void test_out_of_bounds_4(void) |
72 | { |
73 | asm volatile (" \ |
74 | w1 = 0xffffffff; \ |
75 | w2 = %[__imm_0]; \ |
76 | r2 -= r1; \ |
77 | r2 |= r1; \ |
78 | r2 = -r2; \ |
79 | r2 s>>= 63; \ |
80 | r1 &= r2; \ |
81 | r0 = r1; \ |
82 | exit; \ |
83 | " : |
84 | : __imm_const(__imm_0, 1 - 1) |
85 | : __clobber_all); |
86 | } |
87 | |
88 | SEC("socket" ) |
89 | __description("masking, test out of bounds 5" ) |
90 | __success __success_unpriv __retval(0) |
91 | __naked void test_out_of_bounds_5(void) |
92 | { |
93 | asm volatile (" \ |
94 | w1 = -1; \ |
95 | w2 = %[__imm_0]; \ |
96 | r2 -= r1; \ |
97 | r2 |= r1; \ |
98 | r2 = -r2; \ |
99 | r2 s>>= 63; \ |
100 | r1 &= r2; \ |
101 | r0 = r1; \ |
102 | exit; \ |
103 | " : |
104 | : __imm_const(__imm_0, 1 - 1) |
105 | : __clobber_all); |
106 | } |
107 | |
108 | SEC("socket" ) |
109 | __description("masking, test out of bounds 6" ) |
110 | __success __success_unpriv __retval(0) |
111 | __naked void test_out_of_bounds_6(void) |
112 | { |
113 | asm volatile (" \ |
114 | w1 = -1; \ |
115 | w2 = %[__imm_0]; \ |
116 | r2 -= r1; \ |
117 | r2 |= r1; \ |
118 | r2 = -r2; \ |
119 | r2 s>>= 63; \ |
120 | r1 &= r2; \ |
121 | r0 = r1; \ |
122 | exit; \ |
123 | " : |
124 | : __imm_const(__imm_0, 0xffffffff - 1) |
125 | : __clobber_all); |
126 | } |
127 | |
128 | SEC("socket" ) |
129 | __description("masking, test out of bounds 7" ) |
130 | __success __success_unpriv __retval(0) |
131 | __naked void test_out_of_bounds_7(void) |
132 | { |
133 | asm volatile (" \ |
134 | r1 = 5; \ |
135 | w2 = %[__imm_0]; \ |
136 | r2 -= r1; \ |
137 | r2 |= r1; \ |
138 | r2 = -r2; \ |
139 | r2 s>>= 63; \ |
140 | r1 &= r2; \ |
141 | r0 = r1; \ |
142 | exit; \ |
143 | " : |
144 | : __imm_const(__imm_0, 5 - 1) |
145 | : __clobber_all); |
146 | } |
147 | |
148 | SEC("socket" ) |
149 | __description("masking, test out of bounds 8" ) |
150 | __success __success_unpriv __retval(0) |
151 | __naked void test_out_of_bounds_8(void) |
152 | { |
153 | asm volatile (" \ |
154 | r1 = 1; \ |
155 | w2 = %[__imm_0]; \ |
156 | r2 -= r1; \ |
157 | r2 |= r1; \ |
158 | r2 = -r2; \ |
159 | r2 s>>= 63; \ |
160 | r1 &= r2; \ |
161 | r0 = r1; \ |
162 | exit; \ |
163 | " : |
164 | : __imm_const(__imm_0, 1 - 1) |
165 | : __clobber_all); |
166 | } |
167 | |
168 | SEC("socket" ) |
169 | __description("masking, test out of bounds 9" ) |
170 | __success __success_unpriv __retval(0) |
171 | __naked void test_out_of_bounds_9(void) |
172 | { |
173 | asm volatile (" \ |
174 | r1 = 0xffffffff; \ |
175 | w2 = %[__imm_0]; \ |
176 | r2 -= r1; \ |
177 | r2 |= r1; \ |
178 | r2 = -r2; \ |
179 | r2 s>>= 63; \ |
180 | r1 &= r2; \ |
181 | r0 = r1; \ |
182 | exit; \ |
183 | " : |
184 | : __imm_const(__imm_0, 0xffffffff - 1) |
185 | : __clobber_all); |
186 | } |
187 | |
188 | SEC("socket" ) |
189 | __description("masking, test out of bounds 10" ) |
190 | __success __success_unpriv __retval(0) |
191 | __naked void test_out_of_bounds_10(void) |
192 | { |
193 | asm volatile (" \ |
194 | r1 = 0xffffffff; \ |
195 | w2 = %[__imm_0]; \ |
196 | r2 -= r1; \ |
197 | r2 |= r1; \ |
198 | r2 = -r2; \ |
199 | r2 s>>= 63; \ |
200 | r1 &= r2; \ |
201 | r0 = r1; \ |
202 | exit; \ |
203 | " : |
204 | : __imm_const(__imm_0, 1 - 1) |
205 | : __clobber_all); |
206 | } |
207 | |
208 | SEC("socket" ) |
209 | __description("masking, test out of bounds 11" ) |
210 | __success __success_unpriv __retval(0) |
211 | __naked void test_out_of_bounds_11(void) |
212 | { |
213 | asm volatile (" \ |
214 | r1 = -1; \ |
215 | w2 = %[__imm_0]; \ |
216 | r2 -= r1; \ |
217 | r2 |= r1; \ |
218 | r2 = -r2; \ |
219 | r2 s>>= 63; \ |
220 | r1 &= r2; \ |
221 | r0 = r1; \ |
222 | exit; \ |
223 | " : |
224 | : __imm_const(__imm_0, 1 - 1) |
225 | : __clobber_all); |
226 | } |
227 | |
228 | SEC("socket" ) |
229 | __description("masking, test out of bounds 12" ) |
230 | __success __success_unpriv __retval(0) |
231 | __naked void test_out_of_bounds_12(void) |
232 | { |
233 | asm volatile (" \ |
234 | r1 = -1; \ |
235 | w2 = %[__imm_0]; \ |
236 | r2 -= r1; \ |
237 | r2 |= r1; \ |
238 | r2 = -r2; \ |
239 | r2 s>>= 63; \ |
240 | r1 &= r2; \ |
241 | r0 = r1; \ |
242 | exit; \ |
243 | " : |
244 | : __imm_const(__imm_0, 0xffffffff - 1) |
245 | : __clobber_all); |
246 | } |
247 | |
248 | SEC("socket" ) |
249 | __description("masking, test in bounds 1" ) |
250 | __success __success_unpriv __retval(4) |
251 | __naked void masking_test_in_bounds_1(void) |
252 | { |
253 | asm volatile (" \ |
254 | w1 = 4; \ |
255 | w2 = %[__imm_0]; \ |
256 | r2 -= r1; \ |
257 | r2 |= r1; \ |
258 | r2 = -r2; \ |
259 | r2 s>>= 63; \ |
260 | r1 &= r2; \ |
261 | r0 = r1; \ |
262 | exit; \ |
263 | " : |
264 | : __imm_const(__imm_0, 5 - 1) |
265 | : __clobber_all); |
266 | } |
267 | |
268 | SEC("socket" ) |
269 | __description("masking, test in bounds 2" ) |
270 | __success __success_unpriv __retval(0) |
271 | __naked void masking_test_in_bounds_2(void) |
272 | { |
273 | asm volatile (" \ |
274 | w1 = 0; \ |
275 | w2 = %[__imm_0]; \ |
276 | r2 -= r1; \ |
277 | r2 |= r1; \ |
278 | r2 = -r2; \ |
279 | r2 s>>= 63; \ |
280 | r1 &= r2; \ |
281 | r0 = r1; \ |
282 | exit; \ |
283 | " : |
284 | : __imm_const(__imm_0, 0xffffffff - 1) |
285 | : __clobber_all); |
286 | } |
287 | |
288 | SEC("socket" ) |
289 | __description("masking, test in bounds 3" ) |
290 | __success __success_unpriv __retval(0xfffffffe) |
291 | __naked void masking_test_in_bounds_3(void) |
292 | { |
293 | asm volatile (" \ |
294 | w1 = 0xfffffffe; \ |
295 | w2 = %[__imm_0]; \ |
296 | r2 -= r1; \ |
297 | r2 |= r1; \ |
298 | r2 = -r2; \ |
299 | r2 s>>= 63; \ |
300 | r1 &= r2; \ |
301 | r0 = r1; \ |
302 | exit; \ |
303 | " : |
304 | : __imm_const(__imm_0, 0xffffffff - 1) |
305 | : __clobber_all); |
306 | } |
307 | |
308 | SEC("socket" ) |
309 | __description("masking, test in bounds 4" ) |
310 | __success __success_unpriv __retval(0xabcde) |
311 | __naked void masking_test_in_bounds_4(void) |
312 | { |
313 | asm volatile (" \ |
314 | w1 = 0xabcde; \ |
315 | w2 = %[__imm_0]; \ |
316 | r2 -= r1; \ |
317 | r2 |= r1; \ |
318 | r2 = -r2; \ |
319 | r2 s>>= 63; \ |
320 | r1 &= r2; \ |
321 | r0 = r1; \ |
322 | exit; \ |
323 | " : |
324 | : __imm_const(__imm_0, 0xabcdef - 1) |
325 | : __clobber_all); |
326 | } |
327 | |
328 | SEC("socket" ) |
329 | __description("masking, test in bounds 5" ) |
330 | __success __success_unpriv __retval(0) |
331 | __naked void masking_test_in_bounds_5(void) |
332 | { |
333 | asm volatile (" \ |
334 | w1 = 0; \ |
335 | w2 = %[__imm_0]; \ |
336 | r2 -= r1; \ |
337 | r2 |= r1; \ |
338 | r2 = -r2; \ |
339 | r2 s>>= 63; \ |
340 | r1 &= r2; \ |
341 | r0 = r1; \ |
342 | exit; \ |
343 | " : |
344 | : __imm_const(__imm_0, 1 - 1) |
345 | : __clobber_all); |
346 | } |
347 | |
348 | SEC("socket" ) |
349 | __description("masking, test in bounds 6" ) |
350 | __success __success_unpriv __retval(46) |
351 | __naked void masking_test_in_bounds_6(void) |
352 | { |
353 | asm volatile (" \ |
354 | w1 = 46; \ |
355 | w2 = %[__imm_0]; \ |
356 | r2 -= r1; \ |
357 | r2 |= r1; \ |
358 | r2 = -r2; \ |
359 | r2 s>>= 63; \ |
360 | r1 &= r2; \ |
361 | r0 = r1; \ |
362 | exit; \ |
363 | " : |
364 | : __imm_const(__imm_0, 47 - 1) |
365 | : __clobber_all); |
366 | } |
367 | |
368 | SEC("socket" ) |
369 | __description("masking, test in bounds 7" ) |
370 | __success __success_unpriv __retval(46) |
371 | __naked void masking_test_in_bounds_7(void) |
372 | { |
373 | asm volatile (" \ |
374 | r3 = -46; \ |
375 | r3 *= -1; \ |
376 | w2 = %[__imm_0]; \ |
377 | r2 -= r3; \ |
378 | r2 |= r3; \ |
379 | r2 = -r2; \ |
380 | r2 s>>= 63; \ |
381 | r3 &= r2; \ |
382 | r0 = r3; \ |
383 | exit; \ |
384 | " : |
385 | : __imm_const(__imm_0, 47 - 1) |
386 | : __clobber_all); |
387 | } |
388 | |
389 | SEC("socket" ) |
390 | __description("masking, test in bounds 8" ) |
391 | __success __success_unpriv __retval(0) |
392 | __naked void masking_test_in_bounds_8(void) |
393 | { |
394 | asm volatile (" \ |
395 | r3 = -47; \ |
396 | r3 *= -1; \ |
397 | w2 = %[__imm_0]; \ |
398 | r2 -= r3; \ |
399 | r2 |= r3; \ |
400 | r2 = -r2; \ |
401 | r2 s>>= 63; \ |
402 | r3 &= r2; \ |
403 | r0 = r3; \ |
404 | exit; \ |
405 | " : |
406 | : __imm_const(__imm_0, 47 - 1) |
407 | : __clobber_all); |
408 | } |
409 | |
410 | char _license[] SEC("license" ) = "GPL" ; |
411 | |