59       case Ity_F64:     vex_printf( "F64");  break;  in ppIRType()
2760          TERNARY(ity_RMode,Ity_F64,Ity_F64, Ity_F64);  in typeOfPrimop()
2767          UNARY(Ity_F64, Ity_F64);  in typeOfPrimop()
2774          BINARY(ity_RMode,Ity_F64, Ity_F64);  in typeOfPrimop()
2785          BINARY(Ity_F64,Ity_F64, Ity_I32);  in typeOfPrimop()
2790       case Iop_F64toI16S: BINARY(ity_RMode,Ity_F64, Ity_I16);  in typeOfPrimop()
2791       case Iop_F64toI32S: BINARY(ity_RMode,Ity_F64, Ity_I32);  in typeOfPrimop()
2793          BINARY(ity_RMode,Ity_F64, Ity_I64);  in typeOfPrimop()
2795       case Iop_F64toI32U: BINARY(ity_RMode,Ity_F64, Ity_I32);  in typeOfPrimop()
2797       case Iop_I32StoF64: UNARY(Ity_I32, Ity_F64);  in typeOfPrimop()
2798       case Iop_I64StoF64: BINARY(ity_RMode,Ity_I64, Ity_F64);  in typeOfPrimop()
2799       case Iop_I64UtoF64: BINARY(ity_RMode,Ity_I64, Ity_F64);  in typeOfPrimop()
2802       case Iop_I32UtoF64: UNARY(Ity_I32, Ity_F64);  in typeOfPrimop()
2813       case Iop_F32toF64: UNARY(Ity_F32, Ity_F64);  in typeOfPrimop()
2814       case Iop_F16toF64: UNARY(Ity_F16, Ity_F64);  in typeOfPrimop()
2817       case Iop_F64toF32: BINARY(ity_RMode,Ity_F64, Ity_F32);  in typeOfPrimop()
2818       case Iop_F64toF16: BINARY(ity_RMode,Ity_F64, Ity_F16);  in typeOfPrimop()
2821       case Iop_ReinterpI64asF64: UNARY(Ity_I64, Ity_F64);  in typeOfPrimop()
2822       case Iop_ReinterpF64asI64: UNARY(Ity_F64, Ity_I64);  in typeOfPrimop()
2828          TERNARY(ity_RMode,Ity_F64,Ity_F64, Ity_F64);  in typeOfPrimop()
2831          TERNARY(ity_RMode,Ity_F64,Ity_F64, Ity_I32);  in typeOfPrimop()
2835       case Iop_RoundF64toInt: BINARY(ity_RMode,Ity_F64, Ity_F64);  in typeOfPrimop()
2839          QUATERNARY(ity_RMode,Ity_F64,Ity_F64,Ity_F64, Ity_F64);  in typeOfPrimop()
2844          UNARY(Ity_F64, Ity_F64);  in typeOfPrimop()
2846          BINARY(ity_RMode,Ity_F64, Ity_F64);  in typeOfPrimop()
2848          UNARY(Ity_F64, Ity_F32);  in typeOfPrimop()
3135         BINARY(Ity_F64,Ity_F64, Ity_F128);  in typeOfPrimop()
3139         UNARY(Ity_F128, Ity_F64);  in typeOfPrimop()
3180       case Iop_F64toF128: UNARY(Ity_F64, Ity_F128);  in typeOfPrimop()
3183       case Iop_F128toF64: BINARY(ity_RMode,Ity_F128, Ity_F64);  in typeOfPrimop()
3289          BINARY(ity_RMode, Ity_F64, Ity_D32);  in typeOfPrimop()
3292          BINARY(ity_RMode, Ity_F64, Ity_D64);  in typeOfPrimop()
3295          BINARY(ity_RMode, Ity_F64, Ity_D128);  in typeOfPrimop()
3310          BINARY(ity_RMode, Ity_D32, Ity_F64);  in typeOfPrimop()
3319          BINARY(ity_RMode, Ity_D64, Ity_F64);  in typeOfPrimop()
3328          BINARY(ity_RMode, Ity_D128, Ity_F64);  in typeOfPrimop()
3518       case Ico_F64:   return Ity_F64;  in typeOfIRConst()
3519       case Ico_F64i:  return Ity_F64;  in typeOfIRConst()
3601       case Ity_F16: case Ity_F32: case Ity_F64: case Ity_F128:  in isPlausibleIRType()
4641       case Ity_F64:  return 8;  in sizeofIRType()