Lines Matching refs:F64
880 // fr_src = mk_LoadR64toFPR( env, r_src ); // 1*I64 -> F64
882 // fr_src = mk_LoadRR32toFPR( env, r_src, r_src ); // 2*I32 -> F64
977 fr_src = mk_LoadR64toFPR( env, r_src ); // 1*I64 -> F64
979 fr_src = mk_LoadRR32toFPR( env, r_src, r_src ); // 2*I32 -> F64
1852 // store as F64
2068 any other type (I8/I16/I128/F32/F64/V128) the amode will not
2938 // store as F64
3168 union { UInt u32x2[2]; ULong u64; Double f64; } u;
3171 vassert(sizeof(u.f64) == 8);
3175 u.f64 = e->Iex.Const.con->Ico.F64;
3192 return mk_LoadR64toFPR( env, r_src ); // 1*I64 -> F64
3394 // 64-bit FP register -- i.e., F64.
