1 // SPDX-License-Identifier: GPL-2.0
2 /* Converted from tools/testing/selftests/bpf/verifier/div_overflow.c */
3
4 #include <linux/bpf.h>
5 #include <bpf/bpf_helpers.h>
6 #include <limits.h>
7 #include "bpf_misc.h"
8
9 /* Just make sure that JITs used udiv/umod as otherwise we get
10 * an exception from INT_MIN/-1 overflow similarly as with div
11 * by zero.
12 */
13
14 SEC("tc")
15 __description("DIV32 overflow, check 1")
16 __success __retval(0)
div32_overflow_check_1(void)17 __naked void div32_overflow_check_1(void)
18 {
19 asm volatile (" \
20 w1 = -1; \
21 w0 = %[int_min]; \
22 w0 /= w1; \
23 exit; \
24 " :
25 : __imm_const(int_min, INT_MIN)
26 : __clobber_all);
27 }
28
29 SEC("tc")
30 __description("DIV32 overflow, check 2")
31 __success __retval(0)
div32_overflow_check_2(void)32 __naked void div32_overflow_check_2(void)
33 {
34 asm volatile (" \
35 w0 = %[int_min]; \
36 w0 /= -1; \
37 exit; \
38 " :
39 : __imm_const(int_min, INT_MIN)
40 : __clobber_all);
41 }
42
43 SEC("tc")
44 __description("DIV64 overflow, check 1")
45 __success __retval(0)
div64_overflow_check_1(void)46 __naked void div64_overflow_check_1(void)
47 {
48 asm volatile (" \
49 r1 = -1; \
50 r2 = %[llong_min] ll; \
51 r2 /= r1; \
52 w0 = 0; \
53 if r0 == r2 goto l0_%=; \
54 w0 = 1; \
55 l0_%=: exit; \
56 " :
57 : __imm_const(llong_min, LLONG_MIN)
58 : __clobber_all);
59 }
60
61 SEC("tc")
62 __description("DIV64 overflow, check 2")
63 __success __retval(0)
div64_overflow_check_2(void)64 __naked void div64_overflow_check_2(void)
65 {
66 asm volatile (" \
67 r1 = %[llong_min] ll; \
68 r1 /= -1; \
69 w0 = 0; \
70 if r0 == r1 goto l0_%=; \
71 w0 = 1; \
72 l0_%=: exit; \
73 " :
74 : __imm_const(llong_min, LLONG_MIN)
75 : __clobber_all);
76 }
77
78 SEC("tc")
79 __description("MOD32 overflow, check 1")
__retval(INT_MIN)80 __success __retval(INT_MIN)
81 __naked void mod32_overflow_check_1(void)
82 {
83 asm volatile (" \
84 w1 = -1; \
85 w0 = %[int_min]; \
86 w0 %%= w1; \
87 exit; \
88 " :
89 : __imm_const(int_min, INT_MIN)
90 : __clobber_all);
91 }
92
93 SEC("tc")
94 __description("MOD32 overflow, check 2")
__retval(INT_MIN)95 __success __retval(INT_MIN)
96 __naked void mod32_overflow_check_2(void)
97 {
98 asm volatile (" \
99 w0 = %[int_min]; \
100 w0 %%= -1; \
101 exit; \
102 " :
103 : __imm_const(int_min, INT_MIN)
104 : __clobber_all);
105 }
106
107 SEC("tc")
108 __description("MOD64 overflow, check 1")
109 __success __retval(1)
mod64_overflow_check_1(void)110 __naked void mod64_overflow_check_1(void)
111 {
112 asm volatile (" \
113 r1 = -1; \
114 r2 = %[llong_min] ll; \
115 r3 = r2; \
116 r2 %%= r1; \
117 w0 = 0; \
118 if r3 != r2 goto l0_%=; \
119 w0 = 1; \
120 l0_%=: exit; \
121 " :
122 : __imm_const(llong_min, LLONG_MIN)
123 : __clobber_all);
124 }
125
126 SEC("tc")
127 __description("MOD64 overflow, check 2")
128 __success __retval(1)
mod64_overflow_check_2(void)129 __naked void mod64_overflow_check_2(void)
130 {
131 asm volatile (" \
132 r2 = %[llong_min] ll; \
133 r3 = r2; \
134 r2 %%= -1; \
135 w0 = 0; \
136 if r3 != r2 goto l0_%=; \
137 w0 = 1; \
138 l0_%=: exit; \
139 " :
140 : __imm_const(llong_min, LLONG_MIN)
141 : __clobber_all);
142 }
143
144 char _license[] SEC("license") = "GPL";
145