Add test for sycl::id type

Author: aobolensk

sycl/include/CL/sycl/handler.hpp

@@ -918,12 +918,13 @@ class __SYCL_EXPORT handler {
 
   template <int Dims, typename LambdaArgType> struct TransformUserItemType {
     using type = typename std::conditional_t<
-        std::is_same_v<id<Dims>, LambdaArgType>, LambdaArgType,
+        std::is_same<id<Dims>, LambdaArgType>::value, LambdaArgType,
         typename std::conditional_t<
-            std::is_convertible_v<nd_item<Dims>, LambdaArgType>, nd_item<Dims>,
+            std::is_convertible<nd_item<Dims>, LambdaArgType>::value,
+            nd_item<Dims>,
             typename std::conditional_t<
-                std::is_convertible_v<item<Dims>, LambdaArgType>, item<Dims>,
-                LambdaArgType>>>;
+                std::is_convertible<item<Dims>, LambdaArgType>::value,
+                item<Dims>, LambdaArgType>>>;
   };
 
   /// Defines and invokes a SYCL kernel function for the specified range.

sycl/test/basic_tests/parallel_for_type_check.cpp

@@ -0,0 +1,30 @@
+// RUN: %clangxx -fsycl -fsycl-device-only -D__SYCL_INTERNAL_API -O0 -c -emit-llvm -S -o - %s | FileCheck %s
+
+// This test performs basic type check for sycl::id that is used in result type.
+
+#include <CL/sycl.hpp>
+#include <iostream>
+
+int main() {
+  sycl::queue q;
+
+  // Initialize data array
+  const int sz = 16;
+  int data[sz] = {0};
+  for (int i = 0; i < sz; ++i) {
+    data[i] = i;
+  }
+
+  // Check user defined sycl::item wrapper
+  sycl::buffer<int> data_buf(data, sz);
+  q.submit([&](sycl::handler &h) {
+    auto buf_acc = data_buf.get_access<sycl::access::mode::read_write>(h);
+    h.parallel_for(
+        sycl::range<1>{sz},
+        // CHECK: cl{{.*}}sycl{{.*}}detail{{.*}}RoundedRangeKernel{{.*}}id{{.*}}main{{.*}}handler
+        [=](sycl::id<1> item) { buf_acc[item] += 1; });
+  });
+  q.wait();
+
+  return 0;
+}