From d5af8e472d6016f3dca2a33fa9d92bcf35aad43b Mon Sep 17 00:00:00 2001 From: Alexey Bataev Date: Tue, 1 Oct 2013 05:32:34 +0000 Subject: [OpenMP] Added parsing and semantic analysis for firstprivate clause llvm-svn: 191730 --- clang/test/OpenMP/parallel_ast_print.cpp | 40 ++++++++++- .../test/OpenMP/parallel_firstprivate_messages.cpp | 82 ++++++++++++++++++++++ clang/test/OpenMP/parallel_private_messages.cpp | 8 +++ clang/test/OpenMP/parallel_shared_messages.cpp | 6 ++ 4 files changed, 133 insertions(+), 3 deletions(-) create mode 100644 clang/test/OpenMP/parallel_firstprivate_messages.cpp (limited to 'clang/test/OpenMP') diff --git a/clang/test/OpenMP/parallel_ast_print.cpp b/clang/test/OpenMP/parallel_ast_print.cpp index 44108e7..f2fd2f7 100644 --- a/clang/test/OpenMP/parallel_ast_print.cpp +++ b/clang/test/OpenMP/parallel_ast_print.cpp @@ -8,7 +8,41 @@ void foo() {} + +template +T tmain(T argc, T *argv) { + T b = argc, c, d, e, f, g; + static T a; +#pragma omp parallel + a=2; +#pragma omp parallel default(none), private(argc,b) firstprivate(argv) shared (d) + foo(); + return 0; +} +// CHECK: template int tmain(int argc, int *argv) { +// CHECK-NEXT: int b = argc, c, d, e, f, g; +// CHECK-NEXT: static int a; +// CHECK-NEXT: #pragma omp parallel +// CHECK-NEXT: a = 2; +// CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) firstprivate(argv) shared(d) +// CHECK-NEXT: foo() +// CHECK: template float tmain(float argc, float *argv) { +// CHECK-NEXT: float b = argc, c, d, e, f, g; +// CHECK-NEXT: static float a; +// CHECK-NEXT: #pragma omp parallel +// CHECK-NEXT: a = 2; +// CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) firstprivate(argv) shared(d) +// CHECK-NEXT: foo() +// CHECK: template T tmain(T argc, T *argv) { +// CHECK-NEXT: T b = argc, c, d, e, f, g; +// CHECK-NEXT: static T a; +// CHECK-NEXT: #pragma omp parallel +// CHECK-NEXT: a = 2; +// CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) firstprivate(argv) shared(d) +// CHECK-NEXT: foo() + int main (int argc, char **argv) { + float x; int b = argc, c, d, e, f, g; static int a; // CHECK: static int a; @@ -16,11 +50,11 @@ int main (int argc, char **argv) { // CHECK-NEXT: #pragma omp parallel a=2; // CHECK-NEXT: a = 2; -#pragma omp parallel default(none), private(argc,b) -// CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) +#pragma omp parallel default(none), private(argc,b) firstprivate(argv) +// CHECK-NEXT: #pragma omp parallel default(none) private(argc,b) firstprivate(argv) foo(); // CHECK-NEXT: foo(); - return (0); + return tmain(b, &b) + tmain(x, &x); } #endif diff --git a/clang/test/OpenMP/parallel_firstprivate_messages.cpp b/clang/test/OpenMP/parallel_firstprivate_messages.cpp new file mode 100644 index 0000000..780059e --- /dev/null +++ b/clang/test/OpenMP/parallel_firstprivate_messages.cpp @@ -0,0 +1,82 @@ +// RUN: %clang_cc1 -verify -fopenmp -ferror-limit 100 %s + +void foo() { +} + +bool foobool(int argc) { + return argc; +} + +struct S1; // expected-note {{declared here}} expected-note{{forward declaration of 'S1'}} +extern S1 a; +class S2 { + mutable int a; +public: + S2():a(0) { } + S2(S2 &s2):a(s2.a) { } + static float S2s; + static const float S2sc; +}; +const float S2::S2sc = 0; +const S2 b; +const S2 ba[5]; +class S3 { + int a; +public: + S3():a(0) { } + S3(S3 &s3):a(s3.a) { } +}; +const S3 c; +const S3 ca[5]; +extern const int f; +class S4 { // expected-note {{'S4' declared here}} + int a; + S4(); + S4(const S4 &s4); +public: + S4(int v):a(v) { } +}; +class S5 { // expected-note {{'S5' declared here}} + int a; + S5():a(0) {} + S5(const S5 &s5):a(s5.a) { } +public: + S5(int v):a(v) { } +}; + +S3 h; +#pragma omp threadprivate(h) // expected-note {{defined as threadprivate or thread local}} + +int main(int argc, char **argv) { + const int d = 5; + const int da[5] = { 0 }; + S4 e(4); // expected-note {{'e' defined here}} + S5 g(5); // expected-note {{'g' defined here}} + int i; + int &j = i; // expected-note {{'j' defined here}} + #pragma omp parallel firstprivate // expected-error {{expected '(' after 'firstprivate'}} + #pragma omp parallel firstprivate ( // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} + #pragma omp parallel firstprivate () // expected-error {{expected expression}} + #pragma omp parallel firstprivate (argc // expected-error {{expected ')'}} expected-note {{to match this '('}} + #pragma omp parallel firstprivate (argc, // expected-error {{expected expression}} expected-error {{expected ')'}} expected-note {{to match this '('}} + #pragma omp parallel firstprivate (argc > 0 ? argv[1] : argv[2]) // expected-error {{expected variable name}} + #pragma omp parallel firstprivate (argc) + #pragma omp parallel firstprivate (S1) // expected-error {{'S1' does not refer to a value}} + #pragma omp parallel firstprivate (a, b, c, d, f) // expected-error {{firstprivate variable with incomplete type 'S1'}} + #pragma omp parallel firstprivate (argv[1]) // expected-error {{expected variable name}} + #pragma omp parallel firstprivate(ba) + #pragma omp parallel firstprivate(ca) + #pragma omp parallel firstprivate(da) + #pragma omp parallel firstprivate(S2::S2s) + #pragma omp parallel firstprivate(S2::S2sc) + #pragma omp parallel firstprivate(e, g) // expected-error 2 {{firstprivate variable must have an accessible, unambiguous copy constructor}} + #pragma omp parallel firstprivate(h) // expected-error {{threadprivate or thread local variable cannot be firstprivate}} + #pragma omp parallel private(i), firstprivate(i) // expected-error {{private variable cannot be firstprivate}} expected-note{{defined as private}} + foo(); + #pragma omp parallel shared(i) + #pragma omp parallel firstprivate(i) + #pragma omp parallel firstprivate(j) // expected-error {{arguments of OpenMP clause 'firstprivate' cannot be of reference type}} + foo(); + + return 0; +} diff --git a/clang/test/OpenMP/parallel_private_messages.cpp b/clang/test/OpenMP/parallel_private_messages.cpp index 102bf30..2037d56 100644 --- a/clang/test/OpenMP/parallel_private_messages.cpp +++ b/clang/test/OpenMP/parallel_private_messages.cpp @@ -64,10 +64,18 @@ int main(int argc, char **argv) { #pragma omp parallel private(S2::S2s) // expected-error {{shared variable cannot be private}} #pragma omp parallel private(e, g) // expected-error 2 {{private variable must have an accessible, unambiguous default constructor}} #pragma omp parallel private(threadvar) // expected-error {{threadprivate or thread local variable cannot be private}} + #pragma omp parallel shared(i), private(i) // expected-error {{shared variable cannot be private}} expected-note {{defined as shared}} + foo(); + #pragma omp parallel firstprivate(i) private(i) // expected-error {{firstprivate variable cannot be private}} expected-note {{defined as firstprivate}} foo(); #pragma omp parallel private(i) #pragma omp parallel private(j) // expected-error {{arguments of OpenMP clause 'private' cannot be of reference type 'int &'}} foo(); + #pragma omp parallel firstprivate(i) + for (int k = 0; k < 10; ++k) { + #pragma omp parallel private(i) + foo(); + } return 0; } diff --git a/clang/test/OpenMP/parallel_shared_messages.cpp b/clang/test/OpenMP/parallel_shared_messages.cpp index 0d8894e..211d392f 100644 --- a/clang/test/OpenMP/parallel_shared_messages.cpp +++ b/clang/test/OpenMP/parallel_shared_messages.cpp @@ -68,10 +68,16 @@ int main(int argc, char **argv) { #pragma omp parallel shared(h) // expected-error {{threadprivate or thread local variable cannot be shared}} #pragma omp parallel private(i), shared(i) // expected-error {{private variable cannot be shared}} expected-note {{defined as private}} foo(); + #pragma omp parallel firstprivate(i), shared(i) // expected-error {{firstprivate variable cannot be shared}} expected-note {{defined as firstprivate}} + foo(); #pragma omp parallel private(i) #pragma omp parallel shared(i) #pragma omp parallel shared(j) foo(); + #pragma omp parallel firstprivate(i) + #pragma omp parallel shared(i) + #pragma omp parallel shared(j) + foo(); return 0; } -- cgit v1.1