[SYCL] Fixes for usm_allocator properties (intel#19890)

* Fix `verifyUSMAllocatorProperties` to allow supported properties
* No need to specialize `is_property<...>` for USM properties -
`std::base_of_v<>`-based implementation covers that.

Author: aelovikov-intel

sycl/include/sycl/ext/intel/experimental/usm_properties.hpp

@@ -39,16 +39,10 @@ class buffer_location
   uint64_t MLocation;
 };
 
+// If new properties are added here, update `verifyUSMAllocatorProperties` to
+// include them!
+
 } // namespace intel::experimental::property::usm
 } // namespace ext
-
-template <>
-struct is_property<ext::oneapi::property::usm::device_read_only>
-    : std::true_type {};
-
-template <>
-struct is_property<ext::intel::experimental::property::usm::buffer_location>
-    : std::true_type {};
-
 } // namespace _V1
 } // namespace sycl

sycl/source/detail/usm/usm_impl.cpp

@@ -659,9 +659,22 @@ void release_from_device_copy(const void *Ptr, const queue &Queue) {
 } // namespace ext::oneapi::experimental
 
 __SYCL_EXPORT void verifyUSMAllocatorProperties(const property_list &PropList) {
-  auto NoAllowedPropertiesCheck = [](int) { return false; };
-  detail::PropertyValidator::checkPropsAndThrow(
-      PropList, NoAllowedPropertiesCheck, NoAllowedPropertiesCheck);
+  auto DataLessCheck = [](int Kind) {
+    switch (Kind) {
+    case detail::DeviceReadOnly:
+      return true;
+    }
+    return false;
+  };
+  auto WithDataCheck = [](int Kind) {
+    switch (Kind) {
+    case detail::PropWithDataKind::AccPropBufferLocation:
+      return true;
+    }
+    return false;
+  };
+  detail::PropertyValidator::checkPropsAndThrow(PropList, DataLessCheck,
+                                                WithDataCheck);
 }
 
 } // namespace _V1

sycl/test-e2e/Adapters/level_zero/usm_device_read_only.cpp

@@ -8,6 +8,8 @@
 
 #include <sycl/ext/oneapi/experimental/annotated_usm/alloc_shared.hpp>
 
+#include <sycl/usm/usm_allocator.hpp>
+
 using namespace std;
 using namespace sycl;
 
@@ -24,7 +26,22 @@ int main(int argc, char *argv[]) {
   // CHECK: ---> urUSMSharedAlloc
   // CHECK-NOT: zeMemAllocShared
 
-  free(ptr1, Q);
+  sycl::usm_allocator<int, sycl::usm::alloc::shared> allocator_no_prop{Q};
+
+  auto ptr3 = allocator_no_prop.allocate(1);
+  // CHECK: ---> urUSMSharedAlloc
+  // CHECK: zeMemAllocShared
+
+  sycl::usm_allocator<int, sycl::usm::alloc::shared> allocator_prop{
+      Q, {sycl::ext::oneapi::property::usm::device_read_only{}}};
+
+  auto ptr4 = allocator_prop.allocate(1);
+  // CHECK: ---> urUSMSharedAlloc
+  // CHECK-NOT: zeMemAllocShared
+
+  allocator_prop.deallocate(ptr4, 1);
+  allocator_no_prop.deallocate(ptr3, 1);
   free(ptr2, Q);
+  free(ptr1, Q);
   return 0;
 }

sycl/test-e2e/USM/properties.cpp

@@ -0,0 +1,15 @@
+// RUN: %{build} -o %t.out
+// RUN: %{run} %t.out
+
+#include <sycl/ext/intel/experimental/usm_properties.hpp>
+#include <sycl/usm/usm_allocator.hpp>
+
+int main() {
+  sycl::queue q;
+
+  // Ensure properties are supported when constructing the allocator:
+  sycl::usm_allocator<int, sycl::usm::alloc::shared> allocator{
+      q,
+      {sycl::ext::oneapi::property::usm::device_read_only{},
+       sycl::ext::intel::experimental::property::usm::buffer_location{1}}};
+}