Lines Matching defs:smax
55 int64_t smax; /* signed maximum */
211 c.smax = width < 64 ? (int64_t)vbits : INT64_MAX;
217 c.smax = (int64_t)(vbits >> 1);
232 int64_t lu = si_mult_sat(tp, a.smin, b.smax);
233 int64_t ul = si_mult_sat(tp, a.smax, b.smin);
234 int64_t uu = si_mult_sat(tp, a.smax, b.smax);
237 c.smax = s64_max(ll, s64_max(lu, s64_max(ul, uu)));
239 c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
248 c.smax = INT64_MAX;
266 c.smax = INT64_MAX;
277 uint64_t max_abs_b = u64_max(s64_abs(b.smin), s64_abs(b.smax));
283 c.smax = s64_min(a.smax, (int64_t)(max_abs_b - 1));
292 c.smax = INT64_MAX;
305 c.smax = si_plus_sat(tp, a.smax, b.smax);
307 c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
315 c.smax = INT64_MAX;
325 c.smax = (int64_t)c.umax;
335 c.smin = si_minus_sat(tp, a.smin, b.smax);
336 c.smax = si_minus_sat(tp, a.smax, b.smin);
340 c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
360 if (b.smin == b.smax && b.smin >= 0 && b.smin < 64)
372 c.smax = (int64_t)c.umax;
375 c.smax = INT64_MAX;
388 if (b.smin == b.smax && b.smin >= 0 && b.smin < 64)
397 c.smax = s64_shr(a.smax, amount);
409 c.smax = a.smax & b.smax;
424 c.smax = a.smax | b.smax;
436 c.smax = a.smax | b.smax;
448 c.smax = s64_max(a.smax, b.smax);
464 c.smax = si;
3550 : x >= ic.smin && x <= ic.smax && x == (int64_t)x)
3666 : tpc.smin <= c.smin && tpc.smax >= c.smax)