| tree.c | 55 	int64_t		smax;	/* signed maximum */  member in struct:integer_constraints 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
 [all...]
 |