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