/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), 28 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 34 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, -8), 40 BPF_ST_MEM(BPF_B, BPF_REG_0, 0, 0), 52 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 58 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, -8), 66 BPF_ST_MEM(BPF_B, BPF_REG_8, 0, 0), 78 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), 78 BPF_ST_MEM(BPF_DW, BPF_REG_1, 4, 4242), 90 BPF_ST_MEM(BPF_DW, BPF_REG_1, -1, 4242), 102 BPF_ST_MEM(BPF_DW, BPF_REG_1, 0, 4242), 114 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), 48 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 74 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 99 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 124 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), 149 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 174 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), 175 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 203 BPF_ST_MEM(BPF_W, 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), 33 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 61 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 89 BPF_ST_MEM(BPF_DW, BPF_REG_FP, -16, 0), 136 BPF_ST_MEM(BPF_DW, BPF_REG_FP, -16, 0), 182 BPF_ST_MEM(BPF_DW, BPF_REG_FP, -16, 0), 209 BPF_ST_MEM(BPF_DW, BPF_REG_FP, -16, 0), 246 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 268 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 290 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 | 94 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 384 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 696 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 719 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 753 BPF_ST_MEM(BPF_B, BPF_REG_10, -300, 0), 758 BPF_ST_MEM(BPF_B, BPF_REG_10, -300, 0), 771 BPF_ST_MEM(BPF_B, BPF_REG_10, -300, 0), 775 BPF_ST_MEM(BPF_B, BPF_REG_10, -300, 0), 789 BPF_ST_MEM(BPF_B, BPF_REG_10, -32, 0), 793 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), 30 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 46 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 51 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 | 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 | 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),
|
D | prevent_map_lookup.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 19 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 34 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 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 | 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 | 37 BPF_ST_MEM(BPF_B, BPF_REG_10, -7, 0x23), 55 BPF_ST_MEM(BPF_H, BPF_REG_10, -8, 0xcafe), 68 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0x12345678),
|
D | and.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 14 BPF_ST_MEM(BPF_DW, BPF_REG_0, 0, offsetof(struct test_val, foo)), 25 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0),
|
D | xadd.c | 17 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 46 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 47 BPF_ST_MEM(BPF_W, BPF_REG_2, 3, 0),
|
D | helper_access_var_len.c | 224 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 250 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 276 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 303 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 377 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 398 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 422 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 507 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 526 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 547 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0),
|
D | precise.c | 9 BPF_ST_MEM(BPF_DW, BPF_REG_FP, -8, 0), 69 BPF_ST_MEM(BPF_DW, BPF_REG_FP, -8, 0), 148 BPF_ST_MEM(BPF_DW, BPF_REG_3, -8, 0),
|