sgl_fadd
return(sgl_fadd(&fpregs[r1],&fpregs[r2],
if (sgl_fadd(&fpregs[ta], &fpregs[ra], &atmp.ints.i1,