Adding support for the SSE ConvertTo Int32, Int32WithTruncation, Int64WithTruncation, Single, and Vector128Single scalar intrinsics

Author: tannergooding

src/jit/hwintrinsiccodegenxarch.cpp

@@ -344,6 +344,34 @@ void CodeGen::genSSEIntrinsic(GenTreeHWIntrinsic* node)
             emit->emitIns_SIMD_R_R_R_I(INS_cmpss, targetReg, op1Reg, op2Reg, 3, TYP_SIMD16);
             break;
 
+        case NI_SSE_ConvertToInt32:
+        case NI_SSE_ConvertToInt64:
+            assert(baseType == TYP_FLOAT);
+            assert(op2 == nullptr);
+            emit->emitIns_SIMD_R_R(INS_cvtss2si, targetReg, op1Reg, TYP_SIMD16);
+            break;
+
+        case NI_SSE_ConvertToInt32WithTruncation:
+        case NI_SSE_ConvertToInt64WithTruncation:
+            assert(baseType == TYP_FLOAT);
+            assert(op2 == nullptr);
+            emit->emitIns_SIMD_R_R(INS_cvttss2si, targetReg, op1Reg, TYP_SIMD16);
+            break;
+
+        case NI_SSE_ConvertToSingle:
+            assert(op2 == nullptr);
+            if (op1Reg != targetReg)
+            {
+                emit->emitIns_SIMD_R_R(INS_movss, targetReg, op1Reg, TYP_SIMD16);
+            }
+            break;
+
+        case NI_SSE_ConvertToVector128SingleScalar:
+            assert(baseType == TYP_FLOAT);
+            op2Reg = op2->gtRegNum;
+            emit->emitIns_SIMD_R_R_R(INS_cvtsi2ss, targetReg, op1Reg, op2Reg, TYP_SIMD16);
+            break;
+
         case NI_SSE_Divide:
             assert(baseType == TYP_FLOAT);
             op2Reg = op2->gtRegNum;

src/jit/hwintrinsicxarch.cpp

@@ -572,6 +572,30 @@ GenTree* Compiler::impSSEIntrinsic(NamedIntrinsic        intrinsic,
             retNode = gtNewSimdHWIntrinsicNode(TYP_SIMD16, op1, op2, intrinsic, TYP_FLOAT, 16);
             break;
 
+        case NI_SSE_ConvertToVector128SingleScalar:
+        {
+            assert(sig->numArgs == 2);
+            assert(getBaseTypeOfSIMDType(sig->retTypeSigClass) == TYP_FLOAT);
+
+#ifdef _TARGET_X86_
+            CORINFO_CLASS_HANDLE argClass;
+
+            CORINFO_ARG_LIST_HANDLE argLst = info.compCompHnd->getArgNext(sig->args);
+            CorInfoType             corType =
+                strip(info.compCompHnd->getArgType(sig, argLst, &argClass)); // type of the second argument
+
+            if (varTypeIsLong(JITtype2varType(corType)))
+            {
+                return impUnsupportedHWIntrinsic(CORINFO_HELP_THROW_PLATFORM_NOT_SUPPORTED, method, sig, mustExpand);
+            }
+#endif // _TARGET_X86_
+
+            op2     = impPopStack().val;
+            op1     = impSIMDPopStack(TYP_SIMD16);
+            retNode = gtNewSimdHWIntrinsicNode(TYP_SIMD16, op1, op2, intrinsic, TYP_FLOAT, 16);
+            break;
+        }
+
         case NI_SSE_StaticCast:
         {
             assert(sig->numArgs == 1);
@@ -609,6 +633,29 @@ GenTree* Compiler::impSSEIntrinsic(NamedIntrinsic        intrinsic,
             retNode = gtNewSimdHWIntrinsicNode(TYP_SIMD16, op1, intrinsic, TYP_FLOAT, 16);
             break;
 
+        case NI_SSE_ConvertToInt32:
+        case NI_SSE_ConvertToInt32WithTruncation:
+        case NI_SSE_ConvertToInt64:
+        case NI_SSE_ConvertToInt64WithTruncation:
+        case NI_SSE_ConvertToSingle:
+        {
+            assert(sig->numArgs == 1);
+            assert(getBaseTypeOfSIMDType(info.compCompHnd->getArgClass(sig, sig->args)) == TYP_FLOAT);
+            var_types callType = JITtype2varType(sig->retType);
+
+#ifdef _TARGET_X86_
+            if (varTypeIsLong(callType))
+            {
+                assert(intrinsic == NI_SSE_ConvertToInt64 || intrinsic == NI_SSE_ConvertToInt64WithTruncation);
+                return impUnsupportedHWIntrinsic(CORINFO_HELP_THROW_PLATFORM_NOT_SUPPORTED, method, sig, mustExpand);
+            }
+#endif // _TARGET_X86_
+
+            op1     = impSIMDPopStack(TYP_SIMD16);
+            retNode = gtNewSimdHWIntrinsicNode(callType, op1, intrinsic, TYP_FLOAT, 16);
+            break;
+        }
+
         case NI_SSE_SetZeroVector128:
             assert(sig->numArgs == 0);
             assert(getBaseTypeOfSIMDType(sig->retTypeSigClass) == TYP_FLOAT);

src/jit/lsraxarch.cpp

@@ -2562,13 +2562,12 @@ void LinearScan::TreeNodeInfoInitHWIntrinsic(GenTreeHWIntrinsic* intrinsicTree,
             break;
         }
 
+        case NI_SSE_ConvertToSingle:
         case NI_SSE_StaticCast:
-        {
             assert(info->srcCount == 1);
             assert(info->dstCount == 1);
             useList.Last()->info.isTgtPref = true;
             break;
-        }
 
 #ifdef _TARGET_X86_
         case NI_SSE42_Crc32: