/tools/testing/selftests/bpf/verifier/ |
D | bounds_mix_sign_unsign.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 10 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, -8), 11 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -16), 28 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 29 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 34 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, -8), 35 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -16), 52 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 53 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | helper_access_var_len.c | 4 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 7 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -64), 8 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -56), 9 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -48), 10 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -40), 11 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -32), 12 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -24), 13 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -16), 14 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 33 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), [all …]
|
D | spill_fill.c | 5 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 7 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_10, -8), 22 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_6, -8), 23 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 35 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 37 BPF_ST_MEM(BPF_B, BPF_REG_10, -7, 0x23), 41 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 54 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 55 BPF_ST_MEM(BPF_H, BPF_REG_10, -8, 0xcafe), 56 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), [all …]
|
D | xadd.c | 5 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 6 BPF_STX_XADD(BPF_W, BPF_REG_10, BPF_REG_0, -7), 7 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_10, -8), 17 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 18 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 63 BPF_MOV64_REG(BPF_REG_7, BPF_REG_10), 64 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 65 BPF_STX_XADD(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 66 BPF_STX_XADD(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 68 BPF_JMP_REG(BPF_JNE, BPF_REG_7, BPF_REG_10, 2), [all …]
|
D | map_in_map.c | 4 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 10 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 11 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 24 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 25 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 30 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 31 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 46 BPF_ST_MEM(0, BPF_REG_10, -4, 0), 47 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | var_off.c | 24 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 33 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 48 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 59 BPF_ALU64_REG(BPF_ADD, BPF_REG_4, BPF_REG_10), 74 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 83 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 99 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 108 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 124 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), [all …]
|
D | search_pruning.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 12 BPF_MOV64_REG(BPF_REG_0, BPF_REG_10), 25 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 26 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 31 BPF_MOV64_REG(BPF_REG_0, BPF_REG_10), 61 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 62 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 87 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 98 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_4, -16), [all …]
|
D | jump.c | 4 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 28 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 56 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 93 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 1), 94 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 2), 95 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 3), 96 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 4), 97 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 1), 98 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 2), 99 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, BPF_REG_10, 3), [all …]
|
D | unpriv.c | 4 BPF_MOV64_REG(BPF_REG_0, BPF_REG_10), 24 BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_10), 56 BPF_JMP_REG(BPF_JEQ, BPF_REG_1, BPF_REG_10, 0), 67 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 68 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 84 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 85 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 102 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_10, -8), 103 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 117 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_10, -8), [all …]
|
D | array_access.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 21 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 22 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 42 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 43 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 64 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 65 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 90 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 91 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | stack_ptr.c | 4 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 16 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 28 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 40 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 53 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 65 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 77 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 88 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 102 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 115 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), [all …]
|
D | prevent_map_lookup.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 19 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 20 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 34 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 35 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 50 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
|
D | map_ret_val.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_ALU64_REG(BPF_MOV, BPF_REG_2, BPF_REG_10), 17 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 18 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 32 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 33 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 49 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 50 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
|
D | bounds.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 29 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 30 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 81 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 82 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 105 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 106 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 130 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 131 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | value_ptr_arith.c | 6 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 7 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 33 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 34 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 61 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 62 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 246 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 247 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 268 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 269 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | value_or_null.c | 5 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 6 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 23 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 24 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 44 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 45 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 64 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 65 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 84 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 85 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | basic_stack.c | 4 BPF_ST_MEM(BPF_DW, BPF_REG_10, 8, 0), 13 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 26 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 38 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 50 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 58 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
|
D | spin_lock.c | 4 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 32 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 33 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 61 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 62 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 91 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 92 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 121 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 122 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | calls.c | 94 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 95 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 384 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 385 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 430 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 449 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 696 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 697 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 719 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 720 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), [all …]
|
D | helper_value_access.c | 4 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 23 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 42 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 61 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 81 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 101 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 122 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 142 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 162 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 184 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | raw_stack.c | 5 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 21 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 37 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 53 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 69 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 84 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 100 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 123 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 143 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), 173 BPF_ALU64_REG(BPF_MOV, BPF_REG_6, BPF_REG_10), [all …]
|
D | value_illegal_alu.c | 4 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 21 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 38 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 55 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 75 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 82 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
|
D | ld_abs.c | 128 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -64), 129 BPF_LDX_MEM(BPF_W, BPF_REG_7, BPF_REG_10, -64), 131 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -60), 133 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -56), 134 BPF_LDX_MEM(BPF_W, BPF_REG_7, BPF_REG_10, -56), 135 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_10, -60), 141 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -56), 142 BPF_LDX_MEM(BPF_W, BPF_REG_7, BPF_REG_10, -56), 144 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -52), 146 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_0, -48), [all …]
|
D | value_adj_spill.c | 4 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 11 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 26 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 31 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10),
|
D | const_or.c | 4 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 18 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 33 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 48 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10),
|