Home
last modified time | relevance | path

Searched refs:umax_value (Results 1 – 5 of 5) sorted by relevance

/linux-6.15/kernel/bpf/
H A Dverifier.c2077 reg->umax_value = imm; in ___mark_reg_known()
2277 reg->umax_value = min(reg->umax_value, in __update_reg64_bounds()
2454 reg->umax_value = min_t(u64, reg->smax_value, reg->umax_value); in __reg64_deduce_bounds()
2479 reg->umax_value = min_t(u64, reg->umax_value, new_umax); in __reg_deduce_mixed_bounds()
2492 reg->umax_value = min_t(u64, reg->umax_value, new_umax); in __reg_deduce_mixed_bounds()
14702 dst_reg->umax_value = min(dst_reg->umax_value, umax_val); in scalar_min_max_and()
15933 reg1->umax_value = min(reg1->umax_value, reg2->umax_value); in regs_refine_cond_op()
15937 reg2->umax_value = reg1->umax_value; in regs_refine_cond_op()
16027 reg1->umax_value = min(reg1->umax_value, reg2->umax_value); in regs_refine_cond_op()
16036 reg1->umax_value = min(reg1->umax_value, reg2->umax_value - 1); in regs_refine_cond_op()
[all …]
H A Dlog.c623 {"umax", reg->umax_value, reg->umax_value == U64_MAX}, in print_scalar_ranges()
/linux-6.15/Documentation/bpf/
H A Dverifier.rst174 branch it will have a umax_value of 8. A signed compare (with BPF_JSGT or
252 …R0=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) R1=pkt_end R2=pkt(id=2,off=8,r=8) R3=pkt(id=2,off=…
270 R4=inv(id=0,umax_value=255,var_off=(0x0; 0xff)) which means that upper 56 bits
273 R4=inv(id=0,umax_value=3570,var_off=(0x0; 0xfffe)), since multiplying an 8-bit
276 R2=inv(id=0,umax_value=65535,var_off=(0x0; 0xffff)), since the shift is not sign
/linux-6.15/drivers/net/ethernet/netronome/nfp/bpf/
H A Dverifier.c565 meta->umax_src = max(meta->umax_src, sreg->umax_value); in nfp_bpf_check_alu()
567 meta->umax_dst = max(meta->umax_dst, dreg->umax_value); in nfp_bpf_check_alu()
/linux-6.15/include/linux/
H A Dbpf_verifier.h149 u64 umax_value; /* maximum possible (u64)value */ member