clang/test/SemaOpenACC/combined-construct-self-ast.cpp

   1 // RUN: %clang_cc1 %s -fopenacc -ast-dump | FileCheck %s
   2
   3 // Test this with PCH.
   4 // RUN: %clang_cc1 %s -fopenacc -emit-pch -o %t %s
   5 // RUN: %clang_cc1 %s -fopenacc -include-pch %t -ast-dump-all | FileCheck %s
   6
   7 #ifndef PCH_HELPER
   8 #define PCH_HELPER
   9
  10 template<typename T>
  11 void TemplFunc() {
  12   // CHECK: FunctionTemplateDecl{{.*}}TemplFunc
  13   // CHECK-NEXT: TemplateTypeParmDecl
  14
  15   // Match the prototype:
  16   // CHECK-NEXT: FunctionDecl{{.*}}TemplFunc
  17   // CHECK-NEXT: CompoundStmt
  18
  19 #pragma acc serial loop self
  20   for (unsigned i = 0; i < 5; ++i);
  21   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}}serial loop
  22   // CHECK-NEXT: self clause
  23   // CHECK-NEXT: ForStmt
  24   // CHECK: NullStmt
  25
  26 #pragma acc kernels loop self(T::SomeFloat)
  27   for (unsigned i = 0; i < 5; ++i);
  28   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}}kernels loop
  29   // CHECK-NEXT: self clause
  30   // CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue
  31   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'T'
  32   // CHECK-NEXT: ForStmt
  33   // CHECK: NullStmt
  34
  35 #pragma acc parallel loop self(T::SomeFloat) if (T::SomeFloat)
  36   for (unsigned i = 0; i < 5; ++i);
  37   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}}parallel loop
  38   // CHECK-NEXT: self clause
  39   // CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue
  40   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'T'
  41   // CHECK-NEXT: if clause
  42   // CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue
  43   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'T'
  44   // CHECK-NEXT: ForStmt
  45   // CHECK: NullStmt
  46
  47 #pragma acc serial loop if(T::SomeFloat) self(T::SomeFloat)
  48   for (unsigned i = 0; i < 5; ++i);
  49   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}}serial loop
  50   // CHECK-NEXT: if clause
  51   // CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue
  52   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'T'
  53   // CHECK-NEXT: self clause
  54   // CHECK-NEXT: DependentScopeDeclRefExpr{{.*}} '<dependent type>' lvalue
  55   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'T'
  56   // CHECK-NEXT: ForStmt
  57   // CHECK: NullStmt
  58   //
  59   // Match the instantiation:
  60   // CHECK: FunctionDecl{{.*}}TemplFunc{{.*}}implicit_instantiation
  61   // CHECK-NEXT: TemplateArgument type 'InstTy'
  62   // CHECK-NEXT: RecordType{{.*}} 'InstTy'
  63   // CHECK-NEXT: CXXRecord{{.*}} 'InstTy'
  64   // CHECK-NEXT: CompoundStmt
  65   //
  66   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}}serial loop
  67   // CHECK-NEXT: self clause
  68   // CHECK-NEXT: ForStmt
  69   // CHECK: NullStmt
  70
  71   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}}kernels loop
  72   // CHECK-NEXT: self clause
  73   // CHECK-NEXT: ImplicitCastExpr{{.*}}'bool' <FloatingToBoolean>
  74   // CHECK-NEXT: ImplicitCastExpr{{.*}}'float' <LValueToRValue>
  75   // CHECK-NEXT: DeclRefExpr{{.*}} 'const float' lvalue Var{{.*}} 'SomeFloat' 'const float'
  76   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'InstTy'
  77   // CHECK-NEXT: ForStmt
  78   // CHECK: NullStmt
  79
  80   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}}parallel loop
  81   // CHECK-NEXT: self clause
  82   // CHECK-NEXT: ImplicitCastExpr{{.*}}'bool' <FloatingToBoolean>
  83   // CHECK-NEXT: ImplicitCastExpr{{.*}}'float' <LValueToRValue>
  84   // CHECK-NEXT: DeclRefExpr{{.*}} 'const float' lvalue Var{{.*}} 'SomeFloat' 'const float'
  85   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'InstTy'
  86   // CHECK-NEXT: if clause
  87   // CHECK-NEXT: ImplicitCastExpr{{.*}}'bool' <FloatingToBoolean>
  88   // CHECK-NEXT: ImplicitCastExpr{{.*}}'float' <LValueToRValue>
  89   // CHECK-NEXT: DeclRefExpr{{.*}} 'const float' lvalue Var{{.*}} 'SomeFloat' 'const float'
  90   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'InstTy'
  91   // CHECK-NEXT: ForStmt
  92   // CHECK: NullStmt
  93
  94   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}}serial loop
  95   // CHECK-NEXT: if clause
  96   // CHECK-NEXT: ImplicitCastExpr{{.*}}'bool' <FloatingToBoolean>
  97   // CHECK-NEXT: ImplicitCastExpr{{.*}}'float' <LValueToRValue>
  98   // CHECK-NEXT: DeclRefExpr{{.*}} 'const float' lvalue Var{{.*}} 'SomeFloat' 'const float'
  99   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'InstTy'
 100   // CHECK-NEXT: self clause
 101   // CHECK-NEXT: ImplicitCastExpr{{.*}}'bool' <FloatingToBoolean>
 102   // CHECK-NEXT: ImplicitCastExpr{{.*}}'float' <LValueToRValue>
 103   // CHECK-NEXT: DeclRefExpr{{.*}} 'const float' lvalue Var{{.*}} 'SomeFloat' 'const float'
 104   // CHECK-NEXT: NestedNameSpecifier TypeSpec 'InstTy'
 105   // CHECK-NEXT: ForStmt
 106   // CHECK: NullStmt
 107
 108 }
 109
 110 struct BoolConversion{ operator bool() const;};
 111 struct InstTy {
 112   using IntTy = int;
 113   static constexpr float SomeFloat = 5.0;
 114   static constexpr BoolConversion BC;
 115 };
 116
 117 void Instantiate() {
 118   TemplFunc<InstTy>();
 119 }
 120 #endif