Searched refs:umin_value (Results 1 – 5 of 5) sorted by relevance
| /linux/kernel/bpf/ |
| A D | verifier.c | 1911 reg->umin_value = 0; in __mark_reg_unbounded()
1959 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
2136 reg->umin_value = max_t(u64, reg->smin_value, reg->umin_value); in __reg64_deduce_bounds()
2161 reg->umin_value = max_t(u64, reg->umin_value, new_umin); in __reg_deduce_mixed_bounds()
2174 reg->umin_value = max_t(u64, reg->umin_value, new_umin); in __reg_deduce_mixed_bounds()
13744 dst_reg->umin_value = max(dst_reg->umin_value, umin_val); in scalar_min_max_or()
14912 reg1->umin_value = max(reg1->umin_value, reg2->umin_value); in regs_refine_cond_op()
14916 reg2->umin_value = reg1->umin_value; in regs_refine_cond_op()
15008 reg2->umin_value = max(reg1->umin_value, reg2->umin_value); in regs_refine_cond_op()
15017 reg2->umin_value = max(reg1->umin_value + 1, reg2->umin_value); in regs_refine_cond_op()
[all …]
|
| A D | log.c | 621 {"umin", reg->umin_value, reg->umin_value == 0}, in print_scalar_ranges()
|
| /linux/drivers/net/ethernet/netronome/nfp/bpf/ |
| 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/include/linux/ |
| A D | bpf_verifier.h | 156 u64 umin_value; /* minimum possible (u64)value */ member
|
| /linux/Documentation/bpf/ |
| A D | verifier.rst | 173 it will have a umin_value (unsigned minimum value) of 9, whereas in the 'false'
|
Completed in 64 milliseconds