637 				if (reg->s32_max_value != reg->smax_value &&  in print_verifier_state()
638 				    reg->s32_max_value != S32_MAX)  in print_verifier_state()
640 						(int)(reg->s32_max_value));  in print_verifier_state()
1023 	reg->s32_max_value = (s32)imm;  in ___mark_reg_known()
1043 	reg->s32_max_value = (s32)imm;  in __mark_reg32_known()
1109 	reg->s32_max_value = S32_MAX;  in __mark_reg_unbounded()
1125 	reg->s32_max_value = S32_MAX;  in __mark_reg32_unbounded()
1138 	reg->s32_max_value = min_t(s32, reg->s32_max_value,  in __update_reg32_bounds()
1172 	if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) {  in __reg32_deduce_bounds()
1175 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1176 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1187 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1188 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1195 		reg->s32_max_value = reg->u32_max_value;  in __reg32_deduce_bounds()
1260 	if (reg->s32_min_value >= 0 && reg->s32_max_value >= 0)  in __reg_assign_32_into_64()
1261 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
1317 		reg->s32_max_value = (s32)reg->smax_value;  in __reg_combine_64_into_32()
2239 	       reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX &&  in __is_scalar_unbounded()
4895 	ret_reg->s32_max_value = meta->msize_max_value;  in do_refine_retval_range()
5703 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_add()
5708 	    signed_add32_overflows(dst_reg->s32_max_value, smax_val)) {  in scalar32_min_max_add()
5710 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_add()
5713 		dst_reg->s32_max_value += smax_val;  in scalar32_min_max_add()
5755 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_sub()
5760 	    signed_sub32_overflows(dst_reg->s32_max_value, smin_val)) {  in scalar32_min_max_sub()
5763 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_sub()
5766 		dst_reg->s32_max_value -= smin_val;  in scalar32_min_max_sub()
5832 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_mul()
5835 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_mul()
5896 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_and()
5902 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_and()
5967 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_or()
5973 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_or()
6035 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_xor()
6038 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_xor()
6080 	dst_reg->s32_max_value = S32_MAX;  in __scalar32_min_max_lsh()
6119 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
6120 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
6176 	dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_rsh()
6229 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);  in scalar32_min_max_arsh()
6297 	s32_max_val = src_reg.s32_max_value;  in adjust_scalar_min_max_vals()
6823 		else if (reg->s32_max_value < sval)  in is_branch32_taken()
6833 		if (reg->s32_max_value < sval)  in is_branch32_taken()
6847 		else if (reg->s32_max_value < sval)  in is_branch32_taken()
6857 		if (reg->s32_max_value <= sval)  in is_branch32_taken()
7062 			false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax);  in reg_set_min_max()
7101 			true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax);  in reg_set_min_max()