blob: 3248bfeebd91fd5958d50796379a36efc9d46148 [file] [log] [blame]
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +00001// Test host codegen.
Samuel Antao1168d63c2016-06-30 21:22:08 +00002// 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
3// 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
4// RUN: %clang_cc1 -DLAMBDA -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 LAMBDA --check-prefix LAMBDA-64
5// RUN: %clang_cc1 -DLAMBDA -verify -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix LAMBDA --check-prefix LAMBDA-32
6// RUN: %clang_cc1 -DLAMBDA -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -o %t %s
7// RUN: %clang_cc1 -DLAMBDA -fopenmp -x c++ -std=c++11 -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 LAMBDA --check-prefix LAMBDA-32
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +00008
Samuel Antao1168d63c2016-06-30 21:22:08 +00009// RUN: %clang_cc1 -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 CHECK --check-prefix CHECK-64
10// RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s
11// RUN: %clang_cc1 -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
12// RUN: %clang_cc1 -verify -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix CHECK --check-prefix CHECK-32
13// RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -o %t %s
14// RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -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
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +000015
Samuel Antao1168d63c2016-06-30 21:22:08 +000016// RUN: %clang_cc1 -DARRAY -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 ARRAY --check-prefix ARRAY-64
17// RUN: %clang_cc1 -DARRAY -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -o %t %s
18// RUN: %clang_cc1 -DARRAY -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 ARRAY --check-prefix ARRAY-64
19// RUN: %clang_cc1 -DARRAY -verify -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -o - | FileCheck %s --check-prefix ARRAY --check-prefix ARRAY-32
20// RUN: %clang_cc1 -DARRAY -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -o %t %s
21// RUN: %clang_cc1 -DARRAY -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s --check-prefix ARRAY --check-prefix ARRAY-32
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +000022// expected-no-diagnostics
23#ifndef HEADER
24#define HEADER
25#ifndef ARRAY
26struct St {
27 int a, b;
28 St() : a(0), b(0) {}
29 St(const St &st) : a(st.a + st.b), b(0) {}
30 ~St() {}
31};
32
33volatile int g __attribute__((aligned(128))) = 1212;
34
35template <class T>
36struct S {
37 T f;
38 S(T a) : f(a + g) {}
39 S() : f(g) {}
40 S(const S &s, St t = St()) : f(s.f + t.a) {}
41 operator T() { return T(); }
42 ~S() {}
43};
44
45// CHECK-DAG: [[S_FLOAT_TY:%.+]] = type { float }
46// CHECK-DAG: [[S_INT_TY:%.+]] = type { i{{[0-9]+}} }
47// CHECK-DAG: [[ST_TY:%.+]] = type { i{{[0-9]+}}, i{{[0-9]+}} }
48
49template <typename T>
50T tmain() {
51 S<T> test;
52 T t_var __attribute__((aligned(128))) = T();
53 T vec[] __attribute__((aligned(128))) = {1, 2};
54 S<T> s_arr[] __attribute__((aligned(128))) = {1, 2};
55 S<T> var __attribute__((aligned(128))) (3);
56 #pragma omp target
57 #pragma omp teams firstprivate(t_var, vec, s_arr, var)
58 {
59 vec[0] = t_var;
60 s_arr[0] = var;
61 }
62#pragma omp target
63#pragma omp teams firstprivate(t_var)
64 {}
65 return T();
66}
67
68int main() {
69 static int sivar;
70#ifdef LAMBDA
71 // LAMBDA-LABEL: @main
72 // LAMBDA: call{{.*}} void [[OUTER_LAMBDA:@.+]](
73 [&]() {
74 // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]](
75 // LAMBDA: call {{.*}}void {{.+}} @__kmpc_fork_teams({{.+}}, i32 2, {{.+}}* [[OMP_REGION:@.+]] to {{.+}}, i32* {{.+}}, {{.+}})
76 #pragma omp target
77 #pragma omp teams firstprivate(g, sivar)
78 {
Samuel Antao6d004262016-06-16 18:39:34 +000079 // LAMBDA: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* noalias %{{.+}}, i32* noalias %{{.+}}, i32* dereferenceable(4) [[G_IN:%.+]], i{{64|32}} {{.*}}[[SIVAR_IN:%.+]])
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +000080 // LAMBDA: store i{{[0-9]+}}* [[G_IN]], i{{[0-9]+}}** [[G_ADDR:%.+]],
Alexey Bataev7ace49d2016-05-17 08:55:33 +000081 // LAMBDA: store i{{[0-9]+}} [[SIVAR_IN]], i{{[0-9]+}}* [[SIVAR_ADDR:%.+]],
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +000082 // LAMBDA: [[G_ADDR_VAL:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G_ADDR]],
Samuel Antao6d004262016-06-16 18:39:34 +000083 // LAMBDA-64: [[SIVAR_CONV:%.+]] = bitcast i64* [[SIVAR_ADDR]] to i32*
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +000084 // LAMBDA: [[G_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[G_ADDR_VAL]],
85 // LAMBDA: store i{{[0-9]+}} [[G_VAL]], i{{[0-9]+}}* [[G_LOCAL:%.+]],
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +000086 g = 1;
87 sivar = 2;
88 // LAMBDA: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_LOCAL]],
Samuel Antao6d004262016-06-16 18:39:34 +000089 // LAMBDA-64: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[SIVAR_CONV]],
90 // LAMBDA-32: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[SIVAR_ADDR]],
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +000091 // LAMBDA: [[G_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
92 // LAMBDA: store i{{[0-9]+}}* [[G_LOCAL]], i{{[0-9]+}}** [[G_PRIVATE_ADDR_REF]]
93 // LAMBDA: [[SIVAR_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 1
Samuel Antao6d004262016-06-16 18:39:34 +000094 // LAMBDA-64: store i{{[0-9]+}}* [[SIVAR_CONV]], i{{[0-9]+}}** [[SIVAR_PRIVATE_ADDR_REF]]
95 // LAMBDA-32: store i{{[0-9]+}}* [[SIVAR_ADDR]], i{{[0-9]+}}** [[SIVAR_PRIVATE_ADDR_REF]]
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +000096 // LAMBDA: call{{.*}} void [[INNER_LAMBDA:@.+]](%{{.+}}* [[ARG]])
97 [&]() {
98 // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]])
99 // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]],
100 g = 2;
101 sivar = 4;
102 // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]]
103 // LAMBDA: [[G_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
104 // LAMBDA: [[G_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G_PTR_REF]]
105 // LAMBDA: [[SIVAR_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 1
106 // LAMBDA: [[SIVAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[SIVAR_PTR_REF]]
107 // LAMBDA: store i{{[0-9]+}} 4, i{{[0-9]+}}* [[SIVAR_REF]]
108 }();
109 }
110 }();
111 return 0;
112#else
113 S<float> test;
114 int t_var = 0;
115 int vec[] = {1, 2};
116 S<float> s_arr[] = {1, 2};
117 S<float> var(3);
118 #pragma omp target
119 #pragma omp teams firstprivate(t_var, vec, s_arr, var, sivar)
120 {
121 vec[0] = t_var;
122 s_arr[0] = var;
123 sivar = 2;
124 }
125 #pragma omp target
126 #pragma omp teams firstprivate(t_var)
127 {}
128 return tmain<int>();
129#endif
130}
131
132// CHECK: define internal {{.*}}void [[OMP_OFFLOADING:@.+]](
Samuel Antao6d004262016-06-16 18:39:34 +0000133// CHECK: call {{.*}}void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_teams(%{{.+}}* @{{.+}}, i{{[0-9]+}} 5, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [2 x i32]*, i{{32|64}}, [2 x [[S_FLOAT_TY]]]*, [[S_FLOAT_TY]]*, i{{[0-9]+}})* [[OMP_OUTLINED:@.+]] to void
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000134// CHECK: ret
135//
Samuel Antao6d004262016-06-16 18:39:34 +0000136// CHECK: define internal {{.*}}void [[OMP_OUTLINED]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [2 x i32]* dereferenceable(8) %{{.+}}, i{{32|64}} {{.*}}%{{.+}}, [2 x [[S_FLOAT_TY]]]* dereferenceable(8) %{{.+}}, [[S_FLOAT_TY]]* dereferenceable(4) %{{.+}}, i{{32|64}} {{.*}}[[SIVAR:%.+]])
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000137// CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}},
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000138// CHECK: [[SIVAR7_PRIV:%.+]] = alloca i{{[0-9]+}},
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000139// CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}],
140// CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_FLOAT_TY]]],
141// CHECK: [[VAR_PRIV:%.+]] = alloca [[S_FLOAT_TY]],
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000142// CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_ADDR:%.+]],
143
144// CHECK: [[VEC_REF:%.+]] = load [2 x i{{[0-9]+}}]*, [2 x i{{[0-9]+}}]** %
Samuel Antao6d004262016-06-16 18:39:34 +0000145// CHECK-64: [[T_VAR_CONV:%.+]] = bitcast i64* [[T_VAR_PRIV]] to i32*
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000146// CHECK: [[S_ARR_REF:%.+]] = load [2 x [[S_FLOAT_TY]]]*, [2 x [[S_FLOAT_TY]]]** %
147// CHECK: [[VAR_REF:%.+]] = load [[S_FLOAT_TY]]*, [[S_FLOAT_TY]]** %
Samuel Antao6d004262016-06-16 18:39:34 +0000148// CHECK-64: [[SIVAR7_CONV:%.+]] = bitcast i64* [[SIVAR7_PRIV]] to i32*
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000149// CHECK: [[VEC_DEST:%.+]] = bitcast [2 x i{{[0-9]+}}]* [[VEC_PRIV]] to i8*
150// CHECK: [[VEC_SRC:%.+]] = bitcast [2 x i{{[0-9]+}}]* [[VEC_REF]] to i8*
151// CHECK: call void @llvm.memcpy.{{.+}}(i8* [[VEC_DEST]], i8* [[VEC_SRC]],
152// CHECK: [[S_ARR_PRIV_BEGIN:%.+]] = getelementptr inbounds [2 x [[S_FLOAT_TY]]], [2 x [[S_FLOAT_TY]]]* [[S_ARR_PRIV]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
153// CHECK: [[S_ARR_BEGIN:%.+]] = bitcast [2 x [[S_FLOAT_TY]]]* [[S_ARR_REF]] to [[S_FLOAT_TY]]*
154// CHECK: [[S_ARR_PRIV_END:%.+]] = getelementptr [[S_FLOAT_TY]], [[S_FLOAT_TY]]* [[S_ARR_PRIV_BEGIN]], i{{[0-9]+}} 2
155// CHECK: [[IS_EMPTY:%.+]] = icmp eq [[S_FLOAT_TY]]* [[S_ARR_PRIV_BEGIN]], [[S_ARR_PRIV_END]]
156// CHECK: br i1 [[IS_EMPTY]], label %[[S_ARR_BODY_DONE:.+]], label %[[S_ARR_BODY:.+]]
157// CHECK: [[S_ARR_BODY]]
158// CHECK: call {{.*}} [[ST_TY_DEFAULT_CONSTR:@.+]]([[ST_TY]]* [[ST_TY_TEMP:%.+]])
159// CHECK: call {{.*}} [[S_FLOAT_TY_COPY_CONSTR:@.+]]([[S_FLOAT_TY]]* {{.+}}, [[S_FLOAT_TY]]* {{.+}}, [[ST_TY]]* [[ST_TY_TEMP]])
160// CHECK: call {{.*}} [[ST_TY_DESTR:@.+]]([[ST_TY]]* [[ST_TY_TEMP]])
161// CHECK: br i1 {{.+}}, label %{{.+}}, label %[[S_ARR_BODY]]
162// CHECK: call {{.*}} [[ST_TY_DEFAULT_CONSTR]]([[ST_TY]]* [[ST_TY_TEMP:%.+]])
163// CHECK: call {{.*}} [[S_FLOAT_TY_COPY_CONSTR]]([[S_FLOAT_TY]]* [[VAR_PRIV]], [[S_FLOAT_TY]]* {{.*}} [[VAR_REF]], [[ST_TY]]* [[ST_TY_TEMP]])
164// CHECK: call {{.*}} [[ST_TY_DESTR]]([[ST_TY]]* [[ST_TY_TEMP]])
165
Samuel Antao6d004262016-06-16 18:39:34 +0000166// CHECK-64: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[SIVAR7_CONV]],
167// CHECK-32: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[SIVAR7_PRIV]],
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000168
169// CHECK-DAG: call {{.*}} [[S_FLOAT_TY_DESTR:@.+]]([[S_FLOAT_TY]]* [[VAR_PRIV]])
170// CHECK-DAG: call {{.*}} [[S_FLOAT_TY_DESTR]]([[S_FLOAT_TY]]*
171// CHECK: ret void
172
173// CHECK: define internal {{.*}}void [[OMP_OFFLOADING_1:@.+]](
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000174// CHECK: call {{.*}}void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_teams(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, i{{[0-9]+}})* [[OMP_OUTLINED_1:@.+]] to void
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000175// CHECK: ret
176
Samuel Antao6d004262016-06-16 18:39:34 +0000177// CHECK: define internal {{.*}}void [[OMP_OUTLINED_1]](i{{[0-9]+}}* noalias {{%.+}}, i{{[0-9]+}}* noalias {{%.+}}, i{{32|64}} {{.*}}[[T_VAR:%.+]])
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000178// CHECK: [[T_VAR_LOC:%.+]] = alloca i{{[0-9]+}},
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000179// CHECK: store i{{[0-9]+}} [[T_VAR]], i{{[0-9]+}}* [[T_VAR_LOC]],
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000180// CHECK: ret
181
182// CHECK: define internal {{.*}}void [[OMP_OFFLOADING_2:@.+]](i{{[0-9]+}}* {{.+}} {{%.+}}, [2 x i32]* {{.+}} {{%.+}}, [2 x [[S_INT_TY]]]* {{.+}} {{%.+}}, [[S_INT_TY]]* {{.+}} {{%.+}})
183// CHECK: call {{.*}}void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_teams(%{{.+}}* @{{.+}}, i{{[0-9]+}} 4, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [2 x i32]*, i32*, [2 x [[S_INT_TY]]]*, [[S_INT_TY]]*)* [[OMP_OUTLINED_2:@.+]] to void
184// CHECK: ret
185
186//
187// CHECK: define internal {{.*}}void [[OMP_OUTLINED_2]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [2 x i32]* dereferenceable(8) %{{.+}}, i32* dereferenceable(4) %{{.+}}, [2 x [[S_INT_TY]]]* dereferenceable(8) %{{.+}}, [[S_INT_TY]]* dereferenceable(4) %{{.+}})
188// CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, align 128
189// CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], align 128
190// CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_INT_TY]]], align 128
191// CHECK: [[VAR_PRIV:%.+]] = alloca [[S_INT_TY]], align 128
192// CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_ADDR:%.+]],
193
194// CHECK: [[VEC_REF:%.+]] = load [2 x i{{[0-9]+}}]*, [2 x i{{[0-9]+}}]** %
195// CHECK: [[T_VAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** %
196// CHECK: [[S_ARR_REF:%.+]] = load [2 x [[S_INT_TY]]]*, [2 x [[S_INT_TY]]]** %
197// CHECK: [[VAR_REF:%.+]] = load [[S_INT_TY]]*, [[S_INT_TY]]** %
198
199// CHECK: [[T_VAR_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[T_VAR_REF]], align 128
200// CHECK: store i{{[0-9]+}} [[T_VAR_VAL]], i{{[0-9]+}}* [[T_VAR_PRIV]], align 128
201// CHECK: [[VEC_DEST:%.+]] = bitcast [2 x i{{[0-9]+}}]* [[VEC_PRIV]] to i8*
202// CHECK: [[VEC_SRC:%.+]] = bitcast [2 x i{{[0-9]+}}]* [[VEC_REF]] to i8*
203// CHECK: call void @llvm.memcpy.{{.+}}(i8* [[VEC_DEST]], i8* [[VEC_SRC]], i{{[0-9]+}} {{[0-9]+}}, i{{[0-9]+}} 128,
204// CHECK: [[S_ARR_PRIV_BEGIN:%.+]] = getelementptr inbounds [2 x [[S_INT_TY]]], [2 x [[S_INT_TY]]]* [[S_ARR_PRIV]], i{{[0-9]+}} 0, i{{[0-9]+}} 0
205// CHECK: [[S_ARR_BEGIN:%.+]] = bitcast [2 x [[S_INT_TY]]]* [[S_ARR_REF]] to [[S_INT_TY]]*
206// CHECK: [[S_ARR_PRIV_END:%.+]] = getelementptr [[S_INT_TY]], [[S_INT_TY]]* [[S_ARR_PRIV_BEGIN]], i{{[0-9]+}} 2
207// CHECK: [[IS_EMPTY:%.+]] = icmp eq [[S_INT_TY]]* [[S_ARR_PRIV_BEGIN]], [[S_ARR_PRIV_END]]
208// CHECK: br i1 [[IS_EMPTY]], label %[[S_ARR_BODY_DONE:.+]], label %[[S_ARR_BODY:.+]]
209// CHECK: [[S_ARR_BODY]]
210// CHECK: call {{.*}} [[ST_TY_DEFAULT_CONSTR]]([[ST_TY]]* [[ST_TY_TEMP:%.+]])
211// CHECK: call {{.*}} [[S_INT_TY_COPY_CONSTR:@.+]]([[S_INT_TY]]* {{.+}}, [[S_INT_TY]]* {{.+}}, [[ST_TY]]* [[ST_TY_TEMP]])
212// CHECK: call {{.*}} [[ST_TY_DESTR:@.+]]([[ST_TY]]* [[ST_TY_TEMP]])
213// CHECK: br i1 {{.+}}, label %{{.+}}, label %[[S_ARR_BODY]]
214// CHECK: call {{.*}} [[ST_TY_DEFAULT_CONSTR]]([[ST_TY]]* [[ST_TY_TEMP:%.+]])
215// CHECK: call {{.*}} [[S_INT_TY_COPY_CONSTR]]([[S_INT_TY]]* [[VAR_PRIV]], [[S_INT_TY]]* {{.*}} [[VAR_REF]], [[ST_TY]]* [[ST_TY_TEMP]])
216// CHECK: call {{.*}} [[ST_TY_DESTR]]([[ST_TY]]* [[ST_TY_TEMP]])
217// CHECK-DAG: call {{.*}} [[S_INT_TY_DESTR:@.+]]([[S_INT_TY]]* [[VAR_PRIV]])
218// CHECK-DAG: call {{.*}} [[S_INT_TY_DESTR]]([[S_INT_TY]]*
219// CHECK: ret void
220
221// CHECK: define internal {{.*}}void [[OMP_OFFLOADING_3:@.+]](
222// CHECK: call {{.*}}void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_teams(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, i{{[0-9]+}}*)* [[OMP_OUTLINED_3:@.+]] to void
223// CHECK: ret
224
225// CHECK: define internal {{.*}}void [[OMP_OUTLINED_3]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, i32* dereferenceable(4) [[T_VAR:%.+]])
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000226// CHECK: [[T_VAR_LOC:%.+]] = alloca i{{[0-9]+}},
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000227// CHECK: store i{{[0-9]+}}* [[T_VAR]], i{{[0-9]+}}** [[T_VAR_ADDR:%.+]],
228// CHECK: [[T_VAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[T_VAR_ADDR]],
229// CHECK: [[T_VAR_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[T_VAR_REF]],
230// CHECK: store i{{[0-9]+}} [[T_VAR_VAL]], i{{[0-9]+}}* [[T_VAR_LOC]],
231// CHECK: ret
232
233#else
234struct St {
235 int a, b;
236 St() : a(0), b(0) {}
237 St(const St &) { }
238 ~St() {}
239 void St_func(St s[2], int n, long double vla1[n]) {
240 double vla2[n][n] __attribute__((aligned(128)));
241 a = b;
242 #pragma omp target
243 #pragma omp teams firstprivate(s, vla1, vla2)
244 vla1[b] = vla2[1][n - 1] = a = b;
245 }
246};
247
248void array_func(float a[3], St s[2], int n, long double vla1[n]) {
249 double vla2[n][n] __attribute__((aligned(128)));
250// ARRAY: call {{.+}} @__kmpc_fork_teams(
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000251// ARRAY-DAG: [[PRIV_S:%.+]] = alloca %struct.St*,
252// ARRAY-64-DAG: [[PRIV_VLA1:%.+]] = alloca ppc_fp128*,
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000253// ARRAY-32-DAG: [[PRIV_VLA1:%.+]] = alloca x86_fp80*,
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000254// ARRAY-DAG: [[PRIV_A:%.+]] = alloca float*,
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000255// ARRAY-DAG: [[PRIV_VLA2:%.+]] = alloca double*,
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000256// ARRAY-DAG: store float* %{{.+}}, float** [[PRIV_A]],
257// ARRAY-DAG: store %struct.St* %{{.+}}, %struct.St** [[PRIV_S]],
258// ARRAY-64-DAG: store ppc_fp128* %{{.+}}, ppc_fp128** [[PRIV_VLA1]],
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000259// ARRAY-32-DAG: store x86_fp80* %{{.+}}, x86_fp80** [[PRIV_VLA1]],
260// ARRAY-DAG: store double* %{{.+}}, double** [[PRIV_VLA2]],
261// ARRAY: call i8* @llvm.stacksave()
262// ARRAY: [[SIZE:%.+]] = mul nuw i{{[0-9]+}} %{{.+}}, 8
263// ARRAY: call void @llvm.memcpy.p0i8.p0i8.i{{[0-9]+}}(i8* %{{.+}}, i8* %{{.+}}, i{{[0-9]+}} [[SIZE]], i32 128, i1 false)
264 #pragma omp target
265 #pragma omp teams firstprivate(a, s, vla1, vla2)
266 s[0].St_func(s, n, vla1);
267 ;
268}
269
270// ARRAY: @__kmpc_fork_teams(
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000271// ARRAY-DAG: [[PRIV_S:%.+]] = alloca %struct.St*,
272// ARRAY-64-DAG: [[PRIV_VLA1:%.+]] = alloca ppc_fp128*,
273// ARRAY-32-DAG: [[PRIV_VLA1:%.+]] = alloca x86_fp80*,
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000274// ARRAY-DAG: [[PRIV_VLA2:%.+]] = alloca double*,
Alexey Bataev7ace49d2016-05-17 08:55:33 +0000275// ARRAY-DAG: store %struct.St* %{{.+}}, %struct.St** [[PRIV_S]],
276// ARRAY-64-DAG: store ppc_fp128* %{{.+}}, ppc_fp128** [[PRIV_VLA1]],
277// ARRAY-32-DAG: store x86_fp80* %{{.+}}, x86_fp80** [[PRIV_VLA1]],
Carlo Bertolli6ad7b5a2016-03-03 22:09:40 +0000278// ARRAY-DAG: store double* %{{.+}}, double** [[PRIV_VLA2]],
279// ARRAY: call i8* @llvm.stacksave()
280// ARRAY: [[SIZE:%.+]] = mul nuw i{{[0-9]+}} %{{.+}}, 8
281// ARRAY: call void @llvm.memcpy.p0i8.p0i8.i{{[0-9]+}}(i8* %{{.+}}, i8* %{{.+}}, i{{[0-9]+}} [[SIZE]], i32 128, i1 false)
282#endif
283#endif