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