/external/linux-kselftest/tools/testing/selftests/bpf/verifier/ |
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), 33 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, -8), 39 BPF_ST_MEM(BPF_B, BPF_REG_0, 0, 0), 50 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 56 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, -8), 64 BPF_ST_MEM(BPF_B, BPF_REG_8, 0, 0), 75 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), [all …]
|
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), 35 BPF_ST_MEM(BPF_DW, BPF_REG_8, -2, 34), 37 BPF_ST_MEM(BPF_DW, BPF_REG_8, 0, 22), 38 BPF_ST_MEM(BPF_DW, BPF_REG_8, 4, 23), [all …]
|
D | stack_ptr.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_1, 2, 0xfaceb00c), 18 BPF_ST_MEM(BPF_DW, BPF_REG_1, 2, 0xfaceb00c), 30 BPF_ST_MEM(BPF_DW, BPF_REG_1, 8, 0xfaceb00c), 42 BPF_ST_MEM(BPF_DW, BPF_REG_1, 8, 0xfaceb00c), 55 BPF_ST_MEM(BPF_DW, BPF_REG_1, 8, 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), [all …]
|
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), 79 BPF_ST_MEM(BPF_DW, BPF_REG_1, 4, 4242), 91 BPF_ST_MEM(BPF_DW, BPF_REG_1, -1, 4242), 103 BPF_ST_MEM(BPF_DW, BPF_REG_1, 0, 4242), 115 BPF_ST_MEM(BPF_B, BPF_REG_1, 0, 4), [all …]
|
D | array_access.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 10 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)), 21 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 30 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)), 42 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 52 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)), 64 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 78 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)), 90 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 96 BPF_ST_MEM(BPF_DW, BPF_REG_0, (MAX_ENTRIES + 1) << 2, [all …]
|
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 …]
|
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),
|
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), 219 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), 244 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 269 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), [all …]
|
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),
|
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 …]
|
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 …]
|
D | calls.c | 117 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 407 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 719 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 742 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 776 BPF_ST_MEM(BPF_B, BPF_REG_10, -300, 0), 781 BPF_ST_MEM(BPF_B, BPF_REG_10, -300, 0), 794 BPF_ST_MEM(BPF_B, BPF_REG_10, -300, 0), 798 BPF_ST_MEM(BPF_B, BPF_REG_10, -300, 0), 812 BPF_ST_MEM(BPF_B, BPF_REG_10, -32, 0), 816 BPF_ST_MEM(BPF_B, BPF_REG_10, -256, 0), [all …]
|
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 …]
|
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),
|
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),
|
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),
|
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)),
|
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),
|
D | ringbuf.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 19 BPF_ST_MEM(BPF_DW, BPF_REG_7, 0, 0), 37 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 53 BPF_ST_MEM(BPF_DW, BPF_REG_7, 0, 0), 70 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0),
|
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),
|
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 …]
|
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),
|
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),
|
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)),
|
D | spill_fill.c | 35 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 49 BPF_ST_MEM(BPF_DW, BPF_REG_7, 0, 0), 65 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 77 BPF_ST_MEM(BPF_W, BPF_REG_6, 0, 0), 95 BPF_ST_MEM(BPF_B, BPF_REG_10, -7, 0x23), 113 BPF_ST_MEM(BPF_H, BPF_REG_10, -8, 0xcafe), 126 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0x12345678),
|