clean up type_traits.hlsl and spot a bug in limits.hlsl max_exponent and min_exponent

Author: devsh

examples_tests

@@ -127,8 +127,8 @@ struct num_base : type_identity<T>
     */
     NBL_CONSTEXPR_STATIC_INLINE int32_t float_max_decimal_exponent = 4*S16 + 30*S32 + 232*S64;
 
-    NBL_CONSTEXPR_STATIC_INLINE int32_t float_exponent_bits = 8 * size - float_digits - 1;
-    NBL_CONSTEXPR_STATIC_INLINE int32_t float_max_exponent = 1 << float_exponent_bits;
+    NBL_CONSTEXPR_STATIC_INLINE int32_t float_exponent_bits = 8 * size - 1 - (float_digits-1);
+    NBL_CONSTEXPR_STATIC_INLINE int32_t float_max_exponent = 1 << (float_exponent_bits-1);
     NBL_CONSTEXPR_STATIC_INLINE int32_t float_min_exponent = 3 - float_max_exponent;
     NBL_CONSTEXPR_STATIC_INLINE bool is_bool = is_same<T, bool>::value;
 

include/nbl/builtin/hlsl/limits.hlsl

@@ -302,29 +302,21 @@ NBL_CONSTEXPR_STATIC_INLINE bool is_spirv_type_v = is_spirv_type<T>::value;
 
 template<class T> 
 struct is_unsigned : impl::base_type_forwarder<impl::is_unsigned, typename remove_cv<T>::type> {};
-template<class T>
-NBL_CONSTEXPR_STATIC_INLINE bool is_unsigned_v = is_unsigned<T>::value;
 
 template<class T> 
 struct is_integral : impl::base_type_forwarder<impl::is_integral, typename remove_cv<T>::type> {};
-template<class T>
-NBL_CONSTEXPR_STATIC_INLINE bool is_integral_v = is_integral<T>::value;
 
 template<class T> 
 struct is_floating_point : impl::base_type_forwarder<impl::is_floating_point, typename remove_cv<T>::type> {};
 
 template<class T>
 struct is_signed : impl::base_type_forwarder<impl::is_signed, typename remove_cv<T>::type> {};
-template<class T>
-NBL_CONSTEXPR_STATIC_INLINE bool is_signed_v = is_signed<T>::value;
 
 template<class T>
 struct is_scalar : bool_constant<
     impl::is_integral<typename remove_cv<T>::type>::value || 
     impl::is_floating_point<typename remove_cv<T>::type>::value
 > {};
-template<class T>
-NBL_CONSTEXPR_STATIC_INLINE bool is_scalar_v = is_scalar<T>::value;
 
 template<class T>
 struct is_const : bool_constant<false> {};
@@ -396,13 +388,8 @@ struct enable_if {};
 template<class T>
 struct enable_if<true, T> : type_identity<T> {};
 
-template<bool B, class T = void>
-using enable_if_t = typename enable_if<B, T>::type;
-
 template<class T>
 struct alignment_of;
-template<class T>
-NBL_CONSTEXPR_STATIC_INLINE uint32_t alignment_of_v = alignment_of<T>::value;
 
 template<class>
 struct make_void { using type = void; };
@@ -527,9 +514,6 @@ using is_unbounded_array = std::is_unbounded_array<T>;
 template<class T>
 using is_scalar = std::is_scalar<T>;
 
-template<class T>
-NBL_CONSTEXPR_STATIC_INLINE bool is_scalar_v = is_scalar<T>::value;
-
 template<class T>
 struct is_signed : impl::base_type_forwarder<std::is_signed, T> {};
 
@@ -539,9 +523,6 @@ struct is_unsigned : impl::base_type_forwarder<std::is_unsigned, T> {};
 template<class T>
 struct is_integral : impl::base_type_forwarder<std::is_integral, T> {};
 
-template<class T>
-NBL_CONSTEXPR_STATIC_INLINE bool is_integral_v = is_integral<T>::value;
-
 template<class T>
 struct is_floating_point : impl::base_type_forwarder<std::is_floating_point, T> {};
 
@@ -590,9 +571,6 @@ using extent = std::extent<T, I>;
 template<bool B, class T = void>
 using enable_if = std::enable_if<B, T>;
 
-template<bool B, class T = void>
-using enable_if_t = typename enable_if<B, T>::type;
-
 template<class T>
 using alignment_of = std::alignment_of<T>;
 
@@ -614,9 +592,26 @@ using make_unsigned = std::make_unsigned<T>;
 
 #endif
 
+// Template Types
+template<bool B, class T = void>
+using enable_if_t = typename enable_if<B,T>::type;
+template<bool C, class T, class F>
+using conditional_t = typename conditional<C,T,F>::type;
+
+
 // Template Variables
 template<typename A, typename B>
-NBL_CONSTEXPR bool is_same_v = is_same<A,B>::value;
+NBL_CONSTEXPR bool is_same_v = is_same<A, B>::value;
+template<class T>
+NBL_CONSTEXPR bool is_unsigned_v = is_unsigned<T>::value;
+template<class T>
+NBL_CONSTEXPR bool is_integral_v = is_integral<T>::value;
+template<class T>
+NBL_CONSTEXPR bool is_signed_v = is_signed<T>::value;
+template<class T>
+NBL_CONSTEXPR bool is_scalar_v = is_scalar<T>::value;
+template<class T>
+NBL_CONSTEXPR uint32_t alignment_of_v = alignment_of<T>::value;
 
 // Overlapping definitions
 template<bool C, typename T, T A, T B>