| /src/usr.bin/xlint/lint1/ |
| tree.c | 54 int64_t smin; /* signed minimum */ member in struct:integer_constraints
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
[all...] |
| tree.c | 54 int64_t smin; /* signed minimum */ member in struct:integer_constraints
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
[all...] |
