/external/linux-kselftest/tools/testing/selftests/bpf/verifier/ |
D | xdp_direct_packet_access.c | 4 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 5 BPF_LDX_MEM(BPF_W, BPF_REG_3, BPF_REG_1, 7 BPF_MOV64_REG(BPF_REG_1, BPF_REG_2), 8 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 8), 10 BPF_JMP_REG(BPF_JGT, BPF_REG_1, BPF_REG_3, 1), 11 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_1, -8), 22 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 23 BPF_LDX_MEM(BPF_W, BPF_REG_3, BPF_REG_1, 25 BPF_MOV64_REG(BPF_REG_1, BPF_REG_2), 26 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 8), [all …]
|
D | stack_ptr.c | 4 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 5 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, -10), 6 BPF_ST_MEM(BPF_DW, BPF_REG_1, 2, 0xfaceb00c), 7 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_1, 2), 16 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 17 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, -8), 18 BPF_ST_MEM(BPF_DW, BPF_REG_1, 2, 0xfaceb00c), 19 BPF_LDX_MEM(BPF_DW, BPF_REG_0, BPF_REG_1, 2), 28 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 29 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, -10), [all …]
|
D | masking.c | 4 BPF_MOV32_IMM(BPF_REG_1, 5), 6 BPF_ALU64_REG(BPF_SUB, BPF_REG_2, BPF_REG_1), 7 BPF_ALU64_REG(BPF_OR, BPF_REG_2, BPF_REG_1), 10 BPF_ALU64_REG(BPF_AND, BPF_REG_1, BPF_REG_2), 11 BPF_MOV64_REG(BPF_REG_0, BPF_REG_1), 20 BPF_MOV32_IMM(BPF_REG_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), 26 BPF_ALU64_REG(BPF_AND, BPF_REG_1, BPF_REG_2), 27 BPF_MOV64_REG(BPF_REG_0, BPF_REG_1), [all …]
|
D | ctx_skb.c | 4 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 7 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 10 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 13 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 16 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 19 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 22 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 25 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 35 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, -4), 44 BPF_JMP_IMM(BPF_JGE, BPF_REG_1, 0, 9), [all …]
|
D | value_ptr_arith.c | 4 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 10 BPF_LD_MAP_FD(BPF_REG_1, 0), 12 BPF_LD_MAP_FD(BPF_REG_1, 0), 15 BPF_MOV64_IMM(BPF_REG_1, 4), 16 BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_0), 17 BPF_LDX_MEM(BPF_B, BPF_REG_0, BPF_REG_1, 0), 31 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 37 BPF_LD_MAP_FD(BPF_REG_1, 0), 39 BPF_LD_MAP_FD(BPF_REG_1, 0), 42 BPF_MOV64_IMM(BPF_REG_1, 4), [all …]
|
D | direct_value_access.c | 5 BPF_LD_MAP_VALUE(BPF_REG_1, 0, 0), 6 BPF_ST_MEM(BPF_DW, BPF_REG_1, 0, 4242), 17 BPF_LD_MAP_VALUE(BPF_REG_1, 0, 8), 18 BPF_ST_MEM(BPF_DW, BPF_REG_1, 0, 4242), 29 BPF_LD_MAP_VALUE(BPF_REG_1, 0, 8), 30 BPF_ST_MEM(BPF_DW, BPF_REG_1, 8, 4242), 41 BPF_LD_MAP_VALUE(BPF_REG_1, 0, 40), 42 BPF_ST_MEM(BPF_DW, BPF_REG_1, 0, 4242), 53 BPF_LD_MAP_VALUE(BPF_REG_1, 0, 32), 54 BPF_ST_MEM(BPF_DW, BPF_REG_1, 8, 4242), [all …]
|
D | helper_packet_access.c | 4 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 5 BPF_LDX_MEM(BPF_W, BPF_REG_3, BPF_REG_1, 7 BPF_MOV64_REG(BPF_REG_1, BPF_REG_2), 8 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 8), 9 BPF_JMP_REG(BPF_JGT, BPF_REG_1, BPF_REG_3, 5), 10 BPF_LD_MAP_FD(BPF_REG_1, 0), 25 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 26 BPF_LD_MAP_FD(BPF_REG_1, 0), 39 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, offsetof(struct xdp_md, data)), 40 BPF_LDX_MEM(BPF_W, BPF_REG_3, BPF_REG_1, [all …]
|
D | sock.c | 4 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_1, offsetof(struct __sk_buff, sk)), 5 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 0), 16 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_1, offsetof(struct __sk_buff, sk)), 17 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2), 20 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, offsetof(struct bpf_sock, family)), 30 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_1, offsetof(struct __sk_buff, sk)), 31 BPF_JMP_IMM(BPF_JNE, BPF_REG_1, 0, 2), 34 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, offsetof(struct bpf_sock, type)), 45 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_1, offsetof(struct __sk_buff, sk)), 57 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_1, offsetof(struct __sk_buff, sk)), [all …]
|
D | cgroup_skb.c | 4 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, 6 BPF_LDX_MEM(BPF_W, BPF_REG_3, BPF_REG_1, 8 BPF_LDX_MEM(BPF_W, BPF_REG_4, BPF_REG_1, 10 BPF_LDX_MEM(BPF_W, BPF_REG_5, BPF_REG_1, 12 BPF_LDX_MEM(BPF_W, BPF_REG_6, BPF_REG_1, 14 BPF_STX_MEM(BPF_W, BPF_REG_1, BPF_REG_6, 16 BPF_LDX_MEM(BPF_W, BPF_REG_7, BPF_REG_1, 18 BPF_LDX_MEM(BPF_W, BPF_REG_8, BPF_REG_1, 20 BPF_LDX_MEM(BPF_W, BPF_REG_9, BPF_REG_1, 37 BPF_LDX_MEM(BPF_W, BPF_REG_4, BPF_REG_1, [all …]
|
D | cgroup_storage.c | 5 BPF_LD_MAP_FD(BPF_REG_1, 0), 7 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 0), 8 BPF_MOV64_REG(BPF_REG_0, BPF_REG_1), 20 BPF_LD_MAP_FD(BPF_REG_1, 0), 22 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 0), 23 BPF_MOV64_REG(BPF_REG_0, BPF_REG_1), 36 BPF_LD_MAP_FD(BPF_REG_1, 1), 49 BPF_LD_MAP_FD(BPF_REG_1, 0), 51 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 256), 52 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 1), [all …]
|
D | bounds_mix_sign_unsign.c | 7 BPF_LD_MAP_FD(BPF_REG_1, 0), 11 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -16), 13 BPF_JMP_REG(BPF_JGE, BPF_REG_2, BPF_REG_1, 3), 14 BPF_JMP_IMM(BPF_JSGT, BPF_REG_1, 4, 2), 15 BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1), 31 BPF_LD_MAP_FD(BPF_REG_1, 0), 35 BPF_LDX_MEM(BPF_DW, BPF_REG_1, BPF_REG_10, -16), 37 BPF_JMP_REG(BPF_JGT, BPF_REG_1, BPF_REG_2, 3), 38 BPF_JMP_IMM(BPF_JSGT, BPF_REG_1, 1, 2), 39 BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1), [all …]
|
D | subreg.c | 17 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 19 BPF_ALU32_REG(BPF_ADD, BPF_REG_0, BPF_REG_1), 30 BPF_LD_IMM64(BPF_REG_1, 0x1000000000ULL), 31 BPF_ALU64_REG(BPF_OR, BPF_REG_0, BPF_REG_1), 42 BPF_LD_IMM64(BPF_REG_1, 0x1000000000ULL), 43 BPF_ALU64_REG(BPF_OR, BPF_REG_0, BPF_REG_1), 56 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 58 BPF_ALU32_REG(BPF_SUB, BPF_REG_0, BPF_REG_1), 69 BPF_LD_IMM64(BPF_REG_1, 0x1000000000ULL), 70 BPF_ALU64_REG(BPF_OR, BPF_REG_0, BPF_REG_1), [all …]
|
D | unpriv.c | 15 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 8), 24 BPF_ALU64_REG(BPF_ADD, BPF_REG_1, BPF_REG_10), 34 BPF_ALU64_IMM(BPF_NEG, BPF_REG_1, 0), 45 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 0), 56 BPF_JMP_REG(BPF_JEQ, BPF_REG_1, BPF_REG_10, 0), 68 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 69 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, -8), 71 BPF_MOV64_REG(BPF_REG_3, BPF_REG_1), 87 BPF_LD_MAP_FD(BPF_REG_1, 0), 105 BPF_LD_MAP_FD(BPF_REG_1, 0), [all …]
|
D | basic_instr.c | 4 BPF_MOV64_IMM(BPF_REG_1, 1), 5 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 2), 7 BPF_ALU64_REG(BPF_SUB, BPF_REG_1, BPF_REG_2), 8 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, -1), 9 BPF_ALU64_IMM(BPF_MUL, BPF_REG_1, 3), 10 BPF_MOV64_REG(BPF_REG_0, BPF_REG_1), 56 BPF_MOV64_IMM(BPF_REG_1, 5), 57 BPF_ALU32_REG(BPF_ARSH, BPF_REG_0, BPF_REG_1), 67 BPF_MOV64_IMM(BPF_REG_1, 15), 68 BPF_ALU32_REG(BPF_ARSH, BPF_REG_0, BPF_REG_1), [all …]
|
D | spin_lock.c | 7 BPF_LD_MAP_FD(BPF_REG_1, 13 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 14 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 4), 16 BPF_MOV64_REG(BPF_REG_1, BPF_REG_6), 17 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 4), 35 BPF_LD_MAP_FD(BPF_REG_1, 41 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 42 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 4), 44 BPF_MOV64_REG(BPF_REG_1, BPF_REG_6), 45 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, 4), [all …]
|
D | jump.c | 5 BPF_STX_MEM(BPF_DW, BPF_REG_2, BPF_REG_1, -8), 6 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 1), 8 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 1, 1), 10 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 2, 1), 12 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 3, 1), 14 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 4, 1), 16 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 5, 1), 29 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0, 2), 32 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 1, 2), 35 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 2, 2), [all …]
|
D | bounds.c | 7 BPF_LD_MAP_FD(BPF_REG_1, 0), 10 BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0), 11 BPF_JMP_IMM(BPF_JGT, BPF_REG_1, 0xff, 7), 14 BPF_ALU64_REG(BPF_SUB, BPF_REG_1, BPF_REG_3), 15 BPF_ALU64_IMM(BPF_RSH, BPF_REG_1, 56), 16 BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1), 32 BPF_LD_MAP_FD(BPF_REG_1, 0), 35 BPF_LDX_MEM(BPF_B, BPF_REG_1, BPF_REG_0, 0), 36 BPF_JMP_IMM(BPF_JGT, BPF_REG_1, 0xff, 6), 39 BPF_ALU64_REG(BPF_SUB, BPF_REG_1, BPF_REG_3), [all …]
|
D | helper_access_var_len.c | 4 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 5 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, -64), 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), 32 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_1, 8), 33 BPF_MOV64_REG(BPF_REG_1, BPF_REG_10), 34 BPF_ALU64_IMM(BPF_ADD, BPF_REG_1, -64), 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), 49 BPF_LDX_MEM(BPF_DW, BPF_REG_2, BPF_REG_1, 8), [all …]
|
D | helper_value_access.c | 7 BPF_LD_MAP_FD(BPF_REG_1, 0), 10 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 26 BPF_LD_MAP_FD(BPF_REG_1, 0), 29 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 45 BPF_LD_MAP_FD(BPF_REG_1, 0), 48 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 64 BPF_LD_MAP_FD(BPF_REG_1, 0), 67 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 84 BPF_LD_MAP_FD(BPF_REG_1, 0), 87 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), [all …]
|
D | div0.c | 5 BPF_MOV32_IMM(BPF_REG_1, 0), 7 BPF_ALU32_REG(BPF_DIV, BPF_REG_2, BPF_REG_1), 17 BPF_LD_IMM64(BPF_REG_1, 0xffffffff00000000LL), 19 BPF_ALU32_REG(BPF_DIV, BPF_REG_2, BPF_REG_1), 29 BPF_MOV32_IMM(BPF_REG_1, 0), 31 BPF_ALU64_REG(BPF_DIV, BPF_REG_2, BPF_REG_1), 41 BPF_MOV32_IMM(BPF_REG_1, 0), 43 BPF_ALU32_REG(BPF_MOD, BPF_REG_2, BPF_REG_1), 53 BPF_LD_IMM64(BPF_REG_1, 0xffffffff00000000LL), 55 BPF_ALU32_REG(BPF_MOD, BPF_REG_2, BPF_REG_1), [all …]
|
D | jit.c | 5 BPF_MOV64_IMM(BPF_REG_1, 0xff), 6 BPF_ALU64_IMM(BPF_LSH, BPF_REG_1, 1), 7 BPF_ALU32_IMM(BPF_LSH, BPF_REG_1, 1), 8 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x3fc, 1), 10 BPF_ALU64_IMM(BPF_RSH, BPF_REG_1, 1), 11 BPF_ALU32_IMM(BPF_RSH, BPF_REG_1, 1), 12 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0xff, 1), 14 BPF_ALU64_IMM(BPF_ARSH, BPF_REG_1, 1), 15 BPF_JMP_IMM(BPF_JEQ, BPF_REG_1, 0x7f, 1), 27 BPF_LD_IMM64(BPF_REG_1, 0xfeffffffffffffffULL), [all …]
|
D | array_access.c | 7 BPF_LD_MAP_FD(BPF_REG_1, 0), 24 BPF_LD_MAP_FD(BPF_REG_1, 0), 27 BPF_MOV64_IMM(BPF_REG_1, 4), 28 BPF_ALU64_IMM(BPF_LSH, BPF_REG_1, 2), 29 BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1), 45 BPF_LD_MAP_FD(BPF_REG_1, 0), 48 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_0, 0), 49 BPF_JMP_IMM(BPF_JGE, BPF_REG_1, MAX_ENTRIES, 3), 50 BPF_ALU64_IMM(BPF_LSH, BPF_REG_1, 2), 51 BPF_ALU64_REG(BPF_ADD, BPF_REG_0, BPF_REG_1), [all …]
|
D | ref_tracking.c | 92 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 106 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 119 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 131 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 143 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 156 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 160 BPF_MOV64_REG(BPF_REG_1, BPF_REG_6), 172 BPF_MOV64_REG(BPF_REG_1, BPF_REG_0), 176 BPF_MOV64_REG(BPF_REG_1, BPF_REG_6), 187 BPF_LDX_MEM(BPF_W, BPF_REG_2, BPF_REG_1, [all …]
|
D | value_or_null.c | 4 BPF_MOV64_IMM(BPF_REG_1, 10), 5 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 8 BPF_LD_MAP_FD(BPF_REG_1, 0), 22 BPF_MOV64_IMM(BPF_REG_1, 10), 23 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 26 BPF_LD_MAP_FD(BPF_REG_1, 0), 43 BPF_MOV64_IMM(BPF_REG_1, 10), 44 BPF_STX_MEM(BPF_DW, BPF_REG_10, BPF_REG_1, -8), 47 BPF_LD_MAP_FD(BPF_REG_1, 0), 63 BPF_MOV64_IMM(BPF_REG_1, 10), [all …]
|
D | calls.c | 30 BPF_MOV64_REG(BPF_REG_6, BPF_REG_1), 32 BPF_MOV64_REG(BPF_REG_1, BPF_REG_6), 33 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_1, 37 BPF_JMP_REG(BPF_JGT, BPF_REG_2, BPF_REG_1, 1), 44 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, 55 BPF_MOV64_REG(BPF_REG_6, BPF_REG_1), 57 BPF_MOV64_REG(BPF_REG_1, BPF_REG_6), 58 BPF_LDX_MEM(BPF_W, BPF_REG_1, BPF_REG_1, 62 BPF_JMP_REG(BPF_JGT, BPF_REG_2, BPF_REG_1, 1), 66 BPF_LDX_MEM(BPF_W, BPF_REG_0, BPF_REG_1, [all …]
|