blob: f3ae1b122089302cb4cee9f8e95b69e4fd7f5089 [file] [log] [blame]
Alexey Bataev7292c292016-04-25 12:22:29 +00001// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -x c++ -emit-llvm %s -o - -femit-all-decls | 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 - -femit-all-decls | FileCheck %s
4// expected-no-diagnostics
5// REQUIRES: x86-registered-target
6#ifndef HEADER
7#define HEADER
8
9// CHECK-LABEL: @main
10int main(int argc, char **argv) {
11// CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num(%ident_t* [[DEFLOC:@.+]])
12// CHECK: [[TASKV:%.+]] = call i8* @__kmpc_omp_task_alloc(%ident_t* [[DEFLOC]], i32 [[GTID]], i32 1, i64 64, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[TDP_TY:%.+]]*)* [[TASK1:@.+]] to i32 (i32, i8*)*))
13// CHECK: [[TASK:%.+]] = bitcast i8* [[TASKV]] to [[TDP_TY]]*
14// CHECK: [[TASK_DATA:%.+]] = getelementptr inbounds [[TDP_TY]], [[TDP_TY]]* [[TASK]], i32 0, i32 0
15// CHECK: getelementptr inbounds [[TD_TY:%.+]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 3
16// CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** %{{.+}}
17// CHECK: [[DOWN:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 4
18// CHECK: store i64 0, i64* [[DOWN]],
19// CHECK: [[UP:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 5
20// CHECK: store i64 9, i64* [[UP]],
21// CHECK: [[ST:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 6
22// CHECK: store i64 1, i64* [[ST]],
23// CHECK: [[ST_VAL:%.+]] = load i64, i64* [[ST]],
24// CHECK: call void @__kmpc_taskloop(%ident_t* [[DEFLOC]], i32 [[GTID]], i8* [[TASKV]], i32 1, i64* [[DOWN]], i64* [[UP]], i64 [[ST_VAL]], i32 0, i32 0, i64 0, i8* null)
25#pragma omp taskloop
26 for (int i = 0; i < 10; ++i)
27 ;
28// CHECK: [[TASKV:%.+]] = call i8* @__kmpc_omp_task_alloc(%ident_t* [[DEFLOC]], i32 [[GTID]], i32 1, i64 64, i64 1, i32 (i32, i8*)* bitcast (i32 (i32, [[TDP_TY:%.+]]*)* [[TASK2:@.+]] to i32 (i32, i8*)*))
29// CHECK: [[TASK:%.+]] = bitcast i8* [[TASKV]] to [[TDP_TY]]*
30// CHECK: [[TASK_DATA:%.+]] = getelementptr inbounds [[TDP_TY]], [[TDP_TY]]* [[TASK]], i32 0, i32 0
31// CHECK: getelementptr inbounds [[TD_TY:%.+]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 3
32// CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** %{{.+}}
33// CHECK: [[DOWN:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 4
34// CHECK: store i64 0, i64* [[DOWN]],
35// CHECK: [[UP:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 5
36// CHECK: store i64 9, i64* [[UP]],
37// CHECK: [[ST:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 6
38// CHECK: store i64 1, i64* [[ST]],
39// CHECK: [[ST_VAL:%.+]] = load i64, i64* [[ST]],
40// CHECK: call void @__kmpc_taskloop(%ident_t* [[DEFLOC]], i32 [[GTID]], i8* [[TASKV]], i32 1, i64* [[DOWN]], i64* [[UP]], i64 [[ST_VAL]], i32 1, i32 0, i64 0, i8* null)
41#pragma omp taskloop nogroup
42 for (int i = 0; i < 10; ++i)
43 ;
44// CHECK: [[TASKV:%.+]] = call i8* @__kmpc_omp_task_alloc(%ident_t* [[DEFLOC]], i32 [[GTID]], i32 1, i64 64, i64 24, i32 (i32, i8*)* bitcast (i32 (i32, [[TDP_TY:%.+]]*)* [[TASK3:@.+]] to i32 (i32, i8*)*))
45// CHECK: [[TASK:%.+]] = bitcast i8* [[TASKV]] to [[TDP_TY]]*
46// CHECK: [[TASK_DATA:%.+]] = getelementptr inbounds [[TDP_TY]], [[TDP_TY]]* [[TASK]], i32 0, i32 0
47// CHECK: getelementptr inbounds [[TD_TY:%.+]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 3
48// CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** %{{.+}}
49// CHECK: [[IF:%.+]] = icmp ne i32 %{{.+}}, 0
50// CHECK: [[IF_INT:%.+]] = sext i1 [[IF]] to i32
51// CHECK: [[DOWN:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 4
52// CHECK: store i64 0, i64* [[DOWN]],
53// CHECK: [[UP:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 5
54// CHECK: store i64 %{{.+}}, i64* [[UP]],
55// CHECK: [[ST:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 6
56// CHECK: store i64 1, i64* [[ST]],
57// CHECK: [[ST_VAL:%.+]] = load i64, i64* [[ST]],
58// CHECK: call void @__kmpc_taskloop(%ident_t* [[DEFLOC]], i32 [[GTID]], i8* [[TASKV]], i32 [[IF_INT]], i64* [[DOWN]], i64* [[UP]], i64 [[ST_VAL]], i32 0, i32 0, i64 0, i8* null)
59 int i;
60#pragma omp taskloop if(argc) shared(argc, argv) collapse(2)
61 for (i = 0; i < argc; ++i)
62 for (int j = argc; j < argv[argc][argc]; ++j)
63 ;
64}
65
66// CHECK: define internal i32 [[TASK1]](
67// CHECK: [[DOWN:%.+]] = getelementptr inbounds [[TD_TY:%.+]], [[TD_TY]]* %{{.+}}, i32 0, i32 4
68// CHECK: [[DOWN_VAL:%.+]] = load i64, i64* [[DOWN]],
69// CHECK: [[UP:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 5
70// CHECK: [[UP_VAL:%.+]] = load i64, i64* [[UP]],
71// CHECK: [[ST:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 6
72// CHECK: [[ST_VAL:%.+]] = load i64, i64* [[ST]],
73// CHECK: [[LITER:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 7
74// CHECK: [[LITER_VAL:%.+]] = load i32, i32* [[LITER]],
75// CHECK: store i64 [[DOWN_VAL]], i64* [[LB:%[^,]+]],
76// CHECK: store i64 [[UP_VAL]], i64* [[UB:%[^,]+]],
77// CHECK: store i64 [[ST_VAL]], i64* [[ST:%[^,]+]],
78// CHECK: store i32 [[LITER_VAL]], i32* [[LITER:%[^,]+]],
79// CHECK: [[LB_VAL:%.+]] = load i64, i64* [[LB]],
80// CHECK: [[LB_I32:%.+]] = trunc i64 [[LB_VAL]] to i32
81// CHECK: store i32 [[LB_I32]], i32* [[CNT:%.+]],
82// CHECK: br label
83// CHECK: [[VAL:%.+]] = load i32, i32* [[CNT]],
84// CHECK: [[VAL_I64:%.+]] = sext i32 [[VAL]] to i64
85// CHECK: [[UB_VAL:%.+]] = load i64, i64* [[UB]],
86// CHECK: [[CMP:%.+]] = icmp ule i64 [[VAL_I64]], [[UB_VAL]]
87// CHECK: br i1 [[CMP]], label %{{.+}}, label %{{.+}}
88// CHECK: load i32, i32* %
89// CHECK: store i32 %
90// CHECK: load i32, i32* %
91// CHECK: add nsw i32 %{{.+}}, 1
92// CHECK: store i32 %{{.+}}, i32* %
93// CHECK: br label %
94// CHECK: ret i32 0
95
96// CHECK: define internal i32 [[TASK2]](
97// CHECK: [[DOWN:%.+]] = getelementptr inbounds [[TD_TY:%.+]], [[TD_TY]]* %{{.+}}, i32 0, i32 4
98// CHECK: [[DOWN_VAL:%.+]] = load i64, i64* [[DOWN]],
99// CHECK: [[UP:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 5
100// CHECK: [[UP_VAL:%.+]] = load i64, i64* [[UP]],
101// CHECK: [[ST:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 6
102// CHECK: [[ST_VAL:%.+]] = load i64, i64* [[ST]],
103// CHECK: [[LITER:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 7
104// CHECK: [[LITER_VAL:%.+]] = load i32, i32* [[LITER]],
105// CHECK: store i64 [[DOWN_VAL]], i64* [[LB:%[^,]+]],
106// CHECK: store i64 [[UP_VAL]], i64* [[UB:%[^,]+]],
107// CHECK: store i64 [[ST_VAL]], i64* [[ST:%[^,]+]],
108// CHECK: store i32 [[LITER_VAL]], i32* [[LITER:%[^,]+]],
109// CHECK: [[LB_VAL:%.+]] = load i64, i64* [[LB]],
110// CHECK: [[LB_I32:%.+]] = trunc i64 [[LB_VAL]] to i32
111// CHECK: store i32 [[LB_I32]], i32* [[CNT:%.+]],
112// CHECK: br label
113// CHECK: [[VAL:%.+]] = load i32, i32* [[CNT]],
114// CHECK: [[VAL_I64:%.+]] = sext i32 [[VAL]] to i64
115// CHECK: [[UB_VAL:%.+]] = load i64, i64* [[UB]],
116// CHECK: [[CMP:%.+]] = icmp ule i64 [[VAL_I64]], [[UB_VAL]]
117// CHECK: br i1 [[CMP]], label %{{.+}}, label %{{.+}}
118// CHECK: load i32, i32* %
119// CHECK: store i32 %
120// CHECK: load i32, i32* %
121// CHECK: add nsw i32 %{{.+}}, 1
122// CHECK: store i32 %{{.+}}, i32* %
123// CHECK: br label %
124// CHECK: ret i32 0
125
126// CHECK: define internal i32 [[TASK3]](
127// CHECK: [[DOWN:%.+]] = getelementptr inbounds [[TD_TY:%.+]], [[TD_TY]]* %{{.+}}, i32 0, i32 4
128// CHECK: [[DOWN_VAL:%.+]] = load i64, i64* [[DOWN]],
129// CHECK: [[UP:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 5
130// CHECK: [[UP_VAL:%.+]] = load i64, i64* [[UP]],
131// CHECK: [[ST:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 6
132// CHECK: [[ST_VAL:%.+]] = load i64, i64* [[ST]],
133// CHECK: [[LITER:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 7
134// CHECK: [[LITER_VAL:%.+]] = load i32, i32* [[LITER]],
135// CHECK: store i64 [[DOWN_VAL]], i64* [[LB:%[^,]+]],
136// CHECK: store i64 [[UP_VAL]], i64* [[UB:%[^,]+]],
137// CHECK: store i64 [[ST_VAL]], i64* [[ST:%[^,]+]],
138// CHECK: store i32 [[LITER_VAL]], i32* [[LITER:%[^,]+]],
139// CHECK: [[LB_VAL:%.+]] = load i64, i64* [[LB]],
140// CHECK: store i64 [[LB_VAL]], i64* [[CNT:%.+]],
141// CHECK: br label
142// CHECK: ret i32 0
143
144// CHECK-LABEL: @_ZN1SC2Ei
145struct S {
146 int a;
147 S(int c) {
148// CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num(%ident_t* [[DEFLOC:@.+]])
149// CHECK: [[TASKV:%.+]] = call i8* @__kmpc_omp_task_alloc(%ident_t* [[DEFLOC]], i32 [[GTID]], i32 1, i64 64, i64 16, i32 (i32, i8*)* bitcast (i32 (i32, [[TDP_TY:%.+]]*)* [[TASK4:@.+]] to i32 (i32, i8*)*))
150// CHECK: [[TASK:%.+]] = bitcast i8* [[TASKV]] to [[TDP_TY]]*
151// CHECK: [[TASK_DATA:%.+]] = getelementptr inbounds [[TDP_TY]], [[TDP_TY]]* [[TASK]], i32 0, i32 0
152// CHECK: getelementptr inbounds [[TD_TY:%.+]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 3
153// CHECK: store i32 (i32, i8*)* null, i32 (i32, i8*)** %{{.+}}
154// CHECK: [[DOWN:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 4
155// CHECK: store i64 0, i64* [[DOWN]],
156// CHECK: [[UP:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 5
157// CHECK: store i64 %{{.+}}, i64* [[UP]],
158// CHECK: [[ST:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* [[TASK_DATA]], i32 0, i32 6
159// CHECK: store i64 1, i64* [[ST]],
160// CHECK: [[ST_VAL:%.+]] = load i64, i64* [[ST]],
161// CHECK: call void @__kmpc_taskloop(%ident_t* [[DEFLOC]], i32 [[GTID]], i8* [[TASKV]], i32 1, i64* [[DOWN]], i64* [[UP]], i64 [[ST_VAL]], i32 0, i32 0, i64 0, i8* null)
162#pragma omp taskloop shared(c)
163 for (a = 0; a < c; ++a)
164 ;
165 }
166} s(1);
167
168// CHECK: define internal i32 [[TASK4]](
169// CHECK: [[DOWN:%.+]] = getelementptr inbounds [[TD_TY:%.+]], [[TD_TY]]* %{{.+}}, i32 0, i32 4
170// CHECK: [[DOWN_VAL:%.+]] = load i64, i64* [[DOWN]],
171// CHECK: [[UP:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 5
172// CHECK: [[UP_VAL:%.+]] = load i64, i64* [[UP]],
173// CHECK: [[ST:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 6
174// CHECK: [[ST_VAL:%.+]] = load i64, i64* [[ST]],
175// CHECK: [[LITER:%.+]] = getelementptr inbounds [[TD_TY]], [[TD_TY]]* %{{.+}}, i32 0, i32 7
176// CHECK: [[LITER_VAL:%.+]] = load i32, i32* [[LITER]],
177// CHECK: store i64 [[DOWN_VAL]], i64* [[LB:%[^,]+]],
178// CHECK: store i64 [[UP_VAL]], i64* [[UB:%[^,]+]],
179// CHECK: store i64 [[ST_VAL]], i64* [[ST:%[^,]+]],
180// CHECK: store i32 [[LITER_VAL]], i32* [[LITER:%[^,]+]],
181// CHECK: [[LB_VAL:%.+]] = load i64, i64* [[LB]],
182// CHECK: [[LB_I32:%.+]] = trunc i64 [[LB_VAL]] to i32
183// CHECK: store i32 [[LB_I32]], i32* [[CNT:%.+]],
184// CHECK: br label
185// CHECK: [[VAL:%.+]] = load i32, i32* [[CNT]],
186// CHECK: [[VAL_I64:%.+]] = sext i32 [[VAL]] to i64
187// CHECK: [[UB_VAL:%.+]] = load i64, i64* [[UB]],
188// CHECK: [[CMP:%.+]] = icmp ule i64 [[VAL_I64]], [[UB_VAL]]
189// CHECK: br i1 [[CMP]], label %{{.+}}, label %{{.+}}
190// CHECK: load i32, i32* %
191// CHECK: store i32 %
192// CHECK: load i32, i32* %
193// CHECK: add nsw i32 %{{.+}}, 1
194// CHECK: store i32 %{{.+}}, i32* %
195// CHECK: br label %
196// CHECK: ret i32 0
197
198#endif