Refactor is_genbool_v not to use type lists

Author: aelovikov-intel

sycl/include/sycl/detail/generic_type_lists.hpp

@@ -461,16 +461,6 @@ using marray_integer_list =
 using integer_list =
     tl_append<scalar_integer_list, vector_integer_list, marray_integer_list>;
 
-// bool types
-
-using marray_bool_list =
-    type_list<marray<bool, 1>, marray<bool, 2>, marray<bool, 3>,
-              marray<bool, 4>, marray<bool, 8>, marray<bool, 16>>;
-
-using scalar_bool_list = type_list<bool>;
-
-using bool_list = tl_append<scalar_bool_list, marray_bool_list>;
-
 } // namespace gtl
 } // namespace detail
 } // namespace _V1

sycl/include/sycl/detail/generic_type_traits.hpp

@@ -65,7 +65,10 @@ inline constexpr bool is_sugeninteger_v =
     is_contained_v<T, gtl::scalar_unsigned_integer_list>;
 
 template <typename T>
-inline constexpr bool is_genbool_v = is_contained_v<T, gtl::bool_list>;
+inline constexpr bool is_genbool_v =
+    std::is_same_v<T, bool> ||
+    (is_marray_v<T> && std::is_same_v<element_type_t<T>, bool> &&
+     is_allowed_vec_size_v<num_elements_v<T>>);
 
 template <typename T>
 using is_byte = typename

sycl/include/sycl/detail/type_traits/vec_marray_traits.hpp

@@ -99,6 +99,10 @@ struct element_type<T __attribute__((ext_vector_type(N)))> {
 #endif
 template <typename T> using element_type_t = typename element_type<T>::type;
 
+template <int N>
+inline constexpr bool is_allowed_vec_size_v =
+    N == 1 || N == 2 || N == 3 || N == 4 || N == 8 || N == 16;
+
 } // namespace detail
 } // namespace _V1
 } // namespace sycl

sycl/include/sycl/vector.hpp

@@ -137,8 +137,7 @@ class __SYCL_EBO vec
   static_assert(std::is_same_v<DataT, std::remove_cv_t<DataT>>,
                 "DataT must be cv-unqualified");
 
-  static_assert(NumElements == 1 || NumElements == 2 || NumElements == 3 ||
-                    NumElements == 4 || NumElements == 8 || NumElements == 16,
+  static_assert(detail::is_allowed_vec_size_v<NumElements>,
                 "Invalid number of elements for sycl::vec: only 1, 2, 3, 4, 8 "
                 "or 16 are supported");
   static_assert(sizeof(bool) == sizeof(uint8_t), "bool size is not 1 byte");