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