[SYCL] Move AreAllButLastReductions to reduction_forward.hpp (#13100)

Otherwise, `<sycl/detail/core.hpp>` isn't enough to invoke non-reduction
`parallel_for`.

Author: aelovikov-intel

sycl/include/sycl/detail/reduction_forward.hpp

@@ -68,8 +68,28 @@ template <typename KernelName,
 void reduction_parallel_for(handler &CGH, nd_range<Dims> NDRange,
                             PropertiesT Properties, RestT... Rest);
 
-template <typename T> struct IsReduction;
-template <typename FirstT, typename... RestT> struct AreAllButLastReductions;
+/// Base non-template class which is a base class for all reduction
+/// implementation classes. It is needed to detect the reduction classes.
+class reduction_impl_base {};
+
+/// Predicate returning true if a type is a reduction.
+template <typename T> struct IsReduction {
+  static constexpr bool value =
+      std::is_base_of_v<reduction_impl_base, std::remove_reference_t<T>>;
+};
+
+/// Predicate returning true if all template type parameters except the last one
+/// are reductions.
+template <typename FirstT, typename... RestT> struct AreAllButLastReductions {
+  static constexpr bool value =
+      IsReduction<FirstT>::value && AreAllButLastReductions<RestT...>::value;
+};
+
+/// Helper specialization of AreAllButLastReductions for one element only.
+/// Returns true if the template parameter is not a reduction.
+template <typename T> struct AreAllButLastReductions<T> {
+  static constexpr bool value = !IsReduction<T>::value;
+};
 
 } // namespace detail
 } // namespace _V1

sycl/include/sycl/reduction.hpp

@@ -60,32 +60,6 @@
 
 namespace sycl {
 inline namespace _V1 {
-namespace detail {
-
-/// Base non-template class which is a base class for all reduction
-/// implementation classes. It is needed to detect the reduction classes.
-class reduction_impl_base {};
-
-/// Predicate returning true if a type is a reduction.
-template <typename T> struct IsReduction {
-  static constexpr bool value =
-      std::is_base_of_v<reduction_impl_base, std::remove_reference_t<T>>;
-};
-
-/// Predicate returning true if all template type parameters except the last one
-/// are reductions.
-template <typename FirstT, typename... RestT> struct AreAllButLastReductions {
-  static constexpr bool value =
-      IsReduction<FirstT>::value && AreAllButLastReductions<RestT...>::value;
-};
-
-/// Helper specialization of AreAllButLastReductions for one element only.
-/// Returns true if the template parameter is not a reduction.
-template <typename T> struct AreAllButLastReductions<T> {
-  static constexpr bool value = !IsReduction<T>::value;
-};
-} // namespace detail
-
 /// Class that is used to represent objects that are passed to user's lambda
 /// functions and representing users' reduction variable.
 /// The generic version of the class represents those reductions of those

sycl/test-e2e/AddressCast/dynamic_address_cast.cpp

@@ -12,7 +12,10 @@
 // UNSUPPORTED: cpu, hip, cuda, accelerator
 // RUN: %{build} -o %t.out
 // RUN: %{run} %t.out
-#include <sycl/sycl.hpp>
+
+#include <sycl/detail/core.hpp>
+
+#include <sycl/ext/oneapi/experimental/address_cast.hpp>
 
 int main() {
 

sycl/test-e2e/AddressCast/static_address_cast.cpp

@@ -10,7 +10,10 @@
 // UNSUPPORTED: hip, cuda
 // RUN: %{build} -o %t.out
 // RUN: %{run} %t.out
-#include <sycl/sycl.hpp>
+
+#include <sycl/detail/core.hpp>
+
+#include <sycl/ext/oneapi/experimental/address_cast.hpp>
 
 int main() {