| Pirama Arumuga Nainar | b6d6993 | 2015-07-01 12:25:36 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck %s |
| 2 | // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple x86_64-unknown-unknown -emit-pch -o %t %s |
| 3 | // RUN: %clang_cc1 -fopenmp -x c++ -triple x86_64-unknown-unknown -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s |
| 4 | // RUN: %clang_cc1 -verify -fopenmp -x c++ -std=c++11 -DLAMBDA -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck -check-prefix=LAMBDA %s |
| 5 | // RUN: %clang_cc1 -verify -fopenmp -x c++ -fblocks -DBLOCKS -triple %itanium_abi_triple -emit-llvm %s -o - | FileCheck -check-prefix=BLOCKS %s |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 6 | // expected-no-diagnostics |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 7 | // REQUIRES: x86-registered-target |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 8 | #ifndef HEADER |
| 9 | #define HEADER |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 10 | template <class T> |
| 11 | struct S { |
| 12 | T f; |
| 13 | S(T a) : f(a) {} |
| 14 | S() : f() {} |
| 15 | operator T() { return T(); } |
| 16 | ~S() {} |
| 17 | }; |
| 18 | |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 19 | volatile int g __attribute__((aligned(128))) = 1212; |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 20 | |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 21 | struct SS { |
| 22 | int a; |
| 23 | int b : 4; |
| 24 | int &c; |
| 25 | SS(int &d) : a(0), b(0), c(d) { |
| 26 | #pragma omp parallel private(a, b, c) |
| 27 | #ifdef LAMBDA |
| 28 | [&]() { |
| 29 | ++this->a, --b, (this)->c /= 1; |
| 30 | #pragma omp parallel private(a, b, c) |
| 31 | ++(this)->a, --b, this->c /= 1; |
| 32 | }(); |
| 33 | #elif defined(BLOCKS) |
| 34 | ^{ |
| 35 | ++a; |
| 36 | --this->b; |
| 37 | (this)->c /= 1; |
| 38 | #pragma omp parallel private(a, b, c) |
| 39 | ++(this)->a, --b, this->c /= 1; |
| 40 | }(); |
| 41 | #else |
| 42 | ++this->a, --b, c /= 1; |
| 43 | #endif |
| 44 | } |
| 45 | }; |
| 46 | |
| 47 | template<typename T> |
| 48 | struct SST { |
| 49 | T a; |
| 50 | SST() : a(T()) { |
| 51 | #pragma omp parallel private(a) |
| 52 | #ifdef LAMBDA |
| 53 | [&]() { |
| 54 | [&]() { |
| 55 | ++this->a; |
| 56 | #pragma omp parallel private(a) |
| 57 | ++(this)->a; |
| 58 | }(); |
| 59 | }(); |
| 60 | #elif defined(BLOCKS) |
| 61 | ^{ |
| 62 | ^{ |
| 63 | ++a; |
| 64 | #pragma omp parallel private(a) |
| 65 | ++(this)->a; |
| 66 | }(); |
| 67 | }(); |
| 68 | #else |
| 69 | ++(this)->a; |
| 70 | #endif |
| 71 | } |
| 72 | }; |
| 73 | |
| 74 | // CHECK: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8 |
| 75 | // LAMBDA: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8 |
| 76 | // BLOCKS: [[SS_TY:%.+]] = type { i{{[0-9]+}}, i8 |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 77 | // CHECK: [[S_FLOAT_TY:%.+]] = type { float } |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 78 | // CHECK: [[S_INT_TY:%.+]] = type { i{{[0-9]+}} } |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 79 | // CHECK: [[SST_TY:%.+]] = type { i{{[0-9]+}} } |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 80 | template <typename T> |
| 81 | T tmain() { |
| 82 | S<T> test; |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 83 | SST<T> sst; |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 84 | T t_var __attribute__((aligned(128))) = T(); |
| 85 | T vec[] __attribute__((aligned(128))) = {1, 2}; |
| 86 | S<T> s_arr[] __attribute__((aligned(128))) = {1, 2}; |
| 87 | S<T> var __attribute__((aligned(128))) (3); |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 88 | #pragma omp parallel private(t_var, vec, s_arr, var) |
| 89 | { |
| 90 | vec[0] = t_var; |
| 91 | s_arr[0] = var; |
| 92 | } |
| 93 | return T(); |
| 94 | } |
| 95 | |
| 96 | int main() { |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 97 | static int sivar; |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 98 | SS ss(sivar); |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 99 | #ifdef LAMBDA |
| 100 | // LAMBDA: [[G:@.+]] = global i{{[0-9]+}} 1212, |
| 101 | // LAMBDA-LABEL: @main |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 102 | // LAMBDA: alloca [[SS_TY]], |
| 103 | // LAMBDA: alloca [[CAP_TY:%.+]], |
| 104 | // LAMBDA: call{{.*}} void [[OUTER_LAMBDA:@[^(]+]]([[CAP_TY]]* |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 105 | [&]() { |
| 106 | // LAMBDA: define{{.*}} internal{{.*}} void [[OUTER_LAMBDA]]( |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 107 | // LAMBDA-NOT: = getelementptr inbounds %{{.+}}, |
| 108 | // LAMBDA: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 0, {{.+}}* [[OMP_REGION:@.+]] to {{.+}}) |
| 109 | #pragma omp parallel private(g, sivar) |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 110 | { |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 111 | // LAMBDA: define {{.+}} @{{.+}}([[SS_TY]]* |
| 112 | // LAMBDA: store i{{[0-9]+}} 0, i{{[0-9]+}}* % |
| 113 | // LAMBDA: store i8 |
| 114 | // LAMBDA: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[SS_TY]]*)* [[SS_MICROTASK:@.+]] to void |
| 115 | // LAMBDA: ret |
| 116 | |
| 117 | // LAMBDA: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}}) |
| 118 | // LAMBDA-NOT: getelementptr {{.*}}[[SS_TY]], [[SS_TY]]* % |
| 119 | // LAMBDA: call{{.*}} void |
| 120 | // LAMBDA: ret void |
| 121 | |
| 122 | // LAMBDA: define internal void @{{.+}}(i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}}) |
| 123 | // LAMBDA: [[A_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 124 | // LAMBDA: [[B_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 125 | // LAMBDA: [[C_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 126 | // LAMBDA: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]], |
| 127 | // LAMBDA: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]], |
| 128 | // LAMBDA-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]], |
| 129 | // LAMBDA-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]], |
| 130 | // LAMBDA-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1 |
| 131 | // LAMBDA-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]], |
| 132 | // LAMBDA-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]], |
| 133 | // LAMBDA-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1 |
| 134 | // LAMBDA-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]], |
| 135 | // LAMBDA-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]], |
| 136 | // LAMBDA-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]], |
| 137 | // LAMBDA-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1 |
| 138 | // LAMBDA-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]], |
| 139 | // LAMBDA-NEXT: ret void |
| 140 | |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 141 | // LAMBDA: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* noalias %{{.+}}, i32* noalias %{{.+}}) |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 142 | // LAMBDA: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}}, |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 143 | // LAMBDA: [[SIVAR_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}}, |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 144 | g = 1; |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 145 | sivar = 2; |
| 146 | // LAMBDA: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]], |
| 147 | // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]], |
| Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 148 | // LAMBDA: [[G_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 0 |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 149 | // LAMBDA: store i{{[0-9]+}}* [[G_PRIVATE_ADDR]], i{{[0-9]+}}** [[G_PRIVATE_ADDR_REF]] |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 150 | |
| 151 | // LAMBDA: [[SIVAR_PRIVATE_ADDR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG:%.+]], i{{[0-9]+}} 0, i{{[0-9]+}} 1 |
| 152 | // LAMBDA: store i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]], i{{[0-9]+}}** [[SIVAR_PRIVATE_ADDR_REF]] |
| 153 | |
| 154 | // LAMBDA: call{{.*}} void [[INNER_LAMBDA:@.+]](%{{.+}}* [[ARG]]) |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 155 | [&]() { |
| 156 | // LAMBDA: define {{.+}} void [[INNER_LAMBDA]](%{{.+}}* [[ARG_PTR:%.+]]) |
| 157 | // LAMBDA: store %{{.+}}* [[ARG_PTR]], %{{.+}}** [[ARG_PTR_REF:%.+]], |
| 158 | g = 2; |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 159 | sivar = 4; |
| Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 160 | // LAMBDA: [[ARG_PTR:%.+]] = load %{{.+}}*, %{{.+}}** [[ARG_PTR_REF]] |
| 161 | // LAMBDA: [[G_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 0 |
| 162 | // LAMBDA: [[G_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[G_PTR_REF]] |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 163 | // LAMBDA: store i{{[0-9]+}} 2, i{{[0-9]+}}* [[G_REF]] |
| 164 | // LAMBDA: [[SIVAR_PTR_REF:%.+]] = getelementptr inbounds %{{.+}}, %{{.+}}* [[ARG_PTR]], i{{[0-9]+}} 0, i{{[0-9]+}} 1 |
| 165 | // LAMBDA: [[SIVAR_REF:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[SIVAR_PTR_REF]] |
| 166 | // LAMBDA: store i{{[0-9]+}} 4, i{{[0-9]+}}* [[SIVAR_REF]] |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 167 | }(); |
| 168 | } |
| 169 | }(); |
| 170 | return 0; |
| 171 | #elif defined(BLOCKS) |
| 172 | // BLOCKS: [[G:@.+]] = global i{{[0-9]+}} 1212, |
| 173 | // BLOCKS-LABEL: @main |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 174 | // BLOCKS: call |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 175 | // BLOCKS: call{{.*}} void {{%.+}}(i8 |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 176 | ^{ |
| 177 | // BLOCKS: define{{.*}} internal{{.*}} void {{.+}}(i8* |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 178 | // BLOCKS-NOT: = getelementptr inbounds %{{.+}}, |
| 179 | // BLOCKS: call{{.*}} void {{.+}} @__kmpc_fork_call({{.+}}, i32 0, {{.+}}* [[OMP_REGION:@.+]] to {{.+}}) |
| 180 | #pragma omp parallel private(g, sivar) |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 181 | { |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 182 | // BLOCKS: define{{.*}} internal{{.*}} void [[OMP_REGION]](i32* noalias %{{.+}}, i32* noalias %{{.+}}) |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 183 | // BLOCKS: [[G_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}}, |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 184 | // BLOCKS: [[SIVAR_PRIVATE_ADDR:%.+]] = alloca i{{[0-9]+}}, |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 185 | g = 1; |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 186 | sivar = 20; |
| 187 | // BLOCKS: store i{{[0-9]+}} 1, i{{[0-9]+}}* [[G_PRIVATE_ADDR]], |
| 188 | // BLOCKS: store i{{[0-9]+}} 20, i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]], |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 189 | // BLOCKS-NOT: [[G]]{{[[^:word:]]}} |
| 190 | // BLOCKS: i{{[0-9]+}}* [[G_PRIVATE_ADDR]] |
| 191 | // BLOCKS-NOT: [[G]]{{[[^:word:]]}} |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 192 | // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}} |
| 193 | // BLOCKS: i{{[0-9]+}}* [[SIVAR_PRIVATE_ADDR]] |
| 194 | // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}} |
| 195 | // BLOCKS: call{{.*}} void {{%.+}}(i8 |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 196 | ^{ |
| 197 | // BLOCKS: define {{.+}} void {{@.+}}(i8* |
| 198 | g = 2; |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 199 | sivar = 40; |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 200 | // BLOCKS-NOT: [[G]]{{[[^:word:]]}} |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 201 | // BLOCKS: store i{{[0-9]+}} 2, i{{[0-9]+}}* |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 202 | // BLOCKS-NOT: [[G]]{{[[^:word:]]}} |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 203 | // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}} |
| 204 | // BLOCKS: store i{{[0-9]+}} 40, i{{[0-9]+}}* |
| 205 | // BLOCKS-NOT: [[SIVAR]]{{[[^:word:]]}} |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 206 | // BLOCKS: ret |
| 207 | }(); |
| 208 | } |
| 209 | }(); |
| 210 | return 0; |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 211 | // BLOCKS: define {{.+}} @{{.+}}([[SS_TY]]* |
| 212 | // BLOCKS: store i{{[0-9]+}} 0, i{{[0-9]+}}* % |
| 213 | // BLOCKS: store i8 |
| 214 | // BLOCKS: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[SS_TY]]*)* [[SS_MICROTASK:@.+]] to void |
| 215 | // BLOCKS: ret |
| 216 | |
| 217 | // BLOCKS: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}}) |
| 218 | // BLOCKS-NOT: getelementptr {{.*}}[[SS_TY]], [[SS_TY]]* % |
| 219 | // BLOCKS: call{{.*}} void |
| 220 | // BLOCKS: ret void |
| 221 | |
| 222 | // BLOCKS: define internal void @{{.+}}(i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}}) |
| 223 | // BLOCKS: [[A_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 224 | // BLOCKS: [[B_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 225 | // BLOCKS: [[C_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 226 | // BLOCKS: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]], |
| 227 | // BLOCKS: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]], |
| 228 | // BLOCKS-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]], |
| 229 | // BLOCKS-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]], |
| 230 | // BLOCKS-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1 |
| 231 | // BLOCKS-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]], |
| 232 | // BLOCKS-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]], |
| 233 | // BLOCKS-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1 |
| 234 | // BLOCKS-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]], |
| 235 | // BLOCKS-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]], |
| 236 | // BLOCKS-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]], |
| 237 | // BLOCKS-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1 |
| 238 | // BLOCKS-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]], |
| 239 | // BLOCKS-NEXT: ret void |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 240 | #else |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 241 | S<float> test; |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 242 | int t_var = 0; |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 243 | int vec[] = {1, 2}; |
| 244 | S<float> s_arr[] = {1, 2}; |
| 245 | S<float> var(3); |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 246 | #pragma omp parallel private(t_var, vec, s_arr, var, sivar) |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 247 | { |
| 248 | vec[0] = t_var; |
| 249 | s_arr[0] = var; |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 250 | sivar = 3; |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 251 | } |
| 252 | return tmain<int>(); |
| Stephen Hines | 0e2c34f | 2015-03-23 12:09:02 -0700 | [diff] [blame] | 253 | #endif |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 254 | } |
| 255 | |
| 256 | // CHECK: define i{{[0-9]+}} @main() |
| 257 | // CHECK: [[TEST:%.+]] = alloca [[S_FLOAT_TY]], |
| 258 | // CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR:@.+]]([[S_FLOAT_TY]]* [[TEST]]) |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 259 | // CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 0, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*)* [[MAIN_MICROTASK:@.+]] to void |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 260 | // CHECK: = call i{{.+}} [[TMAIN_INT:@.+]]() |
| 261 | // CHECK: call void [[S_FLOAT_TY_DESTR:@.+]]([[S_FLOAT_TY]]* |
| 262 | // CHECK: ret |
| 263 | // |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 264 | // CHECK: define internal void [[MAIN_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}) |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 265 | // CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 266 | // CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], |
| 267 | // CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_FLOAT_TY]]], |
| 268 | // CHECK: [[VAR_PRIV:%.+]] = alloca [[S_FLOAT_TY]], |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 269 | // CHECK: [[SIVAR_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 270 | // CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]] |
| 271 | // CHECK-NOT: [[T_VAR_PRIV]] |
| 272 | // CHECK-NOT: [[VEC_PRIV]] |
| 273 | // CHECK: {{.+}}: |
| 274 | // CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_FLOAT_TY]]* |
| 275 | // CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR]]([[S_FLOAT_TY]]* [[S_ARR_PRIV_ITEM]]) |
| 276 | // CHECK-NOT: [[T_VAR_PRIV]] |
| 277 | // CHECK-NOT: [[VEC_PRIV]] |
| 278 | // CHECK: call {{.*}} [[S_FLOAT_TY_DEF_CONSTR]]([[S_FLOAT_TY]]* [[VAR_PRIV]]) |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 279 | // CHECK-DAG: call void [[S_FLOAT_TY_DESTR]]([[S_FLOAT_TY]]* [[VAR_PRIV]]) |
| 280 | // CHECK-DAG: call void [[S_FLOAT_TY_DESTR]]([[S_FLOAT_TY]]* |
| 281 | // CHECK: ret void |
| 282 | |
| 283 | // CHECK: define {{.*}} i{{[0-9]+}} [[TMAIN_INT]]() |
| 284 | // CHECK: [[TEST:%.+]] = alloca [[S_INT_TY]], |
| 285 | // CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR:@.+]]([[S_INT_TY]]* [[TEST]]) |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 286 | // CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 0, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*)* [[TMAIN_MICROTASK:@.+]] to void |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 287 | // CHECK: call void [[S_INT_TY_DESTR:@.+]]([[S_INT_TY]]* |
| 288 | // CHECK: ret |
| 289 | // |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 290 | // CHECK: define {{.+}} @{{.+}}([[SS_TY]]* |
| 291 | // CHECK: store i{{[0-9]+}} 0, i{{[0-9]+}}* % |
| 292 | // CHECK: store i8 |
| 293 | // CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[SS_TY]]*)* [[SS_MICROTASK:@.+]] to void |
| 294 | // CHECK: ret |
| 295 | |
| 296 | // CHECK: define internal void [[SS_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SS_TY]]* %{{.+}}) |
| 297 | // CHECK: [[A_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 298 | // CHECK: [[B_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 299 | // CHECK: [[C_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 300 | // CHECK: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REFA:%.+]], |
| 301 | // CHECK: store i{{[0-9]+}}* [[C_PRIV]], i{{[0-9]+}}** [[REFC:%.+]], |
| 302 | // CHECK-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFA]], |
| 303 | // CHECK-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]], |
| 304 | // CHECK-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1 |
| 305 | // CHECK-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]], |
| 306 | // CHECK-NEXT: [[B_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[B_PRIV]], |
| 307 | // CHECK-NEXT: [[DEC:%.+]] = add nsw i{{[0-9]+}} [[B_VAL]], -1 |
| 308 | // CHECK-NEXT: store i{{[0-9]+}} [[DEC]], i{{[0-9]+}}* [[B_PRIV]], |
| 309 | // CHECK-NEXT: [[C_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REFC]], |
| 310 | // CHECK-NEXT: [[C_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[C_PRIV]], |
| 311 | // CHECK-NEXT: [[DIV:%.+]] = sdiv i{{[0-9]+}} [[C_VAL]], 1 |
| 312 | // CHECK-NEXT: store i{{[0-9]+}} [[DIV]], i{{[0-9]+}}* [[C_PRIV]], |
| 313 | // CHECK-NEXT: ret void |
| 314 | |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 315 | // CHECK: define internal void [[TMAIN_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}) |
| 316 | // CHECK: [[T_VAR_PRIV:%.+]] = alloca i{{[0-9]+}}, align 128 |
| 317 | // CHECK: [[VEC_PRIV:%.+]] = alloca [2 x i{{[0-9]+}}], align 128 |
| 318 | // CHECK: [[S_ARR_PRIV:%.+]] = alloca [2 x [[S_INT_TY]]], align 128 |
| 319 | // CHECK: [[VAR_PRIV:%.+]] = alloca [[S_INT_TY]], align 128 |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 320 | // CHECK: store i{{[0-9]+}}* [[GTID_ADDR]], i{{[0-9]+}}** [[GTID_ADDR_REF:%.+]] |
| 321 | // CHECK-NOT: [[T_VAR_PRIV]] |
| 322 | // CHECK-NOT: [[VEC_PRIV]] |
| Pirama Arumuga Nainar | 87d948e | 2016-03-03 15:49:35 -0800 | [diff] [blame] | 323 | // CHECK-NOT: [[SIVAR_PRIV]] |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 324 | // CHECK: {{.+}}: |
| 325 | // CHECK: [[S_ARR_PRIV_ITEM:%.+]] = phi [[S_INT_TY]]* |
| 326 | // CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[S_ARR_PRIV_ITEM]]) |
| 327 | // CHECK-NOT: [[T_VAR_PRIV]] |
| 328 | // CHECK-NOT: [[VEC_PRIV]] |
| 329 | // CHECK: call {{.*}} [[S_INT_TY_DEF_CONSTR]]([[S_INT_TY]]* [[VAR_PRIV]]) |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 330 | // CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]* [[VAR_PRIV]]) |
| 331 | // CHECK-DAG: call void [[S_INT_TY_DESTR]]([[S_INT_TY]]* |
| 332 | // CHECK: ret void |
| Pirama Arumuga Nainar | 4967a71 | 2016-09-19 22:19:55 -0700 | [diff] [blame] | 333 | |
| 334 | // CHECK: define {{.+}} @{{.+}}([[SST_TY]]* % |
| 335 | // CHECK: store i{{[0-9]+}} 0, i{{[0-9]+}}* % |
| 336 | // CHECK: call void (%{{.+}}*, i{{[0-9]+}}, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)*, ...) @__kmpc_fork_call(%{{.+}}* @{{.+}}, i{{[0-9]+}} 1, void (i{{[0-9]+}}*, i{{[0-9]+}}*, ...)* bitcast (void (i{{[0-9]+}}*, i{{[0-9]+}}*, [[SST_TY]]*)* [[SST_MICROTASK:@.+]] to void |
| 337 | // CHECK: ret |
| 338 | |
| 339 | // CHECK: define internal void [[SST_MICROTASK]](i{{[0-9]+}}* noalias [[GTID_ADDR:%.+]], i{{[0-9]+}}* noalias %{{.+}}, [[SST_TY]]* %{{.+}}) |
| 340 | // CHECK: [[A_PRIV:%.+]] = alloca i{{[0-9]+}}, |
| 341 | // CHECK: store i{{[0-9]+}}* [[A_PRIV]], i{{[0-9]+}}** [[REF:%.+]], |
| 342 | // CHECK-NEXT: [[A_PRIV:%.+]] = load i{{[0-9]+}}*, i{{[0-9]+}}** [[REF]], |
| 343 | // CHECK-NEXT: [[A_VAL:%.+]] = load i{{[0-9]+}}, i{{[0-9]+}}* [[A_PRIV]], |
| 344 | // CHECK-NEXT: [[INC:%.+]] = add nsw i{{[0-9]+}} [[A_VAL]], 1 |
| 345 | // CHECK-NEXT: store i{{[0-9]+}} [[INC]], i{{[0-9]+}}* [[A_PRIV]], |
| 346 | // CHECK-NEXT: ret void |
| 347 | |
| Stephen Hines | 176edba | 2014-12-01 14:53:08 -0800 | [diff] [blame] | 348 | #endif |
| 349 | |