Added negate and copy sign functions

Author: Przemog1

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

@@ -327,7 +327,7 @@ struct bitReverse_helper<Vector NBL_PARTIAL_REQ_BOT(hlsl::is_integral_v<Vector>
 		Vector output;
 		using traits = hlsl::vector_traits<Vector>;
 		for (uint32_t i = 0; i < traits::Dimension; ++i)
-			output[i] = bitReverse_helper<scalar_type_t<Vector> >::__call(vec[i]);
+			output[i] = bitReverse_helper<traits::scalar_type >::__call(vec[i]);
 		return output;
 #endif
 	}
@@ -360,6 +360,41 @@ struct mul_helper
 	}
 };
 
+template<typename T NBL_STRUCT_CONSTRAINABLE>
+struct negate_helper;
+
+template<typename FloatingPoint>
+NBL_PARTIAL_REQ_TOP(hlsl::is_floating_point_v<FloatingPoint> && hlsl::is_scalar_v<FloatingPoint>)
+struct negate_helper<FloatingPoint NBL_PARTIAL_REQ_BOT(hlsl::is_floating_point_v<FloatingPoint> && hlsl::is_scalar_v<FloatingPoint>) >
+{
+	static inline FloatingPoint __call(NBL_CONST_REF_ARG(FloatingPoint) val)
+	{
+#ifdef __HLSL_VERSION
+		return spirv::fNegate(val);
+#else
+		return -val;
+#endif
+	}
+};
+
+template<typename Vector>
+NBL_PARTIAL_REQ_TOP(hlsl::is_vector_v<Vector>)
+struct negate_helper<Vector NBL_PARTIAL_REQ_BOT(hlsl::is_floating_point_v<Vector> && hlsl::is_vector_v<Vector>) >
+{
+	static Vector __call(NBL_CONST_REF_ARG(Vector) vec)
+	{
+#ifdef __HLSL_VERSION
+		return spirv::fNegate(vec);
+#else
+		Vector output;
+		using traits = hlsl::vector_traits<Vector>;
+		for (uint32_t i = 0; i < traits::Dimension; ++i)
+			output[i] = negate_helper<traits::scalar_type >::__call(vec[i]);
+		return output;
+#endif
+	}
+};
+
 }
 }
 }

include/nbl/builtin/hlsl/cpp_compat/intrinsics.hlsl

@@ -152,6 +152,11 @@ inline Integer bitReverse(Integer val)
 	return cpp_compat_intrinsics_impl::bitReverse_helper<Integer>::__call(val);
 }
 
+template<typename FloatingPoint>
+inline FloatingPoint negate(FloatingPoint val)
+{
+	return cpp_compat_intrinsics_impl::negate_helper<FloatingPoint>::__call(val);
+}
 
 }
 }

include/nbl/builtin/hlsl/ieee754.hlsl

@@ -130,6 +130,17 @@ NBL_CONSTEXPR_INLINE_FUNC typename unsigned_integer_of_size<sizeof(T)>::type ext
 	return ieee754::impl::bitCastToUintType(x) & traits<AsFloat>::signMask;
 }
 
+template <typename FloatingPoint NBL_FUNC_REQUIRES(hlsl::is_floating_point_v<FloatingPoint> && hlsl::is_scalar_v<FloatingPoint>)
+NBL_CONSTEXPR_INLINE_FUNC FloatingPoint copySign(FloatingPoint to, FloatingPoint from)
+{
+	using AsUint = typename unsigned_integer_of_size<sizeof(FloatingPoint)>::type;
+
+	const AsUint toAsUint = ieee754::impl::bitCastToUintType(to);
+	const AsUint fromAsUint = ieee754::impl::bitCastToUintType(from);
+
+	return bit_cast<FloatingPoint>(toAsUint | extractSignPreserveBitPattern(from));
+}
+
 }
 }
 }

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

@@ -246,6 +246,10 @@ template<typename Matrix>
 [[vk::ext_instruction( spv::OpTranspose )]]
 Matrix transpose(Matrix mat);
 
+template<typename FloatingPoint>
+[[vk::ext_instruction(spv::OpFNegate)]]
+enable_if_t<is_floating_point_v<FloatingPoint>, FloatingPoint> fNegate(FloatingPoint mat);
+
 }
 
 #endif

include/nbl/builtin/hlsl/tgmath.hlsl

@@ -98,7 +98,7 @@ inline T lerp(NBL_CONST_REF_ARG(T) x, NBL_CONST_REF_ARG(T) y, NBL_CONST_REF_ARG(
 }
 
 template<typename FloatingPoint NBL_FUNC_REQUIRES(hlsl::is_floating_point_v<FloatingPoint>)
-    inline bool isnan(NBL_CONST_REF_ARG(FloatingPoint) val)
+inline bool isnan(NBL_CONST_REF_ARG(FloatingPoint) val)
 {
 #ifdef __HLSL_VERSION
     return spirv::isNan<FloatingPoint>(val);