sgl_fcmp
return(sgl_fcmp(&fpregs[r1],&fpregs[r2],
int sgl_fcmp(sgl_floating_point *, sgl_floating_point *, unsigned int, unsigned int *);