Update SemaCheck and set return type and make void as return type in Builtin

Author: sumitsays

clang/include/clang/Basic/Builtins.td

@@ -4894,7 +4894,7 @@ def HLSLDotProduct : LangBuiltin<"HLSL_LANG"> {
 def HLSLDot2Add : LangBuiltin<"HLSL_LANG"> {
   let Spellings = ["__builtin_hlsl_dot2add"];
   let Attributes = [NoThrow, Const, CustomTypeChecking];
-  let Prototype = "float(...)";
+  let Prototype = "void(...)";
 }
 
 def HLSLDot4AddI8Packed : LangBuiltin<"HLSL_LANG"> {

clang/lib/Sema/SemaHLSL.cpp

@@ -2490,15 +2490,27 @@ bool SemaHLSL::CheckBuiltinFunctionCall(unsigned BuiltinID, CallExpr *TheCall) {
     // Check number of arguments should be 3
     if (SemaRef.checkArgCount(TheCall, 3))
       return true;
-    // Check first two arguments should be vectors of same length
-    if (CheckVectorElementCallArgs(&SemaRef, TheCall, TheCall->getNumArgs() - 1))
+
+    // Check first two arguments are vector of length 2 with half data type
+    auto checkHalfVectorOfSize2 = [](clang::QualType PassedType) -> bool {
+      if (const auto *VecTy = PassedType->getAs<VectorType>())
+        return !(VecTy->getNumElements() == 2 &&
+            VecTy->getElementType()->isHalfType());
       return true;
-    if (CheckArgTypeMatches(&SemaRef, TheCall->getArg(2), SemaRef.getASTContext().FloatTy))
+    };
+    if(CheckArgTypeIsCorrect(&SemaRef, TheCall->getArg(0),
+                             SemaRef.getASTContext().HalfTy,
+                             checkHalfVectorOfSize2))
       return true;
-    if (CheckNoDoubleVectors(&SemaRef, TheCall,
-                             TheCall->getNumArgs() - 1,
-                             SemaRef.Context.HalfTy))
+    if(CheckArgTypeIsCorrect(&SemaRef, TheCall->getArg(1),
+                             SemaRef.getASTContext().HalfTy,
+                             checkHalfVectorOfSize2))
+      return true;
+
+    // Check third argument is a float
+    if (CheckArgTypeMatches(&SemaRef, TheCall->getArg(2), SemaRef.getASTContext().FloatTy))
       return true;
+    TheCall->setType(TheCall->getArg(2)->getType());
     break;
   }
   case Builtin::BI__builtin_hlsl_elementwise_firstbithigh: