b0cfbfd74b
OpenACC restricts the contents of a 'for' loop affected by a 'loop' construct without a 'seq'. The loop variable must be integer, pointer, or random-access-iterator, it must monotonically increase/decrease, and the trip count must be computable at runtime before the function. This patch tries to implement some of these limitations to the best of our ability, though it causes us to be perhaps overly restrictive at the moment. I expect we'll revisit some of these rules/add additional supported forms of loop-variable and 'monotonically increasing' here, but the currently enforced rules are heavily inspired by the OMP implementation here.
133 lines
5.4 KiB
C
133 lines
5.4 KiB
C
// RUN: %clang_cc1 %s -fopenacc -verify
|
|
|
|
struct Incomplete;
|
|
enum SomeE{ A };
|
|
typedef struct IsComplete {
|
|
struct S { int A; } CompositeMember;
|
|
int ScalarMember;
|
|
float ArrayMember[5];
|
|
enum SomeE EnumMember;
|
|
void *PointerMember;
|
|
} Complete;
|
|
|
|
int GlobalInt;
|
|
float GlobalArray[5];
|
|
short *GlobalPointer;
|
|
Complete GlobalComposite;
|
|
|
|
void uses(int IntParam, short *PointerParam, float ArrayParam[5], Complete CompositeParam) {
|
|
int LocalInt;
|
|
short *LocalPointer;
|
|
float LocalArray[5];
|
|
Complete LocalComposite;
|
|
|
|
// Check Appertainment:
|
|
#pragma acc loop private(LocalInt)
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
// Valid cases:
|
|
#pragma acc loop private(LocalInt, LocalPointer, LocalArray)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalArray)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalArray[:])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalArray[:5])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalArray[2:])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalArray[2:1])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalArray[2])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalComposite)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalComposite.EnumMember)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalComposite.ScalarMember)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalComposite.ArrayMember)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalComposite.ArrayMember[5])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalComposite.PointerMember)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(GlobalInt, GlobalArray, GlobalPointer, GlobalComposite)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(GlobalArray[2], GlobalPointer[2], GlobalComposite.CompositeMember.A)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(LocalComposite, GlobalComposite)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(IntParam, PointerParam, ArrayParam, CompositeParam)
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(PointerParam[IntParam], ArrayParam[IntParam], CompositeParam.CompositeMember.A)
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
#pragma acc loop private(LocalArray) private(LocalArray[2])
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
#pragma acc loop private(LocalArray, LocalArray[2])
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
#pragma acc loop private(LocalComposite, LocalComposite.ScalarMember)
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
#pragma acc loop private(LocalComposite.CompositeMember.A, LocalComposite.ScalarMember)
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
#pragma acc loop private(LocalComposite.CompositeMember.A) private(LocalComposite.ScalarMember)
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
Complete LocalComposite2;
|
|
#pragma acc loop private(LocalComposite2.ScalarMember, LocalComposite2.ScalarMember)
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
// Invalid cases, arbitrary expressions.
|
|
struct Incomplete *I;
|
|
// expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}
|
|
#pragma acc loop private(*I)
|
|
for(int i = 0; i < 5; ++i);
|
|
// expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}
|
|
#pragma acc loop private(GlobalInt + IntParam)
|
|
for(int i = 0; i < 5; ++i);
|
|
// expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}
|
|
#pragma acc loop private(+GlobalInt)
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
// expected-error@+1{{OpenACC sub-array length is unspecified and cannot be inferred because the subscripted value is not an array}}
|
|
#pragma acc loop private(PointerParam[:])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(PointerParam[:5])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(PointerParam[:IntParam])
|
|
for(int i = 0; i < 5; ++i);
|
|
// expected-error@+1{{OpenACC sub-array length is unspecified and cannot be inferred because the subscripted value is not an array}}
|
|
#pragma acc loop private(PointerParam[2:])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(PointerParam[2:5])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(PointerParam[2])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(ArrayParam[:])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(ArrayParam[:5])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(ArrayParam[:IntParam])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(ArrayParam[2:])
|
|
for(int i = 0; i < 5; ++i);
|
|
// expected-error@+1{{OpenACC sub-array specified range [2:5] would be out of the range of the subscripted array size of 5}}
|
|
#pragma acc loop private(ArrayParam[2:5])
|
|
for(int i = 0; i < 5; ++i);
|
|
#pragma acc loop private(ArrayParam[2])
|
|
for(int i = 0; i < 5; ++i);
|
|
|
|
// expected-error@+2{{OpenACC sub-array specified range [2:5] would be out of the range of the subscripted array size of 5}}
|
|
// expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}
|
|
#pragma acc loop private((float*)ArrayParam[2:5])
|
|
for(int i = 0; i < 5; ++i);
|
|
// expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}
|
|
#pragma acc loop private((float)ArrayParam[2])
|
|
for(int i = 0; i < 5; ++i);
|
|
}
|