[clang] [HLSL] Add bounds checks for the hlsl vector arguments and return types (PR #130724)

[Sarah Spall via cfe-commits]

================
@@ -89,23 +89,31 @@ void asuint(double4, out uint4, out uint4);
 /// \param X The X input value.
 /// \param Y The Y input value.
 
+template <typename T>
 _HLSL_16BIT_AVAILABILITY(shadermodel, 6.2)
-const inline half distance(half X, half Y) {
+const inline __detail::enable_if_t<__detail::is_arithmetic<T>::Value &&
----------------
spall wrote:

 Do you need to check T is arithmetic if you're also checking its half? Wont' the half check suffice?

https://github.com/llvm/llvm-project/pull/130724