Lines Matching defs:s32_min
2795 s32 s32_min,
2800 reg->s32_min_value = max_t(s32, reg->s32_min_value, s32_min);
2803 reg->smin_value = max_t(s64, reg->smin_value, s32_min);
6908 s32 init_s32_max, init_s32_min, s32_max, s32_min, u32_val;
6931 /* find the s32_min and s32_min after sign extension */
6941 s32_min = min(init_s32_max, init_s32_min);
6943 if ((s32_min >= 0) == (s32_max >= 0)) {
6944 reg->s32_min_value = s32_min;
6946 reg->u32_min_value = (u32)s32_min;
6948 reg->var_off = tnum_subreg(tnum_range(s32_min, s32_max));