2699 	s64 smin_val = off_reg->smin_value, smax_val = off_reg->smax_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()
2756 		if (known && (ptr_reg->off + smin_val ==  in adjust_ptr_min_max_vals()
2757 			      (s64)(s32)(ptr_reg->off + smin_val))) {  in adjust_ptr_min_max_vals()
2764 			dst_reg->off = ptr_reg->off + smin_val;  in adjust_ptr_min_max_vals()
2777 		if (signed_add_overflows(smin_ptr, smin_val) ||  in adjust_ptr_min_max_vals()
2782 			dst_reg->smin_value = smin_ptr + smin_val;  in adjust_ptr_min_max_vals()
2817 		if (known && (ptr_reg->off - smin_val ==  in adjust_ptr_min_max_vals()
2818 			      (s64)(s32)(ptr_reg->off - smin_val))) {  in adjust_ptr_min_max_vals()
2826 			dst_reg->off = ptr_reg->off - smin_val;  in adjust_ptr_min_max_vals()
2834 		    signed_sub_overflows(smax_ptr, smin_val)) {  in adjust_ptr_min_max_vals()
2840 			dst_reg->smax_value = smax_ptr - smin_val;  in adjust_ptr_min_max_vals()
2856 			if (smin_val < 0)  in adjust_ptr_min_max_vals()
2895 	s64 smin_val, smax_val;  in adjust_scalar_min_max_vals()  local
2908 	smin_val = src_reg.smin_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()
2932 		if (signed_add_overflows(dst_reg->smin_value, smin_val) ||  in adjust_scalar_min_max_vals()
2937 			dst_reg->smin_value += smin_val;  in adjust_scalar_min_max_vals()
2952 		    signed_sub_overflows(dst_reg->smax_value, smin_val)) {  in adjust_scalar_min_max_vals()
2958 			dst_reg->smax_value -= smin_val;  in adjust_scalar_min_max_vals()
2973 		if (smin_val < 0 || dst_reg->smin_value < 0) {  in adjust_scalar_min_max_vals()
3012 		if (dst_reg->smin_value < 0 || smin_val < 0) {  in adjust_scalar_min_max_vals()
3041 		if (dst_reg->smin_value < 0 || smin_val < 0) {  in adjust_scalar_min_max_vals()