633 				if (reg->s32_min_value != reg->smin_value &&  in print_verifier_state()
634 				    reg->s32_min_value != S32_MIN)  in print_verifier_state()
636 						(int)(reg->s32_min_value));  in print_verifier_state()
1022 	reg->s32_min_value = (s32)imm;  in ___mark_reg_known()
1042 	reg->s32_min_value = (s32)imm;  in __mark_reg32_known()
1108 	reg->s32_min_value = S32_MIN;  in __mark_reg_unbounded()
1124 	reg->s32_min_value = S32_MIN;  in __mark_reg32_unbounded()
1135 	reg->s32_min_value = max_t(s32, reg->s32_min_value,  in __update_reg32_bounds()
1172 	if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) {  in __reg32_deduce_bounds()
1173 		reg->s32_min_value = reg->u32_min_value =  in __reg32_deduce_bounds()
1174 			max_t(u32, reg->s32_min_value, reg->u32_min_value);  in __reg32_deduce_bounds()
1186 		reg->s32_min_value = reg->u32_min_value;  in __reg32_deduce_bounds()
1193 		reg->s32_min_value = reg->u32_min_value =  in __reg32_deduce_bounds()
1194 			max_t(u32, reg->s32_min_value, reg->u32_min_value);  in __reg32_deduce_bounds()
1260 	if (reg->s32_min_value >= 0 && reg->s32_max_value >= 0)  in __reg_assign_32_into_64()
1264 	if (reg->s32_min_value >= 0)  in __reg_assign_32_into_64()
1265 		reg->smin_value = reg->s32_min_value;  in __reg_assign_32_into_64()
1316 		reg->s32_min_value = (s32)reg->smin_value;  in __reg_combine_64_into_32()
2239 	       reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX &&  in __is_scalar_unbounded()
4897 	ret_reg->s32_min_value = -MAX_ERRNO;  in do_refine_retval_range()
5702 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_add()
5707 	if (signed_add32_overflows(dst_reg->s32_min_value, smin_val) ||  in scalar32_min_max_add()
5709 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_add()
5712 		dst_reg->s32_min_value += smin_val;  in scalar32_min_max_add()
5754 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_sub()
5759 	if (signed_sub32_overflows(dst_reg->s32_min_value, smax_val) ||  in scalar32_min_max_sub()
5762 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_sub()
5765 		dst_reg->s32_min_value -= smax_val;  in scalar32_min_max_sub()
5810 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_mul()
5814 	if (smin_val < 0 || dst_reg->s32_min_value < 0) {  in scalar32_min_max_mul()
5831 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_mul()
5834 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_mul()
5877 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_and()
5891 	if (dst_reg->s32_min_value < 0 || smin_val < 0) {  in scalar32_min_max_and()
5895 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_and()
5901 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_and()
5948 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_or()
5962 	if (dst_reg->s32_min_value < 0 || smin_val < 0) {  in scalar32_min_max_or()
5966 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_or()
5972 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_or()
6018 	s32 smin_val = src_reg->s32_min_value;  in scalar32_min_max_xor()
6030 	if (dst_reg->s32_min_value >= 0 && smin_val >= 0) {  in scalar32_min_max_xor()
6034 		dst_reg->s32_min_value = dst_reg->u32_min_value;  in scalar32_min_max_xor()
6037 		dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_xor()
6079 	dst_reg->s32_min_value = S32_MIN;  in __scalar32_min_max_lsh()
6124 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_min_value >= 0)  in __scalar64_min_max_lsh()
6125 		dst_reg->smin_value = (s64)dst_reg->s32_min_value << 32;  in __scalar64_min_max_lsh()
6175 	dst_reg->s32_min_value = S32_MIN;  in scalar32_min_max_rsh()
6228 	dst_reg->s32_min_value = (u32)(((s32)dst_reg->s32_min_value) >> umin_val);  in scalar32_min_max_arsh()
6296 	s32_min_val = src_reg.s32_min_value;  in adjust_scalar_min_max_vals()
6821 		if (reg->s32_min_value > sval)  in is_branch32_taken()
6835 		else if (reg->s32_min_value >= sval)  in is_branch32_taken()
6845 		if (reg->s32_min_value >= sval)  in is_branch32_taken()
6859 		else if (reg->s32_min_value > sval)  in is_branch32_taken()
7063 			true_reg->s32_min_value = max(true_reg->s32_min_value, true_smin);  in reg_set_min_max()
7100 			false_reg->s32_min_value = max(false_reg->s32_min_value, false_smin);  in reg_set_min_max()