Home
last modified time | relevance | path

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

/linux/kernel/bpf/
H A Dverifier.c1976 reg->umin_value = imm; in ___mark_reg_known()
2128 reg->umin_value = 0; in __mark_reg_unbounded()
2141 reg->umin_value = 0; in __mark_reg64_unbounded()
2176 reg->umin_value = max(reg->umin_value, reg->var_off.value); in __update_reg64_bounds()
2211 if ((reg->umin_value >> 32) == (reg->umax_value >> 32)) { in __reg32_deduce_bounds()
2215 reg->u32_min_value = max_t(u32, reg->u32_min_value, (u32)reg->umin_value); in __reg32_deduce_bounds()
2218 if ((s32)reg->umin_value <= (s32)reg->umax_value) { in __reg32_deduce_bounds()
2219 reg->s32_min_value = max_t(s32, reg->s32_min_value, (s32)reg->umin_value); in __reg32_deduce_bounds()
2248 if ((u32)(reg->umin_value >> 32) + 1 == (u32)(reg->umax_value >> 32) && in __reg32_deduce_bounds()
2249 (s32)reg->umin_value < 0 && (s32)reg->umax_value >= 0) { in __reg32_deduce_bounds()
[all …]
H A Dlog.c622 {"umin", reg->umin_value, reg->umin_value == 0}, in print_scalar_ranges()
/linux/drivers/net/ethernet/netronome/nfp/bpf/
H A Dverifier.c564 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/
H A Dbpf_verifier.h140 u64 umin_value; /* minimum possible (u64)value */ member
/linux/Documentation/bpf/
H A Dverifier.rst173 it will have a umin_value (unsigned minimum value) of 9, whereas in the 'false'