| // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple x86_64-unknown-unknown -emit-llvm %s -fexceptions -fcxx-exceptions -o - | FileCheck %s |
| // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -emit-pch -o %t %s |
| // RUN: %clang_cc1 -fopenmp -x c++ -triple x86_64-unknown-unknown -fexceptions -fcxx-exceptions -debug-info-kind=limited -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s |
| // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -fexceptions -fcxx-exceptions -debug-info-kind=line-tables-only -x c++ -emit-llvm %s -o - | FileCheck %s --check-prefix=TERM_DEBUG |
| // expected-no-diagnostics |
| #ifndef HEADER |
| #define HEADER |
| |
| long long get_val() { return 0; } |
| double *g_ptr; |
| |
| // CHECK-LABEL: define {{.*void}} @{{.*}}simple{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}}) |
| void simple(float *a, float *b, float *c, float *d) { |
| // CHECK: store i32 3, i32* % |
| // CHECK: icmp slt i32 %{{.+}}, 32 |
| // CHECK: fmul float |
| // CHECK: fmul float |
| // CHECK: add nsw i32 %{{.+}}, 5 |
| #pragma omp target parallel for simd device((int)*a) |
| for (int i = 3; i < 32; i += 5) { |
| a[i] = b[i] * c[i] * d[i]; |
| } |
| |
| // CHECK: call i{{.+}} @{{.+}}get_val{{.+}}() |
| // CHECK: store i32 10, i32* % |
| // CHECK: icmp sgt i32 %{{.+}}, 1 |
| // CHECK: fadd float %{{.+}}, 1.000000e+00 |
| // CHECK: add nsw {{.+}} %{{.+}}, 3 |
| // CHECK: add nsw i32 %{{.+}}, -1 |
| long long k = get_val(); |
| #pragma omp target parallel for simd linear(k : 3) schedule(dynamic) |
| for (int i = 10; i > 1; i--) { |
| a[k]++; |
| k = k + 3; |
| } |
| |
| // CHECK: store i32 12, i32* % |
| // CHECK: store i{{.+}} 2000, i{{.+}}* % |
| // CHECK: icmp uge i{{.+}} %{{.+}}, 600 |
| // CHECK: store double 0.000000e+00, |
| // CHECK: fadd float %{{.+}}, 1.000000e+00 |
| // CHECK: sub i{{.+}} %{{.+}}, 400 |
| int lin = 12; |
| #pragma omp target parallel for simd linear(lin : get_val()), linear(g_ptr) |
| for (unsigned long long it = 2000; it >= 600; it-=400) { |
| *g_ptr++ = 0.0; |
| a[it + lin]++; |
| } |
| |
| // CHECK: store i{{.+}} 6, i{{.+}}* % |
| // CHECK: icmp sle i{{.+}} %{{.+}}, 20 |
| // CHECK: sub nsw i{{.+}} %{{.+}}, -4 |
| #pragma omp target parallel for simd |
| for (short it = 6; it <= 20; it-=-4) { |
| } |
| |
| // CHECK: store i8 122, i8* % |
| // CHECK: icmp sge i32 %{{.+}}, 97 |
| // CHECK: add nsw i32 %{{.+}}, -1 |
| #pragma omp target parallel for simd |
| for (unsigned char it = 'z'; it >= 'a'; it+=-1) { |
| } |
| |
| // CHECK: store i32 100, i32* % |
| // CHECK: icmp ult i32 %{{.+}}, 10 |
| // CHECK: add i32 %{{.+}}, 10 |
| #pragma omp target parallel for simd |
| for (unsigned i=100; i<10; i+=10) { |
| } |
| |
| int A; |
| { |
| A = -1; |
| // CHECK: store i{{.+}} -10, i{{.+}}* % |
| // CHECK: icmp slt i{{.+}} %{{.+}}, 10 |
| // CHECK: add nsw i{{.+}} %{{.+}}, 3 |
| #pragma omp target parallel for simd lastprivate(A) |
| for (long long i = -10; i < 10; i += 3) { |
| A = i; |
| } |
| } |
| int R; |
| { |
| R = -1; |
| // CHECK: store i{{.+}} -10, i{{.+}}* % |
| // CHECK: icmp slt i{{.+}} %{{.+}}, 10 |
| // CHECK: add nsw i{{.+}} %{{.+}}, 3 |
| #pragma omp target parallel for simd reduction(*:R) |
| for (long long i = -10; i < 10; i += 3) { |
| R *= i; |
| } |
| } |
| } |
| |
| template <class T, unsigned K> T tfoo(T a) { return a + K; } |
| |
| template <typename T, unsigned N> |
| int templ1(T a, T *z) { |
| #pragma omp target parallel for simd collapse(N) |
| for (int i = 0; i < N * 2; i++) { |
| for (long long j = 0; j < (N + N + N + N); j += 2) { |
| z[i + j] = a + tfoo<T, N>(i + j); |
| } |
| } |
| return 0; |
| } |
| |
| // Instatiation templ1<float,2> |
| // CHECK-LABEL: define {{.*i32}} @{{.*}}templ1{{.*}}(float {{.+}}, float* {{.+}}) |
| void inst_templ1() { |
| float a; |
| float z[100]; |
| templ1<float,2> (a, z); |
| } |
| |
| |
| typedef int MyIdx; |
| |
| class IterDouble { |
| double *Ptr; |
| public: |
| IterDouble operator++ () const { |
| IterDouble n; |
| n.Ptr = Ptr + 1; |
| return n; |
| } |
| bool operator < (const IterDouble &that) const { |
| return Ptr < that.Ptr; |
| } |
| double & operator *() const { |
| return *Ptr; |
| } |
| MyIdx operator - (const IterDouble &that) const { |
| return (MyIdx) (Ptr - that.Ptr); |
| } |
| IterDouble operator + (int Delta) { |
| IterDouble re; |
| re.Ptr = Ptr + Delta; |
| return re; |
| } |
| |
| ///~IterDouble() {} |
| }; |
| |
| // CHECK-LABEL: define {{.*void}} @{{.*}}iter_simple{{.*}} |
| void iter_simple(IterDouble ia, IterDouble ib, IterDouble ic) { |
| // |
| // Calculate number of iterations before the loop body. |
| // CHECK: invoke {{.*}}i32 @{{.*}}IterDouble{{.*}} |
| #pragma omp target parallel for simd |
| for (IterDouble i = ia; i < ib; ++i) { |
| // Call of operator+ (i, IV). |
| // CHECK: {{%.+}} = invoke {{.+}} @{{.*}}IterDouble{{.*}} |
| // ... loop body ... |
| *i = *ic * 0.5; |
| // Float multiply and save result. |
| // CHECK: [[MULR:%.+]] = fmul double {{%.+}}, 5.000000e-01 |
| // CHECK-NEXT: invoke {{.+}} @{{.*}}IterDouble{{.*}} |
| // CHECK: store double [[MULR:%.+]], double* [[RESULT_ADDR:%.+]] |
| ++ic; |
| } |
| // CHECK: ret void |
| } |
| |
| |
| // CHECK-LABEL: define {{.*void}} @{{.*}}collapsed{{.*}} |
| void collapsed(float *a, float *b, float *c, float *d) { |
| int i; // outer loop counter |
| unsigned j; // middle loop couter, leads to unsigned icmp in loop header. |
| // k declared in the loop init below |
| short l; // inner loop counter |
| // |
| #pragma omp target parallel for simd collapse(4) |
| for (i = 1; i < 3; i++) // 2 iterations |
| for (j = 2u; j < 5u; j++) //3 iterations |
| for (int k = 3; k <= 6; k++) // 4 iterations |
| for (l = 4; l < 9; ++l) // 5 iterations |
| { |
| // ... loop body ... |
| // End of body: store into a[i]: |
| // CHECK: store float [[RESULT:%.+]], float* [[RESULT_ADDR:%.+]] |
| float res = b[j] * c[k]; |
| a[i] = res * d[l]; |
| } |
| // CHECK: ret void |
| } |
| |
| extern char foo(); |
| extern double globalfloat; |
| |
| // CHECK-LABEL: define {{.*void}} @{{.*}}widened{{.*}} |
| void widened(float *a, float *b, float *c, float *d) { |
| int i; // outer loop counter |
| short j; // inner loop counter |
| globalfloat = 1.0; |
| int localint = 1; |
| // CHECK: store double {{.+}}, double* [[GLOBALFLOAT:@.+]], |
| #pragma omp target parallel for simd collapse(2) private(globalfloat, localint) |
| for (i = 1; i < 3; i++) // 2 iterations |
| for (j = 0; j < foo(); j++) // foo() iterations |
| { |
| // ... loop body ... |
| // |
| // Here we expect store into private double var, not global |
| // CHECK: store double {{.+}}, double* [[GLOBALFLOAT]] |
| globalfloat = (float)j/i; |
| float res = b[j] * c[j]; |
| // Store into a[i]: |
| // CHECK: store float [[RESULT:%.+]], float* [[RESULT_ADDR:%.+]] |
| a[i] = res * d[i]; |
| // Then there's a store into private var localint: |
| // CHECK: store i32 {{.+}}, i32* [[LOCALINT:%[^,]+]] |
| localint = (int)j; |
| } |
| // |
| // Here we expect store into original localint, not its privatized version. |
| // CHECK: store i32 {{.+}}, i32* [[LOCALINT]] |
| localint = (int)j; |
| // CHECK: ret void |
| } |
| |
| // TERM_DEBUG-LABEL: bar |
| int bar() {return 0;}; |
| |
| // TERM_DEBUG-LABEL: parallel_simd |
| void parallel_simd(float *a) { |
| #pragma omp target parallel for simd |
| for (unsigned i = 131071; i <= 2147483647; i += 127) |
| a[i] += bar(); |
| } |
| #endif // HEADER |
| |