Searched refs:umin_value (Results 1 – 5 of 5) sorted by relevance
| /linux-6.15/kernel/bpf/ |
| H A D | verifier.c | 2228 reg->umin_value = 0; in __mark_reg_unbounded()
2276 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
2453 reg->umin_value = max_t(u64, reg->smin_value, reg->umin_value); in __reg64_deduce_bounds()
2478 reg->umin_value = max_t(u64, reg->umin_value, new_umin); in __reg_deduce_mixed_bounds()
2491 reg->umin_value = max_t(u64, reg->umin_value, new_umin); in __reg_deduce_mixed_bounds()
14764 dst_reg->umin_value = max(dst_reg->umin_value, umin_val); in scalar_min_max_or()
15932 reg1->umin_value = max(reg1->umin_value, reg2->umin_value); in regs_refine_cond_op()
15936 reg2->umin_value = reg1->umin_value; in regs_refine_cond_op()
16028 reg2->umin_value = max(reg1->umin_value, reg2->umin_value); in regs_refine_cond_op()
16037 reg2->umin_value = max(reg1->umin_value + 1, reg2->umin_value); in regs_refine_cond_op()
[all …]
|
| H A D | log.c | 622 {"umin", reg->umin_value, reg->umin_value == 0}, in print_scalar_ranges()
|
| /linux-6.15/drivers/net/ethernet/netronome/nfp/bpf/ |
| H A D | verifier.c | 564 meta->umin_src = min(meta->umin_src, sreg->umin_value); in nfp_bpf_check_alu()
566 meta->umin_dst = min(meta->umin_dst, dreg->umin_value); in nfp_bpf_check_alu()
|
| /linux-6.15/include/linux/ |
| H A D | bpf_verifier.h | 148 u64 umin_value; /* minimum possible (u64)value */ member
|
| /linux-6.15/Documentation/bpf/ |
| H A D | verifier.rst | 173 it will have a umin_value (unsigned minimum value) of 9, whereas in the 'false'
|