Files
clang-p2996/clang/test/SemaOpenACC/cache-construct-ast.cpp
erichkeane e27fe2e07c [OpenACC][NFC] Add the _Pragma spelling to a bunch of the tests
OpenACC PR 475(targetting OpenACC3.4) added support for the _Pragma
spelling of an OpenACC pragma. We already implemented this, as clang
doesn't really differentiate between the spellings (so we did it as an
inadvertent extension).

This patch adds a few spot-check tests to make sure we support this
spelling and that it results in the same AST as the traditional
spelling.
2025-03-12 11:01:38 -07:00

128 lines
5.0 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
void use() {
// CHECK: FunctionDecl{{.*}} use 'void ()'
// CHECK-NEXT: CompoundStmt
int Array[5];
// CHECK-NEXT: DeclStmt
// CHECK-NEXT: VarDecl{{.*}}Array 'int[5]'
#pragma acc cache(Array[1])
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySubscriptExpr{{.*}}'int' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: DeclRefExpr{{.*}}'Array' 'int[5]'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
_Pragma("acc cache(Array[1])")
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySubscriptExpr{{.*}}'int' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: DeclRefExpr{{.*}}'Array' 'int[5]'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
#pragma acc cache(Array[1:2])
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySectionExpr{{.*}}'<array section type>' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: DeclRefExpr{{.*}}'Array' 'int[5]'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 2
}
struct S {
int Array[5];
int Array2D[5][5];
void StructUse() {
// CHECK: CXXMethodDecl{{.*}}StructUse 'void ()'
// CHECK-NEXT: CompoundStmt
#pragma acc cache(Array[1])
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySubscriptExpr{{.*}}'int' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: MemberExpr{{.*}} 'int[5]' lvalue ->Array
// CHECK-NEXT: CXXThisExpr{{.*}} 'S *'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
#pragma acc cache(Array[1:2])
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySectionExpr{{.*}}'<array section type>' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: MemberExpr{{.*}} 'int[5]' lvalue ->Array
// CHECK-NEXT: CXXThisExpr{{.*}} 'S *'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 2
#pragma acc cache(Array2D[1][1])
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySubscriptExpr{{.*}}'int' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: ArraySubscriptExpr{{.*}}'int[5]' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)[5]' <ArrayToPointerDecay>
// CHECK-NEXT: MemberExpr{{.*}} 'int[5][5]' lvalue ->Array2D
// CHECK-NEXT: CXXThisExpr{{.*}} 'S *'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
#pragma acc cache(Array2D[1][1:2])
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySectionExpr{{.*}}'<array section type>' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: ArraySubscriptExpr{{.*}}'int[5]' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int (*)[5]' <ArrayToPointerDecay>
// CHECK-NEXT: MemberExpr{{.*}} 'int[5][5]' lvalue ->Array2D
// CHECK-NEXT: CXXThisExpr{{.*}} 'S *'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 2
}
};
template<typename T>
void templ_use() {
// CHECK: FunctionDecl{{.*}} templ_use 'void ()'
// CHECK-NEXT: CompoundStmt
T Array[5];
// CHECK-NEXT: DeclStmt
// CHECK-NEXT: VarDecl{{.*}}Array 'T[5]'
#pragma acc cache(Array[1])
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySubscriptExpr{{.*}}'T' lvalue
// CHECK-NEXT: DeclRefExpr{{.*}}'Array' 'T[5]'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
#pragma acc cache(Array[1:2])
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySectionExpr{{.*}}'<dependent type>' lvalue
// CHECK-NEXT: DeclRefExpr{{.*}}'Array' 'T[5]'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 2
// Instantiation:
// CHECK: FunctionDecl{{.*}} templ_use 'void ()' implicit_instantiation
// CHECK-NEXT: TemplateArgument type 'int'
// CHECK-NEXT: BuiltinType{{.*}} 'int'
// CHECK-NEXT: CompoundStmt
// CHECK-NEXT: DeclStmt
// CHECK-NEXT: VarDecl{{.*}}Array 'int[5]'
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySubscriptExpr{{.*}}'int' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: DeclRefExpr{{.*}}'Array' 'int[5]'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
// CHECK-NEXT: OpenACCCacheConstruct{{.*}} cache
// CHECK-NEXT: ArraySectionExpr{{.*}}'<array section type>' lvalue
// CHECK-NEXT: ImplicitCastExpr{{.*}}'int *' <ArrayToPointerDecay>
// CHECK-NEXT: DeclRefExpr{{.*}}'Array' 'int[5]'
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 1
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 2
}
void foo() {
templ_use<int>();
}
#endif