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

Lines Matching defs:smin
54 	int64_t		smin;	/* signed minimum */
231 		c.smin = width < 64 ? 0 : INT64_MIN;
237 		c.smin = -1 - (int64_t)(vbits >> 1);
252 		int64_t ll = si_mult_sat(tp, a.smin, b.smin);
253 		int64_t lu = si_mult_sat(tp, a.smin, b.smax);
254 		int64_t ul = si_mult_sat(tp, a.smax, b.smin);
257 		c.smin = s64_min(ll, s64_min(lu, s64_min(ul, uu)));
259 		c.umin = c.smin >= 0 ? (uint64_t)c.smin : 0;
260 		c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
268 	c.smin = INT64_MIN;
280 		if (b.smin >= 0)
286 	c.smin = INT64_MIN;
298 		uint64_t max_abs_b = u64_max(s64_abs(b.smin), s64_abs(b.smax));
303 		c.smin = s64_max(a.smin, -(int64_t)(max_abs_b - 1));
312 	c.smin = INT64_MIN;
325 		c.smin = si_plus_sat(tp, a.smin, b.smin);
327 		c.umin = c.smin >= 0 ? (uint64_t)c.smin : 0;
328 		c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
335 	c.smin = INT64_MIN;
345 		c.smin = 0;
356 	c.smin = si_minus_sat(tp, a.smin, b.smax);
357 	c.smax = si_minus_sat(tp, a.smax, b.smin);
360 		c.umin = c.smin >= 0 ? (uint64_t)c.smin : 0;
361 		c.umax = c.smin >= 0 ? (uint64_t)c.smax : UINT64_MAX;
381 	if (b.smin == b.smax && b.smin >= 0 && b.smin < 64)
382 		amount = (unsigned)b.smin;
392 		c.smin = (int64_t)c.umin;
395 		c.smin = INT64_MIN;
409 	if (b.smin == b.smax && b.smin >= 0 && b.smin < 64)
410 		amount = (unsigned)b.smin;
417 	c.smin = s64_shr(a.smin, amount);
429 	c.smin = a.smin & b.smin;
444 	c.smin = a.smin & b.smin;
456 	c.smin = a.smin | b.smin;
468 	c.smin = s64_min(a.smin, b.smin);
484 	c.smin = si;
2636 	    && ((lc.smin == 0 && lc.smax != 0 && lc.smax != INT64_MAX
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
