float64_to_float32
rFd->fSingle = float64_to_float32(&roundData, rFd->fDouble);
rFd->fSingle = float64_to_float32(&roundData, rFd->fDouble);
val.f = float64_to_float32(roundData, fpa11->fpreg[Fn].fDouble);
float32 float64_to_float32( struct roundingData *, float64 );
extern unsigned long int float64_to_float32(unsigned long long a);
tsk->thread.xstate->hardfpu.fpul = float64_to_float32(llx);
float32 float64_to_float32(float64 a);