Lines Matching refs:Ity_F64
2975 vassert(ty == Ity_F32 || (ty == Ity_F64 && fp_mode64));
2983 || (e->Iex.Load.ty == Ity_F64 && fp_mode64));
2986 if (e->Iex.Load.ty == Ity_F64) {
3000 if (e->Iex.Load.ty == Ity_F64) {
3233 /* load as Ity_F64 */
3266 /* load as Ity_F64 */
3385 if (ty == Ity_F64
3417 vassert(ty == Ity_F64);
3427 vassert(e->Iex.Load.ty == Ity_F64);
3605 if (ty == Ity_F64
3671 if (tyd == Ity_F64 && mode64) {
3677 if (!mode64 && (tyd == Ity_F64)) {
3725 if (ty == Ity_F64) {
3780 if (ty == Ity_F64) {
4222 case Ity_F64: