val.f = float64_to_float32(fpa11->fpreg[Fn].fDouble); 
val.f = float64_to_float32(roundData, fpa11->fpreg[Fn].fDouble); 
static inline void storeSingle(const unsigned int Fn, unsigned int __user *pMem){	FPA11 *fpa11 = GET_FPA11();	union {		float32 f;		unsigned int i[1];	} val;	switch (fpa11->fType[Fn]) {	case typeDouble:		val.f = float64_to_float32(fpa11->fpreg[Fn].fDouble);		break;#ifdef CONFIG_FPE_NWFPE_XP	case typeExtended:		val.f = floatx80_to_float32(fpa11->fpreg[Fn].fExtended);		break;#endif	default:		val.f = fpa11->fpreg[Fn].fSingle;	}	put_user(val.i[0], pMem);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f148af2593ef76ac705d1cc6abe48f455c9912cc/fpa11_cpdt.c/buggy/arch/arm/nwfpe/fpa11_cpdt.c