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...] |