688 				if (reg->s32_max_value != reg->smax_value &&  in print_verifier_state()
689 				    reg->s32_max_value != S32_MAX)  in print_verifier_state()
691 						(int)(reg->s32_max_value));  in print_verifier_state()
1082 	reg->s32_max_value = (s32)imm;  in ___mark_reg_known()
1102 	reg->s32_max_value = (s32)imm;  in __mark_reg32_known()
1217 	reg->s32_max_value = S32_MAX;  in __mark_reg_unbounded()
1233 	reg->s32_max_value = S32_MAX;  in __mark_reg32_unbounded()
1246 	reg->s32_max_value = min_t(s32, reg->s32_max_value,  in __update_reg32_bounds()
1280 	if (reg->s32_min_value >= 0 || reg->s32_max_value < 0) {  in __reg32_deduce_bounds()
1283 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1284 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1295 		reg->s32_max_value = reg->u32_max_value =  in __reg32_deduce_bounds()
1296 			min_t(u32, reg->s32_max_value, reg->u32_max_value);  in __reg32_deduce_bounds()
1303 		reg->s32_max_value = reg->u32_max_value;  in __reg32_deduce_bounds()
1368 	if (reg->s32_min_value >= 0 && reg->s32_max_value >= 0)  in __reg_assign_32_into_64()
1369 		reg->smax_value = reg->s32_max_value;  in __reg_assign_32_into_64()
1423 		reg->s32_max_value = (s32)reg->smax_value;  in __reg_combine_64_into_32()
2610 	       reg->s32_min_value == S32_MIN && reg->s32_max_value == S32_MAX &&  in __is_scalar_unbounded()
6005 	ret_reg->s32_max_value = meta->msize_max_value;  in do_refine_retval_range()
7188 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_add()
7193 	    signed_add32_overflows(dst_reg->s32_max_value, smax_val)) {  in scalar32_min_max_add()
7195 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_add()
7198 		dst_reg->s32_max_value += smax_val;  in scalar32_min_max_add()
7240 	s32 smax_val = src_reg->s32_max_value;  in scalar32_min_max_sub()
7245 	    signed_sub32_overflows(dst_reg->s32_max_value, smin_val)) {  in scalar32_min_max_sub()
7248 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_sub()
7251 		dst_reg->s32_max_value -= smin_val;  in scalar32_min_max_sub()
7317 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_mul()
7320 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_mul()
7380 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_and()
7386 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_and()
7449 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_or()
7455 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_or()
7516 		dst_reg->s32_max_value = dst_reg->u32_max_value;  in scalar32_min_max_xor()
7519 		dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_xor()
7561 	dst_reg->s32_max_value = S32_MAX;  in __scalar32_min_max_lsh()
7600 	if (umin_val == 32 && umax_val == 32 && dst_reg->s32_max_value >= 0)  in __scalar64_min_max_lsh()
7601 		dst_reg->smax_value = (s64)dst_reg->s32_max_value << 32;  in __scalar64_min_max_lsh()
7657 	dst_reg->s32_max_value = S32_MAX;  in scalar32_min_max_rsh()
7710 	dst_reg->s32_max_value = (u32)(((s32)dst_reg->s32_max_value) >> umin_val);  in scalar32_min_max_arsh()
7777 	s32_max_val = src_reg.s32_max_value;  in adjust_scalar_min_max_vals()
8298 		else if (reg->s32_max_value <= sval)  in is_branch32_taken()
8308 		if (reg->s32_max_value < sval)  in is_branch32_taken()
8322 		else if (reg->s32_max_value < sval)  in is_branch32_taken()
8332 		if (reg->s32_max_value <= sval)  in is_branch32_taken()
8598 			false_reg->s32_max_value = min(false_reg->s32_max_value, false_smax);  in reg_set_min_max()
8637 			true_reg->s32_max_value = min(true_reg->s32_max_value, true_smax);  in reg_set_min_max()
10069 	       old->s32_max_value >= cur->s32_max_value;  in range_within()