[OpenMP] add a offload test involving std::complex

[ye-luo]

Summary

Taken from the https://github.com/llvm/llvm-project/issues/57064 reproducer.

[jdoerfert]

LG

openmp/libomptarget/test/offloading/bug49021.cpp

#pragma omp parallel for reduction(+ : partial_sum)
   if (sum != sum_host) {
     std::cout << " wrong results " << sum << " host " << sum_host << std::endl;
     return 1;
   }
 
   return 0;
 }
 
-template <typename T> int test_complex() {
+template <typename T> int test_POD() {
   int ret = 0;
   ret |= test_map<T>();
   ret |= test_reduction<T>();
   return ret;
 }
 
 int main() {
   int ret = 0;
   std::cout << "Testing float" << std::endl;
-  ret |= test_complex<float>();
+  ret |= test_POD<float>();
   std::cout << "Testing double" << std::endl;
-  ret |= test_complex<double>();
+  ret |= test_POD<double>();
   return ret;
 }

openmp/libomptarget/test/offloading/std_complex_arithmetic.cpp

+// RUN: %libomptarget-compilexx-generic && %libomptarget-run-generic
+// RUN: %libomptarget-compilexx-generic -O3 && %libomptarget-run-generic
+// RUN: %libomptarget-compilexx-generic -O3 -ffast-math && \
+// RUN:   %libomptarget-run-generic
+
+#include <cassert>
+#include <complex>
+#include <iostream>
+
+template <typename T> void test_map() {
+  std::complex<T> a(0.2, 1), a_check;
+#pragma omp target map(from : a_check)
+  { a_check = a; }
+
+  assert(std::abs(a - a_check) < 1e-6);
+}
+
+template <typename RT, typename AT, typename BT> void test_plus(AT a, BT b) {
+  std::complex<RT> c, c_host;
+
+  c_host = a + b;
+#pragma omp target map(from : c)
+  { c = a + b; }
+
+  assert(std::abs(c - c_host) < 1e-6);
+}
+
+template <typename RT, typename AT, typename BT> void test_minus(AT a, BT b) {
+  std::complex<RT> c, c_host;
+
+  c_host = a - b;
+#pragma omp target map(from : c)
+  { c = a - b; }
+
+  assert(std::abs(c - c_host) < 1e-6);
+}
+
+template <typename RT, typename AT, typename BT> void test_mul(AT a, BT b) {
+  std::complex<RT> c, c_host;
+
+  c_host = a * b;
+#pragma omp target map(from : c)
+  { c = a * b; }
+
+  assert(std::abs(c - c_host) < 1e-6);
+}
+
+template <typename RT, typename AT, typename BT> void test_div(AT a, BT b) {
+  std::complex<RT> c, c_host;
+
+  c_host = a / b;
+#pragma omp target map(from : c)
+  { c = a / b; }
+
+  assert(std::abs(c - c_host) < 1e-6);
+}
+
+template <typename T> void test_complex() {
+  test_map<T>();
+
+  test_plus<T>(std::complex<T>(0, 1), std::complex<T>(0.5, 0.3));
+  test_plus<T>(std::complex<T>(0, 1), T(0.5));
+  test_plus<T>(T(0.5), std::complex<T>(0, 1));
+
+  test_minus<T>(std::complex<T>(0, 1), std::complex<T>(0.5, 0.3));
+  test_minus<T>(std::complex<T>(0, 1), T(0.5));
+  test_minus<T>(T(0.5), std::complex<T>(0, 1));
+
+  test_mul<T>(std::complex<T>(0, 1), std::complex<T>(0.5, 0.3));
+  test_mul<T>(std::complex<T>(0, 1), T(0.5));
+  test_mul<T>(T(0.5), std::complex<T>(0, 1));
+
+  test_div<T>(std::complex<T>(0, 1), std::complex<T>(0.5, 0.3));
+  test_div<T>(std::complex<T>(0, 1), T(0.5));
+  test_div<T>(T(0.5), std::complex<T>(0, 1));
+}
+
+int main() {
+  std::cout << "Testing float" << std::endl;
+  test_complex<float>();
+  std::cout << "Testing double" << std::endl;
+  test_complex<double>();
+  return 0;
+}