1426 				if (reg->s32_max_value != reg->smax_value &&  in print_verifier_state()
1427 				    reg->s32_max_value != S32_MAX)  in print_verifier_state()
1428 					verbose_a("s32_max=%d", (int)(reg->s32_max_value));  in print_verifier_state()
1889 	reg->s32_max_value = (s32)imm;  in ___mark_reg_known()
1911 	reg->s32_max_value = (s32)imm;  in __mark_reg32_known()
2035 	reg->s32_max_value = S32_MAX;  in __mark_reg_unbounded()
2051 	reg->s32_max_value = S32_MAX;  in __mark_reg32_unbounded()
2064 	reg->s32_max_value = min_t(s32, reg->s32_max_value,  in __update_reg32_bounds()
2098 	if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) {  in __reg32_deduce_bounds()
2101 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
2102 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
2113 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
2114 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
2121 		reg->s32_max_value = reg->u32_max_value;  in __reg32_deduce_bounds()
2208 	    __reg32_bound_s64(reg->s32_max_value)) {  in __reg_assign_32_into_64()
2210 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
2253 		reg->s32_max_value = (s32)reg->smax_value;  in __reg_combine_64_into_32()
4236 	       reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX &&  in __is_scalar_unbounded()
5843 		reg->smax_value = reg->s32_max_value = S8_MAX;  in set_sext64_default_val()
5846 		reg->smax_value = reg->s32_max_value = S16_MAX;  in set_sext64_default_val()
5850 		reg->smax_value = reg->s32_max_value = S32_MAX;  in set_sext64_default_val()
5877 		reg->s32_max_value = reg->s32_min_value = u64_cval;  in coerce_reg_to_size_sx()
5906 		reg->smax_value = reg->s32_max_value = s64_max;  in coerce_reg_to_size_sx()
5921 		reg->s32_max_value = S8_MAX;  in set_sext32_default_val()
5925 		reg->s32_max_value = S16_MAX;  in set_sext32_default_val()
5945 		reg->s32_min_value = reg->s32_max_value = u32_val;  in coerce_subreg_to_size_sx()
5950 	top_smax_value = ((u32)reg->s32_max_value >> num_bits) << num_bits;  in coerce_subreg_to_size_sx()
5958 		init_s32_max = (s8)reg->s32_max_value;  in coerce_subreg_to_size_sx()
5962 		init_s32_max = (s16)reg->s32_max_value;  in coerce_subreg_to_size_sx()
5970 		reg->s32_max_value = s32_max;  in coerce_subreg_to_size_sx()
9314 		ret_reg->s32_max_value = meta->msize_max_value;  in do_refine_retval_range()
9323 		ret_reg->s32_max_value = nr_cpu_ids - 1;  in do_refine_retval_range()
12256 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_add()
12261 	    signed_add32_overflows(dst_reg->s32_max_value, smax_val)) {  in scalar32_min_max_add()
12263 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_add()
12266 		dst_reg->s32_max_value += smax_val;  in scalar32_min_max_add()
12308 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_sub()
12313 	    signed_sub32_overflows(dst_reg->s32_max_value, smin_val)) {  in scalar32_min_max_sub()
12316 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_sub()
12319 		dst_reg->s32_max_value -= smin_val;  in scalar32_min_max_sub()
12385 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_mul()
12388 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_mul()
12448 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_and()
12454 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_and()
12517 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_or()
12523 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_or()
12584 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_xor()
12587 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_xor()
12629 	dst_reg->s32_max_value = S32_MAX;  in __scalar32_min_max_lsh()
12668 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
12669 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
12725 	dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_rsh()
12778 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);  in scalar32_min_max_arsh()
12845 	s32_max_val = src_reg.s32_max_value;  in adjust_scalar_min_max_vals()
13416 		else if (reg->s32_max_value <= sval)  in is_branch32_taken()
13426 		if (reg->s32_max_value < sval)  in is_branch32_taken()
13440 		else if (reg->s32_max_value < sval)  in is_branch32_taken()
13450 		if (reg->s32_max_value <= sval)  in is_branch32_taken()
13727 			false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax);  in reg_set_min_max()
13766 			true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax);  in reg_set_min_max()
15365 	       old->s32_max_value >= cur->s32_max_value;  in range_within()