use spirv intrinsic for dot

Author: keptsecret

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

@@ -134,6 +134,7 @@ template<typename T> AUTO_SPECIALIZE_TRIVIAL_CASE_HELPER(find_lsb_helper, findIL
 #undef FIND_MSB_LSB_RETURN_TYPE
 
 template<typename T> AUTO_SPECIALIZE_TRIVIAL_CASE_HELPER(bitReverse_helper, bitReverse, (T), (T), T)
+template<typename T> AUTO_SPECIALIZE_TRIVIAL_CASE_HELPER(dot_helper, dot, (T), (T)(T), typename vector_traits<T>::scalar_type)
 template<typename T> AUTO_SPECIALIZE_TRIVIAL_CASE_HELPER(transpose_helper, transpose, (T), (T), T)
 template<typename T> AUTO_SPECIALIZE_TRIVIAL_CASE_HELPER(length_helper, length, (T), (T), typename vector_traits<T>::scalar_type)
 template<typename T> AUTO_SPECIALIZE_TRIVIAL_CASE_HELPER(normalize_helper, normalize, (T), (T), T)
@@ -599,20 +600,6 @@ struct nClamp_helper<T>
 	}
 };
 
-#endif // C++ only specializations
-
-// C++ and HLSL specializations
-
-template<typename T>
-NBL_PARTIAL_REQ_TOP(concepts::UnsignedIntegralScalar<T>)
-struct bitReverseAs_helper<T NBL_PARTIAL_REQ_BOT(concepts::UnsignedIntegralScalar<T>) >
-{
-	static T __call(NBL_CONST_REF_ARG(T) val, uint16_t bits)
-	{
-		return bitReverse_helper<T>::__call(val) >> promote<T, scalar_type_t<T> >(scalar_type_t <T>(sizeof(T) * 8 - bits));
-	}
-};
-
 template<typename Vectorial>
 NBL_PARTIAL_REQ_TOP(concepts::Vectorial<Vectorial>)
 struct dot_helper<Vectorial NBL_PARTIAL_REQ_BOT(concepts::Vectorial<Vectorial>) >
@@ -632,6 +619,20 @@ struct dot_helper<Vectorial NBL_PARTIAL_REQ_BOT(concepts::Vectorial<Vectorial>)
 	}
 };
 
+#endif // C++ only specializations
+
+// C++ and HLSL specializations
+
+template<typename T>
+NBL_PARTIAL_REQ_TOP(concepts::UnsignedIntegralScalar<T>)
+struct bitReverseAs_helper<T NBL_PARTIAL_REQ_BOT(concepts::UnsignedIntegralScalar<T>) >
+{
+	static T __call(NBL_CONST_REF_ARG(T) val, uint16_t bits)
+	{
+		return bitReverse_helper<T>::__call(val) >> promote<T, scalar_type_t<T> >(scalar_type_t <T>(sizeof(T) * 8 - bits));
+	}
+};
+
 #ifdef __HLSL_VERSION
 // SPIR-V already defines specializations for builtin vector types
 #define VECTOR_SPECIALIZATION_CONCEPT concepts::Vectorial<T> && !is_vector_v<T>

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

@@ -318,6 +318,10 @@ 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>)
+[[vk::ext_instruction( spv::OpDot )]]
+typename vector_traits<Vector>::scalar_type dot(Vector lhs, Vector rhs);
+
 template<typename Matrix>
 [[vk::ext_instruction( spv::OpTranspose )]]
 Matrix transpose(Matrix mat);