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