916 				if (reg->s32_max_value != reg->smax_value &&  in print_verifier_state()
917 				    reg->s32_max_value != S32_MAX)  in print_verifier_state()
918 					verbose_a("s32_max=%d", (int)(reg->s32_max_value));  in print_verifier_state()
1340 	reg->s32_max_value = (s32)imm;  in ___mark_reg_known()
1360 	reg->s32_max_value = (s32)imm;  in __mark_reg32_known()
1453 	reg->s32_max_value = S32_MAX;  in __mark_reg_unbounded()
1469 	reg->s32_max_value = S32_MAX;  in __mark_reg32_unbounded()
1482 	reg->s32_max_value = min_t(s32, reg->s32_max_value,  in __update_reg32_bounds()
1516 	if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) {  in __reg32_deduce_bounds()
1519 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1520 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1531 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1532 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1539 		reg->s32_max_value = reg->u32_max_value;  in __reg32_deduce_bounds()
1626 	    __reg32_bound_s64(reg->s32_max_value)) {  in __reg_assign_32_into_64()
1628 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
1671 		reg->s32_max_value = (s32)reg->smax_value;  in __reg_combine_64_into_32()
2985 	       reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX &&  in __is_scalar_unbounded()
7045 	ret_reg->s32_max_value = meta->msize_max_value;  in do_refine_retval_range()
8433 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_add()
8438 	    signed_add32_overflows(dst_reg->s32_max_value, smax_val)) {  in scalar32_min_max_add()
8440 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_add()
8443 		dst_reg->s32_max_value += smax_val;  in scalar32_min_max_add()
8485 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_sub()
8490 	    signed_sub32_overflows(dst_reg->s32_max_value, smin_val)) {  in scalar32_min_max_sub()
8493 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_sub()
8496 		dst_reg->s32_max_value -= smin_val;  in scalar32_min_max_sub()
8562 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_mul()
8565 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_mul()
8625 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_and()
8631 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_and()
8694 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_or()
8700 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_or()
8761 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_xor()
8764 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_xor()
8806 	dst_reg->s32_max_value = S32_MAX;  in __scalar32_min_max_lsh()
8845 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
8846 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
8902 	dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_rsh()
8955 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);  in scalar32_min_max_arsh()
9022 	s32_max_val = src_reg.s32_max_value;  in adjust_scalar_min_max_vals()
9523 		else if (reg->s32_max_value <= sval)  in is_branch32_taken()
9533 		if (reg->s32_max_value < sval)  in is_branch32_taken()
9547 		else if (reg->s32_max_value < sval)  in is_branch32_taken()
9557 		if (reg->s32_max_value <= sval)  in is_branch32_taken()
9830 			false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax);  in reg_set_min_max()
9869 			true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax);  in reg_set_min_max()
11368 	       old->s32_max_value >= cur->s32_max_value;  in range_within()