99 lines · cpp
1// RUN: %clang_cc1 %s -fopenacc -ast-dump | FileCheck %s2 3// Test this with PCH.4// RUN: %clang_cc1 %s -fopenacc -emit-pch -o %t %s5// RUN: %clang_cc1 %s -fopenacc -include-pch %t -ast-dump-all | FileCheck %s6 7#ifndef PCH_HELPER8#define PCH_HELPER9short some_short();10 11struct CorrectConvert {12 operator int();13} Convert;14 15 16void NormalUses() {17 // CHECK: FunctionDecl{{.*}}NormalUses18 // CHECK-NEXT: CompoundStmt19 20#pragma acc kernels loop vector_length(some_short())21 for (unsigned i = 0; i < 5; ++i);22 // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop23 // CHECK-NEXT: vector_length clause24 // CHECK-NEXT: CallExpr{{.*}}'short'25 // CHECK-NEXT: ImplicitCastExpr{{.*}}'short (*)()' <FunctionToPointerDecay>26 // CHECK-NEXT: DeclRefExpr{{.*}}'short ()' lvalue Function{{.*}} 'some_short' 'short ()'27 // CHECK-NEXT: ForStmt28 // CHECK: NullStmt29}30template<typename T, typename U>31void TemplUses(T t, U u) {32 // CHECK-NEXT: FunctionTemplateDecl33 // CHECK-NEXT: TemplateTypeParmDecl{{.*}}typename depth 0 index 0 T34 // CHECK-NEXT: TemplateTypeParmDecl{{.*}}typename depth 0 index 1 U35 // CHECK-NEXT: FunctionDecl{{.*}} TemplUses 'void (T, U)'36 // CHECK-NEXT: ParmVarDecl{{.*}} t 'T'37 // CHECK-NEXT: ParmVarDecl{{.*}} u 'U'38 // CHECK-NEXT: CompoundStmt39 40#pragma acc kernels loop vector_length(u)41 for (unsigned i = 0; i < 5; ++i);42 // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop43 // CHECK-NEXT: vector_length clause44 // CHECK-NEXT: DeclRefExpr{{.*}} 'U' lvalue ParmVar{{.*}} 'u' 'U'45 // CHECK-NEXT: ForStmt46 // CHECK: NullStmt47 48#pragma acc parallel loop vector_length(U::value)49 for (unsigned i = 0; i < 5; ++i);50 // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} parallel loop51 // CHECK-NEXT: vector_length clause52 // CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue53 // CHECK-NEXT: NestedNameSpecifier TypeSpec 'U'54 // CHECK-NEXT: ForStmt55 // CHECK: NullStmt56 57 // Check the instantiated versions of the above.58 // CHECK-NEXT: FunctionDecl{{.*}} used TemplUses 'void (CorrectConvert, HasInt)' implicit_instantiation59 // CHECK-NEXT: TemplateArgument type 'CorrectConvert'60 // CHECK-NEXT: RecordType{{.*}} 'CorrectConvert'61 // CHECK-NEXT: CXXRecord{{.*}} 'CorrectConvert'62 // CHECK-NEXT: TemplateArgument type 'HasInt'63 // CHECK-NEXT: RecordType{{.*}} 'HasInt'64 // CHECK-NEXT: CXXRecord{{.*}} 'HasInt'65 // CHECK-NEXT: ParmVarDecl{{.*}} t 'CorrectConvert'66 // CHECK-NEXT: ParmVarDecl{{.*}} u 'HasInt'67 // CHECK-NEXT: CompoundStmt68 69 // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop70 // CHECK-NEXT: vector_length clause71 // CHECK-NEXT: ImplicitCastExpr{{.*}} 'char' <UserDefinedConversion>72 // CHECK-NEXT: CXXMemberCallExpr{{.*}}'char'73 // CHECK-NEXT: MemberExpr{{.*}} '<bound member function type>' .operator char74 // CHECK-NEXT: DeclRefExpr{{.*}} 'HasInt' lvalue ParmVar75 // CHECK-NEXT: ForStmt76 // CHECK: NullStmt77 78 // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} parallel loop79 // CHECK-NEXT: vector_length clause80 // CHECK-NEXT: ImplicitCastExpr{{.*}} 'int' <LValueToRValue>81 // CHECK-NEXT: DeclRefExpr{{.*}} 'const int' lvalue Var{{.*}} 'value' 'const int'82 // CHECK-NEXT: NestedNameSpecifier TypeSpec 'HasInt'83 // CHECK-NEXT: ForStmt84 // CHECK: NullStmt85}86 87struct HasInt {88 using IntTy = int;89 using ShortTy = short;90 static constexpr int value = 1;91 92 operator char();93};94 95void Inst() {96 TemplUses<CorrectConvert, HasInt>({}, {});97}98#endif // PCH_HELPER99