Cross Reference: /src/usr.bin/xlint/lint1/tree.c

Lines Matching defs:smax
55 	int64_t		smax;	/* signed maximum */
232 		c.smax = width < 64 ? (int64_t)vbits : INT64_MAX;
238 		c.smax = (int64_t)(vbits >> 1);
253 		int64_t lu = si_mult_sat(tp, a.smin, b.smax);
254 		int64_t ul = si_mult_sat(tp, a.smax, b.smin);
255 		int64_t uu = si_mult_sat(tp, a.smax, b.smax);
258 		c.smax = s64_max(ll, s64_max(lu, s64_max(ul, uu)));
260 		c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
269 	c.smax = INT64_MAX;
287 	c.smax = INT64_MAX;
298 		uint64_t max_abs_b = u64_max(s64_abs(b.smin), s64_abs(b.smax));
304 		c.smax = s64_min(a.smax, (int64_t)(max_abs_b - 1));
313 	c.smax = INT64_MAX;
326 		c.smax = si_plus_sat(tp, a.smax, b.smax);
328 		c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
336 	c.smax = INT64_MAX;
346 		c.smax = (int64_t)c.umax;
356 	c.smin = si_minus_sat(tp, a.smin, b.smax);
357 	c.smax = si_minus_sat(tp, a.smax, b.smin);
361 		c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
381 	if (b.smin == b.smax && b.smin >= 0 && b.smin < 64)
393 		c.smax = (int64_t)c.umax;
396 		c.smax = INT64_MAX;
409 	if (b.smin == b.smax && b.smin >= 0 && b.smin < 64)
418 	c.smax = s64_shr(a.smax, amount);
430 	c.smax = a.smax & b.smax;
445 	c.smax = a.smax | b.smax;
457 	c.smax = a.smax | b.smax;
469 	c.smax = s64_max(a.smax, b.smax);
485 	c.smax = si;
2636 	    && ((lc.smin == 0 && lc.smax != 0 && lc.smax != INT64_MAX
2637 		    && (lc.smax & (lc.smax + 1)) == 0)
2638 		|| (lc.smin != INT64_MAX && lc.smax != INT64_MIN
2639 		    && lc.smin + 1 == -lc.smax))
2642 	    && u64_width((uint64_t)lc.smax - (uint64_t)lc.smin) + n == lw)
3597 	    : x >= ic.smin && x <= ic.smax && x == (int64_t)x)
3713 	    : tpc.smin <= c.smin && tpc.smax >= c.smax)
OpenGrok
