/linux-6.1.9/tools/testing/selftests/bpf/verifier/ |
D | masking.c | 5 BPF_MOV32_IMM(BPF_REG_2, 5 - 1), 6 BPF_ALU64_REG(BPF_SUB, BPF_REG_2, BPF_REG_1), 7 BPF_ALU64_REG(BPF_OR, BPF_REG_2, BPF_REG_1), 8 BPF_ALU64_IMM(BPF_NEG, BPF_REG_2, 0), 9 BPF_ALU64_IMM(BPF_ARSH, BPF_REG_2, 63), 10 BPF_ALU64_REG(BPF_AND, BPF_REG_1, BPF_REG_2), 21 BPF_MOV32_IMM(BPF_REG_2, 1 - 1), 22 BPF_ALU64_REG(BPF_SUB, BPF_REG_2, BPF_REG_1), 23 BPF_ALU64_REG(BPF_OR, BPF_REG_2, BPF_REG_1), 24 BPF_ALU64_IMM(BPF_NEG, BPF_REG_2, 0), [all …]
|
D | helper_value_access.c | 4 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 5 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 6 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 11 BPF_MOV64_IMM(BPF_REG_2, sizeof(struct test_val)), 23 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 24 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 25 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 30 BPF_MOV64_IMM(BPF_REG_2, 8), 42 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 43 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), [all …]
|
D | helper_access_var_len.c | 15 BPF_MOV64_IMM(BPF_REG_2, 16), 16 BPF_STX_MEM(BPF_DW, BPF_REG_1, BPF_REG_2, -128), 17 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_1, -128), 18 BPF_ALU64_IMM(BPF_AND, BPF_REG_2, 64), 20 BPF_JMP_REG(BPF_JGE, BPF_REG_4, BPF_REG_2, 2), 32 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_1, 8), 35 BPF_STX_MEM(BPF_DW, BPF_REG_1, BPF_REG_2, -128), 36 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_1, -128), 37 BPF_ALU64_IMM(BPF_AND, BPF_REG_2, 64), 49 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_1, 8), [all …]
|
D | var_off.c | 5 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 0), 7 BPF_ALU64_IMM(BPF_AND, BPF_REG_2, 4), 11 BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_2), 26 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 0), 28 BPF_ALU64_IMM(BPF_AND, BPF_REG_2, 4), 29 BPF_ALU64_IMM(BPF_SUB, BPF_REG_2, 8), 33 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_10), 35 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_2, 0), 48 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 0), 50 BPF_ALU64_IMM(BPF_AND, BPF_REG_2, 4), [all …]
|
D | map_kptr.c | 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 8 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), 10 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 25 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 28 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), 30 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 45 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 48 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), 50 BPF_ST_MEM(BPF_W, BPF_REG_2, 0, 0), 55 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_0, 0), [all …]
|
D | regalloc.c | 6 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 7 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 13 BPF_MOV64_REG(BPF_REG_2, BPF_REG_0), 15 BPF_JMP_IMM(BPF_JSLT, BPF_REG_2, 0, 3), 17 BPF_ALU64_REG(BPF_ADD, BPF_REG_7, BPF_REG_2), 31 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 32 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 38 BPF_MOV64_REG(BPF_REG_2, BPF_REG_0), 40 BPF_JMP_IMM(BPF_JSLT, BPF_REG_2, 0, 3), 42 BPF_ALU64_REG(BPF_ADD, BPF_REG_7, BPF_REG_2), [all …]
|
D | bounds_mix_sign_unsign.c | 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 6 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 12 BPF_MOV64_IMM(BPF_REG_2, 2), 13 BPF_JMP_REG(BPF_JGE, BPF_REG_2, BPF_REG_1, 3), 28 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 29 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 35 BPF_MOV64_IMM(BPF_REG_2, -1), 36 BPF_JMP_REG(BPF_JGT, BPF_REG_1, BPF_REG_2, 3), 51 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 52 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), [all …]
|
D | direct_packet_access.c | 6 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 8 BPF_ALU64_REG(BPF_SUB, BPF_REG_0, BPF_REG_2), 18 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 22 BPF_MOV64_REG(BPF_REG_0, BPF_REG_2), 25 BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_2, 0), 49 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 51 BPF_ALU64_IMM(BPF_LSH, BPF_REG_2, 49), 52 BPF_ALU64_IMM(BPF_RSH, BPF_REG_2, 49), 53 BPF_ALU64_REG(BPF_ADD, BPF_REG_3, BPF_REG_2), 54 BPF_MOV64_REG(BPF_REG_2, BPF_REG_3), [all …]
|
D | atomic_fetch.c | 7 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 8 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 9 BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_9, 0), 10 BPF_ATOMIC_OP(BPF_DW, BPF_AND | BPF_FETCH, BPF_REG_2, BPF_REG_1, 0), 11 BPF_LDX_MEM(BPF_DW, BPF_REG_9, BPF_REG_2, 0), 12 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 31 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 32 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 33 BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_9, 0), 34 BPF_ATOMIC_OP(BPF_DW, BPF_AND | BPF_FETCH, BPF_REG_2, BPF_REG_1, 0), [all …]
|
D | value_illegal_alu.c | 4 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 5 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 6 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 21 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 22 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 23 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 38 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 39 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 40 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 55 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | helper_restricted.c | 48 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 49 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 50 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 55 BPF_LD_MAP_FD(BPF_REG_2, 0), 68 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 69 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 70 BPF_ST_MEM(BPF_DW, BPF_REG_2, 0, 0), 75 BPF_LD_MAP_FD(BPF_REG_2, 0), 88 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 89 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), [all …]
|
D | jit.c | 29 BPF_LD_IMM64(BPF_REG_2, 0xfeffffffULL), 30 BPF_JMP_REG(BPF_JEQ, BPF_REG_1, BPF_REG_2, 1), 42 BPF_LD_IMM64(BPF_REG_2, 0xffffffffULL), 43 BPF_JMP_REG(BPF_JEQ, BPF_REG_1, BPF_REG_2, 1), 53 BPF_LD_IMM64(BPF_REG_2, 0xeeff0d413122ULL), 57 BPF_JMP_REG(BPF_JEQ, BPF_REG_0, BPF_REG_2, 2), 62 BPF_JMP_REG(BPF_JEQ, BPF_REG_3, BPF_REG_2, 2), 67 BPF_JMP_REG(BPF_JEQ, BPF_REG_3, BPF_REG_2, 2), 70 BPF_MOV32_REG(BPF_REG_2, BPF_REG_2), 73 BPF_JMP_REG(BPF_JEQ, BPF_REG_0, BPF_REG_2, 2), [all …]
|
D | array_access.c | 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 6 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 22 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 23 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 43 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 44 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 65 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 66 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 73 BPF_MOV32_IMM(BPF_REG_2, MAX_ENTRIES), 74 BPF_JMP_REG(BPF_JSGT, BPF_REG_2, BPF_REG_1, 1), [all …]
|
D | xdp_direct_packet_access.c | 4 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 7 BPF_MOV64_REG(BPF_REG_1, BPF_REG_2), 22 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 25 BPF_MOV64_REG(BPF_REG_1, BPF_REG_2), 40 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 43 BPF_MOV64_REG(BPF_REG_1, BPF_REG_2), 57 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 60 BPF_MOV64_REG(BPF_REG_1, BPF_REG_2), 75 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 78 BPF_MOV64_REG(BPF_REG_1, BPF_REG_2), [all …]
|
D | basic_instr.c | 6 BPF_MOV64_IMM(BPF_REG_2, 3), 7 BPF_ALU64_REG(BPF_SUB, BPF_REG_1, BPF_REG_2), 19 BPF_MOV32_IMM(BPF_REG_2, -1), 20 BPF_ALU64_IMM(BPF_LSH, BPF_REG_2, 32), 21 BPF_ALU64_IMM(BPF_OR, BPF_REG_2, 0xffff), 22 BPF_ALU32_REG(BPF_XOR, BPF_REG_2, BPF_REG_2), 24 BPF_JMP_IMM(BPF_JNE, BPF_REG_2, 0, 1), 111 BPF_ALU64_REG(BPF_MOV, BPF_REG_2, BPF_REG_1), 113 BPF_JMP_REG(BPF_JEQ, BPF_REG_1, BPF_REG_2, 1), 125 BPF_ALU64_REG(BPF_MOV, BPF_REG_2, BPF_REG_1), [all …]
|
D | lwt.c | 4 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 8 BPF_MOV64_REG(BPF_REG_0, BPF_REG_2), 11 BPF_STX_MEM(BPF_B, BPF_REG_2, BPF_REG_2, 0), 22 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 26 BPF_MOV64_REG(BPF_REG_0, BPF_REG_2), 29 BPF_STX_MEM(BPF_B, BPF_REG_2, BPF_REG_2, 0), 40 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 44 BPF_MOV64_REG(BPF_REG_0, BPF_REG_2), 47 BPF_STX_MEM(BPF_B, BPF_REG_2, BPF_REG_2, 0), 57 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, [all …]
|
D | bounds.c | 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 6 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 30 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 31 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 82 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 83 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 88 BPF_MOV32_IMM(BPF_REG_2, 0xffffffff), 90 BPF_ALU64_IMM(BPF_RSH, BPF_REG_2, 32), 92 BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_2), 106 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), [all …]
|
D | meta_access.c | 4 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 7 BPF_MOV64_REG(BPF_REG_0, BPF_REG_2), 10 BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_2, 0), 20 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 23 BPF_MOV64_REG(BPF_REG_0, BPF_REG_2), 25 BPF_MOV64_REG(BPF_REG_4, BPF_REG_2), 39 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 43 BPF_MOV64_REG(BPF_REG_0, BPF_REG_2), 46 BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_2, 0), 57 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, [all …]
|
D | value_ptr_arith.c | 7 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 8 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 40 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 41 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 73 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 74 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 104 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 105 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 133 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 134 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), [all …]
|
D | jump.c | 4 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 5 BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_1, -8), 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), 28 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 30 BPF_ST_MEM(BPF_DW, BPF_REG_2, -8, 0), [all …]
|
D | calls.c | 196 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_0, 4), 197 BPF_JMP_IMM(BPF_JLE, BPF_REG_2, 4, 3), 201 BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 3), 205 BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_2), 308 BPF_MOV64_REG(BPF_REG_2, BPF_REG_0), 309 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, 8), 310 BPF_JMP_REG(BPF_JGT, BPF_REG_2, BPF_REG_1, 1), 314 BPF_MOV32_IMM(BPF_REG_2, 0), 316 BPF_ALU32_REG(BPF_DIV, BPF_REG_3, BPF_REG_2), 333 BPF_MOV64_REG(BPF_REG_2, BPF_REG_0), [all …]
|
D | div0.c | 6 BPF_MOV32_IMM(BPF_REG_2, 1), 7 BPF_ALU32_REG(BPF_DIV, BPF_REG_2, BPF_REG_1), 18 BPF_MOV32_IMM(BPF_REG_2, 1), 19 BPF_ALU32_REG(BPF_DIV, BPF_REG_2, BPF_REG_1), 30 BPF_MOV32_IMM(BPF_REG_2, 1), 31 BPF_ALU64_REG(BPF_DIV, BPF_REG_2, BPF_REG_1), 42 BPF_MOV32_IMM(BPF_REG_2, 1), 43 BPF_ALU32_REG(BPF_MOD, BPF_REG_2, BPF_REG_1), 54 BPF_MOV32_IMM(BPF_REG_2, 1), 55 BPF_ALU32_REG(BPF_MOD, BPF_REG_2, BPF_REG_1), [all …]
|
D | map_in_map.c | 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 6 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), 11 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 12 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), 27 BPF_MOV64_REG(BPF_REG_2, BPF_REG_6), 32 BPF_MOV64_REG(BPF_REG_2, BPF_REG_6), 36 BPF_MOV64_REG(BPF_REG_2, BPF_REG_6), 41 BPF_MOV64_REG(BPF_REG_2, BPF_REG_6), 59 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 60 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), [all …]
|
D | value_or_null.c | 6 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 7 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 24 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 25 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 45 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 46 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 65 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 66 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 85 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 86 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), [all …]
|
D | raw_stack.c | 4 BPF_MOV64_IMM(BPF_REG_2, 4), 20 BPF_MOV64_IMM(BPF_REG_2, 4), 36 BPF_MOV64_IMM(BPF_REG_2, 4), 52 BPF_MOV64_IMM(BPF_REG_2, 4), 68 BPF_MOV64_IMM(BPF_REG_2, 4), 83 BPF_MOV64_IMM(BPF_REG_2, 4), 99 BPF_MOV64_IMM(BPF_REG_2, 4), 108 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_6, 8), 111 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_2, 113 BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_2), [all …]
|