[SYCL] Move intel/llvm-test-suite SYCL tests to in-tree sycl/test-e2e

sycl/test-e2e/AOT/accelerator.cpp

@@ -0,0 +1,12 @@
+//=-- accelerator.cpp - compilation for fpga emulator dev using opencl-aot --=//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===---------------------------------------------------------------------===//
+
+// REQUIRES: opencl-aot, accelerator
+
+// RUN: %clangxx -fsycl -fsycl-targets=spir64_fpga %S/Inputs/aot.cpp -o %t.out
+// RUN: %ACC_RUN_PLACEHOLDER %t.out

sycl/test-e2e/Assert/Inputs/kernels_in_file2.cpp

@@ -0,0 +1,45 @@
+#include "kernels_in_file2.hpp"
+
+#ifdef DEFINE_NDEBUG_INFILE2
+#define NDEBUG
+#else
+#undef NDEBUG
+#endif
+
+#include <cassert>
+
+using namespace sycl;
+using namespace sycl::access;
+
+int calculus(int X) {
+  assert(X && "this message from calculus");
+  return X * 2;
+}
+
+void check_nil(int value) { assert(value && "this message from file2"); }
+
+static constexpr size_t BUFFER_SIZE = 4;
+
+void enqueueKernel_1_fromFile2(queue *Q) {
+  sycl::range<1> numOfItems{BUFFER_SIZE};
+  sycl::buffer<int, 1> Buf(numOfItems);
+
+  Q->submit([&](handler &CGH) {
+    auto Acc = Buf.template get_access<mode::read_write>(CGH);
+
+    CGH.parallel_for<class kernel1_from_separate_file>(
+        numOfItems, [=](sycl::id<1> wiID) { check_nil(Acc[wiID]); });
+  });
+}
+
+void enqueueKernel_2_fromFile2(queue *Q) {
+  sycl::range<1> numOfItems{BUFFER_SIZE};
+  sycl::buffer<int, 1> Buf(numOfItems);
+
+  Q->submit([&](handler &CGH) {
+    auto Acc = Buf.template get_access<mode::read_write>(CGH);
+
+    CGH.parallel_for<class kernel2_from_separate_file>(
+        numOfItems, [=](sycl::id<1> wiID) { check_nil(Acc[wiID]); });
+  });
+}

sycl/test-e2e/Assert/Inputs/kernels_in_file2.hpp

@@ -0,0 +1,7 @@
+#include <sycl/sycl.hpp>
+
+SYCL_EXTERNAL int calculus(int X);
+
+void enqueueKernel_1_fromFile2(sycl::queue *Q);
+
+void enqueueKernel_2_fromFile2(sycl::queue *Q);

sycl/test-e2e/Assert/assert_in_kernels.cpp

@@ -0,0 +1,24 @@
+// REQUIRES: linux
+
+// https://github.com/intel/llvm/issues/7634
+// UNSUPPORTED: hip
+
+// RUN: %clangxx -DSYCL_FALLBACK_ASSERT=1 -fsycl -fsycl-targets=%sycl_triple %s -o %t.out
+// RUN: %CPU_RUN_PLACEHOLDER %t.out &> %t.cpu.txt || true
+// RUN: %CPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.cpu.txt
+// RUN: %GPU_RUN_PLACEHOLDER %t.out &> %t.gpu.txt || true
+// RUN: %GPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.gpu.txt
+// Shouldn't fail on ACC as fallback assert isn't enqueued there
+// RUN: %ACC_RUN_PLACEHOLDER %t.out &> %t.acc.txt
+// RUN: %ACC_RUN_PLACEHOLDER FileCheck %s --check-prefix=CHECK-ACC --input-file %t.acc.txt
+//
+// CHECK-NOT:  One shouldn't see this message
+// CHECK:      {{.*}}assert_in_kernels.hpp:25: void kernelFunc2(int *, int): {{.*}} [{{[0,2]}},0,0], {{.*}} [0,0,0]
+// CHECK-SAME: Assertion `Buf[wiID] == 0 && "from assert statement"` failed.
+// CHECK-NOT:  test aborts earlier, one shouldn't see this message
+// CHECK-NOT:  The test ended.
+//
+// CHECK-ACC-NOT: {{.*}}assert_in_kernels.hpp:25: void kernelFunc2(int *, int): {{.*}} [{{[0,2]}},0,0], {{.*}} [0,0,0]
+// CHECK-ACC: The test ended.
+
+#include "assert_in_kernels.hpp"

sycl/test-e2e/Assert/assert_in_kernels.hpp

@@ -0,0 +1,69 @@
+#include <cassert>
+#include <iostream>
+#include <sycl/sycl.hpp>
+
+using namespace sycl;
+using namespace sycl::access;
+
+void kernelFunc1(int *Buf, int wiID) {
+  Buf[wiID] = 9;
+  assert(Buf[wiID] != 0 && "One shouldn't see this message");
+}
+
+void assertTest1(queue &Q, buffer<int, 1> &Buf) {
+  Q.submit([&](handler &CGH) {
+    auto Acc = Buf.template get_access<mode::read_write>(CGH);
+
+    CGH.parallel_for<class Kernel_1>(
+        Buf.get_range(), [=](sycl::id<1> wiID) { kernelFunc1(&Acc[0], wiID); });
+  });
+}
+
+void kernelFunc2(int *Buf, int wiID) {
+  if (wiID % 2 != 0)
+    Buf[wiID] = 0;
+  assert(Buf[wiID] == 0 && "from assert statement");
+}
+
+void assertTest2(queue &Q, buffer<int, 1> &Buf) {
+  Q.submit([&](handler &CGH) {
+    auto Acc = Buf.template get_access<mode::read_write>(CGH);
+
+    CGH.parallel_for<class Kernel_2>(
+        Buf.get_range(), [=](sycl::id<1> wiID) { kernelFunc2(&Acc[0], wiID); });
+  });
+}
+
+void kernelFunc3(int *Buf, int wiID) {
+  if (wiID == 0)
+    assert(false && "test aborts earlier, one shouldn't see this message");
+  Buf[wiID] = 9;
+}
+
+void assertTest3(queue &Q, buffer<int, 1> &Buf) {
+  Q.submit([&](handler &CGH) {
+    auto Acc = Buf.template get_access<mode::read_write>(CGH);
+
+    CGH.parallel_for<class Kernel_3>(
+        Buf.get_range(), [=](sycl::id<1> wiID) { kernelFunc3(&Acc[0], wiID); });
+  });
+}
+
+int main(int Argc, const char *Argv[]) {
+  std::array<int, 4> Vec = {1, 2, 3, 4};
+  sycl::range<1> numOfItems{Vec.size()};
+  sycl::buffer<int, 1> Buf(Vec.data(), numOfItems);
+
+  queue Q;
+  assertTest1(Q, Buf);
+  Q.wait();
+
+  assertTest2(Q, Buf);
+  Q.wait();
+
+  assertTest3(Q, Buf);
+  Q.wait();
+
+  std::cout << "The test ended." << std::endl;
+  return 0;
+}

sycl/test-e2e/Assert/assert_in_kernels_ndebug.cpp

@@ -0,0 +1,9 @@
+// RUN: %clangxx -fsycl -fsycl-targets=%sycl_triple -DNDEBUG %S/assert_in_kernels.cpp -o %t.out
+// RUN: %CPU_RUN_PLACEHOLDER %t.out %CPU_CHECK_PLACEHOLDER
+// RUN: %GPU_RUN_PLACEHOLDER %t.out %GPU_CHECK_PLACEHOLDER
+// RUN: %ACC_RUN_PLACEHOLDER %t.out %ACC_CHECK_PLACEHOLDER
+//
+// CHECK-NOT: One shouldn't see this message
+// CHECK-NOT: from assert statement
+// CHECK-NOT: test aborts earlier, one shouldn't see this message
+// CHECK: The test ended.

sycl/test-e2e/Assert/assert_in_kernels_win.cpp

@@ -0,0 +1,22 @@
+// REQUIRES: windows
+// RUN: %clangxx -DSYCL_FALLBACK_ASSERT=1 -fsycl -fsycl-targets=%sycl_triple %s -o %t.out
+// RUN: %CPU_RUN_PLACEHOLDER %t.out &> %t.txt || true
+// RUN: %CPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.txt
+// RUN: %GPU_RUN_PLACEHOLDER %t.out &> %t.txt || true
+// RUN: %GPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.txt
+// Shouldn't fail on ACC as fallback assert isn't enqueued there
+// RUN: %ACC_RUN_PLACEHOLDER %t.out &> %t.txt
+// RUN: %ACC_RUN_PLACEHOLDER FileCheck %s --check-prefix=CHECK-ACC --input-file %t.txt
+//
+// CHECK-NOT:  One shouldn't see this message
+// FIXME Windows version prints '(null)' instead of '<unknown func>' once in a
+// while for some insane reason.
+// CHECK:      {{.*}}assert_in_kernels.hpp:25: {{<unknown func>|(null)}}: {{.*}} [{{[0,2]}},0,0], {{.*}} [0,0,0]
+// CHECK-SAME: Assertion `Buf[wiID] == 0 && "from assert statement"` failed.
+// CHECK-NOT:  test aborts earlier, one shouldn't see this message
+// CHECK-NOT:  The test ended.
+//
+// CHECK-ACC-NOT: {{.*}}assert_in_kernels.hpp:25: {{<unknown func>|(null)}}: {{.*}} [{{[0,2]}},0,0], {{.*}} [0,0,0]
+// CHECK-ACC: The test ended.
+
+#include "assert_in_kernels.hpp"

sycl/test-e2e/Assert/assert_in_multiple_tus.cpp

@@ -0,0 +1,25 @@
+// REQUIRES: linux
+
+// https://github.com/intel/llvm/issues/7634
+// UNSUPPORTED: hip
+
+// RUN: %clangxx -DSYCL_FALLBACK_ASSERT=1 -fsycl -fsycl-targets=%sycl_triple -I %S/Inputs %s %S/Inputs/kernels_in_file2.cpp -o %t.out
+// RUN: %CPU_RUN_PLACEHOLDER %t.out &> %t.cpu.txt || true
+// RUN: %CPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.cpu.txt
+// RUN: %GPU_RUN_PLACEHOLDER %t.out &> %t.gpu.txt || true
+// RUN: %GPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.gpu.txt
+// Shouldn't fail on ACC as fallback assert isn't enqueued there
+// RUN: %ACC_RUN_PLACEHOLDER %t.out &> %t.acc.txt
+// RUN: %ACC_RUN_PLACEHOLDER FileCheck %s --check-prefix=CHECK-ACC --input-file %t.acc.txt
+//
+// CUDA uses block/thread vs global/local id for SYCL, also it shows the
+// position of a thread within the block, not the absolute ID.
+// CHECK:      {{.*}}kernels_in_file2.cpp:15: int calculus(int): {{global id: \[5|block: \[1}},0,0], {{local id|thread}}: [1,0,0]
+// CHECK-SAME: Assertion `X && "this message from calculus"` failed.
+// CHECK-NOT:  this message from file2
+// CHECK-NOT:  The test ended.
+//
+// CHECK-ACC-NOT: {{.*}}kernels_in_file2.cpp:15: int calculus(int): global id: [5,0,0], local id: [1,0,0]
+// CHECK-ACC: The test ended.
+
+#include "assert_in_multiple_tus.hpp"

sycl/test-e2e/Assert/assert_in_multiple_tus.hpp

@@ -0,0 +1,51 @@
+#include "Inputs/kernels_in_file2.hpp"
+#include <iostream>
+#include <sycl/sycl.hpp>
+
+#ifdef DEFINE_NDEBUG_INFILE1
+#define NDEBUG
+#else
+#undef NDEBUG
+#endif
+
+#include <cassert>
+
+using namespace sycl;
+using namespace sycl::access;
+
+static constexpr size_t BUFFER_SIZE = 16;
+
+int checkFunction() {
+  int X = calculus(0);
+  assert(X && "Nil in result");
+  return X;
+}
+
+void enqueueKernel_1_fromFile1(queue *Q) {
+  sycl::range<1> numOfItems{BUFFER_SIZE};
+  sycl::buffer<int, 1> Buf(numOfItems);
+
+  Q->submit([&](handler &CGH) {
+    auto Acc = Buf.template get_access<mode::read_write>(CGH);
+
+    CGH.parallel_for<class Kernel_1>(
+        sycl::nd_range(Buf.get_range(), sycl::range<1>(4)),
+        [=](sycl::id<1> wiID) {
+          int X = 0;
+          if (wiID == 5)
+            X = checkFunction();
+          Acc[wiID] = X;
+        });
+  });
+}
+
+int main(int Argc, const char *Argv[]) {
+
+  queue Q;
+  enqueueKernel_1_fromFile1(&Q);
+  enqueueKernel_2_fromFile2(&Q);
+  Q.wait();
+
+  std::cout << "The test ended." << std::endl;
+  return 0;
+}

sycl/test-e2e/Assert/assert_in_multiple_tus_one_ndebug.cpp

@@ -0,0 +1,24 @@
+// REQUIRES: linux
+
+// https://github.com/intel/llvm/issues/7634
+// UNSUPPORTED: hip
+
+// RUN: %clangxx -DSYCL_FALLBACK_ASSERT=1 -fsycl -fsycl-targets=%sycl_triple -DDEFINE_NDEBUG_INFILE2 -I %S/Inputs %S/assert_in_multiple_tus.cpp %S/Inputs/kernels_in_file2.cpp -o %t.out
+// RUN: %CPU_RUN_PLACEHOLDER %t.out &> %t.cpu.txt || true
+// RUN: %CPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.cpu.txt
+// RUN: %GPU_RUN_PLACEHOLDER %t.out &> %t.gpu.txt || true
+// RUN: %GPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.gpu.txt
+// Shouldn't fail on ACC as fallback assert isn't enqueued there
+// RUN: %ACC_RUN_PLACEHOLDER %t.out &> %t.acc.txt
+// RUN: %ACC_RUN_PLACEHOLDER FileCheck %s --check-prefix=CHECK-ACC --input-file %t.acc.txt
+//
+// CHECK-NOT:  this message from calculus
+// CUDA uses block/thread vs global/local id for SYCL, also it shows the
+// position of a thread within the block, not the absolute ID.
+// CHECK:      {{.*}}assert_in_multiple_tus.hpp:20: int checkFunction(): {{global id: \[5|block: \[1}},0,0],
+// CHECK-SAME: {{.*}} [1,0,0] Assertion `X && "Nil in result"` failed.
+// CHECK-NOT:  this message from file2
+// CHECK-NOT:  The test ended.
+//
+// CHECK-ACC-NOT: {{.*}}assert_in_multiple_tus.hpp:20: int checkFunction(): {{.*}}
+// CHECK-ACC: The test ended.

sycl/test-e2e/Assert/assert_in_multiple_tus_one_ndebug_win.cpp

@@ -0,0 +1,20 @@
+// REQUIRES: windows
+// RUN: %clangxx -DSYCL_FALLBACK_ASSERT=1 -fsycl -fsycl-targets=%sycl_triple -DDEFINE_NDEBUG_INFILE2 -I %S/Inputs %S/assert_in_multiple_tus.cpp %S/Inputs/kernels_in_file2.cpp -o %t.out
+// RUN: %CPU_RUN_PLACEHOLDER %t.out &> %t.txt || true
+// RUN: %CPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.txt
+// RUN: %GPU_RUN_PLACEHOLDER %t.out &> %t.txt || true
+// RUN: %GPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.txt
+// Shouldn't fail on ACC as fallback assert isn't enqueued there
+// RUN: %ACC_RUN_PLACEHOLDER %t.out &> %t.txt || true
+// RUN: %ACC_RUN_PLACEHOLDER FileCheck %s --check-prefix=CHECK-ACC --input-file %t.txt
+//
+// CHECK-NOT:  this message from calculus
+// FIXME Windows version prints '(null)' instead of '<unknown func>' once in a
+// while for some insane reason.
+// CHECK:      {{.*}}assert_in_multiple_tus.hpp:20: {{<unknown func>|(null)}}: {{.*}} [5,0,0],
+// CHECK-SAME: {{.*}} [1,0,0] Assertion `X && "Nil in result"` failed.
+// CHECK-NOT:  this message from file2
+// CHECK-NOT:  The test ended.
+//
+// CHECK-ACC-NOT: {{.*}}assert_in_multiple_tus.hpp:20: {{<unknown func>|(null)}}: {{.*}} [5,0,0],
+// CHECK-ACC: The test ended.

sycl/test-e2e/Assert/assert_in_multiple_tus_win.cpp

@@ -0,0 +1,21 @@
+// REQUIRES: windows
+// RUN: %clangxx -DSYCL_FALLBACK_ASSERT=1 -fsycl -fsycl-targets=%sycl_triple -I %S/Inputs %s %S/Inputs/kernels_in_file2.cpp -o %t.out
+// RUN: %CPU_RUN_PLACEHOLDER %t.out &> %t.txt || true
+// RUN: %CPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.txt
+// RUN: %GPU_RUN_PLACEHOLDER %t.out &> %t.txt || true
+// RUN: %GPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.txt
+// Shouldn't fail on ACC as fallback assert isn't enqueued there
+// RUN: %ACC_RUN_PLACEHOLDER %t.out &> %t.txt
+// RUN: %ACC_RUN_PLACEHOLDER FileCheck %s --check-prefix=CHECK-ACC --input-file %t.txt
+//
+// FIXME Windows version prints '(null)' instead of '<unknown func>' once in a
+// while for some insane reason.
+// CHECK:      {{.*}}kernels_in_file2.cpp:15: {{<unknown func>|(null)}}: {{.*}} [5,0,0], {{.*}} [1,0,0]
+// CHECK-SAME: Assertion `X && "this message from calculus"` failed.
+// CHECK-NOT:  this message from file2
+// CHECK-NOT:  The test ended.
+//
+// CHECK-ACC-NOT: {{.*}}kernels_in_file2.cpp:15: {{<unknown func>|(null)}}: {{.*}} [5,0,0], {{.*}} [1,0,0]
+// CHECK-ACC: The test ended.
+
+#include "assert_in_multiple_tus.hpp"

sycl/test-e2e/Assert/assert_in_one_kernel.cpp

@@ -0,0 +1,22 @@
+// REQUIRES: linux
+
+// https://github.com/intel/llvm/issues/7634
+// UNSUPPORTED: hip
+
+// RUN: %clangxx -DSYCL_FALLBACK_ASSERT=1 -fsycl -fsycl-targets=%sycl_triple %s -o %t.out
+// RUN: %CPU_RUN_PLACEHOLDER %t.out &> %t.cpu.txt || true
+// RUN: %CPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.cpu.txt
+// RUN: %GPU_RUN_PLACEHOLDER %t.out &> %t.gpu.txt || true
+// RUN: %GPU_RUN_PLACEHOLDER FileCheck %s --input-file %t.gpu.txt
+// Shouldn't fail on ACC as fallback assert isn't enqueued there
+// RUN: %ACC_RUN_PLACEHOLDER %t.out &> %t.acc.txt
+// RUN: %ACC_RUN_PLACEHOLDER FileCheck %s --check-prefix=CHECK-ACC --input-file %t.acc.txt
+//
+// CHECK:      {{.*}}assert_in_one_kernel.hpp:10: void kernelFunc(int *, int): {{.*}} [{{[0-3]}},0,0], {{.*}} [0,0,0]
+// CHECK-SAME: Assertion `Buf[wiID] != 0 && "from assert statement"` failed.
+// CHECK-NOT:  The test ended.
+//
+// CHECK-ACC-NOT: {{.*}}assert_in_one_kernel.hpp:10: void kernelFunc(int *, int): {{.*}} [{{[0-3]}},0,0], {{.*}} [0,0,0]
+// CHECK-ACC: The test ended.
+
+#include "assert_in_one_kernel.hpp"

sycl/test-e2e/Assert/assert_in_one_kernel.hpp

@@ -0,0 +1,34 @@
+#include <cassert>
+#include <iostream>
+#include <sycl/sycl.hpp>
+
+using namespace sycl;
+using namespace sycl::access;
+
+void kernelFunc(int *Buf, int wiID) {
+  Buf[wiID] = 0;
+  assert(Buf[wiID] != 0 && "from assert statement");
+}
+
+void assertTest() {
+  std::array<int, 4> Vec = {1, 2, 3, 4};
+  sycl::range<1> numOfItems{Vec.size()};
+  sycl::buffer<int, 1> Buf(Vec.data(), numOfItems);
+
+  queue Q;
+  Q.submit([&](handler &CGH) {
+    auto Acc = Buf.template get_access<mode::read_write>(CGH);
+
+    CGH.parallel_for<class TheKernel>(
+        numOfItems, [=](item<1> Item) { kernelFunc(&Acc[0], Item[0]); });
+  });
+  Q.wait();
+}
+
+int main(int Argc, const char *Argv[]) {
+
+  assertTest();
+
+  std::cout << "The test ended." << std::endl;
+  return 0;
+}