bb8a7a7349
OpenACC Github PR#499 defines the pqr-list as having at least 1 item. We already handle that for all but 'wait', so this patch just does the work to add it for 'wait', plus adds tests.
226 lines
9.7 KiB
C++
226 lines
9.7 KiB
C++
// RUN: %clang_cc1 %s -fopenacc -ast-dump | FileCheck %s
|
|
|
|
// Test this with PCH.
|
|
// RUN: %clang_cc1 %s -fopenacc -emit-pch -o %t %s
|
|
// RUN: %clang_cc1 %s -fopenacc -include-pch %t -ast-dump-all | FileCheck %s
|
|
|
|
#ifndef PCH_HELPER
|
|
#define PCH_HELPER
|
|
|
|
int some_int();
|
|
long some_long();
|
|
|
|
void NormalFunc() {
|
|
// CHECK-LABEL: NormalFunc
|
|
// CHECK-NEXT: CompoundStmt
|
|
|
|
#pragma acc wait async(some_int())
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: async clause
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
#pragma acc wait async
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: async clause
|
|
#pragma acc wait(some_int(), some_long()) if (some_int() < some_long())
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: CallExpr{{.*}}'long'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'long (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_long'
|
|
// CHECK-NEXT: if clause
|
|
// CHECK-NEXT: BinaryOperator{{.*}} 'bool' '<'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}} 'long'
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: CallExpr{{.*}}'long'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'long (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_long'
|
|
#pragma acc wait(queues:some_int(), some_long())
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: CallExpr{{.*}}'long'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'long (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_long'
|
|
#pragma acc wait(devnum:some_int() : queues:some_int(), some_long())
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: CallExpr{{.*}}'long'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'long (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_long'
|
|
#pragma acc wait(devnum:some_int() : some_int(), some_long())
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: CallExpr{{.*}}'long'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'long (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_long'
|
|
}
|
|
|
|
template<typename T>
|
|
void TemplFunc(T t) {
|
|
// CHECK-LABEL: FunctionTemplateDecl {{.*}}TemplFunc
|
|
// CHECK-NEXT: TemplateTypeParmDecl
|
|
// CHECK-NEXT: FunctionDecl{{.*}}TemplFunc
|
|
// CHECK-NEXT: ParmVarDecl{{.*}} t 'T'
|
|
// CHECK-NEXT: CompoundStmt
|
|
|
|
#pragma acc wait async(T::value)
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: async clause
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>'
|
|
// CHECK-NEXT: NestedNameSpecifier{{.*}} 'T'
|
|
#pragma acc wait async
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: async clause
|
|
#pragma acc wait(t, T::value) if (T::value > t)
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'T' lvalue ParmVar{{.*}} 't' 'T'
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>'
|
|
// CHECK-NEXT: NestedNameSpecifier{{.*}} 'T'
|
|
// CHECK-NEXT: if clause
|
|
// CHECK-NEXT: BinaryOperator{{.*}} '<dependent type>' '>'
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>'
|
|
// CHECK-NEXT: NestedNameSpecifier{{.*}} 'T'
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'T' lvalue ParmVar{{.*}} 't' 'T'
|
|
#pragma acc wait(queues:typename T::IntTy{}, T::value) if (typename T::IntTy{} < typename T::ShortTy{})
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: CXXUnresolvedConstructExpr{{.*}}'typename T::IntTy' list
|
|
// CHECK-NEXT: InitListExpr
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>'
|
|
// CHECK-NEXT: NestedNameSpecifier{{.*}} 'T'
|
|
// CHECK-NEXT: if clause
|
|
// CHECK-NEXT: BinaryOperator{{.*}} '<dependent type>' '<'
|
|
// CHECK-NEXT: CXXUnresolvedConstructExpr{{.*}}'typename T::IntTy' list
|
|
// CHECK-NEXT: InitListExpr
|
|
// CHECK-NEXT: CXXUnresolvedConstructExpr{{.*}}'typename T::ShortTy' list
|
|
// CHECK-NEXT: InitListExpr
|
|
#pragma acc wait(devnum:typename T::ShortTy{} : queues:some_int(), T::value)
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: CXXUnresolvedConstructExpr{{.*}}'typename T::ShortTy' list
|
|
// CHECK-NEXT: InitListExpr
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>'
|
|
// CHECK-NEXT: NestedNameSpecifier{{.*}} 'T'
|
|
#pragma acc wait(devnum:typename T::ShortTy{} : T::value, some_long())
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: CXXUnresolvedConstructExpr{{.*}}'typename T::ShortTy' list
|
|
// CHECK-NEXT: InitListExpr
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>'
|
|
// CHECK-NEXT: NestedNameSpecifier{{.*}} 'T'
|
|
// CHECK-NEXT: CallExpr{{.*}}'long'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'long (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_long'
|
|
|
|
// Instantiation:
|
|
// CHECK-NEXT: FunctionDecl{{.*}} TemplFunc 'void (HasInt)' implicit_instantiation
|
|
// CHECK-NEXT: TemplateArgument type 'HasInt'
|
|
// CHECK-NEXT: RecordType{{.*}} 'HasInt'
|
|
// CHECK-NEXT: CXXRecord{{.*}} 'HasInt'
|
|
// CHECK-NEXT: ParmVarDecl{{.*}} t 'HasInt'
|
|
// CHECK-NEXT: CompoundStmt
|
|
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: async clause
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int'
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'value' 'const int'
|
|
// CHECK-NEXT: NestedNameSpecifier {{.*}}'HasInt'
|
|
//
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: async clause
|
|
//
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'char' <UserDefinedConversion>
|
|
// CHECK-NEXT: CXXMemberCallExpr{{.*}}'char'
|
|
// CHECK-NEXT: MemberExpr{{.*}}.operator char
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'HasInt' lvalue ParmVar{{.*}} 't' 'HasInt'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int'
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'value' 'const int'
|
|
// CHECK-NEXT: NestedNameSpecifier {{.*}}'HasInt'
|
|
// CHECK-NEXT: if clause
|
|
// CHECK-NEXT: BinaryOperator{{.*}} 'bool' '>'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int'
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'value' 'const int'
|
|
// CHECK-NEXT: NestedNameSpecifier {{.*}}'HasInt'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int' <IntegralCast>
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'char' <UserDefinedConversion>
|
|
// CHECK-NEXT: CXXMemberCallExpr{{.*}}'char'
|
|
// CHECK-NEXT: MemberExpr{{.*}}.operator char
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'HasInt' lvalue ParmVar{{.*}} 't' 'HasInt'
|
|
//
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: <<<NULL>>
|
|
// CHECK-NEXT: CXXFunctionalCastExpr{{.*}}'typename HasInt::IntTy':'int'
|
|
// CHECK-NEXT: InitListExpr{{.*}}'typename HasInt::IntTy':'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int'
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'value' 'const int'
|
|
// CHECK-NEXT: NestedNameSpecifier {{.*}}'HasInt'
|
|
// CHECK-NEXT: if clause
|
|
// CHECK-NEXT: BinaryOperator{{.*}} 'bool' '<'
|
|
// CHECK-NEXT: CXXFunctionalCastExpr{{.*}}'typename HasInt::IntTy':'int'
|
|
// CHECK-NEXT: InitListExpr{{.*}}'typename HasInt::IntTy':'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int'
|
|
// CHECK-NEXT: CXXFunctionalCastExpr{{.*}}'typename HasInt::ShortTy':'short'
|
|
// CHECK-NEXT: InitListExpr{{.*}}'typename HasInt::ShortTy':'short'
|
|
//
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: CXXFunctionalCastExpr{{.*}}'typename HasInt::ShortTy':'short'
|
|
// CHECK-NEXT: InitListExpr{{.*}}'typename HasInt::ShortTy':'short'
|
|
// CHECK-NEXT: CallExpr{{.*}}'int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_int'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int'
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'value' 'const int'
|
|
// CHECK-NEXT: NestedNameSpecifier {{.*}}'HasInt'
|
|
//
|
|
// CHECK-NEXT: OpenACCWaitConstruct{{.*}}wait
|
|
// CHECK-NEXT: CXXFunctionalCastExpr{{.*}}'typename HasInt::ShortTy':'short'
|
|
// CHECK-NEXT: InitListExpr{{.*}}'typename HasInt::ShortTy':'short'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int'
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'value' 'const int'
|
|
// CHECK-NEXT: NestedNameSpecifier {{.*}}'HasInt'
|
|
// CHECK-NEXT: CallExpr{{.*}}'long'
|
|
// CHECK-NEXT: ImplicitCastExpr{{.*}}'long (*)()' <FunctionToPointerDecay>
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'some_long'
|
|
}
|
|
|
|
struct HasInt {
|
|
using IntTy = int;
|
|
using ShortTy = short;
|
|
static constexpr int value = 1;
|
|
|
|
operator char();
|
|
};
|
|
void use() {
|
|
TemplFunc(HasInt{});
|
|
}
|
|
#endif
|