umin_value        559 drivers/net/ethernet/netronome/nfp/bpf/verifier.c 	meta->umin_src = min(meta->umin_src, sreg->umin_value);
umin_value        561 drivers/net/ethernet/netronome/nfp/bpf/verifier.c 	meta->umin_dst = min(meta->umin_dst, dreg->umin_value);
umin_value        122 include/linux/bpf_verifier.h 	u64 umin_value; /* minimum possible (u64)value */
umin_value        476 kernel/bpf/verifier.c 				if (reg->smin_value != reg->umin_value &&
umin_value        484 kernel/bpf/verifier.c 				if (reg->umin_value != 0)
umin_value        486 kernel/bpf/verifier.c 						(unsigned long long)reg->umin_value);
umin_value        868 kernel/bpf/verifier.c 	reg->umin_value = imm;
umin_value        933 kernel/bpf/verifier.c 	reg->umin_value = max(reg->umin_value, reg->var_off.value);
umin_value        947 kernel/bpf/verifier.c 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,
umin_value        948 kernel/bpf/verifier.c 							  reg->umin_value);
umin_value        960 kernel/bpf/verifier.c 		reg->smin_value = reg->umin_value;
umin_value        963 kernel/bpf/verifier.c 	} else if ((s64)reg->umin_value < 0) {
umin_value        967 kernel/bpf/verifier.c 		reg->smin_value = reg->umin_value = max_t(u64, reg->smin_value,
umin_value        968 kernel/bpf/verifier.c 							  reg->umin_value);
umin_value        977 kernel/bpf/verifier.c 				      tnum_range(reg->umin_value,
umin_value        986 kernel/bpf/verifier.c 	reg->umin_value = 0;
umin_value       2741 kernel/bpf/verifier.c 	if ((reg->umin_value & ~mask) == (reg->umax_value & ~mask)) {
umin_value       2742 kernel/bpf/verifier.c 		reg->umin_value &= mask;
umin_value       2745 kernel/bpf/verifier.c 		reg->umin_value = 0;
umin_value       2748 kernel/bpf/verifier.c 	reg->smin_value = reg->umin_value;
umin_value       3408 kernel/bpf/verifier.c 		if (reg->umin_value == 0) {
umin_value       3907 kernel/bpf/verifier.c 	ret_reg->umin_value = ret_reg->smin_value;
umin_value       4370 kernel/bpf/verifier.c 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,
umin_value       4371 kernel/bpf/verifier.c 	    umin_ptr = ptr_reg->umin_value, umax_ptr = ptr_reg->umax_value;
umin_value       4448 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr;
umin_value       4474 kernel/bpf/verifier.c 			dst_reg->umin_value = 0;
umin_value       4477 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr + umin_val;
umin_value       4515 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr;
umin_value       4537 kernel/bpf/verifier.c 			dst_reg->umin_value = 0;
umin_value       4541 kernel/bpf/verifier.c 			dst_reg->umin_value = umin_ptr - umax_val;
umin_value       4625 kernel/bpf/verifier.c 	umin_val = src_reg.umin_value;
umin_value       4660 kernel/bpf/verifier.c 		if (dst_reg->umin_value + umin_val < umin_val ||
umin_value       4662 kernel/bpf/verifier.c 			dst_reg->umin_value = 0;
umin_value       4665 kernel/bpf/verifier.c 			dst_reg->umin_value += umin_val;
umin_value       4685 kernel/bpf/verifier.c 		if (dst_reg->umin_value < umax_val) {
umin_value       4687 kernel/bpf/verifier.c 			dst_reg->umin_value = 0;
umin_value       4691 kernel/bpf/verifier.c 			dst_reg->umin_value -= umax_val;
umin_value       4714 kernel/bpf/verifier.c 		dst_reg->umin_value *= umin_val;
umin_value       4721 kernel/bpf/verifier.c 			dst_reg->smin_value = dst_reg->umin_value;
umin_value       4735 kernel/bpf/verifier.c 		dst_reg->umin_value = dst_reg->var_off.value;
umin_value       4747 kernel/bpf/verifier.c 			dst_reg->smin_value = dst_reg->umin_value;
umin_value       4763 kernel/bpf/verifier.c 		dst_reg->umin_value = max(dst_reg->umin_value, umin_val);
umin_value       4776 kernel/bpf/verifier.c 			dst_reg->smin_value = dst_reg->umin_value;
umin_value       4797 kernel/bpf/verifier.c 			dst_reg->umin_value = 0;
umin_value       4800 kernel/bpf/verifier.c 			dst_reg->umin_value <<= umin_val;
umin_value       4832 kernel/bpf/verifier.c 		dst_reg->umin_value >>= umax_val;
umin_value       4863 kernel/bpf/verifier.c 		dst_reg->umin_value = 0;
umin_value       5256 kernel/bpf/verifier.c 		if ((reg->umax_value ^ reg->umin_value) &
umin_value       5286 kernel/bpf/verifier.c 		if (reg->umin_value > val)
umin_value       5300 kernel/bpf/verifier.c 		else if (reg->umin_value >= val)
umin_value       5310 kernel/bpf/verifier.c 		if (reg->umin_value >= val)
umin_value       5324 kernel/bpf/verifier.c 		else if (reg->umin_value > val)
umin_value       5422 kernel/bpf/verifier.c 	reg->umin_value = max(reg->umin_value, bound);
umin_value       5634 kernel/bpf/verifier.c 	src_reg->umin_value = dst_reg->umin_value = max(src_reg->umin_value,
umin_value       5635 kernel/bpf/verifier.c 							dst_reg->umin_value);
umin_value       6756 kernel/bpf/verifier.c 	return old->umin_value <= cur->umin_value &&