Added dot HLSL specialization

Author: Przemog1

include/nbl/builtin/hlsl/cpp_compat/impl/intrinsics_impl.hlsl

@@ -600,25 +600,6 @@ struct nClamp_helper<T>
 	}
 };
 
-template<typename Vectorial>
-NBL_PARTIAL_REQ_TOP(concepts::Vectorial<Vectorial>)
-struct dot_helper<Vectorial NBL_PARTIAL_REQ_BOT(concepts::Vectorial<Vectorial>) >
-{
-	using scalar_type = typename vector_traits<Vectorial>::scalar_type;
-
-	static inline scalar_type __call(NBL_CONST_REF_ARG(Vectorial) lhs, NBL_CONST_REF_ARG(Vectorial) rhs)
-	{
-		static const uint32_t ArrayDim = vector_traits<Vectorial>::Dimension;
-		static array_get<Vectorial, scalar_type> getter;
-
-		scalar_type retval = getter(lhs, 0) * getter(rhs, 0);
-		for (uint32_t i = 1; i < ArrayDim; ++i)
-			retval = retval + getter(lhs, i) * getter(rhs, i);
-
-		return retval;
-	}
-};
-
 #endif // C++ only specializations
 
 // C++ and HLSL specializations
@@ -889,6 +870,33 @@ struct mix_helper<T, U NBL_PARTIAL_REQ_BOT(concepts::Vectorial<T> && concepts::B
 	}
 };
 
+#ifdef __HLSL_VERSION
+#define DOT_HELPER_REQUIREMENT (concepts::Vectorial<Vectorial> && !is_vector_v<Vectorial>)
+#else
+#define DOT_HELPER_REQUIREMENT concepts::Vectorial<Vectorial>
+#endif
+
+template<typename Vectorial>
+NBL_PARTIAL_REQ_TOP(DOT_HELPER_REQUIREMENT)
+struct dot_helper<Vectorial NBL_PARTIAL_REQ_BOT(DOT_HELPER_REQUIREMENT) >
+{
+	using scalar_type = typename vector_traits<Vectorial>::scalar_type;
+
+	static inline scalar_type __call(NBL_CONST_REF_ARG(Vectorial) lhs, NBL_CONST_REF_ARG(Vectorial) rhs)
+	{
+		static const uint32_t ArrayDim = vector_traits<Vectorial>::Dimension;
+		static array_get<Vectorial, scalar_type> getter;
+
+		scalar_type retval = getter(lhs, 0) * getter(rhs, 0);
+		for (uint32_t i = 1; i < ArrayDim; ++i)
+			retval = retval + getter(lhs, i) * getter(rhs, i);
+
+		return retval;
+	}
+};
+
+#undef DOT_HELPER_REQUIREMENT
+
 }
 }
 }

include/nbl/builtin/hlsl/spirv_intrinsics/core.hlsl

@@ -318,7 +318,7 @@ template<typename T NBL_FUNC_REQUIRES(is_floating_point_v<T> && is_vector_v<T>)
 [[vk::ext_instruction(spv::OpIsInf)]]
 vector<bool, vector_traits<T>::Dimension> isInf(T val);
 
-template<typename Vector NBL_FUNC_REQUIRES(is_vector_v<T>)
+template<typename Vector NBL_FUNC_REQUIRES(is_vector_v<Vector>)
 [[vk::ext_instruction( spv::OpDot )]]
 typename vector_traits<Vector>::scalar_type dot(Vector lhs, Vector rhs);