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.
538 lines
19 KiB
C++
538 lines
19 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 NormalFunc(int i, float f) {
|
|
// CHECK: FunctionDecl{{.*}}NormalFunc
|
|
// CHECK-NEXT: ParmVarDecl
|
|
// CHECK-NEXT: ParmVarDecl
|
|
// CHECK-NEXT: CompoundStmt
|
|
#pragma acc loop reduction(+: i)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: +
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'int' lvalue ParmVar{{.*}} 'i' 'int'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(*: f)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: *
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'float' lvalue ParmVar{{.*}} 'f' 'float'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(max: i)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: max
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'int' lvalue ParmVar{{.*}} 'i' 'int'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(min: f)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: min
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'float' lvalue ParmVar{{.*}} 'f' 'float'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(&: i)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: &
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'int' lvalue ParmVar{{.*}} 'i' 'int'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(|: f)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: |
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'float' lvalue ParmVar{{.*}} 'f' 'float'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
|
|
#pragma acc loop reduction(^: i)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: ^
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'int' lvalue ParmVar{{.*}} 'i' 'int'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(&&: f)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: &&
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'float' lvalue ParmVar{{.*}} 'f' 'float'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
|
|
#pragma acc loop reduction(||: i)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: ||
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'int' lvalue ParmVar{{.*}} 'i' 'int'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
}
|
|
|
|
template<typename T>
|
|
void TemplFunc() {
|
|
// CHECK: FunctionTemplateDecl{{.*}}TemplFunc
|
|
// CHECK-NEXT: TemplateTypeParmDecl
|
|
|
|
// Match the prototype:
|
|
// CHECK-NEXT: FunctionDecl{{.*}}TemplFunc
|
|
// CHECK-NEXT: CompoundStmt
|
|
|
|
T t;
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} t 'T'
|
|
|
|
#pragma acc loop reduction(+: t)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: +
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'T' lvalue Var{{.*}} 't' 'T'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(*: T::SomeFloat)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: *
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue
|
|
// CHECK-NEXT: NestedNameSpecifier TypeSpec 'T'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
typename T::IntTy i;
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'typename T::IntTy'
|
|
|
|
#pragma acc loop reduction(max: i)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: max
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'typename T::IntTy' lvalue Var{{.*}} 'i' 'typename T::IntTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(min: t)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: min
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'T' lvalue Var{{.*}} 't' 'T'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(&: T::SomeFloat)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: &
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue
|
|
// CHECK-NEXT: NestedNameSpecifier TypeSpec 'T'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(|: i)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: |
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'typename T::IntTy' lvalue Var{{.*}} 'i' 'typename T::IntTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(^: t)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: ^
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'T' lvalue Var{{.*}} 't' 'T'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(&&: T::SomeFloat)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: &&
|
|
// CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue
|
|
// CHECK-NEXT: NestedNameSpecifier TypeSpec 'T'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
#pragma acc loop reduction(||: i)
|
|
for(int i = 0; i < 5; ++i);
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: ||
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'typename T::IntTy' lvalue Var{{.*}} 'i' 'typename T::IntTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
// Match the instantiation:
|
|
|
|
// CHECK: FunctionDecl{{.*}}TemplFunc 'void ()' implicit_instantiation
|
|
// CHECK-NEXT: TemplateArgument type 'InstTy'
|
|
// CHECK-NEXT: RecordType{{.*}} 'InstTy'
|
|
// CHECK-NEXT: CXXRecord{{.*}} 'InstTy'
|
|
// CHECK-NEXT: CompoundStmt
|
|
//
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} used t 'InstTy'
|
|
// CHECK-NEXT: CXXConstructExpr{{.*}} 'InstTy' 'void () noexcept'
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: +
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'InstTy' lvalue Var{{.*}} 't' 'InstTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: *
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'const float' lvalue Var{{.*}} 'SomeFloat' 'const float'
|
|
// CHECK-NEXT: NestedNameSpecifier TypeSpec 'InstTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
//
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'typename InstTy::IntTy':'int'
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: max
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'typename InstTy::IntTy':'int' lvalue Var{{.*}} 'i' 'typename InstTy::IntTy':'int'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: min
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'InstTy' lvalue Var{{.*}} 't' 'InstTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: &
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'const float' lvalue Var{{.*}} 'SomeFloat' 'const float'
|
|
// CHECK-NEXT: NestedNameSpecifier TypeSpec 'InstTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: |
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'typename InstTy::IntTy':'int' lvalue Var{{.*}} 'i' 'typename InstTy::IntTy':'int'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: ^
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'InstTy' lvalue Var{{.*}} 't' 'InstTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: &&
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'const float' lvalue Var{{.*}} 'SomeFloat' 'const float'
|
|
// CHECK-NEXT: NestedNameSpecifier TypeSpec 'InstTy'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
//
|
|
// CHECK-NEXT: OpenACCLoopConstruct{{.*}}<orphan>
|
|
// CHECK-NEXT: reduction clause Operator: ||
|
|
// CHECK-NEXT: DeclRefExpr{{.*}} 'typename InstTy::IntTy':'int' lvalue Var{{.*}} 'i' 'typename InstTy::IntTy':'int'
|
|
// CHECK-NEXT: ForStmt
|
|
// CHECK-NEXT: DeclStmt
|
|
// CHECK-NEXT: VarDecl{{.*}} i 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 0
|
|
// CHECK-NEXT: <<<NULL>>>
|
|
// CHECK-NEXT: BinaryOperator{{.*}}'<'
|
|
// CHECK-NEXT: ImplicitCastExpr
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: IntegerLiteral{{.*}} 'int' 5
|
|
// CHECK-NEXT: UnaryOperator{{.*}}++
|
|
// CHECK-NEXT: DeclRefExpr{{.*}}'i' 'int'
|
|
// CHECK-NEXT: NullStmt
|
|
|
|
}
|
|
|
|
struct BoolConversion{ operator bool() const;};
|
|
struct InstTy {
|
|
using IntTy = int;
|
|
static constexpr float SomeFloat = 5.0;
|
|
static constexpr BoolConversion BC;
|
|
};
|
|
|
|
void Instantiate() {
|
|
TemplFunc<InstTy>();
|
|
}
|
|
|
|
#endif // PCH_HELPER
|