Convert Scalar Single-Precision Floating-Point Values to Scalar Double-Precision Floating-Point Values

Encoding

EncodingOperand 1Operand 2Operand 3Operand 4
rmn/aModRM.reg[rw]ModRM.r/m[r]
rvmn/aModRM.reg[w]VEX.vvvv[r]ModRM.r/m[r]
ervmtuple1-scalarModRM.reg[w]EVEX.vvvvv[r]ModRM.r/m[r]

Description

The (V)CVTSS2SD instruction converts a scalar single-precision floating-point value from the source operand to a scalar double-precision floating-point value. The result is stored in the destination operand.

The VEX and EVEX forms will copy bits 64..127 from the first source operand into the destination. All forms except the legacy SSE one will zero the upper (untouched) bits.

Operation

public void CVTSS2SD(SimdF64 dest, SimdF32 src)
{
    dest[0] = ConvertToF32(src[0]);
    // dest[1..] is unmodified
}

public void VCVTSS2SD_Vex(SimdF64 dest, SimdF64 src1, SimdF32 src2)
{
    dest[0] = ConvertToF32(src2[0]);
    dest[1] = src1[1];
    dest[2..] = 0;
}

public void VCVTSS2SD_EvexMemory(SimdF64 dest, SimdF64 src1, SimdF32 src2, KMask k)
{
    if (k[0])
        dest[0] = ConvertToF32(src2[0]);
    else if (EVEX.z)
        dest[0] = 0;
    // otherwise unchanged
    dest[1] = src1[1];
    dest[2..] = 0;
}

public void VCVTSS2SD_EvexRegister(SimdF64 dest, SimdF64 src1, SimdF32 src2, KMask k)
{
    if (EVEX.b)
        OverrideRoundingModeForThisInstruction(EVEX.rc);

    if (k[0])
        dest[0] = ConvertToF32(src2[0]);
    else if (EVEX.z)
        dest[0] = 0;
    // otherwise unchanged
    dest[1] = src1[1];
    dest[2..] = 0;
}

Intrinsics

Exceptions

SIMD Floating-Point

#XM
  • #D - Denormal operand.
  • #I - Invalid operation.

Other Exceptions

VEX Encoded Form: See Type 3 Exception Conditions.
EVEX Encoded Form: See Type E3 Exception Conditions.