dbl_to_sgl_fcnvfxt
int dbl_to_sgl_fcnvfxt(dbl_floating_point *, int *, unsigned int *);
return(dbl_to_sgl_fcnvfxt(&fpregs[r1],
return(dbl_to_sgl_fcnvfxt(&fpregs[r1],
if (dbl_to_sgl_fcnvfxt(&fpregs[ta],(unsigned *) &atmp,