8214 	u64 umin_val = off_reg->umin_value, umax_val = off_reg->umax_value,  in adjust_ptr_min_max_vals()  local
8223 	if ((known && (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_ptr_min_max_vals()
8224 	    smin_val > smax_val || umin_val > umax_val) {  in adjust_ptr_min_max_vals()
8324 		    umax_ptr + umax_val < umax_ptr) {  in adjust_ptr_min_max_vals()
8329 			dst_reg->umax_value = umax_ptr + umax_val;  in adjust_ptr_min_max_vals()
8381 		if (umin_ptr < umax_val) {  in adjust_ptr_min_max_vals()
8387 			dst_reg->umin_value = umin_ptr - umax_val;  in adjust_ptr_min_max_vals()
8435 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_add()  local
8446 	    dst_reg->u32_max_value + umax_val < umax_val) {  in scalar32_min_max_add()
8451 		dst_reg->u32_max_value += umax_val;  in scalar32_min_max_add()
8461 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_add()  local
8472 	    dst_reg->umax_value + umax_val < umax_val) {  in scalar_min_max_add()
8477 		dst_reg->umax_value += umax_val;  in scalar_min_max_add()
8487 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_sub()  local
8498 	if (dst_reg->u32_min_value < umax_val) {  in scalar32_min_max_sub()
8504 		dst_reg->u32_min_value -= umax_val;  in scalar32_min_max_sub()
8515 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_sub()  local
8526 	if (dst_reg->umin_value < umax_val) {  in scalar_min_max_sub()
8532 		dst_reg->umin_value -= umax_val;  in scalar_min_max_sub()
8542 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_mul()  local
8552 	if (umax_val > U16_MAX || dst_reg->u32_max_value > U16_MAX) {  in scalar32_min_max_mul()
8558 	dst_reg->u32_max_value *= umax_val;  in scalar32_min_max_mul()
8574 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_mul()  local
8584 	if (umax_val > U32_MAX || dst_reg->umax_value > U32_MAX) {  in scalar_min_max_mul()
8590 	dst_reg->umax_value *= umax_val;  in scalar_min_max_mul()
8608 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_and()  local
8619 	dst_reg->u32_max_value = min(dst_reg->u32_max_value, umax_val);  in scalar32_min_max_and()
8641 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_and()  local
8652 	dst_reg->umax_value = min(dst_reg->umax_value, umax_val);  in scalar_min_max_and()
8800 				   u64 umin_val, u64 umax_val)  in __scalar32_min_max_lsh()  argument
8808 	if (umax_val > 31 || dst_reg->u32_max_value > 1ULL << (31 - umax_val)) {  in __scalar32_min_max_lsh()
8813 		dst_reg->u32_max_value <<= umax_val;  in __scalar32_min_max_lsh()
8820 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_lsh()  local
8825 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar32_min_max_lsh()
8836 				   u64 umin_val, u64 umax_val)  in __scalar64_min_max_lsh()  argument
8845 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
8850 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0)  in __scalar64_min_max_lsh()
8856 	if (dst_reg->umax_value > 1ULL << (63 - umax_val)) {  in __scalar64_min_max_lsh()
8861 		dst_reg->umax_value <<= umax_val;  in __scalar64_min_max_lsh()
8868 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_lsh()  local
8872 	__scalar64_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar_min_max_lsh()
8873 	__scalar32_min_max_lsh(dst_reg, umin_val, umax_val);  in scalar_min_max_lsh()
8884 	u32 umax_val = src_reg->u32_max_value;  in scalar32_min_max_rsh()  local
8905 	dst_reg->u32_min_value >>= umax_val;  in scalar32_min_max_rsh()
8915 	u64 umax_val = src_reg->umax_value;  in scalar_min_max_rsh()  local
8935 	dst_reg->umin_value >>= umax_val;  in scalar_min_max_rsh()
9009 	u64 umin_val, umax_val;  in adjust_scalar_min_max_vals()  local
9019 	umax_val = src_reg.umax_value;  in adjust_scalar_min_max_vals()
9040 		     (smin_val != smax_val || umin_val != umax_val)) ||  in adjust_scalar_min_max_vals()
9041 		    smin_val > smax_val || umin_val > umax_val) {  in adjust_scalar_min_max_vals()
9108 		if (umax_val >= insn_bitness) {  in adjust_scalar_min_max_vals()
9121 		if (umax_val >= insn_bitness) {  in adjust_scalar_min_max_vals()
9134 		if (umax_val >= insn_bitness) {  in adjust_scalar_min_max_vals()