112 lines · cpp
1// RUN: %clang_cc1 %s -fopenacc -verify2 3enum SomeE{};4typedef struct IsComplete {5 struct S { int A; } CompositeMember;6 int ScalarMember;7 float ArrayMember[5];8 SomeE EnumMember;9 char *PointerMember;10} Complete;11 12void uses(int IntParam, char *PointerParam, float ArrayParam[5], Complete CompositeParam, int &IntParamRef) {13 int LocalInt;14 char *LocalPointer;15 float LocalArray[5];16 // Check Appertainment:17#pragma acc parallel loop present(LocalInt)18 for(unsigned I = 0; I < 5; ++I);19#pragma acc serial loop present(LocalInt)20 for(unsigned I = 0; I < 5; ++I);21#pragma acc kernels loop present(LocalInt)22 for(unsigned I = 0; I < 5; ++I);23 24 // Valid cases:25#pragma acc parallel loop present(LocalInt, LocalPointer, LocalArray)26 for(unsigned I = 0; I < 5; ++I);27#pragma acc parallel loop present(LocalArray[2:1])28 for(unsigned I = 0; I < 5; ++I);29 30 Complete LocalComposite2;31#pragma acc parallel loop present(LocalComposite2.ScalarMember, LocalComposite2.ScalarMember)32 for(unsigned I = 0; I < 5; ++I);33 34 // expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}35#pragma acc parallel loop present(1 + IntParam)36 for(unsigned I = 0; I < 5; ++I);37 38 // expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}39#pragma acc parallel loop present(+IntParam)40 for(unsigned I = 0; I < 5; ++I);41 42 // expected-error@+1{{OpenACC sub-array length is unspecified and cannot be inferred because the subscripted value is not an array}}43#pragma acc parallel loop present(PointerParam[2:])44 for(unsigned I = 0; I < 5; ++I);45 46 // expected-error@+1{{OpenACC sub-array specified range [2:5] would be out of the range of the subscripted array size of 5}}47#pragma acc parallel loop present(ArrayParam[2:5])48 for(unsigned I = 0; I < 5; ++I);49 50 // expected-error@+1{{OpenACC sub-array specified range [2:5] would be out of the range of the subscripted array size of 5}}51#pragma acc parallel loop present((float*)ArrayParam[2:5])52 for(unsigned I = 0; I < 5; ++I);53 // expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}54#pragma acc parallel loop present((float)ArrayParam[2])55 for(unsigned I = 0; I < 5; ++I);56}57 58template<typename T, unsigned Int, typename V>59void TemplUses(T t, T (&arrayT)[Int], V TemplComp) {60 // expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}61#pragma acc parallel loop present(+t)62 for(unsigned I = 0; I < 5; ++I);63 64 // NTTP's are only valid if it is a reference to something.65 // expected-error@+2{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}66 // expected-note@#TEMPL_USES_INST{{in instantiation of}}67#pragma acc parallel loop present(Int)68 for(unsigned I = 0; I < 5; ++I);69 70 // expected-error@+1{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}71#pragma acc parallel loop present(t, Int)72 for(unsigned I = 0; I < 5; ++I);73 74#pragma acc parallel loop present(arrayT)75 for(unsigned I = 0; I < 5; ++I);76 77#pragma acc parallel loop present(TemplComp)78 for(unsigned I = 0; I < 5; ++I);79 80#pragma acc parallel loop present(TemplComp.PointerMember[5])81 for(unsigned I = 0; I < 5; ++I);82 int *Pointer;83#pragma acc parallel loop present(Pointer[:Int])84 for(unsigned I = 0; I < 5; ++I);85#pragma acc parallel loop present(Pointer[:t])86 for(unsigned I = 0; I < 5; ++I);87 // expected-error@+1{{OpenACC sub-array length is unspecified and cannot be inferred because the subscripted value is not an array}}88#pragma acc parallel loop present(Pointer[1:])89 for(unsigned I = 0; I < 5; ++I);90}91 92template<unsigned Int, auto &NTTP_REF>93void NTTP() {94 // NTTP's are only valid if it is a reference to something.95 // expected-error@+2{{OpenACC variable is not a valid variable name, sub-array, array element, member of a composite variable, or composite variable member}}96 // expected-note@#NTTP_INST{{in instantiation of}}97#pragma acc parallel loop present(Int)98 for(unsigned I = 0; I < 5; ++I);99 100#pragma acc parallel loop present(NTTP_REF)101 for(unsigned I = 0; I < 5; ++I);102}103 104void Inst() {105 static constexpr int NTTP_REFed = 1;106 int i;107 int Arr[5];108 Complete C;109 TemplUses(i, Arr, C); // #TEMPL_USES_INST110 NTTP<5, NTTP_REFed>(); // #NTTP_INST111}112