| H A D | verifier.c | 1695 return !is_reg64(env, insn, insn->dst_reg, NULL, DST_OP);
in insn_has_def32()
1805 u32 dreg = 1u << insn->dst_reg;
in backtrack_insn()
1883 /* stx & st shouldn't be using _scalar_ dst_reg
in backtrack_insn()
1890 if (insn->dst_reg != BPF_REG_FP) {
in backtrack_insn()
2292 u32 dst_reg = env->prog->insnsi[insn_idx].dst_reg;
in check_stack_write_fixed_off() local
2327 if (dst_reg != BPF_REG_FP) {
in check_stack_write_fixed_off()
3911 err = check_reg_arg(env, insn->dst_reg, SRC_OP);
in check_xadd()
3921 if (is_ctx_reg(env, insn->dst_reg) || is_pkt_reg(env, insn->dst_reg) || is_flow_key_re in check_xadd()
5730 sanitize_ptr_alu(struct bpf_verifier_env *env, struct bpf_insn *insn, const struct bpf_reg_state *ptr_reg, const struct bpf_reg_state *off_reg, struct bpf_reg_state *dst_reg, struct bpf_sanitize_info *info, const bool commit_window) sanitize_ptr_alu() argument
5840 sanitize_err(struct bpf_verifier_env *env, const struct bpf_insn *insn, int reason, const struct bpf_reg_state *off_reg, const struct bpf_reg_state *dst_reg) sanitize_err() argument
5903 sanitize_check_bounds(struct bpf_verifier_env *env, const struct bpf_insn *insn, const struct bpf_reg_state *dst_reg) sanitize_check_bounds() argument
5947 struct bpf_reg_state *regs = state->regs, *dst_reg; adjust_ptr_min_max_vals() local
6163 scalar32_min_max_add(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_add() argument
6187 scalar_min_max_add(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_add() argument
6210 scalar32_min_max_sub(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_sub() argument
6237 scalar_min_max_sub(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_sub() argument
6263 scalar32_min_max_mul(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_mul() argument
6294 scalar_min_max_mul(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_mul() argument
6325 scalar32_min_max_and(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_and() argument
6358 scalar_min_max_and(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_and() argument
6392 scalar32_min_max_or(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_or() argument
6425 scalar_min_max_or(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_or() argument
6459 scalar32_min_max_xor(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_xor() argument
6487 scalar_min_max_xor(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_xor() argument
6517 __scalar32_min_max_lsh(struct bpf_reg_state *dst_reg, u64 umin_val, u64 umax_val) __scalar32_min_max_lsh() argument
6534 scalar32_min_max_lsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_lsh() argument
6551 __scalar64_min_max_lsh(struct bpf_reg_state *dst_reg, u64 umin_val, u64 umax_val) __scalar64_min_max_lsh() argument
6582 scalar_min_max_lsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_lsh() argument
6596 scalar32_min_max_rsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_rsh() argument
6627 scalar_min_max_rsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_rsh() argument
6660 scalar32_min_max_arsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar32_min_max_arsh() argument
6682 scalar_min_max_arsh(struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg) scalar_min_max_arsh() argument
6712 adjust_scalar_min_max_vals(struct bpf_verifier_env *env, struct bpf_insn *insn, struct bpf_reg_state *dst_reg, struct bpf_reg_state src_reg) adjust_scalar_min_max_vals() argument
6878 struct bpf_reg_state *regs = state->regs, *dst_reg, *src_reg; adjust_reg_min_max_vals() local
7017 struct bpf_reg_state *dst_reg = regs + insn->dst_reg; check_alu_op() local
7117 __find_good_pkt_pointers(struct bpf_func_state *state, struct bpf_reg_state *dst_reg, enum bpf_reg_type type, u16 new_range) __find_good_pkt_pointers() argument
7142 find_good_pkt_pointers(struct bpf_verifier_state *vstate, struct bpf_reg_state *dst_reg, enum bpf_reg_type type, bool range_right_open) find_good_pkt_pointers() argument
7604 __reg_combine_min_max(struct bpf_reg_state *src_reg, struct bpf_reg_state *dst_reg) __reg_combine_min_max() argument
7722 try_match_pkt_pointers(const struct bpf_insn *insn, struct bpf_reg_state *dst_reg, struct bpf_reg_state *src_reg, struct bpf_verifier_state *this_branch, struct bpf_verifier_state *other_branch) try_match_pkt_pointers() argument
7827 struct bpf_reg_state *dst_reg, *other_branch_regs, *src_reg = NULL; check_cond_jmp_op() local
7986 struct bpf_reg_state *dst_reg; check_ld_imm() local
[all...] |