/linux-6.1.9/tools/testing/selftests/bpf/verifier/ |
D | jump.c | 6 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 1), 8 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 1, 1), 10 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 2, 1), 12 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 3, 1), 14 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 4, 1), 16 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 5, 1), 29 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 2), 31 BPF_JMP_IMM(BPF_JA, 0, 0, 14), 32 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 1, 2), 34 BPF_JMP_IMM(BPF_JA, 0, 0, 11), [all …]
|
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), 46 BPF_JMP_IMM(BPF_JGE, BPF_REG_0, 10, 1), 57 BPF_JMP_IMM(BPF_JGE, BPF_REG_0, 10, 1), [all …]
|
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 …]
|
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), 42 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 1, 3), 44 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 1, 2), 47 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 9), 49 BPF_JMP_IMM(BPF_JEQ, BPF_REG_4, 1, 2), 51 BPF_JMP_IMM(BPF_JA, 0, 0, 3), [all …]
|
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), 94 BPF_JMP_IMM(BPF_JEQ, BPF_REG_3, 0xbeef, 2), 101 BPF_JMP_IMM(BPF_JEQ, BPF_REG_5, 0, 2), 119 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 8), [all …]
|
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 …]
|
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), 90 BPF_JMP_IMM(BPF_JSGT, BPF_REG_0, 22, 5), [all …]
|
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), 79 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 4, -3), 91 BPF_JMP_IMM(BPF_JGT, BPF_REG_6, 10000, 2), 103 BPF_JMP_IMM(BPF_JLT, BPF_REG_0, 4, 2), [all …]
|
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), 109 BPF_JMP_IMM(BPF_JSGT, BPF_REG_1, 1, 2), [all …]
|
D | jset.c | 15 BPF_JMP_IMM(BPF_JA, 0, 0, 1), 19 BPF_JMP_IMM(BPF_JSET, BPF_REG_7, -1, 1), 23 BPF_JMP_IMM(BPF_JSET, BPF_REG_7, 0x80000000, 1), 64 BPF_JMP_IMM(BPF_JSET, BPF_REG_7, 0x80000000, 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), [all …]
|
D | map_kptr.c | 12 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 32 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 52 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 56 BPF_JMP_IMM(BPF_JNE, BPF_REG_2, 0, 1), 59 BPF_JMP_IMM(BPF_JLE, BPF_REG_2, 4, 1), 61 BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1), 82 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 86 BPF_JMP_IMM(BPF_JNE, BPF_REG_2, 0, 1), 89 BPF_JMP_IMM(BPF_JLE, BPF_REG_2, 4, 1), 91 BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1), [all …]
|
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 …]
|
D | ref_tracking.c | 93 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2), 114 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2), 259 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1), 271 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1), 283 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 297 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 1), 313 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 3), /* goto end */ 338 BPF_JMP_IMM(BPF_JEQ, BPF_REG_6, 0, 1), /* mark == 0? */ 341 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 2), /* sk NULL? */ 366 BPF_JMP_IMM(BPF_JEQ, BPF_REG_6, 0, 4), /* mark == 0? */ [all …]
|
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),
|
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 …]
|
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 …]
|
D | calls.c | 16 BPF_JMP_IMM(BPF_JGT, BPF_REG_0, 0, 2), 125 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 146 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 168 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 193 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 197 BPF_JMP_IMM(BPF_JLE, BPF_REG_2, 4, 3), 201 BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 3), 228 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 255 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), 341 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 0, 1), [all …]
|
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),
|
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 …]
|
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), 49 BPF_JMP_IMM(BPF_JGE, BPF_REG_1, MAX_ENTRIES, 3), 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), [all …]
|
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 …]
|
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 …]
|
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),
|
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), 209 BPF_JMP_IMM(BPF_JSGT, BPF_REG_2, 64, 3), 227 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 10), 232 BPF_JMP_IMM(BPF_JSGT, BPF_REG_2, sizeof(struct test_val), 4), 253 BPF_JMP_IMM(BPF_JEQ, BPF_REG_0, 0, 10), 258 BPF_JMP_IMM(BPF_JSGT, BPF_REG_2, sizeof(struct test_val) + 1, 4), [all …]
|
/linux-6.1.9/tools/testing/selftests/bpf/ |
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), 247 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, sizeof("tcp_mem") - 1, 6), 288 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, -E2BIG, 6), 332 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 16, 14), 386 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, -E2BIG, 10), 434 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, -E2BIG, 6), 470 BPF_JMP_IMM(BPF_JNE, BPF_REG_0, 6, 6), [all …]
|