1 // RUN: %clang_cc1 -DCHECK -verify -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-64 2 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s 3 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-64 4 // RUN: %clang_cc1 -DCHECK -verify -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-32 5 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -o %t %s 6 // RUN: %clang_cc1 -DCHECK -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-32 7 8 // RUN: %clang_cc1 -DLAMBDA -verify -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix LAMBDA --check-prefix LAMBDA-64 9 // RUN: %clang_cc1 -DLAMBDA -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s 10 // RUN: %clang_cc1 -DLAMBDA -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix LAMBDA --check-prefix LAMBDA-64 11 12 // expected-no-diagnostics 13 #ifndef HEADER 14 #define HEADER 15 16 struct St { 17 int a, b; 18 St() : a(0), b(0) {} 19 St(const St &st) : a(st.a + st.b), b(0) {} 20 ~St() {} 21 }; 22 23 volatile int g = 1212; 24 volatile int &g1 = g; 25 26 template <class T> 27 struct S { 28 T f; 29 S(T a) : f(a + g) {} 30 S() : f(g) {} 31 S(const S &s, St t = St()) : f(s.f + t.a) {} 32 operator T() { return T(); } 33 ~S() {} 34 }; 35 36 // CHECK-DAG: [[S_FLOAT_TY:%.+]] = type { float } 37 // CHECK-DAG: [[S_INT_TY:%.+]] = type { i{{[0-9]+}} } 38 39 template <typename T> 40 T tmain() { 41 S<T> test; 42 T t_var = T(); 43 T vec[] = {1, 2}; 44 S<T> s_arr[] = {1, 2}; 45 S<T> &var = test; 46 #pragma omp target 47 #pragma omp teams distribute simd private(t_var, vec, s_arr, var) 48 for (int i = 0; i < 2; ++i) { 49 vec[i] = t_var; 50 s_arr[i] = var; 51 } 52 return T(); 53 } 54 55 // CHECK-DAG: [[TEST:@.+]] = global [[S_FLOAT_TY]] zeroinitializer, 56 S<float> test; 57 // CHECK-DAG: [[T_VAR:@.+]] = global i{{[0-9]+}} 333, 58 int t_var = 333; 59 // CHECK-DAG: [[VEC:@.+]] = global [2 x i{{[0-9]+}}] [i{{[0-9]+}} 1, i{{[0-9]+}} 2], 60 int vec[] = {1, 2}; 61 // CHECK-DAG: [[S_ARR:@.+]] = global [2 x [[S_FLOAT_TY]]] zeroinitializer, 62 S<float> s_arr[] = {1, 2}; 63 // CHECK-DAG: [[VAR:@.+]] = global [[S_FLOAT_TY]] zeroinitializer, 64 S<float> var(3); 65 // CHECK-DAG: [[SIVAR:@.+]] = internal global i{{[0-9]+}} 0, 66 67 int main() { 68 static int sivar; 69 #ifdef LAMBDA 70 // LAMBDA: [[G:@.+]] = global i{{[0-9]+}} 1212, 71 // LAMBDA-LABEL: @main 72 // LAMBDA: call void [[OUTER_LAMBDA:@.+]]( 73 [&]() { 74 // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]]( 75 // LAMBDA: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 1, i8** %{{[^,]+}}, i8** %{{[^,]+}}, i{{64|32}}* {{.+}}@{{[^,]+}}, i32 0, i32 0), i64* {{.+}}@{{[^,]+}}, i32 0, i32 0), i32 0, i32 0) 76 // LAMBDA: call void @[[LOFFL1:.+]]( 77 // LAMBDA: ret 78 #pragma omp target 79 #pragma omp teams distribute simd private(g, g1, sivar) 80 for (int i = 0; i < 2; ++i) { 81 // LAMBDA: define{{.*}} internal{{.*}} void @[[LOFFL1]](i{{64|32}} {{%.+}}) 82 // LAMBDA: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 0, {{.+}} @[[LOUTL1:.+]] to {{.+}}) 83 // LAMBDA: ret void 84 85 // LAMBDA: define internal void @[[LOUTL1]]({{.+}}) 86 // Skip global, bound tid and loop vars 87 // LAMBDA: {{.+}} = alloca i32*, 88 // LAMBDA: {{.+}} = alloca i32*, 89 // LAMBDA: alloca i32, 90 // LAMBDA: alloca i32, 91 // LAMBDA: alloca i32, 92 // LAMBDA: alloca i32, 93 // LAMBDA: alloca i32, 94 // LAMBDA: alloca i32, 95 // LAMBDA: [[G_PRIV:%.+]] = alloca i{{[0-9]+}}, 96 // LAMBDA: [[G1_PRIV:%.+]] = alloca i{{[0-9]+}} 97 // LAMBDA: [[TMP:%.+]] = alloca i{{[0-9]+}}*, 98 // LAMBDA: [[SIVAR_PRIV:%.+]] = alloca i{{[0-9]+}}, 99 // LAMBDA: store{{.+}} [[G1_PRIV]], {{.+}} [[TMP]], 100 101 g = 1; 102 g1 = 1; 103 sivar = 2; 104 // LAMBDA: call void @__kmpc_for_static_init_4( 105 // LAMBDA-DAG: store{{.+}} 1, {{.+}} [[G_PRIV]], 106 // LAMBDA-DAG: store{{.+}} 2, {{.+}} [[SIVAR_PRIV]], 107 // LAMBDA-DAG: [[G1_REF:%.+]] = load{{.+}}, {{.+}} [[TMP]], 108 // LAMBDA-DAG: store{{.+}} 1, {{.+}} [[G1_REF]], 109 // LAMBDA: call void [[INNER_LAMBDA:@.+]]( 110 // LAMBDA: call void @__kmpc_for_static_fini( 111 [&]() { 112 // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]]) 113 // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]], 114 g = 2; 115 g1 = 2; 116 sivar = 4; 117 // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]] 118 119 // LAMBDA: [[G_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0 120 // LAMBDA: [[G_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G_PTR_REF]] 121 // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[G_REF]] 122 // LAMBDA: [[G1_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 1 123 // LAMBDA: [[G1_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G1_PTR_REF]] 124 // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[G1_REF]] 125 // LAMBDA: [[SIVAR_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 2 126 // LAMBDA: [[SIVAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[SIVAR_PTR_REF]] 127 // LAMBDA: store i{{[0-9]+}} 4, i{{[0-9]+}}* [[SIVAR_REF]] 128 }(); 129 } 130 }(); 131 return 0; 132 #else 133 #pragma omp target 134 #pragma omp teams distribute simd private(t_var, vec, s_arr, var, sivar) 135 for (int i = 0; i < 2; ++i) { 136 vec[i] = t_var; 137 s_arr[i] = var; 138 sivar += i; 139 } 140 return tmain<int>(); 141 #endif 142 } 143 144 // CHECK: define {{.*}}i{{[0-9]+}} @main() 145 // CHECK: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 0, i8** null, i8** null, i{{64|32}}* null, i64* null, i32 0, i32 0) 146 // CHECK: call void @[[OFFL1:.+]]() 147 // CHECK: {{%.+}} = call{{.*}} i32 @[[TMAIN_INT:.+]]() 148 // CHECK: ret 149 150 // CHECK: define{{.*}} void @[[OFFL1]]() 151 // CHECK: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 0, {{.+}} @[[OUTL1:.+]] to {{.+}}) 152 // CHECK: ret void 153 154 // CHECK: define internal void @[[OUTL1]]({{.+}}) 155 // Skip global, bound tid and loop vars 156 // CHECK: {{.+}} = alloca i32*, 157 // CHECK: {{.+}} = alloca i32*, 158 // CHECK: {{.+}} = alloca i32, 159 // CHECK: {{.+}} = alloca i32, 160 // CHECK: {{.+}} = alloca i32, 161 // CHECK: {{.+}} = alloca i32, 162 // CHECK: {{.+}} = alloca i32, 163 // CHECK: {{.+}} = alloca i32, 164 // CHECK-DAG: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, 165 // CHECK-DAG: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], 166 // CHECK-DAG: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_FLOAT_TY]]], 167 // CHECK-DAG: [[VAR_PRIV:%.+]] = alloca [[S_FLOAT_TY]], 168 // CHECK-DAG: [[SIVAR_PRIV:%.+]] = alloca i{{[0-9]+}}, 169 170 // private(s_arr) 171 // CHECK-DAG: [[S_ARR_PRIV_BGN:%.+]] = getelementptr{{.*}} [2 x [[S_FLOAT_TY]]], [2 x [[S_FLOAT_TY]]]* [[S_ARR_PRIV]], 172 // CHECK-DAG: [[S_ARR_PTR_ALLOC:%.+]] = phi{{.+}} [ [[S_ARR_PRIV_BGN]], {{.+}} ], [ [[S_ARR_NEXT:%.+]], {{.+}} ] 173 // CHECK-DAG: call void @{{.+}}({{.+}} [[S_ARR_PTR_ALLOC]]) 174 // CHECK-DAG: [[S_ARR_NEXT]] = getelementptr {{.+}} [[S_ARR_PTR_ALLOC]], 175 176 // private(var) 177 // CHECK-DAG: call void @{{.+}}({{.+}} [[VAR_PRIV]]) 178 179 // CHECK: call void @__kmpc_for_static_init_4( 180 // CHECK-DAG: {{.+}} = {{.+}} [[T_VAR_PRIV]] 181 // CHECK-DAG: {{.+}} = {{.+}} [[VEC_PRIV]] 182 // CHECK-DAG: {{.+}} = {{.+}} [[S_ARR_PRIV]] 183 // CHECK-DAG: {{.+}} = {{.+}} [[VAR_PRIV]] 184 // CHECK-DAG: {{.+}} = {{.+}} [[SIVAR_PRIV]] 185 // CHECK: call void @__kmpc_for_static_fini( 186 // CHECK: ret void 187 188 189 // CHECK: define{{.*}} i{{[0-9]+}} @[[TMAIN_INT]]() 190 // CHECK: call i32 @__tgt_target_teams(i64 -1, i8* @{{[^,]+}}, i32 0, 191 // CHECK: call void @[[TOFFL1:.+]]() 192 // CHECK: ret 193 194 // CHECK: define {{.*}}void @[[TOFFL1]]() 195 // CHECK: call void {{.+}} @__kmpc_fork_teams({{.+}}, i32 0, {{.+}} @[[TOUTL1:.+]] to {{.+}}) 196 // CHECK: ret void 197 198 // CHECK: define internal void @[[TOUTL1]]({{.+}}) 199 // Skip global, bound tid and loop vars 200 // CHECK: {{.+}} = alloca i32*, 201 // CHECK: {{.+}} = alloca i32*, 202 // CHECK: alloca i{{[0-9]+}}, 203 // CHECK: alloca i{{[0-9]+}}, 204 // CHECK: alloca i{{[0-9]+}}, 205 // CHECK: alloca i{{[0-9]+}}, 206 // CHECK: alloca i{{[0-9]+}}, 207 // CHECK: alloca i{{[0-9]+}}, 208 // CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, 209 // CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], 210 // CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_INT_TY]]], 211 // CHECK: [[VAR_PRIV:%.+]] = alloca [[S_INT_TY]], 212 // CHECK: [[TMP:%.+]] = alloca [[S_INT_TY]]*, 213 214 // private(s_arr) 215 // CHECK-DAG: [[S_ARR_PRIV_BGN:%.+]] = getelementptr{{.*}} [2 x [[S_INT_TY]]], [2 x [[S_INT_TY]]]* [[S_ARR_PRIV]], 216 // CHECK-DAG: [[S_ARR_PTR_ALLOC:%.+]] = phi{{.+}} [ [[S_ARR_PRIV_BGN]], {{.+}} ], [ [[S_ARR_NEXT:%.+]], {{.+}} ] 217 // CHECK-DAG: call void @{{.+}}({{.+}} [[S_ARR_PTR_ALLOC]]) 218 // CHECK-DAG: [[S_ARR_NEXT]] = getelementptr {{.+}} [[S_ARR_PTR_ALLOC]], 219 220 // CHECK-DAG: [[S_ARR_PRIV_BGN:%.+]] = getelementptr{{.*}} [2 x [[S_INT_TY]]], [2 x [[S_INT_TY]]]* [[S_ARR_PRIV]], 221 // CHECK-DAG: [[S_ARR_PTR_ALLOC:%.+]] = phi{{.+}} [ [[S_ARR_PRIV_BGN]], {{.+}} ], [ [[S_ARR_NEXT:%.+]], {{.+}} ] 222 // CHECK-DAG: call void @{{.+}}({{.+}} [[S_ARR_PTR_ALLOC]]) 223 // CHECK-DAG: [[S_ARR_NEXT]] = getelementptr {{.+}} [[S_ARR_PTR_ALLOC]], 224 225 // private(var) 226 // CHECK-DAG: call void @{{.+}}({{.+}} [[VAR_PRIV]]) 227 // CHECK-DAG: store{{.+}} [[VAR_PRIV]], {{.+}} [[TMP]] 228 229 // CHECK: call void @__kmpc_for_static_init_4( 230 // CHECK-DAG: {{.+}} = {{.+}} [[T_VAR_PRIV]] 231 // CHECK-DAG: {{.+}} = {{.+}} [[VEC_PRIV]] 232 // CHECK-DAG: {{.+}} = {{.+}} [[S_ARR_PRIV]] 233 // CHECK-DAG: {{.+}} = {{.+}} [[TMP]] 234 // CHECK: call void @__kmpc_for_static_fini( 235 // CHECK: ret void 236 237 // CHECK: !{!"llvm.loop.vectorize.enable", i1 true} 238 #endif 239