__fpu_shr
r->fp_sticky = __fpu_shr(y, x->fp_exp - y->fp_exp);
(void) __fpu_shr(r, 1);
int __fpu_shr(register struct fpn *, register int);
if (__fpu_shr(fp, FP_NMANT - 1 - exp) != 0)
if (__fpu_shr(fp, FP_NMANT - 1 - exp) != 0)
(void) __fpu_shr(fp, FP_NMANT - 1 - SNG_FRACBITS);
(void) __fpu_shr(fp, FP_NMANT - FP_NG - SNG_FRACBITS - exp);
(void) __fpu_shr(fp, FP_NMANT - FP_NG - 1 - SNG_FRACBITS);
(void) __fpu_shr(fp, FP_NMANT - 1 - DBL_FRACBITS);
(void) __fpu_shr(fp, FP_NMANT - FP_NG - DBL_FRACBITS - exp);
(void) __fpu_shr(fp, FP_NMANT - FP_NG - 1 - DBL_FRACBITS);
(void) __fpu_shr(fp, 2); /* since we are not rounding */
(void) __fpu_shr(fp, FP_NMANT - FP_NG - EXT_FRACBITS - exp);