Home
last modified time | relevance | path

Searched refs:off_reg (Results 1 – 2 of 2) sorted by relevance

/linux/kernel/bpf/
H A Dfixups.c1734 u32 off_reg; in bpf_do_misc_fixups() local
1746 off_reg = issrc ? insn->src_reg : insn->dst_reg; in bpf_do_misc_fixups()
1751 *patch++ = BPF_ALU64_IMM(BPF_MUL, off_reg, -1); in bpf_do_misc_fixups()
1753 *patch++ = BPF_ALU64_REG(BPF_SUB, BPF_REG_AX, off_reg); in bpf_do_misc_fixups()
1754 *patch++ = BPF_ALU64_REG(BPF_OR, BPF_REG_AX, off_reg); in bpf_do_misc_fixups()
1757 *patch++ = BPF_ALU64_REG(BPF_AND, BPF_REG_AX, off_reg); in bpf_do_misc_fixups()
1767 *patch++ = BPF_ALU64_IMM(BPF_MUL, off_reg, -1); in bpf_do_misc_fixups()
H A Dverifier.c14226 const struct bpf_reg_state *off_reg, in sanitize_ptr_alu() argument
14233 bool off_is_imm = tnum_is_const(off_reg->var_off); in sanitize_ptr_alu()
14234 bool off_is_neg = reg_smin(off_reg) < 0; in sanitize_ptr_alu()
14252 if (!tnum_is_const(off_reg->var_off) && in sanitize_ptr_alu()
14253 (reg_smin(off_reg) < 0) != (reg_smax(off_reg) < 0)) in sanitize_ptr_alu()
14438 const struct bpf_reg_state *off_reg) in adjust_ptr_min_max_vals() argument
14443 bool known = tnum_is_const(off_reg->var_off); in adjust_ptr_min_max_vals()
14444 s64 smin_val = reg_smin(off_reg), smax_val = reg_smax(off_reg); in adjust_ptr_min_max_vals()
14445 u64 umin_val = reg_umin(off_reg), umax_val = reg_umax(off_reg); in adjust_ptr_min_max_vals()
14543 if (!check_reg_sane_offset_scalar(env, off_reg, ptr_reg->type)) { in adjust_ptr_min_max_vals()
[all …]