s64_shr
return s64_shr(l, r & 63);
c.smin = s64_shr(a.smin, amount);
c.smax = s64_shr(a.smax, amount);