WIP: Rewrite properties storage

Author: rolandschulz

sycl/include/sycl/ext/intel/esimd/memory_properties.hpp

@@ -77,8 +77,9 @@ class properties
 // Deduction guides
 template <typename... PropertyValueTs>
 properties(PropertyValueTs... props)
-    -> properties<typename sycl::ext::oneapi::experimental::detail::Sorted<
-        PropertyValueTs...>::type>;
+    -> properties<sycl::ext::oneapi::experimental::detail::sort_properties<
+        sycl::ext::oneapi::experimental::detail::type_list<
+            PropertyValueTs...>>>;
 #endif
 
 /// The 'alignment' property is used to specify the alignment of memory

sycl/include/sycl/ext/oneapi/experimental/annotated_ptr/annotated_ptr.hpp

@@ -303,7 +303,7 @@ __SYCL_TYPE(annotated_ptr) annotated_ptr<T, detail::properties_t<Props...>> {
   annotated_ptr &operator=(const annotated_ptr &) = default;
 
   explicit annotated_ptr(T *Ptr,
-                         const property_list_t & = properties{}) noexcept
+                         const property_list_t & = property_list_t{}) noexcept
       : m_Ptr(Ptr) {}
 
   // Constructs an annotated_ptr object from a raw pointer and variadic

sycl/include/sycl/ext/oneapi/experimental/annotated_usm/alloc_util.hpp

@@ -48,17 +48,10 @@ using HasBufferLocation = HasProperty<buffer_location_key, PropertyListT>;
 // Get the value of a property from a property list
 template <typename PropKey, typename ConstType, typename DefaultPropVal,
           typename PropertyListT>
-struct GetPropertyValueFromPropList {};
-
-template <typename PropKey, typename ConstType, typename DefaultPropVal,
-          typename... Props>
-struct GetPropertyValueFromPropList<PropKey, ConstType, DefaultPropVal,
-                                    detail::properties_t<Props...>> {
-  using prop_val_t = std::conditional_t<
-      detail::ContainsProperty<PropKey, std::tuple<Props...>>::value,
-      typename detail::FindCompileTimePropertyValueType<
-          PropKey, std::tuple<Props...>>::type,
-      DefaultPropVal>;
+struct GetPropertyValueFromPropList {
+  using prop_val_t =
+      decltype(detail::ValueOrDefault<PropertyListT, PropKey>::get(
+          DefaultPropVal()));
   static constexpr ConstType value =
       detail::PropertyMetaInfo<std::remove_const_t<prop_val_t>>::value;
 };

sycl/include/sycl/ext/oneapi/experimental/prefetch.hpp

@@ -48,8 +48,6 @@ inline constexpr prefetch_hint_key::value_t<cache_level::L4, nontemporal>
     prefetch_hint_L4_nt;
 
 namespace detail {
-template <> struct IsCompileTimeProperty<prefetch_hint_key> : std::true_type {};
-
 template <cache_level Level, typename Hint>
 struct PropertyMetaInfo<prefetch_hint_key::value_t<Level, Hint>> {
   static constexpr const char *name = std::is_same_v<Hint, nontemporal>