Lines Matching refs:Ity_F64
2984 vassert(ty == Ity_F32 || (ty == Ity_F64 && fp_mode64));
2992 || (e->Iex.Load.ty == Ity_F64 && fp_mode64));
2995 if (e->Iex.Load.ty == Ity_F64) {
3009 if (e->Iex.Load.ty == Ity_F64) {
3242 /* load as Ity_F64 */
3275 /* load as Ity_F64 */
3394 if (ty == Ity_F64
3426 vassert(ty == Ity_F64);
3436 vassert(e->Iex.Load.ty == Ity_F64);
3614 if (ty == Ity_F64
3680 if (tyd == Ity_F64 && mode64) {
3686 if (!mode64 && (tyd == Ity_F64)) {
3734 if (ty == Ity_F64) {
3789 if (ty == Ity_F64) {
4251 case Ity_F64:
