/external/linux-kselftest/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), 45 BPF_MOV64_IMM(BPF_REG_2, 6), 76 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 0), [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), 29 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 30 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 36 BPF_MOV64_IMM(BPF_REG_2, -1), 37 BPF_JMP_REG(BPF_JGT, BPF_REG_1, BPF_REG_2, 3), 53 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 54 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 | 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 | 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 | 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 | 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 | value_ptr_arith.c | 7 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 8 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 34 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 35 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 62 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 63 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 98 BPF_MOV64_REG(BPF_REG_2, BPF_REG_0), 102 BPF_MOV64_IMM(BPF_REG_2, 0), 105 BPF_ALU64_REG(BPF_ADD, BPF_REG_2, BPF_REG_3), 113 BPF_JMP_IMM(BPF_JNE, BPF_REG_2, 0x100000, 2), [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 | 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 | 35 BPF_MOV64_REG(BPF_REG_2, BPF_REG_0), 36 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, 8), 37 BPF_JMP_REG(BPF_JGT, BPF_REG_2, BPF_REG_1, 1), 41 BPF_MOV32_IMM(BPF_REG_2, 0), 43 BPF_ALU32_REG(BPF_DIV, BPF_REG_3, BPF_REG_2), 60 BPF_MOV64_REG(BPF_REG_2, BPF_REG_0), 61 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, 8), 62 BPF_JMP_REG(BPF_JGT, BPF_REG_2, BPF_REG_1, 1), 84 BPF_MOV64_REG(BPF_REG_2, BPF_REG_0), 85 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), 65 BPF_MOV32_REG(BPF_REG_2, BPF_REG_2), 68 BPF_JMP_REG(BPF_JEQ, BPF_REG_0, BPF_REG_2, 2), 73 BPF_JMP_REG(BPF_JEQ, BPF_REG_3, BPF_REG_2, 2), [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 | 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), 25 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 26 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), 31 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 32 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), 47 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 48 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -4), [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 …]
|
D | helper_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), 11 BPF_MOV64_REG(BPF_REG_3, BPF_REG_2), 25 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 39 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 42 BPF_MOV64_REG(BPF_REG_4, BPF_REG_2), 45 BPF_LDX_MEM(BPF_B, BPF_REG_5, BPF_REG_2, 0), 46 BPF_MOV64_REG(BPF_REG_4, BPF_REG_2), 52 BPF_MOV64_REG(BPF_REG_2, BPF_REG_4), 64 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), [all …]
|
D | search_pruning.c | 5 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 6 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 26 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 27 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 46 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 0), 48 BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1), 50 BPF_JMP_IMM(BPF_JGE, BPF_REG_2, 0, 1), 62 BPF_MOV64_REG(BPF_REG_2, BPF_REG_10), 63 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 68 BPF_MOV32_IMM(BPF_REG_2, MAX_ENTRIES), [all …]
|
D | runtime_jit.c | 5 BPF_LD_MAP_FD(BPF_REG_2, 0), 18 BPF_LD_MAP_FD(BPF_REG_2, 0), 31 BPF_LD_MAP_FD(BPF_REG_2, 0), 44 BPF_LD_MAP_FD(BPF_REG_2, 0), 63 BPF_LD_MAP_FD(BPF_REG_2, 0), 66 BPF_LD_MAP_FD(BPF_REG_2, 0), 85 BPF_LD_MAP_FD(BPF_REG_2, 0), 88 BPF_LD_MAP_FD(BPF_REG_2, 0), 107 BPF_LD_MAP_FD(BPF_REG_2, 0), 110 BPF_LD_MAP_FD(BPF_REG_2, 0), [all …]
|
D | precise.c | 7 BPF_MOV64_REG(BPF_REG_2, BPF_REG_FP), 8 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 17 BPF_MOV64_REG(BPF_REG_2, BPF_REG_FP), 18 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 26 BPF_MOV64_REG(BPF_REG_2, BPF_REG_9), 27 BPF_JMP_IMM(BPF_JLT, BPF_REG_2, 8, 1), 30 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, 1), /* R2=inv(umin=1, umax=8) */ 67 BPF_MOV64_REG(BPF_REG_2, BPF_REG_FP), 68 BPF_ALU64_IMM(BPF_ADD, BPF_REG_2, -8), 77 BPF_MOV64_REG(BPF_REG_2, BPF_REG_FP), [all …]
|