| /OK3568_Linux_fs/kernel/tools/testing/selftests/bpf/verifier/ |
| H A 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), 27 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 28 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 33 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, -8), 34 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -16), 50 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 51 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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), 55 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 76 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 112 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 114 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_0, -8), 118 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_10, -8), 143 BPF_ST_MEM(BPF_DW, BPF_REG_10, -16, 0), 144 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 154 BPF_ALU64_REG(BPF_ADD, BPF_REG_4, BPF_REG_10), [all …]
|
| H A 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), 118 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_10, -8), [all …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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), 31 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 32 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 59 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 60 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 245 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 246 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 267 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 268 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A D | regalloc.c | 5 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 6 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), 54 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 55 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 79 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 80 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), [all …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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),
|
| H A 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 …]
|
| H A 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 …]
|
| H A 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),
|
| H A D | map_ptr.c | 4 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 19 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 20 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 66 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 67 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 84 BPF_ST_MEM(BPF_DW, BPF_REG_10, -8, 0), 85 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10),
|
| H A D | sock.c | 511 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_2, -8), 521 BPF_MOV64_REG(BPF_REG_3, BPF_REG_10), 537 BPF_STX_MEM(BPF_W, BPF_REG_10, BPF_REG_2, -8), 547 BPF_MOV64_REG(BPF_REG_3, BPF_REG_10), 563 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 564 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 579 BPF_ST_MEM(BPF_W, BPF_REG_10, -8, 0), 580 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 597 BPF_ST_MEM(BPF_W, BPF_REG_10, -4, 0), 598 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
| H A 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),
|