Skip to content

Commit c496f7a

Browse files
aelovikov-intelaelovikov-intel
committed
[SYCL] Don't use boost/mp11 for oneapi properties sorting
1 parent 61d963b commit c496f7a

File tree

5 files changed

+56
-58
lines changed

5 files changed

+56
-58
lines changed

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -77,8 +77,8 @@ class properties
7777
// Deduction guides
7878
template <typename... PropertyValueTs>
7979
properties(PropertyValueTs... props)
80-
-> properties<typename sycl::ext::oneapi::experimental::detail::Sorted<
81-
PropertyValueTs...>::type>;
80+
-> properties<typename sycl::ext::oneapi::experimental::detail::
81+
properties_sorter<PropertyValueTs...>::type>;
8282
#endif
8383

8484
/// The 'alignment' property is used to specify the alignment of memory

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

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,8 @@
1919
#include <sycl/ext/oneapi/properties/property_value.hpp>
2020
#include <sycl/pointers.hpp>
2121

22+
#include <sycl/detail/boost/mp11/algorithm.hpp>
23+
2224
#include <cstddef>
2325
#include <string_view>
2426
#include <tuple>

‎sycl/include/sycl/ext/oneapi/properties/properties.hpp‎

Lines changed: 52 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -132,6 +132,50 @@ constexpr bool properties_are_valid_for_ctad = []() constexpr {
132132

133133
template <typename... property_tys> struct properties_type_list;
134134
template <typename... property_tys> struct invalid_properties_type_list {};
135+
136+
template <typename... property_tys> struct properties_sorter {
137+
static constexpr auto sorted_indices = []() constexpr {
138+
int idx = 0;
139+
int N = sizeof...(property_tys);
140+
// std::sort isn't constexpr until C++20. Also, it's possible there will be
141+
// a compiler builtin to sort types, in which case we should start using
142+
// that.
143+
std::array to_sort{std::pair{PropertyID<property_tys>::value, idx++}...};
144+
auto swap_pair = [](auto &x, auto &y) constexpr {
145+
auto tmp_first = x.first;
146+
auto tmp_second = x.second;
147+
x.first = y.first;
148+
x.second = y.second;
149+
y.first = tmp_first;
150+
y.second = tmp_second;
151+
};
152+
for (int i = 0; i < N; ++i)
153+
for (int j = i; j < N; ++j)
154+
if (to_sort[j].first < to_sort[i].first)
155+
swap_pair(to_sort[i], to_sort[j]);
156+
157+
std::array<int, sizeof...(property_tys)> sorted_indices{};
158+
for (int i = 0; i < N; ++i)
159+
sorted_indices[i] = to_sort[i].second;
160+
161+
return sorted_indices;
162+
}();
163+
164+
template <typename> struct helper;
165+
template <int... IdxSeq>
166+
struct helper<std::integer_sequence<int, IdxSeq...>> {
167+
using type = properties_type_list<
168+
nth_type_t<sorted_indices[IdxSeq], property_tys...>...>;
169+
};
170+
171+
using type = typename helper<
172+
std::make_integer_sequence<int, sizeof...(property_tys)>>::type;
173+
};
174+
// Specialization to avoid zero-size array creation.
175+
template <> struct properties_sorter<> {
176+
using type = properties_type_list<>;
177+
};
178+
135179
} // namespace detail
136180

137181
template <typename properties_type_list_ty> class __SYCL_EBO properties;
@@ -271,17 +315,17 @@ class __SYCL_EBO properties<detail::properties_type_list<property_tys...>>
271315
};
272316

273317
// Deduction guides
274-
template <typename... PropertyValueTs,
318+
template <typename... unsorted_property_tys,
275319
typename = std::enable_if_t<
276-
detail::properties_are_valid_for_ctad<PropertyValueTs...>>>
277-
properties(PropertyValueTs... props)
278-
-> properties<typename detail::Sorted<PropertyValueTs...>::type>;
320+
detail::properties_are_valid_for_ctad<unsorted_property_tys...>>>
321+
properties(unsorted_property_tys... props) -> properties<
322+
typename detail::properties_sorter<unsorted_property_tys...>::type>;
279323

280-
template <typename... PropertyValueTs,
324+
template <typename... unsorted_property_tys,
281325
typename = std::enable_if_t<
282-
!detail::properties_are_valid_for_ctad<PropertyValueTs...>>>
283-
properties(PropertyValueTs... props)
284-
-> properties<detail::invalid_properties_type_list<PropertyValueTs...>>;
326+
!detail::properties_are_valid_for_ctad<unsorted_property_tys...>>>
327+
properties(unsorted_property_tys... props) -> properties<
328+
detail::invalid_properties_type_list<unsorted_property_tys...>>;
285329

286330
using empty_properties_t = decltype(properties{});
287331

‎sycl/include/sycl/ext/oneapi/properties/property_utils.hpp‎

Lines changed: 0 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -8,10 +8,6 @@
88

99
#pragma once
1010

11-
#include <sycl/detail/boost/mp11/algorithm.hpp> // for mp_sort_q
12-
#include <sycl/detail/boost/mp11/detail/mp_list.hpp> // for mp_list
13-
#include <sycl/detail/boost/mp11/detail/mp_rename.hpp> // for mp_rename
14-
#include <sycl/detail/boost/mp11/integral.hpp> // for mp_bool
1511
#include <sycl/ext/oneapi/properties/property.hpp>
1612
#include <sycl/ext/oneapi/properties/property_value.hpp>
1713

@@ -94,23 +90,6 @@ template <typename RHS> struct SelectNonVoid<void, RHS> {
9490
using type = RHS;
9591
};
9692

97-
// Sort types accoring to their PropertyID.
98-
struct SortByPropertyId {
99-
template <typename T1, typename T2>
100-
using fn = sycl::detail::boost::mp11::mp_bool<(PropertyID<T1>::value <
101-
PropertyID<T2>::value)>;
102-
};
103-
template <typename... Ts> struct Sorted {
104-
static_assert(detail::AllPropertyValues<std::tuple<Ts...>>::value,
105-
"Unrecognized property in property list.");
106-
using properties = sycl::detail::boost::mp11::mp_list<Ts...>;
107-
using sortedProperties =
108-
sycl::detail::boost::mp11::mp_sort_q<properties, SortByPropertyId>;
109-
using type =
110-
sycl::detail::boost::mp11::mp_rename<sortedProperties,
111-
detail::properties_type_list>;
112-
};
113-
11493
//******************************************************************************
11594
// Property merging
11695
//******************************************************************************

‎sycl/test/include_deps/sycl_detail_core.hpp.cpp‎

Lines changed: 0 additions & 27 deletions
Original file line numberDiff line numberDiff line change
@@ -110,33 +110,6 @@
110110
// CHECK-NEXT: ext/oneapi/properties/property_value.hpp
111111
// CHECK-NEXT: ext/oneapi/properties/properties.hpp
112112
// CHECK-NEXT: ext/oneapi/properties/property_utils.hpp
113-
// CHECK-NEXT: detail/boost/mp11/algorithm.hpp
114-
// CHECK-NEXT: detail/boost/mp11/list.hpp
115-
// CHECK-NEXT: detail/boost/mp11/integral.hpp
116-
// CHECK-NEXT: detail/boost/mp11/version.hpp
117-
// CHECK-NEXT: detail/boost/mp11/detail/mp_value.hpp
118-
// CHECK-NEXT: detail/boost/mp11/detail/config.hpp
119-
// CHECK-NEXT: detail/boost/mp11/detail/mp_list.hpp
120-
// CHECK-NEXT: detail/boost/mp11/detail/mp_list_v.hpp
121-
// CHECK-NEXT: detail/boost/mp11/detail/mp_is_list.hpp
122-
// CHECK-NEXT: detail/boost/mp11/detail/mp_is_value_list.hpp
123-
// CHECK-NEXT: detail/boost/mp11/detail/mp_front.hpp
124-
// CHECK-NEXT: detail/boost/mp11/detail/mp_rename.hpp
125-
// CHECK-NEXT: detail/boost/mp11/detail/mp_defer.hpp
126-
// CHECK-NEXT: detail/boost/mp11/detail/mp_append.hpp
127-
// CHECK-NEXT: detail/boost/mp11/detail/mp_count.hpp
128-
// CHECK-NEXT: detail/boost/mp11/detail/mp_plus.hpp
129-
// CHECK-NEXT: detail/boost/mp11/utility.hpp
130-
// CHECK-NEXT: detail/boost/mp11/detail/mp_fold.hpp
131-
// CHECK-NEXT: detail/boost/mp11/set.hpp
132-
// CHECK-NEXT: detail/boost/mp11/function.hpp
133-
// CHECK-NEXT: detail/boost/mp11/detail/mp_min_element.hpp
134-
// CHECK-NEXT: detail/boost/mp11/detail/mp_void.hpp
135-
// CHECK-NEXT: detail/boost/mp11/detail/mp_copy_if.hpp
136-
// CHECK-NEXT: detail/boost/mp11/detail/mp_remove_if.hpp
137-
// CHECK-NEXT: detail/boost/mp11/detail/mp_map_find.hpp
138-
// CHECK-NEXT: detail/boost/mp11/detail/mp_with_index.hpp
139-
// CHECK-NEXT: detail/boost/mp11/integer_sequence.hpp
140113
// CHECK-NEXT: ext/oneapi/experimental/graph.hpp
141114
// CHECK-NEXT: handler.hpp
142115
// CHECK-NEXT: detail/cl.h

0 commit comments

Comments
 (0)