/linux/tools/testing/selftests/bpf/verifier/ |
A D | bounds_mix_sign_unsign.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 10 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, -8), 16 BPF_ST_MEM(BPF_B, BPF_REG_0, 0, 0), 27 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 39 BPF_ST_MEM(BPF_B, BPF_REG_0, 0, 0), 50 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 64 BPF_ST_MEM(BPF_B, BPF_REG_8, 0, 0), 88 BPF_ST_MEM(BPF_B, BPF_REG_8, 0, 0), 111 BPF_ST_MEM(BPF_B, BPF_REG_0, 0, 0), 134 BPF_ST_MEM(BPF_B, BPF_REG_0, 0, 0), [all …]
|
A D | value.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 24 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 29 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 42), 30 BPF_ST_MEM(BPF_DW, BPF_REG_0, 2, 43), 31 BPF_ST_MEM(BPF_DW, BPF_REG_0, -2, 44), 33 BPF_ST_MEM(BPF_DW, BPF_REG_8, 0, 32), 34 BPF_ST_MEM(BPF_DW, BPF_REG_8, 2, 33), 37 BPF_ST_MEM(BPF_DW, BPF_REG_8, 0, 22), 38 BPF_ST_MEM(BPF_DW, BPF_REG_8, 4, 23), 42 BPF_ST_MEM(BPF_DW, BPF_REG_7, 0, 22), [all …]
|
A D | stack_ptr.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_1, 2, 0xfaceb00c), 67 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 42), 78 BPF_ST_MEM(BPF_B, BPF_REG_1, -1, 42), 90 BPF_ST_MEM(BPF_B, BPF_REG_1, -1, 42), 104 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 42), 117 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 42), 157 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 42), 169 BPF_ST_MEM(BPF_B, BPF_REG_1, 1, 42), 183 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 42), 311 BPF_ST_MEM(0, BPF_REG_2, 4, 0), [all …]
|
A D | direct_value_access.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_1, 0, 4242), 18 BPF_ST_MEM(BPF_DW, BPF_REG_1, 0, 4242), 30 BPF_ST_MEM(BPF_DW, BPF_REG_1, 8, 4242), 42 BPF_ST_MEM(BPF_DW, BPF_REG_1, 0, 4242), 54 BPF_ST_MEM(BPF_DW, BPF_REG_1, 8, 4242), 66 BPF_ST_MEM(BPF_DW, BPF_REG_1, 4, 4242), 115 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 4), 127 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 4), 139 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 4), 151 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 4), [all …]
|
A D | array_access.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 21 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 42 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 64 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 90 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 107 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 127 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 147 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 172 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 270 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 42), [all …]
|
A D | helper_value_access.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 25 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 44 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 63 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 83 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 103 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 124 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 144 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 164 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 186 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), [all …]
|
A D | value_illegal_alu.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 11 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 22), 23 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 28 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 22), 40 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 45 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 22), 57 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 62 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 22), 77 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 87 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 22),
|
A D | var_off.c | 24 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 78 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 116 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 143 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), 144 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 169 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 194 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 244 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 270 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 298 BPF_ST_MEM(BPF_W, BPF_REG_10, -16, 0), [all …]
|
A D | map_ret_val.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 17 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 22 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 0), 32 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 38 BPF_ST_MEM(BPF_DW, BPF_REG_0, 4, 0), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 55 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 0), 57 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 1),
|
A D | value_ptr_arith.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 39 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 72 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 103 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 132 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 165 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 200 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 235 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 260 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 288 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), [all …]
|
A D | bounds.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 29 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 58 BPF_ST_MEM(BPF_DW, BPF_REG_ARG2, 0, 9), 65 BPF_ST_MEM(BPF_DW, BPF_REG_ARG2, 0, 0), 81 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 105 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 130 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 157 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 181 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 203 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), [all …]
|
A D | calls.c | 117 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 1629 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 1645 BPF_ST_MEM(BPF_W, BPF_REG_4, 0, 0), 1661 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 1678 BPF_ST_MEM(BPF_W, BPF_REG_4, 0, 0), 1696 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 1714 BPF_ST_MEM(BPF_W, BPF_REG_4, 0, 0), 1731 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 1765 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 1801 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), [all …]
|
A D | jump.c | 7 BPF_ST_MEM(BPF_DW, BPF_REG_2, -8, 0), 9 BPF_ST_MEM(BPF_DW, BPF_REG_2, -16, 1), 11 BPF_ST_MEM(BPF_DW, BPF_REG_2, -8, 2), 13 BPF_ST_MEM(BPF_DW, BPF_REG_2, -16, 3), 15 BPF_ST_MEM(BPF_DW, BPF_REG_2, -8, 4), 17 BPF_ST_MEM(BPF_DW, BPF_REG_2, -32, 5), 30 BPF_ST_MEM(BPF_DW, BPF_REG_2, -8, 0), 33 BPF_ST_MEM(BPF_DW, BPF_REG_2, -16, 0), 36 BPF_ST_MEM(BPF_DW, BPF_REG_2, -32, 0), 39 BPF_ST_MEM(BPF_DW, BPF_REG_2, -40, 0), [all …]
|
A D | map_in_map.c | 4 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 10 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 24 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 58 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 64 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 80 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 85 BPF_ST_MEM(0, BPF_REG_10, -4, 0),
|
A D | value_adj_spill.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 10 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, 42), 15 BPF_ST_MEM(BPF_DW, BPF_REG_3, 0, 42), 28 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 36 BPF_ST_MEM(BPF_DW, BPF_REG_3, 0, 42),
|
A D | helper_restricted.c | 50 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 70 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 90 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 110 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 130 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 148 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 166 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 184 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0),
|
A D | value_or_null.c | 12 BPF_ST_MEM(BPF_DW, BPF_REG_4, 0, 0), 32 BPF_ST_MEM(BPF_DW, BPF_REG_4, 0, 0), 52 BPF_ST_MEM(BPF_DW, BPF_REG_4, 0, 0), 72 BPF_ST_MEM(BPF_DW, BPF_REG_4, 0, 0), 96 BPF_ST_MEM(BPF_DW, BPF_REG_4, 0, 0), 122 BPF_ST_MEM(BPF_DW, BPF_REG_4, 0, 0), 132 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 143 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)),
|
A D | regalloc.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 30 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 55 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 81 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 108 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 138 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 169 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 196 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 225 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 256 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0),
|
A D | spin_lock.c | 4 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 32 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 61 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 91 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 121 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 150 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 180 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 210 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 242 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 278 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), [all …]
|
A D | search_pruning.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 25 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 61 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 74 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)), 89 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 103 BPF_ST_MEM(BPF_DW, BPF_REG_6, 0, 0xdead), 116 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 153 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0),
|
A D | atomic_fetch_add.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3), 28 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 3), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3), 61 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 3),
|
A D | atomic_and.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 27 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 57 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0x110), 82 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110),
|
A D | map_ptr_mixing.c | 10 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 15 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)), 40 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 45 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)),
|
A D | atomic_xor.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 27 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0x110), 57 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0x110),
|
A D | atomic_fetch.c | 12 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 36 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 60 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 83 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 100 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, operand1), \
|