clang/test/SemaOpenACC/combined-construct-private-firstprivate-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 #ifndef PCH_HELPER
   7 #define PCH_HELPER
   8
   9 int Global;
  10 short GlobalArray[5];
  11
  12 void NormalUses(float *PointerParam) {
  13   // CHECK: FunctionDecl{{.*}}NormalUses
  14   // CHECK: ParmVarDecl
  15   // CHECK-NEXT: CompoundStmt
  16
  17 #pragma acc parallel loop private(Global, GlobalArray[2])
  18   for (int i = 5; i < 10; ++i);
  19   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} parallel loop
  20   // CHECK-NEXT: private clause
  21   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue Var{{.*}}'Global' 'int'
  22   // CHECK-NEXT: ArraySubscriptExpr{{.*}}'short' lvalue
  23   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'short *' <ArrayToPointerDecay>
  24   // CHECK-NEXT: DeclRefExpr{{.*}}'short[5]' lvalue Var{{.*}}'GlobalArray' 'short[5]'
  25   // CHECK-NEXT: IntegerLiteral{{.*}} 'int' 2
  26   // CHECK-NEXT: ForStmt
  27   // CHECK: NullStmt
  28
  29 #pragma acc serial loop private(GlobalArray, PointerParam[Global])
  30   for (int i = 5; i < 10; ++i);
  31   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} serial loop
  32   // CHECK-NEXT: private clause
  33   // CHECK-NEXT: DeclRefExpr{{.*}}'short[5]' lvalue Var{{.*}}'GlobalArray' 'short[5]'
  34   // CHECK-NEXT: ArraySubscriptExpr{{.*}}'float' lvalue
  35   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'float *' <LValueToRValue>
  36   // CHECK-NEXT: DeclRefExpr{{.*}}'float *' lvalue ParmVar{{.*}}'PointerParam' 'float *'
  37   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'int' <LValueToRValue>
  38   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue Var{{.*}}'Global' 'int'
  39   // CHECK-NEXT: ForStmt
  40   // CHECK: NullStmt
  41
  42 #pragma acc parallel loop firstprivate(GlobalArray, PointerParam[Global])
  43   for (int i = 5; i < 10; ++i);
  44   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} parallel loop
  45   // CHECK-NEXT: firstprivate clause
  46   // CHECK-NEXT: DeclRefExpr{{.*}}'short[5]' lvalue Var{{.*}}'GlobalArray' 'short[5]'
  47   // CHECK-NEXT: ArraySubscriptExpr{{.*}}'float' lvalue
  48   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'float *' <LValueToRValue>
  49   // CHECK-NEXT: DeclRefExpr{{.*}}'float *' lvalue ParmVar{{.*}}'PointerParam' 'float *'
  50   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'int' <LValueToRValue>
  51   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue Var{{.*}}'Global' 'int'
  52   // CHECK-NEXT: ForStmt
  53   // CHECK: NullStmt
  54
  55 #pragma acc serial loop firstprivate(GlobalArray, PointerParam[Global : Global])
  56   for (int i = 5; i < 10; ++i);
  57   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} serial loop
  58   // CHECK-NEXT: firstprivate clause
  59   // CHECK-NEXT: DeclRefExpr{{.*}}'short[5]' lvalue Var{{.*}}'GlobalArray' 'short[5]'
  60   // CHECK-NEXT: ArraySectionExpr
  61   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'float *' <LValueToRValue>
  62   // CHECK-NEXT: DeclRefExpr{{.*}}'float *' lvalue ParmVar{{.*}} 'PointerParam' 'float *'
  63   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'int' <LValueToRValue>
  64   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue Var{{.*}}'Global' 'int'
  65   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'int' <LValueToRValue>
  66   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue Var{{.*}}'Global' 'int'
  67   // CHECK-NEXT: ForStmt
  68   // CHECK: NullStmt
  69
  70 }
  71 template<auto &NTTP, typename T, typename U>
  72 void TemplUses(T t, U u, T*PointerParam) {
  73
  74   // CHECK: FunctionTemplateDecl{{.*}}TemplUses
  75   // CHECK-NEXT: NonTypeTemplateParmDecl {{.*}}referenced 'auto &' depth 0 index 0 NTTP
  76   // CHECK-NEXT: TemplateTypeParmDecl{{.*}}typename depth 0 index 1 T
  77   // CHECK-NEXT: TemplateTypeParmDecl{{.*}}typename depth 0 index 2 U
  78   // CHECK-NEXT: FunctionDecl{{.*}} TemplUses 'void (T, U, T *)'
  79   // CHECK-NEXT: ParmVarDecl{{.*}} referenced t 'T'
  80   // CHECK-NEXT: ParmVarDecl{{.*}} referenced u 'U'
  81   // CHECK-NEXT: ParmVarDecl{{.*}} referenced PointerParam 'T *'
  82   // CHECK-NEXT: CompoundStmt
  83 #pragma acc serial loop private(GlobalArray, PointerParam[Global])
  84   for (int i = 5; i < 10; ++i);
  85   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} serial loop
  86   // CHECK-NEXT: private clause
  87   // CHECK-NEXT: DeclRefExpr{{.*}}'short[5]' lvalue Var{{.*}}'GlobalArray' 'short[5]'
  88   // CHECK-NEXT: ArraySubscriptExpr{{.*}}'T' lvalue
  89   // CHECK-NEXT: DeclRefExpr{{.*}}'T *' lvalue ParmVar{{.*}}'PointerParam' 'T *'
  90   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue Var{{.*}}'Global' 'int'
  91   // CHECK-NEXT: ForStmt
  92   // CHECK: NullStmt
  93
  94 #pragma acc kernels loop private(t, u)
  95   for (int i = 5; i < 10; ++i);
  96   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop
  97   // CHECK-NEXT: private clause
  98   // CHECK-NEXT: DeclRefExpr{{.*}}'T' lvalue ParmVar{{.*}} 't' 'T'
  99   // CHECK-NEXT: DeclRefExpr{{.*}}'U' lvalue ParmVar{{.*}} 'u' 'U'
 100   // CHECK-NEXT: ForStmt
 101   // CHECK: NullStmt
 102
 103 #pragma acc parallel loop firstprivate(t, u)
 104   for (int i = 5; i < 10; ++i);
 105   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} parallel loop
 106   // CHECK-NEXT: firstprivate clause
 107   // CHECK-NEXT: DeclRefExpr{{.*}}'T' lvalue ParmVar{{.*}} 't' 'T'
 108   // CHECK-NEXT: DeclRefExpr{{.*}}'U' lvalue ParmVar{{.*}} 'u' 'U'
 109   // CHECK-NEXT: ForStmt
 110   // CHECK: NullStmt
 111
 112 #pragma acc kernels loop private(t) private(u)
 113   for (int i = 5; i < 10; ++i);
 114   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop
 115   // CHECK-NEXT: private clause
 116   // CHECK-NEXT: DeclRefExpr{{.*}}'T' lvalue ParmVar{{.*}} 't' 'T'
 117   // CHECK-NEXT: private clause
 118   // CHECK-NEXT: DeclRefExpr{{.*}}'U' lvalue ParmVar{{.*}} 'u' 'U'
 119   // CHECK-NEXT: ForStmt
 120   // CHECK: NullStmt
 121
 122 #pragma acc kernels loop private(t) private(NTTP, u)
 123   for (int i = 5; i < 10; ++i);
 124   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop
 125   // CHECK-NEXT: private clause
 126   // CHECK-NEXT: DeclRefExpr{{.*}}'T' lvalue ParmVar{{.*}} 't' 'T'
 127   // CHECK-NEXT: private clause
 128   // CHECK-NEXT: DeclRefExpr{{.*}}'auto' lvalue NonTypeTemplateParm{{.*}} 'NTTP' 'auto &'
 129   // CHECK-NEXT: DeclRefExpr{{.*}}'U' lvalue ParmVar{{.*}} 'u' 'U'
 130   // CHECK-NEXT: ForStmt
 131   // CHECK: NullStmt
 132
 133 #pragma acc parallel loop private(t) firstprivate(NTTP, u)
 134   for (int i = 5; i < 10; ++i);
 135   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} parallel loop
 136   // CHECK-NEXT: private clause
 137   // CHECK-NEXT: DeclRefExpr{{.*}}'T' lvalue ParmVar{{.*}} 't' 'T'
 138   // CHECK-NEXT: firstprivate clause
 139   // CHECK-NEXT: DeclRefExpr{{.*}}'auto' lvalue NonTypeTemplateParm{{.*}} 'NTTP' 'auto &'
 140   // CHECK-NEXT: DeclRefExpr{{.*}}'U' lvalue ParmVar{{.*}} 'u' 'U'
 141   // CHECK-NEXT: ForStmt
 142   // CHECK: NullStmt
 143
 144   // Check the instantiated versions of the above.
 145   // CHECK-NEXT: FunctionDecl{{.*}} used TemplUses 'void (int, int *, int *)' implicit_instantiation
 146   // CHECK-NEXT: TemplateArgument decl
 147   // CHECK-NEXT: Var{{.*}} 'CEVar' 'const unsigned int'
 148   // CHECK-NEXT: TemplateArgument type 'int'
 149   // CHECK-NEXT: BuiltinType{{.*}} 'int'
 150   // CHECK-NEXT: TemplateArgument type 'int[1]'
 151   // CHECK-NEXT: ConstantArrayType{{.*}} 'int[1]'{{.*}} 1
 152   // CHECK-NEXT: BuiltinType{{.*}} 'int'
 153   // CHECK-NEXT: ParmVarDecl{{.*}} used t 'int'
 154   // CHECK-NEXT: ParmVarDecl{{.*}} used u 'int *'
 155   // CHECK-NEXT: ParmVarDecl{{.*}} used PointerParam 'int *'
 156   // CHECK-NEXT: CompoundStmt
 157
 158 // #pragma acc serial loop private(GlobalArray, PointerParam[Global])
 159   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} serial loop
 160   // CHECK-NEXT: private clause
 161   // CHECK-NEXT: DeclRefExpr{{.*}}'short[5]' lvalue Var{{.*}}'GlobalArray' 'short[5]'
 162   // CHECK-NEXT: ArraySubscriptExpr{{.*}}'int' lvalue
 163   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'int *' <LValueToRValue>
 164   // CHECK-NEXT: DeclRefExpr{{.*}}'int *' lvalue ParmVar{{.*}}'PointerParam' 'int *'
 165   // CHECK-NEXT: ImplicitCastExpr{{.*}} 'int' <LValueToRValue>
 166   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue Var{{.*}}'Global' 'int'
 167   // CHECK-NEXT: ForStmt
 168   // CHECK: NullStmt
 169
 170 // #pragma acc kernels loop private(t, u)
 171   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop
 172   // CHECK-NEXT: private clause
 173   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue ParmVar{{.*}} 't' 'int'
 174   // CHECK-NEXT: DeclRefExpr{{.*}}'int *' lvalue ParmVar{{.*}} 'u' 'int *'
 175   // CHECK-NEXT: ForStmt
 176   // CHECK: NullStmt
 177
 178 // #pragma acc parallel loop firstprivate(t, u)
 179   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} parallel loop
 180   // CHECK-NEXT: firstprivate clause
 181   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue ParmVar{{.*}} 't' 'int'
 182   // CHECK-NEXT: DeclRefExpr{{.*}}'int *' lvalue ParmVar{{.*}} 'u' 'int *'
 183   // CHECK-NEXT: ForStmt
 184   // CHECK: NullStmt
 185
 186 // #pragma acc kernels loop private(t) private(u)
 187   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop
 188   // CHECK-NEXT: private clause
 189   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue ParmVar{{.*}} 't' 'int'
 190   // CHECK-NEXT: private clause
 191   // CHECK-NEXT: DeclRefExpr{{.*}}'int *' lvalue ParmVar{{.*}} 'u' 'int *'
 192   // CHECK-NEXT: ForStmt
 193   // CHECK: NullStmt
 194
 195 // #pragma acc kernels loop private(t) private(NTTP, u)
 196   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} kernels loop
 197   // CHECK-NEXT: private clause
 198   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue ParmVar{{.*}} 't' 'int'
 199   // CHECK-NEXT: private clause
 200   // CHECK-NEXT: SubstNonTypeTemplateParmExpr{{.*}}'const unsigned int' lvalue
 201   // CHECK-NEXT: NonTypeTemplateParmDecl{{.*}} referenced 'auto &' depth 0 index 0 NTTP
 202   // CHECK-NEXT: DeclRefExpr{{.*}}'const unsigned int' lvalue Var{{.*}} 'CEVar' 'const unsigned int'
 203   // CHECK-NEXT: DeclRefExpr{{.*}}'int *' lvalue ParmVar{{.*}} 'u' 'int *'
 204   // CHECK-NEXT: ForStmt
 205   // CHECK: NullStmt
 206
 207 // #pragma acc parallel loop private(t) firstprivate(NTTP, u)
 208   // CHECK-NEXT: OpenACCCombinedConstruct{{.*}} parallel loop
 209   // CHECK-NEXT: private clause
 210   // CHECK-NEXT: DeclRefExpr{{.*}}'int' lvalue ParmVar{{.*}} 't' 'int'
 211   // CHECK-NEXT: firstprivate clause
 212   // CHECK-NEXT: SubstNonTypeTemplateParmExpr{{.*}}'const unsigned int' lvalue
 213   // CHECK-NEXT: NonTypeTemplateParmDecl{{.*}} referenced 'auto &' depth 0 index 0 NTTP
 214   // CHECK-NEXT: DeclRefExpr{{.*}}'const unsigned int' lvalue Var{{.*}} 'CEVar' 'const unsigned int'
 215   // CHECK-NEXT: DeclRefExpr{{.*}}'int *' lvalue ParmVar{{.*}} 'u' 'int *'
 216   // CHECK-NEXT: ForStmt
 217   // CHECK: NullStmt
 218 }
 219
 220 void Inst() {
 221   static constexpr unsigned CEVar = 1;
 222   int i;
 223   int Arr[5];
 224   TemplUses<CEVar, int, int[1]>({}, {}, &i);
 225 }
 226 #endif // PCH_HELPER