s64_min
c.smin = s64_min(ll, s64_min(lu, s64_min(ul, uu)));
c.smax = s64_min(a.smax, (int64_t)(max_abs_b - 1));
c.smin = s64_min(a.smin, b.smin);