mirror of
https://github.com/Gericom/teak-llvm.git
synced 2025-06-19 11:35:51 -04:00
05be1da24c
variables. Loop control variables are private in loop-based constructs and we shall take this into account when generate the code for inner constructs. Currently, those variables are reported as shared in many cases. Moved the analysis of the data-sharing attributes of the loop control variable to an early semantic stage to correctly handle their attributes. llvm-svn: 366474
402 lines
12 KiB
C
402 lines
12 KiB
C
// RUN: %clang_cc1 -fsyntax-only -fopenmp -triple x86_64-unknown-unknown -verify %s -Wuninitialized
|
|
|
|
// RUN: %clang_cc1 -fsyntax-only -fopenmp-simd -triple x86_64-unknown-unknown -verify %s -Wuninitialized
|
|
|
|
void xxx(int argc) {
|
|
int x; // expected-note {{initialize the variable 'x' to silence this warning}}
|
|
#pragma omp for
|
|
for (int i = 0; i < 10; ++i)
|
|
argc = x; // expected-warning {{variable 'x' is uninitialized when used here}}
|
|
}
|
|
|
|
// expected-error@+1 {{unexpected OpenMP directive '#pragma omp for'}}
|
|
#pragma omp for
|
|
|
|
// expected-error@+1 {{unexpected OpenMP directive '#pragma omp for'}}
|
|
#pragma omp for foo
|
|
|
|
void test_no_clause() {
|
|
int i;
|
|
#pragma omp for
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
|
|
// expected-error@+2 {{statement after '#pragma omp for' must be a for loop}}
|
|
#pragma omp for
|
|
++i;
|
|
}
|
|
|
|
void test_branch_protected_scope() {
|
|
int i = 0;
|
|
L1:
|
|
++i;
|
|
|
|
int x[24];
|
|
|
|
#pragma omp parallel
|
|
#pragma omp for
|
|
for (i = 0; i < 16; ++i) {
|
|
if (i == 5)
|
|
goto L1; // expected-error {{use of undeclared label 'L1'}}
|
|
else if (i == 6)
|
|
return; // expected-error {{cannot return from OpenMP region}}
|
|
else if (i == 7)
|
|
goto L2;
|
|
else if (i == 8) {
|
|
L2:
|
|
x[i]++;
|
|
}
|
|
}
|
|
|
|
if (x[0] == 0)
|
|
goto L2; // expected-error {{use of undeclared label 'L2'}}
|
|
else if (x[1] == 1)
|
|
goto L1;
|
|
}
|
|
|
|
void test_invalid_clause() {
|
|
int i;
|
|
#pragma omp parallel
|
|
// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}
|
|
#pragma omp for foo bar
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
// At one time, this failed an assert.
|
|
// expected-error@+1 {{unexpected OpenMP clause 'num_teams' in directive '#pragma omp for'}}
|
|
#pragma omp for num_teams(3)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
// At one time, this error was reported twice.
|
|
// expected-error@+1 {{unexpected OpenMP clause 'uniform' in directive '#pragma omp for'}}
|
|
#pragma omp for uniform
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
// expected-error@+1 {{unexpected OpenMP clause 'if' in directive '#pragma omp for'}}
|
|
#pragma omp for if(0)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
}
|
|
|
|
void test_non_identifiers() {
|
|
int i, x;
|
|
|
|
#pragma omp parallel
|
|
// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}
|
|
#pragma omp for;
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
// expected-warning@+2 {{extra tokens at the end of '#pragma omp for' are ignored}}
|
|
#pragma omp parallel
|
|
#pragma omp for linear(x);
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
|
|
#pragma omp parallel
|
|
// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}
|
|
#pragma omp for private(x);
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
|
|
#pragma omp parallel
|
|
// expected-warning@+1 {{extra tokens at the end of '#pragma omp for' are ignored}}
|
|
#pragma omp for, private(x);
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
}
|
|
|
|
extern int foo();
|
|
|
|
void test_collapse() {
|
|
int i;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected '('}}
|
|
#pragma omp for collapse
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
|
|
#pragma omp for collapse(
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for collapse()
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
|
|
#pragma omp for collapse(,
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}} expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
|
|
#pragma omp for collapse(, )
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-warning@+2 {{extra tokens at the end of '#pragma omp for' are ignored}}
|
|
// expected-error@+1 {{expected '('}}
|
|
#pragma omp for collapse 4)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}}
|
|
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
|
|
#pragma omp for collapse(4
|
|
for (i = 0; i < 16; ++i)
|
|
; // expected-error {{expected 4 for loops after '#pragma omp for', but found only 1}}
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}}
|
|
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
|
|
#pragma omp for collapse(4,
|
|
for (i = 0; i < 16; ++i)
|
|
; // expected-error {{expected 4 for loops after '#pragma omp for', but found only 1}}
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}}
|
|
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
|
|
#pragma omp for collapse(4, )
|
|
for (i = 0; i < 16; ++i)
|
|
; // expected-error {{expected 4 for loops after '#pragma omp for', but found only 1}}
|
|
#pragma omp parallel
|
|
// expected-note@+1 {{as specified in 'collapse' clause}}
|
|
#pragma omp for collapse(4)
|
|
for (i = 0; i < 16; ++i)
|
|
; // expected-error {{expected 4 for loops after '#pragma omp for', but found only 1}}
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}}
|
|
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
|
|
#pragma omp for collapse(4 4)
|
|
for (i = 0; i < 16; ++i)
|
|
; // expected-error {{expected 4 for loops after '#pragma omp for', but found only 1}}
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}}
|
|
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
|
|
#pragma omp for collapse(4, , 4)
|
|
for (i = 0; i < 16; ++i)
|
|
; // expected-error {{expected 4 for loops after '#pragma omp for', but found only 1}}
|
|
#pragma omp parallel
|
|
#pragma omp for collapse(4)
|
|
for (int i1 = 0; i1 < 16; ++i1)
|
|
for (int i2 = 0; i2 < 16; ++i2)
|
|
for (int i3 = 0; i3 < 16; ++i3)
|
|
for (int i4 = 0; i4 < 16; ++i4)
|
|
foo();
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}}
|
|
// expected-note@+1 {{to match this '('}} expected-note@+1 {{as specified in 'collapse' clause}}
|
|
#pragma omp for collapse(4, 8)
|
|
for (i = 0; i < 16; ++i)
|
|
; // expected-error {{expected 4 for loops after '#pragma omp for', but found only 1}}
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expression is not an integer constant expression}}
|
|
#pragma omp for collapse(2.5)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expression is not an integer constant expression}}
|
|
#pragma omp for collapse(foo())
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{argument to 'collapse' clause must be a strictly positive integer value}}
|
|
#pragma omp for collapse(-5)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{argument to 'collapse' clause must be a strictly positive integer value}}
|
|
#pragma omp for collapse(0)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{argument to 'collapse' clause must be a strictly positive integer value}}
|
|
#pragma omp for collapse(5 - 5)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
#pragma omp for collapse(2)
|
|
for (i = 0; i < 16; ++i) // expected-note {{defined as private}}
|
|
// expected-note@+1 {{variable with automatic storage duration is predetermined as private; perhaps you forget to enclose 'omp for' directive into a parallel or another task region?}}
|
|
for (int j = 0; j < 16; ++j)
|
|
// expected-error@+2 2 {{reduction variable must be shared}}
|
|
// expected-error@+1 {{region cannot be closely nested inside 'for' region; perhaps you forget to enclose 'omp for' directive into a parallel region?}}
|
|
#pragma omp for reduction(+ : i, j)
|
|
for (int k = 0; k < 16; ++k)
|
|
i += j;
|
|
}
|
|
|
|
void test_private() {
|
|
int i;
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected expression}}
|
|
// expected-error@+1 {{expected ')'}} expected-note@+1 {{to match this '('}}
|
|
#pragma omp for private(
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}
|
|
// expected-error@+1 2 {{expected expression}}
|
|
#pragma omp for private(,
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 2 {{expected expression}}
|
|
#pragma omp for private(, )
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for private()
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for private(int)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected variable name}}
|
|
#pragma omp for private(0)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
|
|
int x, y, z;
|
|
#pragma omp parallel
|
|
#pragma omp for private(x)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
#pragma omp for private(x, y)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
#pragma omp for private(x, y, z)
|
|
for (i = 0; i < 16; ++i) {
|
|
x = y * i + z;
|
|
}
|
|
}
|
|
|
|
void test_lastprivate() {
|
|
int i;
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for lastprivate(
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}
|
|
// expected-error@+1 2 {{expected expression}}
|
|
#pragma omp for lastprivate(,
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 2 {{expected expression}}
|
|
#pragma omp for lastprivate(, )
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for lastprivate()
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for lastprivate(int)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected variable name}}
|
|
#pragma omp for lastprivate(0)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
|
|
int x, y, z;
|
|
#pragma omp parallel
|
|
#pragma omp for lastprivate(x)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
#pragma omp for lastprivate(x, y)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
#pragma omp for lastprivate(x, y, z)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
}
|
|
|
|
void test_firstprivate() {
|
|
int i;
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for firstprivate(
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{expected ')'}} expected-note@+2 {{to match this '('}}
|
|
// expected-error@+1 2 {{expected expression}}
|
|
#pragma omp for firstprivate(,
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 2 {{expected expression}}
|
|
#pragma omp for firstprivate(, )
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for firstprivate()
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected expression}}
|
|
#pragma omp for firstprivate(int)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
// expected-error@+1 {{expected variable name}}
|
|
#pragma omp for firstprivate(0)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
|
|
int x, y, z;
|
|
#pragma omp parallel
|
|
#pragma omp for lastprivate(x) firstprivate(x)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
#pragma omp for lastprivate(x, y) firstprivate(x, y)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
#pragma omp parallel
|
|
#pragma omp for lastprivate(x, y, z) firstprivate(x, y, z)
|
|
for (i = 0; i < 16; ++i)
|
|
;
|
|
}
|
|
|
|
void test_loop_messages() {
|
|
float a[100], b[100], c[100];
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{variable must be of integer or pointer type}}
|
|
#pragma omp for
|
|
for (float fi = 0; fi < 10.0; fi++) {
|
|
c[(int)fi] = a[(int)fi] + b[(int)fi];
|
|
}
|
|
#pragma omp parallel
|
|
// expected-error@+2 {{variable must be of integer or pointer type}}
|
|
#pragma omp for
|
|
for (double fi = 0; fi < 10.0; fi++) {
|
|
c[(int)fi] = a[(int)fi] + b[(int)fi];
|
|
}
|
|
|
|
// expected-warning@+2 {{OpenMP loop iteration variable cannot have more than 64 bits size and will be narrowed}}
|
|
#pragma omp for
|
|
for (__int128 ii = 0; ii < 10; ii++) {
|
|
c[ii] = a[ii] + b[ii];
|
|
}
|
|
}
|
|
|