2701 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()  local
2708 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_ptr_min_max_vals()
2709 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_ptr_min_max_vals()
2786 		    umax_ptr + umax_val < umax_ptr) {  in adjust_ptr_min_max_vals()
2791 			dst_reg->umax_value = umax_ptr + umax_val;  in adjust_ptr_min_max_vals()
2842 		if (umin_ptr < umax_val) {  in adjust_ptr_min_max_vals()
2848 			dst_reg->umin_value = umin_ptr - umax_val;  in adjust_ptr_min_max_vals()
2896 	u64 umin_val, umax_val;  in adjust_scalar_min_max_vals()  local
2911 	umax_val = src_reg.umax_value;  in adjust_scalar_min_max_vals()
2915 	if ((src_known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_scalar_min_max_vals()
2916 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_scalar_min_max_vals()
2941 		    dst_reg->umax_value + umax_val < umax_val) {  in adjust_scalar_min_max_vals()
2946 			dst_reg->umax_value += umax_val;  in adjust_scalar_min_max_vals()
2960 		if (dst_reg->umin_value < umax_val) {  in adjust_scalar_min_max_vals()
2966 			dst_reg->umin_value -= umax_val;  in adjust_scalar_min_max_vals()
2982 		if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {  in adjust_scalar_min_max_vals()
2990 		dst_reg->umax_value *= umax_val;  in adjust_scalar_min_max_vals()
3011 		dst_reg->umax_value = min(dst_reg->umax_value, umax_val);  in adjust_scalar_min_max_vals()
3058 		if (umax_val >= insn_bitness) {  in adjust_scalar_min_max_vals()
3071 		if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {  in adjust_scalar_min_max_vals()
3076 			dst_reg->umax_value <<= umax_val;  in adjust_scalar_min_max_vals()
3083 		if (umax_val >= insn_bitness) {  in adjust_scalar_min_max_vals()
3107 		dst_reg->umin_value >>= umax_val;  in adjust_scalar_min_max_vals()
3113 		if (umax_val >= insn_bitness) {  in adjust_scalar_min_max_vals()