| /linux/tools/testing/selftests/bpf/verifier/ |
| A D | jump.c | 6 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 1),
31 BPF_JMP_IMM(BPF_JA, 0, 0, 14),
34 BPF_JMP_IMM(BPF_JA, 0, 0, 11),
37 BPF_JMP_IMM(BPF_JA, 0, 0, 8),
40 BPF_JMP_IMM(BPF_JA, 0, 0, 5),
43 BPF_JMP_IMM(BPF_JA, 0, 0, 2),
60 BPF_JMP_IMM(BPF_JA, 0, 0, 19),
64 BPF_JMP_IMM(BPF_JA, 0, 0, 15),
68 BPF_JMP_IMM(BPF_JA, 0, 0, 11),
72 BPF_JMP_IMM(BPF_JA, 0, 0, 7),
[all …]
|
| A D | dead_code.c | 4 BPF_JMP_IMM(BPF_JA, 0, 0, 2),
6 BPF_JMP_IMM(BPF_JA, 0, 0, 2),
8 BPF_JMP_IMM(BPF_JGE, BPF_REG_0, 10, -4),
20 BPF_JMP_IMM(BPF_JGE, BPF_REG_0, 0, 1),
21 BPF_JMP_IMM(BPF_JGE, BPF_REG_0, 10, 0),
31 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 4),
32 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1),
33 BPF_JMP_IMM(BPF_JA, 0, 0, 2),
72 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
74 BPF_JMP_IMM(BPF_JA, 0, 0, -5),
[all …]
|
| A D | value_ptr_arith.c | 9 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 1, 3),
11 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 1, 2),
14 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9),
16 BPF_JMP_IMM(BPF_JEQ, BPF_REG_4, 1, 4),
20 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
51 BPF_JMP_IMM(BPF_JA, 0, 0, 3),
84 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
115 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
146 BPF_JMP_IMM(BPF_JA, 0, 0, 3),
179 BPF_JMP_IMM(BPF_JA, 0, 0, 3),
[all …]
|
| A D | sock.c | 17 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
31 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
58 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
74 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
78 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 2),
92 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
96 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
109 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
113 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 2),
127 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
[all …]
|
| A D | helper_value_access.c | 9 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
28 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
47 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 3),
66 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
86 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
106 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 5),
127 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 5),
147 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
167 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 5),
189 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 5),
[all …]
|
| A D | search_pruning.c | 9 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),
30 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 2),
48 BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1),
50 BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1),
66 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 8),
73 BPF_JMP_IMM(BPF_JA, 0, 0, 0),
92 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 11),
101 BPF_JMP_IMM(BPF_JEQ, BPF_REG_5, 0, 2),
119 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 8),
141 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
[all …]
|
| A D | regalloc.c | 10 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 8),
14 BPF_JMP_IMM(BPF_JSGT, BPF_REG_0, 20, 4),
15 BPF_JMP_IMM(BPF_JSLT, BPF_REG_2, 0, 3),
35 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 8),
39 BPF_JMP_IMM(BPF_JSGT, BPF_REG_0, 24, 4),
40 BPF_JMP_IMM(BPF_JSLT, BPF_REG_2, 0, 3),
60 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9),
64 BPF_JMP_IMM(BPF_JSGT, BPF_REG_0, 20, 5),
86 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9),
113 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 11),
[all …]
|
| A D | bounds_mix_sign_unsign.c | 9 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 7),
14 BPF_JMP_IMM(BPF_JSGT, BPF_REG_1, 4, 2),
32 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 7),
37 BPF_JMP_IMM(BPF_JSGT, BPF_REG_1, 1, 2),
55 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9),
62 BPF_JMP_IMM(BPF_JSGT, BPF_REG_8, 1, 2),
80 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 8),
86 BPF_JMP_IMM(BPF_JSGT, BPF_REG_8, 1, 2),
104 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 7),
126 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9),
[all …]
|
| A D | ref_tracking.c | 120 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
132 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
144 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
158 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
252 BPF_JMP_IMM(BPF_JEQ, BPF_REG_2, 0, 1),
272 BPF_JMP_IMM(BPF_JEQ, BPF_REG_2, 0, 1),
308 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
368 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),
387 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
406 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
[all …]
|
| A D | loops1.c | 6 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 4, -2),
18 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 20, -2),
28 BPF_JMP_IMM(BPF_JSLT, BPF_REG_0, 0, 2),
30 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 4, -2),
42 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 4, -2),
53 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 4, -2),
65 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 4, -2),
103 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 4, 2),
120 BPF_JMP_IMM(BPF_JLT, BPF_REG_1, 4, 1),
147 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 2, 1),
[all …]
|
| A D | jset.c | 15 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
19 BPF_JMP_IMM(BPF_JSET, BPF_REG_7, -1, 1),
80 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1),
94 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1),
108 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1),
109 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
123 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 1, 1),
138 BPF_JMP_IMM(BPF_JSET, BPF_REG_0, 3, 1),
155 BPF_JMP_IMM(BPF_JSET, BPF_REG_1, 0xf0, 3),
156 BPF_JMP_IMM(BPF_JLT, BPF_REG_1, 0x10, 1),
[all …]
|
| A D | bounds_deduction.c | 5 BPF_JMP_IMM(BPF_JSGE, BPF_REG_0, 1, 0),
17 BPF_JMP_IMM(BPF_JSGE, BPF_REG_0, 1, 1),
19 BPF_JMP_IMM(BPF_JSLE, BPF_REG_0, 1, 1),
33 BPF_JMP_IMM(BPF_JSLE, BPF_REG_0, 0, 0),
46 BPF_JMP_IMM(BPF_JSLE, BPF_REG_0, 0, 1),
48 BPF_JMP_IMM(BPF_JSGE, BPF_REG_0, 0, 1),
61 BPF_JMP_IMM(BPF_JSGE, BPF_REG_0, 1, 1),
73 BPF_JMP_IMM(BPF_JSGE, BPF_REG_0, 0, 1),
86 BPF_JMP_IMM(BPF_JSGE, BPF_REG_0, 0, 0),
101 BPF_JMP_IMM(BPF_JSGE, BPF_REG_0, 0, 1),
[all …]
|
| A D | bounds.c | 9 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9),
11 BPF_JMP_IMM(BPF_JGT, BPF_REG_1, 0xff, 7),
13 BPF_JMP_IMM(BPF_JGT, BPF_REG_3, 0xff, 5),
34 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 8),
36 BPF_JMP_IMM(BPF_JGT, BPF_REG_1, 0xff, 6),
38 BPF_JMP_IMM(BPF_JGT, BPF_REG_3, 0xff, 4),
67 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
86 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
110 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
135 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
[all …]
|
| A D | calls.c | 147 BPF_JMP_IMM(BPF_JA, 0, 0, 4),
148 BPF_JMP_IMM(BPF_JA, 0, 0, 4),
233 BPF_JMP_IMM(BPF_JA, 0, 0, 4),
237 BPF_JMP_IMM(BPF_JA, 0, 0, -6),
239 BPF_JMP_IMM(BPF_JA, 0, 0, -6),
257 BPF_JMP_IMM(BPF_JA, 0, 0, -5),
274 BPF_JMP_IMM(BPF_JA, 0, 0, -6),
493 BPF_JMP_IMM(BPF_JA, 0, 0, 2),
495 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
507 BPF_JMP_IMM(BPF_JA, 0, 0, 2),
[all …]
|
| A D | map_ptr_mixing.c | 5 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
7 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
14 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),
35 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2),
37 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
44 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),
66 BPF_JMP_IMM(BPF_JNE, BPF_REG_6, 0, 3),
68 BPF_JMP_IMM(BPF_JA, 0, 0, 2),
87 BPF_JMP_IMM(BPF_JEQ, BPF_REG_6, 0, 3),
89 BPF_JMP_IMM(BPF_JA, 0, 0, 2),
|
| A D | precise.c | 11 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
20 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
27 BPF_JMP_IMM(BPF_JLT, BPF_REG_2, 8, 1),
71 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
80 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
87 BPF_JMP_IMM(BPF_JLT, BPF_REG_2, 8, 1),
123 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
127 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
131 BPF_JMP_IMM(BPF_JEQ, BPF_REG_8, 1, 1),
135 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 0),
[all …]
|
| A D | array_access.c | 9 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
26 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
47 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 5),
69 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9),
95 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
112 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
132 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 4),
152 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 7),
177 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 7),
209 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2),
[all …]
|
| A D | cfg.c | 13 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
14 BPF_JMP_IMM(BPF_JA, 0, 0, 0),
23 BPF_JMP_IMM(BPF_JA, 0, 0, 1),
32 BPF_JMP_IMM(BPF_JA, 0, 0, -2),
41 BPF_JMP_IMM(BPF_JA, 0, 0, -1),
54 BPF_JMP_IMM(BPF_JA, 0, 0, -4),
67 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, -3),
|
| A D | runtime_jit.c | 61 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 13, 4),
64 BPF_JMP_IMM(BPF_JA, 0, 0, 3),
83 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 13, 4),
86 BPF_JMP_IMM(BPF_JA, 0, 0, 3),
105 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 13, 4),
108 BPF_JMP_IMM(BPF_JA, 0, 0, 3),
127 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 13, 4),
130 BPF_JMP_IMM(BPF_JA, 0, 0, 3),
149 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 13, 4),
152 BPF_JMP_IMM(BPF_JA, 0, 0, 3),
[all …]
|
| A D | unpriv.c | 45 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 0),
226 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 3),
230 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 1),
255 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 1),
258 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 1),
267 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 1),
289 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 1),
292 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 1),
320 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 1),
323 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 1),
[all …]
|
| A D | value_or_null.c | 11 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
31 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
51 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
71 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
95 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
116 BPF_JMP_IMM(BPF_JNE, BPF_REG_2, 0, 3),
121 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1),
137 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 6),
139 BPF_JMP_IMM(BPF_JGE, BPF_REG_1, MAX_ENTRIES-1, 1),
163 BPF_JMP_IMM(BPF_JEQ, BPF_REG_6, 0, 2),
[all …]
|
| A D | helper_access_var_len.c | 83 BPF_JMP_IMM(BPF_JGT, BPF_REG_2, 64, 4),
111 BPF_JMP_IMM(BPF_JSGT, BPF_REG_2, 64, 4),
130 BPF_JMP_IMM(BPF_JGT, BPF_REG_2, 64, 5),
151 BPF_JMP_IMM(BPF_JGT, BPF_REG_2, 65, 4),
191 BPF_JMP_IMM(BPF_JGT, BPF_REG_2, 64, 3),
227 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 10),
382 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 6),
403 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9),
405 BPF_JMP_IMM(BPF_JGT, BPF_REG_2, 8, 7),
427 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 7),
[all …]
|
| A D | atomic_and.c | 11 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0x010, 2),
16 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x011, 1),
32 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x110, 2),
37 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x010, 2),
41 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 123, 2),
87 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0x110, 2),
92 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x010, 2),
|
| A D | spin_lock.c | 10 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
38 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
67 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
97 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
127 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
156 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
165 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
186 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
191 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 1),
216 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1),
[all …]
|
| /linux/tools/testing/selftests/bpf/ |
| A D | test_sysctl.c | 86 BPF_JMP_IMM(BPF_JNE, BPF_REG_7, 1, 2),
107 BPF_JMP_IMM(BPF_JNE, BPF_REG_7, 1, 2),
167 BPF_JMP_IMM(BPF_JNE, BPF_REG_7, 3, 2),
194 BPF_JMP_IMM(BPF_JNE, BPF_REG_7, 4, 2),
470 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 6, 6),
509 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 6, 6),
589 BPF_JMP_IMM(BPF_JNE, BPF_REG_9, 0, 2),
621 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 4, 6),
691 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 3, 4),
695 BPF_JMP_IMM(BPF_JNE, BPF_REG_9,
[all …]
|