test/OpenMP/task_codegen.cpp

   1 // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -x c++ -emit-llvm %s -o - | FileCheck %s
   2 // RUN: %clang_cc1 -fopenmp -x c++ -triple x86_64-apple-darwin10 -emit-pch -o %t %s
   3 // RUN: %clang_cc1 -fopenmp -x c++ -triple x86_64-apple-darwin10 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s
   4
   5 // RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp-simd -x c++ -emit-llvm %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s
   6 // RUN: %clang_cc1 -fopenmp-simd -x c++ -triple x86_64-apple-darwin10 -emit-pch -o %t %s
   7 // RUN: %clang_cc1 -fopenmp-simd -x c++ -triple x86_64-apple-darwin10 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY0 %s
   8 // SIMD-ONLY0-NOT: {{__kmpc|__tgt}}
   9 // expected-no-diagnostics
  10 #ifndef HEADER
  11 #define HEADER
  12
  13 // CHECK-DAG: [[IDENT_T:%.+]] = type { i32, i32, i32, i32, i8* }
  14 // CHECK-DAG: [[STRUCT_SHAREDS:%.+]] = type { i8*, [2 x [[STRUCT_S:%.+]]]* }
  15 // CHECK-DAG: [[STRUCT_SHAREDS1:%.+]] = type { [2 x [[STRUCT_S:%.+]]]* }
  16 // CHECK-DAG: [[KMP_TASK_T:%.+]] = type { i8*, i32 (i32, i8*)*, i32, %union{{.+}}, %union{{.+}} }
  17 // CHECK-DAG: [[KMP_DEPEND_INFO:%.+]] = type { i64, i64, i8 }
  18 struct S {
  19   int a;
  20   S() : a(0) {}
  21   S(const S &s) : a(s.a) {}
  22   ~S() {}
  23 };
  24 int a;
  25 // CHECK-LABEL: @main
  26 int main() {
  27 // CHECK: [[B:%.+]] = alloca i8
  28 // CHECK: [[S:%.+]] = alloca [2 x [[STRUCT_S]]]
  29   char b;
  30   S s[2];
  31   int arr[10][a];
  32 // CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num([[IDENT_T]]* @{{.+}})
  33 // CHECK: [[B_REF:%.+]] = getelementptr inbounds [[STRUCT_SHAREDS]], [[STRUCT_SHAREDS]]* [[CAPTURES:%.+]], i32 0, i32 0
  34 // CHECK: store i8* [[B]], i8** [[B_REF]]
  35 // CHECK: [[S_REF:%.+]] = getelementptr inbounds [[STRUCT_SHAREDS]], [[STRUCT_SHAREDS]]* [[CAPTURES]], i32 0, i32 1
  36 // CHECK: store [2 x [[STRUCT_S]]]* [[S]], [2 x [[STRUCT_S]]]** [[S_REF]]
  37 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 33, i64 40, i64 16, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY1:@.+]] to i32 (i32, i8*)*))
  38 // CHECK: [[SHAREDS_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]], [[KMP_TASK_T]]* [[TASK_PTR:%.+]], i32 0, i32 0
  39 // CHECK: [[SHAREDS_REF:%.+]] = load i8*, i8** [[SHAREDS_REF_PTR]]
  40 // CHECK: [[BITCAST:%.+]] = bitcast [[STRUCT_SHAREDS]]* [[CAPTURES]] to i8*
  41 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 [[SHAREDS_REF]], i8* align 8 [[BITCAST]], i64 16, i1 false)
  42 // CHECK: [[PRIORITY_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]], [[KMP_TASK_T]]* [[TASK_PTR]], i32 0, i32 4
  43 // CHECK: [[PRIORITY:%.+]] = bitcast %union{{.+}}* [[PRIORITY_REF_PTR]] to i32*
  44 // CHECK: store i32 {{.+}}, i32* [[PRIORITY]]
  45 // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]])
  46 #pragma omp task shared(a, b, s) priority(b)
  47   {
  48     a = 15;
  49     b = a;
  50     s[0].a = 10;
  51   }
  52 // CHECK: [[S_REF:%.+]] = getelementptr inbounds [[STRUCT_SHAREDS1]], [[STRUCT_SHAREDS1]]* [[CAPTURES:%.+]], i32 0, i32 0
  53 // CHECK: store [2 x [[STRUCT_S]]]* [[S]], [2 x [[STRUCT_S]]]** [[S_REF]]
  54 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{[^,]+}}, i32 [[GTID]], i32 1, i64 40, i64 8,
  55 // CHECK: [[SHAREDS_REF_PTR:%.+]] = getelementptr inbounds [[KMP_TASK_T]], [[KMP_TASK_T]]* [[TASK_PTR:%.+]], i32 0, i32 0
  56 // CHECK: [[SHAREDS_REF:%.+]] = load i8*, i8** [[SHAREDS_REF_PTR]]
  57 // CHECK: [[BITCAST:%.+]] = bitcast [[STRUCT_SHAREDS1]]* [[CAPTURES]] to i8*
  58 // CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* align 8 [[SHAREDS_REF]], i8* align 8 [[BITCAST]], i64 8, i1 false)
  59 // CHECK: [[DEP:%.*]] = getelementptr inbounds [4 x [[KMP_DEPEND_INFO]]], [4 x [[KMP_DEPEND_INFO]]]* [[DEPENDENCIES:%.*]], i64 0, i64 0
  60 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 0
  61 // CHECK: store i64 ptrtoint (i32* @{{.+}} to i64), i64* [[T0]]
  62 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 1
  63 // CHECK: store i64 4, i64* [[T0]]
  64 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 2
  65 // CHECK: store i8 1, i8* [[T0]]
  66 // CHECK: [[DEP:%.*]] = getelementptr inbounds [4 x [[KMP_DEPEND_INFO]]], [4 x [[KMP_DEPEND_INFO]]]* [[DEPENDENCIES]], i64 0, i64 1
  67 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 0
  68 // CHECK: ptrtoint i8* [[B]] to i64
  69 // CHECK: store i64 %{{[^,]+}}, i64* [[T0]]
  70 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 1
  71 // CHECK: store i64 1, i64* [[T0]]
  72 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 2
  73 // CHECK: store i8 1, i8* [[T0]]
  74 // CHECK: [[DEP:%.*]] = getelementptr inbounds [4 x [[KMP_DEPEND_INFO]]], [4 x [[KMP_DEPEND_INFO]]]* [[DEPENDENCIES]], i64 0, i64 2
  75 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 0
  76 // CHECK: ptrtoint [2 x [[STRUCT_S]]]* [[S]] to i64
  77 // CHECK: store i64 %{{[^,]+}}, i64* [[T0]]
  78 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 1
  79 // CHECK: store i64 8, i64* [[T0]]
  80 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 2
  81 // CHECK: store i8 1, i8* [[T0]]
  82 // CHECK: [[IDX1:%.+]] = mul nsw i64 0, [[A_VAL:%.+]]
  83 // CHECK: [[START:%.+]] = getelementptr inbounds i32, i32* %{{.+}}, i64 [[IDX1]]
  84 // CHECK: [[IDX1:%.+]] = mul nsw i64 9, [[A_VAL]]
  85 // CHECK: [[END:%.+]] = getelementptr inbounds i32, i32* %{{.+}}, i64 [[IDX1]]
  86 // CHECK: [[END1:%.+]] = getelementptr i32, i32* [[END]], i32 1
  87 // CHECK: [[START_INT:%.+]] = ptrtoint i32* [[START]] to i64
  88 // CHECK: [[END_INT:%.+]] = ptrtoint i32* [[END1]] to i64
  89 // CHECK: [[SIZEOF:%.+]] = sub nuw i64 [[END_INT]], [[START_INT]]
  90 // CHECK: [[DEP:%.*]] = getelementptr inbounds [4 x [[KMP_DEPEND_INFO]]], [4 x [[KMP_DEPEND_INFO]]]* %{{[^,]+}}, i64 0, i64 3
  91 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* [[DEP]], i32 0, i32 0
  92 // CHECK: [[T1:%.*]] = ptrtoint i32* [[START]] to i64
  93 // CHECK: store i64 [[T1]], i64* [[T0]]
  94 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 1
  95 // CHECK: store i64 [[SIZEOF]], i64* [[T0]]
  96 // CHECK: [[T0:%.*]] = getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 2
  97 // CHECK: store i8 1, i8* [[T0]]
  98 // CHECK: [[DEPS:%.*]] = getelementptr inbounds [4 x [[KMP_DEPEND_INFO]]], [4 x [[KMP_DEPEND_INFO]]]* [[DEPENDENCIES]], i32 0, i32 0
  99 // CHECK: bitcast [[KMP_DEPEND_INFO]]* [[DEPS]] to i8*
 100 // CHECK: call i32 @__kmpc_omp_task_with_deps([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]], i32 4, i8* %{{[^,]+}}, i32 0, i8* null)
 101 #pragma omp task shared(a, s) depend(in : a, b, s, arr[:])
 102   {
 103     a = 15;
 104     s[1].a = 10;
 105   }
 106 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 0, i64 40, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY2:@.+]] to i32 (i32, i8*)*))
 107 // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]])
 108 #pragma omp task untied
 109   {
 110     a = 1;
 111   }
 112 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 0, i64 40, i64 1,
 113 // CHECK: getelementptr inbounds [2 x [[STRUCT_S]]], [2 x [[STRUCT_S]]]* [[S]], i64 0, i64 0
 114 // CHECK: getelementptr inbounds [2 x [[KMP_DEPEND_INFO]]], [2 x [[KMP_DEPEND_INFO]]]* %{{[^,]+}}, i64 0, i64 0
 115 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 0
 116 // CHECK: ptrtoint [[STRUCT_S]]* %{{.+}} to i64
 117 // CHECK: store i64 %{{[^,]+}}, i64*
 118 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 1
 119 // CHECK: store i64 4, i64*
 120 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 2
 121 // CHECK: store i8 3, i8*
 122 // CHECK: [[B_VAL:%.+]] = load i8, i8* [[B]]
 123 // CHECK: [[IDX2:%.+]] = sext i8 [[B_VAL]] to i64
 124 // CHECK: [[IDX1:%.+]] = mul nsw i64 4, [[A_VAL]]
 125 // CHECK: [[START:%.+]] = getelementptr inbounds i32, i32* %{{.+}}, i64 [[IDX1]]
 126 // CHECK: [[START1:%.+]] = getelementptr inbounds i32, i32* [[START]], i64 [[IDX2]]
 127 // CHECK: [[B_VAL:%.+]] = load i8, i8* [[B]]
 128 // CHECK: [[IDX2:%.+]] = sext i8 [[B_VAL]] to i64
 129 // CHECK: [[IDX1:%.+]] = mul nsw i64 9, [[A_VAL]]
 130 // CHECK: [[END:%.+]] = getelementptr inbounds i32, i32* %{{.+}}, i64 [[IDX1]]
 131 // CHECK: [[END1:%.+]] = getelementptr inbounds i32, i32* [[END]], i64 [[IDX2]]
 132 // CHECK: [[END2:%.+]] = getelementptr i32, i32* [[END1]], i32 1
 133 // CHECK: [[START_INT:%.+]] = ptrtoint i32* [[START1]] to i64
 134 // CHECK: [[END_INT:%.+]] = ptrtoint i32* [[END2]] to i64
 135 // CHECK: [[SIZEOF:%.+]] = sub nuw i64 [[END_INT]], [[START_INT]]
 136 // CHECK: getelementptr inbounds [2 x [[KMP_DEPEND_INFO]]], [2 x [[KMP_DEPEND_INFO]]]* %{{[^,]+}}, i64 0, i64 1
 137 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 0
 138 // CHECK: ptrtoint i32* [[START1]] to i64
 139 // CHECK: store i64 %{{[^,]+}}, i64*
 140 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 1
 141 // CHECK: store i64 [[SIZEOF]], i64*
 142 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 2
 143 // CHECK: store i8 3, i8*
 144 // CHECK: getelementptr inbounds [2 x [[KMP_DEPEND_INFO]]], [2 x [[KMP_DEPEND_INFO]]]* %{{[^,]+}}, i32 0, i32 0
 145 // CHECK: bitcast [[KMP_DEPEND_INFO]]* %{{.+}} to i8*
 146 // CHECK: call i32 @__kmpc_omp_task_with_deps([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]], i32 2, i8* %{{[^,]+}}, i32 0, i8* null)
 147 #pragma omp task untied depend(out : s[0], arr[4:][b])
 148   {
 149     a = 1;
 150   }
 151 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 3, i64 40, i64 1,
 152 // CHECK: getelementptr inbounds [3 x [[KMP_DEPEND_INFO]]], [3 x [[KMP_DEPEND_INFO]]]* %{{[^,]+}}, i64 0, i64 0
 153 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 0
 154 // CHECK: store i64 ptrtoint (i32* @{{.+}} to i64), i64*
 155 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 1
 156 // CHECK: store i64 4, i64*
 157 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 2
 158 // CHECK: store i8 3, i8*
 159 // CHECK: getelementptr inbounds [2 x [[STRUCT_S]]], [2 x [[STRUCT_S]]]* [[S]], i64 0, i64 1
 160 // CHECK: getelementptr inbounds [3 x [[KMP_DEPEND_INFO]]], [3 x [[KMP_DEPEND_INFO]]]* %{{[^,]+}}, i64 0, i64 1
 161 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 0
 162 // CHECK: ptrtoint [[STRUCT_S]]* %{{.+}} to i64
 163 // CHECK: store i64 %{{[^,]+}}, i64*
 164 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 1
 165 // CHECK: store i64 4, i64*
 166 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 2
 167 // CHECK: store i8 3, i8*
 168 // CHECK: [[IDX1:%.+]] = mul nsw i64 0, [[A_VAL]]
 169 // CHECK: [[START:%.+]] = getelementptr inbounds i32, i32* %{{.+}}, i64 [[IDX1]]
 170 // CHECK: [[START1:%.+]] = getelementptr inbounds i32, i32* [[START]], i64 3
 171 // CHECK: [[NEW_A_VAL:%.+]] = load i32, i32* @{{.+}},
 172 // CHECK: [[NEW_A_VAL_I64:%.+]] = sext i32 [[NEW_A_VAL]] to i64
 173 // CHECK: [[IDX2:%.+]] = sub nsw i64 [[NEW_A_VAL_I64]], 1
 174 // CHECK: [[NEW_A_VAL:%.+]] = load i32, i32* @{{.+}},
 175 // CHECK: [[NEW_A_VAL_I64:%.+]] = sext i32 [[NEW_A_VAL]] to i64
 176 // CHECK: [[SUB:%.+]] = add nsw i64 -1, [[NEW_A_VAL_I64]]
 177 // CHECK: [[IDX1:%.+]] = mul nsw i64 [[SUB]], [[A_VAL]]
 178 // CHECK: [[END:%.+]] = getelementptr inbounds i32, i32* %{{.+}}, i64 [[IDX1]]
 179 // CHECK: [[END1:%.+]] = getelementptr inbounds i32, i32* [[END]], i64 [[IDX2]]
 180 // CHECK: [[END2:%.+]] = getelementptr i32, i32* [[END1]], i32 1
 181 // CHECK: [[START_INT:%.+]] = ptrtoint i32* [[START1]] to i64
 182 // CHECK: [[END_INT:%.+]] = ptrtoint i32* [[END2]] to i64
 183 // CHECK: [[SIZEOF:%.+]] = sub nuw i64 [[END_INT]], [[START_INT]]
 184 // CHECK: getelementptr inbounds [3 x [[KMP_DEPEND_INFO]]], [3 x [[KMP_DEPEND_INFO]]]* %{{[^,]+}}, i64 0, i64 2
 185 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 0
 186 // CHECK: ptrtoint i32* [[START1]] to i64
 187 // CHECK: store i64 %{{[^,]+}}, i64*
 188 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 1
 189 // CHECK: store i64 [[SIZEOF]], i64*
 190 // CHECK: getelementptr inbounds [[KMP_DEPEND_INFO]], [[KMP_DEPEND_INFO]]* %{{[^,]+}}, i32 0, i32 2
 191 // CHECK: store i8 3, i8*
 192 // CHECK: getelementptr inbounds [3 x [[KMP_DEPEND_INFO]]], [3 x [[KMP_DEPEND_INFO]]]* %{{[^,]+}}, i32 0, i32 0
 193 // CHECK: bitcast [[KMP_DEPEND_INFO]]* %{{.+}} to i8*
 194 // CHECK: call i32 @__kmpc_omp_task_with_deps([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]], i32 3, i8* %{{[^,]+}}, i32 0, i8* null)
 195 #pragma omp task final(true) depend(inout: a, s[1], arr[:a][3:])
 196   {
 197     a = 2;
 198   }
 199 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 3, i64 40, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY3:@.+]] to i32 (i32, i8*)*))
 200 // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]])
 201 #pragma omp task final(true)
 202   {
 203     a = 2;
 204   }
 205 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 1, i64 40, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY4:@.+]] to i32 (i32, i8*)*))
 206 // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]])
 207   const bool flag = false;
 208 #pragma omp task final(flag)
 209   {
 210     a = 3;
 211   }
 212 // CHECK: [[B_VAL:%.+]] = load i8, i8* [[B]]
 213 // CHECK: [[CMP:%.+]] = icmp ne i8 [[B_VAL]], 0
 214 // CHECK: [[FINAL:%.+]] = select i1 [[CMP]], i32 2, i32 0
 215 // CHECK: [[FLAGS:%.+]] = or i32 [[FINAL]], 1
 216 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 [[FLAGS]], i64 40, i64 8, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY5:@.+]] to i32 (i32, i8*)*))
 217 // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]])
 218   int c __attribute__((aligned(128)));
 219 #pragma omp task final(b) shared(c)
 220   {
 221     a = 4;
 222     c = 5;
 223   }
 224 // CHECK: [[ORIG_TASK_PTR:%.+]] = call i8* @__kmpc_omp_task_alloc([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i32 0, i64 40, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[KMP_TASK_T]]{{.*}}*)* [[TASK_ENTRY6:@.+]] to i32 (i32, i8*)*))
 225 // CHECK: call i32 @__kmpc_omp_task([[IDENT_T]]* @{{.+}}, i32 [[GTID]], i8* [[ORIG_TASK_PTR]])
 226 #pragma omp task untied
 227   {
 228     S s1;
 229 #pragma omp task
 230     a = 4;
 231 #pragma omp taskyield
 232     s1 = S();
 233 #pragma omp taskwait
 234   }
 235   return a;
 236 }
 237 // CHECK: define internal i32 [[TASK_ENTRY1]](i32, [[KMP_TASK_T]]{{.*}}* noalias)
 238 // CHECK: store i32 15, i32* [[A_PTR:@.+]]
 239 // CHECK: [[A_VAL:%.+]] = load i32, i32* [[A_PTR]]
 240 // CHECK: [[A_VAL_I8:%.+]] = trunc i32 [[A_VAL]] to i8
 241 // CHECK: store i8 [[A_VAL_I8]], i8* %{{.+}}
 242 // CHECK: store i32 10, i32* %{{.+}}
 243
 244 // CHECK: define internal i32 [[TASK_ENTRY2]](i32, [[KMP_TASK_T]]{{.*}}* noalias)
 245 // CHECK: store i32 1, i32* [[A_PTR]]
 246
 247 // CHECK: define internal i32 [[TASK_ENTRY3]](i32, [[KMP_TASK_T]]{{.*}}* noalias)
 248 // CHECK: store i32 2, i32* [[A_PTR]]
 249
 250 // CHECK: define internal i32 [[TASK_ENTRY4]](i32, [[KMP_TASK_T]]{{.*}}* noalias)
 251 // CHECK: store i32 3, i32* [[A_PTR]]
 252
 253 // CHECK: define internal i32 [[TASK_ENTRY5]](i32, [[KMP_TASK_T]]{{.*}}* noalias)
 254 // CHECK: store i32 4, i32* [[A_PTR]]
 255 // CHECK: store i32 5, i32* [[C_PTR:%.+]], align 128
 256
 257 // CHECK: define internal i32
 258 // CHECK: store i32 4, i32* [[A_PTR]]
 259
 260 // CHECK: define internal i32 [[TASK_ENTRY6]](i32, [[KMP_TASK_T]]{{.*}}* noalias)
 261 // CHECK: switch i32 %{{.+}}, label
 262 // CHECK: load i32*, i32** %
 263 // CHECK: store i32 1, i32* %
 264 // CHECK: call i32 @__kmpc_omp_task(%
 265
 266 // CHECK: call i8* @__kmpc_omp_task_alloc(
 267 // CHECK: call i32 @__kmpc_omp_task(%
 268 // CHECK: load i32*, i32** %
 269 // CHECK: store i32 2, i32* %
 270 // CHECK: call i32 @__kmpc_omp_task(%
 271
 272 // CHECK: call i32 @__kmpc_omp_taskyield(%
 273 // CHECK: load i32*, i32** %
 274 // CHECK: store i32 3, i32* %
 275 // CHECK: call i32 @__kmpc_omp_task(%
 276
 277 // CHECK: call i32 @__kmpc_omp_taskwait(%
 278 // CHECK: load i32*, i32** %
 279 // CHECK: store i32 4, i32* %
 280 // CHECK: call i32 @__kmpc_omp_task(%
 281 #endif
 282