[NFCI][SYCL] Auto-deduce sycl::is_property via std::is_base_of (#7165)

Author: aelovikov-intel

sycl/include/sycl/properties/accessor_properties.hpp

@@ -125,8 +125,6 @@ template <typename DataT, int Dimensions, access::mode AccessMode>
 class host_accessor;
 
 // Accessor property trait specializations
-template <> struct is_property<property::noinit> : std::true_type {};
-template <> struct is_property<property::no_init> : std::true_type {};
 template <>
 struct is_property<ext::oneapi::property::no_offset> : std::true_type {};
 template <>

sycl/include/sycl/properties/buffer_properties.hpp

@@ -83,20 +83,6 @@ template <typename T, int Dimensions, typename AllocatorT, typename Enable>
 class buffer;
 
 // Buffer property trait specializations
-template <>
-struct is_property<property::buffer::use_host_ptr> : std::true_type {};
-template <> struct is_property<property::buffer::use_mutex> : std::true_type {};
-template <>
-struct is_property<property::buffer::detail::buffer_location> : std::true_type {
-};
-template <>
-struct is_property<property::buffer::context_bound> : std::true_type {};
-template <>
-struct is_property<property::buffer::mem_channel> : std::true_type {};
-template <>
-struct is_property<ext::oneapi::property::buffer::use_pinned_host_memory>
-    : std::true_type {};
-
 template <typename T, int Dimensions, typename AllocatorT>
 struct is_property_of<property::buffer::use_host_ptr,
                       buffer<T, Dimensions, AllocatorT, void>>

sycl/include/sycl/properties/context_properties.hpp

@@ -44,18 +44,10 @@ class use_primary_context
 class context;
 
 // Context property trait specializations
-template <>
-struct is_property<property::context::cuda::use_primary_context>
-    : std::true_type {};
-
 template <>
 struct is_property_of<property::context::cuda::use_primary_context, context>
     : std::true_type {};
 
-template <>
-struct is_property<ext::oneapi::cuda::property::context::use_primary_context>
-    : std::true_type {};
-
 template <>
 struct is_property_of<ext::oneapi::cuda::property::context::use_primary_context,
                       context> : std::true_type {};

sycl/include/sycl/properties/image_properties.hpp

@@ -46,12 +46,6 @@ class context_bound
 template <int Dimensions, typename AllocatorT> class image;
 
 // Image property trait specializations
-template <>
-struct is_property<property::image::use_host_ptr> : std::true_type {};
-template <> struct is_property<property::image::use_mutex> : std::true_type {};
-template <>
-struct is_property<property::image::context_bound> : std::true_type {};
-
 template <int Dimensions, typename AllocatorT>
 struct is_property_of<property::image::use_host_ptr,
                       image<Dimensions, AllocatorT>> : std::true_type {};

sycl/include/sycl/properties/property_traits.hpp

@@ -8,11 +8,17 @@
 
 #pragma once
 
+#include <sycl/detail/property_helper.hpp>
+
 namespace sycl {
 __SYCL_INLINE_VER_NAMESPACE(_V1) {
 
 // Property traits
-template <typename propertyT> struct is_property : public std::false_type {};
+template <typename propertyT>
+struct is_property
+    : public std::bool_constant<
+          std::is_base_of_v<detail::DataLessPropertyBase, propertyT> ||
+          std::is_base_of_v<detail::PropertyWithDataBase, propertyT>> {};
 
 template <typename propertyT, typename syclObjectT>
 struct is_property_of : public std::false_type {};

sycl/include/sycl/properties/queue_properties.hpp

@@ -58,19 +58,6 @@ class use_default_stream
 class queue;
 
 // Queue property trait specializations
-template <> struct is_property<property::queue::in_order> : std::true_type {};
-template <>
-struct is_property<property::queue::enable_profiling> : std::true_type {};
-template <>
-struct is_property<ext::oneapi::property::queue::discard_events>
-    : std::true_type {};
-template <>
-struct is_property<property::queue::cuda::use_default_stream> : std::true_type {
-};
-template <>
-struct is_property<ext::oneapi::cuda::property::queue::use_default_stream>
-    : std::true_type {};
-
 template <>
 struct is_property_of<property::queue::in_order, queue> : std::true_type {};
 template <>

sycl/include/sycl/properties/reduction_properties.hpp

@@ -22,9 +22,5 @@ class initialize_to_identity
 } // namespace property
 
 // Reduction property trait specializations
-template <>
-struct is_property<property::reduction::initialize_to_identity>
-    : std::true_type {};
-
 } // __SYCL_INLINE_VER_NAMESPACE(_V1)
 } // namespace sycl

sycl/test/basic_tests/stdcpp_compat.cpp

@@ -1,5 +1,5 @@
-// RUN: %clangxx -std=c++14 -fsycl -Wall -pedantic -Wno-c99-extensions -Wno-deprecated -fsyntax-only -Xclang -verify=expected,cxx14 %s -c -o %t.out
-// RUN: %clangxx -std=c++14 -fsycl -Wall -pedantic -Wno-c99-extensions -Wno-deprecated -fsyntax-only -Xclang -verify=cxx14,warning_extension,expected %s -c -o %t.out
+// RUN: %clangxx -std=c++14 -fsycl -Wall -pedantic -Wno-c99-extensions -Wno-deprecated -fsyntax-only -Xclang -verify-ignore-unexpected=error,note,warning -Xclang -verify=expected,cxx14 %s -c -o %t.out
+// RUN: %clangxx -std=c++14 -fsycl -Wall -pedantic -Wno-c99-extensions -Wno-deprecated -fsyntax-only -Xclang -verify-ignore-unexpected=error,note,warning -Xclang -verify=cxx14,warning_extension,expected  %s -c -o %t.out
 // RUN: %clangxx -std=c++17 -fsycl -Wall -pedantic -Wno-c99-extensions -Wno-deprecated -fsyntax-only -Xclang -verify %s -c -o %t.out
 // RUN: %clangxx -std=c++20 -fsycl -Wall -pedantic -Wno-c99-extensions -Wno-deprecated -fsyntax-only -Xclang -verify %s -c -o %t.out
 // RUN: %clangxx            -fsycl -Wall -pedantic -Wno-c99-extensions -Wno-deprecated -fsyntax-only -Xclang -verify %s -c -o %t.out