Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 1 | // Test host codegen. |
| 2 | // RUN: %clang_cc1 -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 |
| 3 | // RUN: %clang_cc1 -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 -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 --check-prefix HCHECK |
| 5 | // RUN: %clang_cc1 -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 --check-prefix HCHECK |
| 6 | // RUN: %clang_cc1 -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 -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 --check-prefix HCHECK |
| 8 | |
Alexey Bataev | a8a9153a | 2017-12-29 18:07:07 +0000 | [diff] [blame] | 9 | // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s |
| 10 | // RUN: %clang_cc1 -fopenmp-simd -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-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY0 %s |
| 12 | // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -o - | FileCheck --check-prefix SIMD-ONLY0 %s |
| 13 | // RUN: %clang_cc1 -fopenmp-simd -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-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY0 %s |
| 15 | // SIMD-ONLY0-NOT: {{__kmpc|__tgt}} |
| 16 | |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 17 | // Test target codegen - host bc file has to be created first. (no significant differences with host version of target region) |
| 18 | // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm-bc %s -o %t-ppc-host.bc |
| 19 | // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -o - | FileCheck %s |
| 20 | // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -o %t %s |
| 21 | // RUN: %clang_cc1 -fopenmp -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s |
| 22 | // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm-bc %s -o %t-x86-host.bc |
| 23 | // RUN: %clang_cc1 -verify -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -o - | FileCheck %s |
| 24 | // RUN: %clang_cc1 -fopenmp -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -o %t %s |
| 25 | // RUN: %clang_cc1 -fopenmp -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s |
| 26 | |
Alexey Bataev | a8a9153a | 2017-12-29 18:07:07 +0000 | [diff] [blame] | 27 | // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm-bc %s -o %t-ppc-host.bc |
| 28 | // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-llvm %s -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -o - | FileCheck --check-prefix SIMD-ONLY1 %s |
| 29 | // RUN: %clang_cc1 -fopenmp-simd -x c++ -std=c++11 -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -emit-pch -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -o %t %s |
| 30 | // RUN: %clang_cc1 -fopenmp-simd -x c++ -triple powerpc64le-unknown-unknown -fopenmp-targets=powerpc64le-ibm-linux-gnu -std=c++11 -fopenmp-is-device -fopenmp-host-ir-file-path %t-ppc-host.bc -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY1 %s |
| 31 | // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm-bc %s -o %t-x86-host.bc |
| 32 | // RUN: %clang_cc1 -verify -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-llvm %s -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -o - | FileCheck --check-prefix SIMD-ONLY1 %s |
| 33 | // RUN: %clang_cc1 -fopenmp-simd -x c++ -std=c++11 -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -emit-pch -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -o %t %s |
| 34 | // RUN: %clang_cc1 -fopenmp-simd -x c++ -triple i386-unknown-unknown -fopenmp-targets=i386-pc-linux-gnu -std=c++11 -fopenmp-is-device -fopenmp-host-ir-file-path %t-x86-host.bc -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY1 %s |
| 35 | // SIMD-ONLY1-NOT: {{__kmpc|__tgt}} |
| 36 | |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 37 | // expected-no-diagnostics |
| 38 | #ifndef HEADER |
| 39 | #define HEADER |
| 40 | |
Alexey Bataev | a4fa0b8 | 2018-04-16 17:59:34 +0000 | [diff] [blame] | 41 | // CHECK-DAG: %struct.ident_t = type { i32, i32, i32, i32, i8* } |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 42 | // CHECK-DAG: [[STR:@.+]] = private unnamed_addr constant [23 x i8] c";unknown;unknown;0;0;;\00" |
Mike Rice | e1ca7b6 | 2018-08-29 15:45:11 +0000 | [diff] [blame] | 43 | // CHECK-DAG: [[DEF_LOC_0:@.+]] = private unnamed_addr global %struct.ident_t { i32 0, i32 2, i32 0, i32 0, i8* getelementptr inbounds ([23 x i8], [23 x i8]* [[STR]], i32 0, i32 0) } |
| 44 | // CHECK-DAG: [[DEF_LOC_DISTRIBUTE_0:@.+]] = private unnamed_addr global %struct.ident_t { i32 0, i32 2050, i32 0, i32 0, i8* getelementptr inbounds ([23 x i8], [23 x i8]* [[STR]], i32 0, i32 0) } |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 45 | |
| 46 | // CHECK-LABEL: define {{.*void}} @{{.*}}without_schedule_clause{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}}) |
| 47 | void without_schedule_clause(float *a, float *b, float *c, float *d) { |
| 48 | #pragma omp target |
| 49 | #pragma omp teams |
| 50 | #pragma omp distribute simd simdlen(8) aligned(a) |
| 51 | for (int i = 33; i < 32000000; i += 7) { |
| 52 | a[i] = b[i] * c[i] * d[i]; |
| 53 | } |
| 54 | } |
| 55 | |
| 56 | // CHECK: define {{.*}}void @{{.+}}(i32* noalias [[GBL_TIDP:%.+]], i32* noalias [[BND_TID:%.+]], float** dereferenceable({{[0-9]+}}) [[APTR:%.+]], float** dereferenceable({{[0-9]+}}) [[BPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[CPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[DPTR:%.+]]) |
| 57 | // CHECK: [[TID_ADDR:%.+]] = alloca i32* |
| 58 | // CHECK: [[IV:%.+iv]] = alloca i32 |
| 59 | // CHECK: [[LB:%.+lb]] = alloca i32 |
| 60 | // CHECK: [[UB:%.+ub]] = alloca i32 |
| 61 | // CHECK: [[ST:%.+stride]] = alloca i32 |
| 62 | // CHECK: [[LAST:%.+last]] = alloca i32 |
| 63 | // CHECK-DAG: store i32* [[GBL_TIDP]], i32** [[TID_ADDR]] |
| 64 | // CHECK-DAG: call void @llvm.assume( |
| 65 | // CHECK-DAG: store i32 0, i32* [[LB]] |
| 66 | // CHECK-DAG: store i32 4571423, i32* [[UB]] |
| 67 | // CHECK-DAG: store i32 1, i32* [[ST]] |
| 68 | // CHECK-DAG: store i32 0, i32* [[LAST]] |
| 69 | // CHECK-DAG: [[GBL_TID:%.+]] = load i32*, i32** [[TID_ADDR]] |
| 70 | // CHECK-DAG: [[GBL_TIDV:%.+]] = load i32, i32* [[GBL_TID]] |
Alexey Bataev | a4fa0b8 | 2018-04-16 17:59:34 +0000 | [diff] [blame] | 71 | // CHECK: call void @__kmpc_for_static_init_{{.+}}(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]], i32 92, i32* %.omp.is_last, i32* %.omp.lb, i32* %.omp.ub, i32* %.omp.stride, i32 1, i32 1) |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 72 | // CHECK-DAG: [[UBV0:%.+]] = load i32, i32* [[UB]] |
| 73 | // CHECK-DAG: [[USWITCH:%.+]] = icmp sgt i32 [[UBV0]], 4571423 |
| 74 | // CHECK: br i1 [[USWITCH]], label %[[BBCT:.+]], label %[[BBCF:.+]] |
| 75 | // CHECK-DAG: [[BBCT]]: |
| 76 | // CHECK-DAG: br label %[[BBCE:.+]] |
| 77 | // CHECK-DAG: [[BBCF]]: |
| 78 | // CHECK-DAG: [[UBV1:%.+]] = load i32, i32* [[UB]] |
| 79 | // CHECK-DAG: br label %[[BBCE]] |
| 80 | // CHECK: [[BBCE]]: |
| 81 | // CHECK: [[SELUB:%.+]] = phi i32 [ 4571423, %[[BBCT]] ], [ [[UBV1]], %[[BBCF]] ] |
| 82 | // CHECK: store i32 [[SELUB]], i32* [[UB]] |
| 83 | // CHECK: [[LBV0:%.+]] = load i32, i32* [[LB]] |
| 84 | // CHECK: store i32 [[LBV0]], i32* [[IV]] |
| 85 | // CHECK: br label %[[BBINNFOR:.+]] |
| 86 | // CHECK: [[BBINNFOR]]: |
| 87 | // CHECK: [[IVVAL0:%.+]] = load i32, i32* [[IV]] |
| 88 | // CHECK: [[UBV2:%.+]] = load i32, i32* [[UB]] |
| 89 | // CHECK: [[IVLEUB:%.+]] = icmp sle i32 [[IVVAL0]], [[UBV2]] |
| 90 | // CHECK: br i1 [[IVLEUB]], label %[[BBINNBODY:.+]], label %[[BBINNEND:.+]] |
| 91 | // CHECK: [[BBINNBODY]]: |
| 92 | // CHECK: {{.+}} = load i32, i32* [[IV]] |
| 93 | // ... loop body ... |
| 94 | // CHECK: br label %[[BBBODYCONT:.+]] |
| 95 | // CHECK: [[BBBODYCONT]]: |
| 96 | // CHECK: br label %[[BBINNINC:.+]] |
| 97 | // CHECK: [[BBINNINC]]: |
| 98 | // CHECK: [[IVVAL1:%.+]] = load i32, i32* [[IV]] |
| 99 | // CHECK: [[IVINC:%.+]] = add nsw i32 [[IVVAL1]], 1 |
| 100 | // CHECK: store i32 [[IVINC]], i32* [[IV]] |
| 101 | // CHECK: br label %[[BBINNFOR]] |
| 102 | // CHECK: [[BBINNEND]]: |
| 103 | // CHECK: br label %[[LPEXIT:.+]] |
| 104 | // CHECK: [[LPEXIT]]: |
Alexey Bataev | a4fa0b8 | 2018-04-16 17:59:34 +0000 | [diff] [blame] | 105 | // CHECK: call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]]) |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 106 | // CHECK: ret void |
| 107 | |
| 108 | |
| 109 | // CHECK-LABEL: define {{.*void}} @{{.*}}static_not_chunked{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}}) |
| 110 | void static_not_chunked(float *a, float *b, float *c, float *d) { |
| 111 | #pragma omp target |
| 112 | #pragma omp teams |
| 113 | #pragma omp distribute simd dist_schedule(static) safelen(32) |
| 114 | for (int i = 32000000; i > 33; i += -7) { |
| 115 | a[i] = b[i] * c[i] * d[i]; |
| 116 | } |
| 117 | } |
| 118 | |
| 119 | // CHECK: define {{.*}}void @.omp_outlined.{{.*}}(i32* noalias [[GBL_TIDP:%.+]], i32* noalias [[BND_TID:%.+]], float** dereferenceable({{[0-9]+}}) [[APTR:%.+]], float** dereferenceable({{[0-9]+}}) [[BPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[CPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[DPTR:%.+]]) |
| 120 | // CHECK: [[TID_ADDR:%.+]] = alloca i32* |
| 121 | // CHECK: [[IV:%.+iv]] = alloca i32 |
| 122 | // CHECK: [[LB:%.+lb]] = alloca i32 |
| 123 | // CHECK: [[UB:%.+ub]] = alloca i32 |
| 124 | // CHECK: [[ST:%.+stride]] = alloca i32 |
| 125 | // CHECK: [[LAST:%.+last]] = alloca i32 |
| 126 | // CHECK-DAG: store i32* [[GBL_TIDP]], i32** [[TID_ADDR]] |
| 127 | // CHECK-DAG: store i32 0, i32* [[LB]] |
| 128 | // CHECK-DAG: store i32 4571423, i32* [[UB]] |
| 129 | // CHECK-DAG: store i32 1, i32* [[ST]] |
| 130 | // CHECK-DAG: store i32 0, i32* [[LAST]] |
| 131 | // CHECK-DAG: [[GBL_TID:%.+]] = load i32*, i32** [[TID_ADDR]] |
| 132 | // CHECK-DAG: [[GBL_TIDV:%.+]] = load i32, i32* [[GBL_TID]] |
Alexey Bataev | a4fa0b8 | 2018-04-16 17:59:34 +0000 | [diff] [blame] | 133 | // CHECK: call void @__kmpc_for_static_init_{{.+}}(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]], i32 92, i32* %.omp.is_last, i32* %.omp.lb, i32* %.omp.ub, i32* %.omp.stride, i32 1, i32 1) |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 134 | // CHECK-DAG: [[UBV0:%.+]] = load i32, i32* [[UB]] |
| 135 | // CHECK-DAG: [[USWITCH:%.+]] = icmp sgt i32 [[UBV0]], 4571423 |
| 136 | // CHECK: br i1 [[USWITCH]], label %[[BBCT:.+]], label %[[BBCF:.+]] |
| 137 | // CHECK-DAG: [[BBCT]]: |
| 138 | // CHECK-DAG: br label %[[BBCE:.+]] |
| 139 | // CHECK-DAG: [[BBCF]]: |
| 140 | // CHECK-DAG: [[UBV1:%.+]] = load i32, i32* [[UB]] |
| 141 | // CHECK-DAG: br label %[[BBCE]] |
| 142 | // CHECK: [[BBCE]]: |
| 143 | // CHECK: [[SELUB:%.+]] = phi i32 [ 4571423, %[[BBCT]] ], [ [[UBV1]], %[[BBCF]] ] |
| 144 | // CHECK: store i32 [[SELUB]], i32* [[UB]] |
| 145 | // CHECK: [[LBV0:%.+]] = load i32, i32* [[LB]] |
| 146 | // CHECK: store i32 [[LBV0]], i32* [[IV]] |
| 147 | // CHECK: br label %[[BBINNFOR:.+]] |
| 148 | // CHECK: [[BBINNFOR]]: |
| 149 | // CHECK: [[IVVAL0:%.+]] = load i32, i32* [[IV]] |
| 150 | // CHECK: [[UBV2:%.+]] = load i32, i32* [[UB]] |
| 151 | // CHECK: [[IVLEUB:%.+]] = icmp sle i32 [[IVVAL0]], [[UBV2]] |
| 152 | // CHECK: br i1 [[IVLEUB]], label %[[BBINNBODY:.+]], label %[[BBINNEND:.+]] |
| 153 | // CHECK: [[BBINNBODY]]: |
| 154 | // CHECK: {{.+}} = load i32, i32* [[IV]] |
| 155 | // ... loop body ... |
| 156 | // CHECK: br label %[[BBBODYCONT:.+]] |
| 157 | // CHECK: [[BBBODYCONT]]: |
| 158 | // CHECK: br label %[[BBINNINC:.+]] |
| 159 | // CHECK: [[BBINNINC]]: |
| 160 | // CHECK: [[IVVAL1:%.+]] = load i32, i32* [[IV]] |
| 161 | // CHECK: [[IVINC:%.+]] = add nsw i32 [[IVVAL1]], 1 |
| 162 | // CHECK: store i32 [[IVINC]], i32* [[IV]] |
| 163 | // CHECK: br label %[[BBINNFOR]] |
| 164 | // CHECK: [[BBINNEND]]: |
| 165 | // CHECK: br label %[[LPEXIT:.+]] |
| 166 | // CHECK: [[LPEXIT]]: |
Alexey Bataev | a4fa0b8 | 2018-04-16 17:59:34 +0000 | [diff] [blame] | 167 | // CHECK: call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]]) |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 168 | // CHECK: ret void |
| 169 | |
| 170 | |
| 171 | // CHECK-LABEL: define {{.*void}} @{{.*}}static_chunked{{.*}}(float* {{.+}}, float* {{.+}}, float* {{.+}}, float* {{.+}}) |
| 172 | void static_chunked(float *a, float *b, float *c, float *d) { |
| 173 | #pragma omp target |
| 174 | #pragma omp teams |
| 175 | #pragma omp distribute simd dist_schedule(static, 5) |
| 176 | for (unsigned i = 131071; i <= 2147483647; i += 127) { |
| 177 | a[i] = b[i] * c[i] * d[i]; |
| 178 | } |
| 179 | } |
| 180 | |
| 181 | // CHECK: define {{.*}}void @.omp_outlined.{{.*}}(i32* noalias [[GBL_TIDP:%.+]], i32* noalias [[BND_TID:%.+]], float** dereferenceable({{[0-9]+}}) [[APTR:%.+]], float** dereferenceable({{[0-9]+}}) [[BPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[CPTR:%.+]], float** dereferenceable({{[0-9]+}}) [[DPTR:%.+]]) |
| 182 | // CHECK: [[TID_ADDR:%.+]] = alloca i32* |
| 183 | // CHECK: [[IV:%.+iv]] = alloca i32 |
| 184 | // CHECK: [[LB:%.+lb]] = alloca i32 |
| 185 | // CHECK: [[UB:%.+ub]] = alloca i32 |
| 186 | // CHECK: [[ST:%.+stride]] = alloca i32 |
| 187 | // CHECK: [[LAST:%.+last]] = alloca i32 |
| 188 | // CHECK-DAG: store i32* [[GBL_TIDP]], i32** [[TID_ADDR]] |
| 189 | // CHECK-DAG: store i32 0, i32* [[LB]] |
| 190 | // CHECK-DAG: store i32 16908288, i32* [[UB]] |
| 191 | // CHECK-DAG: store i32 1, i32* [[ST]] |
| 192 | // CHECK-DAG: store i32 0, i32* [[LAST]] |
| 193 | // CHECK-DAG: [[GBL_TID:%.+]] = load i32*, i32** [[TID_ADDR]] |
| 194 | // CHECK-DAG: [[GBL_TIDV:%.+]] = load i32, i32* [[GBL_TID]] |
Alexey Bataev | a4fa0b8 | 2018-04-16 17:59:34 +0000 | [diff] [blame] | 195 | // CHECK: call void @__kmpc_for_static_init_{{.+}}(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]], i32 91, i32* %.omp.is_last, i32* %.omp.lb, i32* %.omp.ub, i32* %.omp.stride, i32 1, i32 5) |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 196 | // CHECK-DAG: [[UBV0:%.+]] = load i32, i32* [[UB]] |
| 197 | // CHECK-DAG: [[USWITCH:%.+]] = icmp ugt i32 [[UBV0]], 16908288 |
| 198 | // CHECK: br i1 [[USWITCH]], label %[[BBCT:.+]], label %[[BBCF:.+]] |
| 199 | // CHECK-DAG: [[BBCT]]: |
| 200 | // CHECK-DAG: br label %[[BBCE:.+]] |
| 201 | // CHECK-DAG: [[BBCF]]: |
| 202 | // CHECK-DAG: [[UBV1:%.+]] = load i32, i32* [[UB]] |
| 203 | // CHECK-DAG: br label %[[BBCE]] |
| 204 | // CHECK: [[BBCE]]: |
| 205 | // CHECK: [[SELUB:%.+]] = phi i32 [ 16908288, %[[BBCT]] ], [ [[UBV1]], %[[BBCF]] ] |
| 206 | // CHECK: store i32 [[SELUB]], i32* [[UB]] |
| 207 | // CHECK: [[LBV0:%.+]] = load i32, i32* [[LB]] |
| 208 | // CHECK: store i32 [[LBV0]], i32* [[IV]] |
| 209 | // CHECK: br label %[[BBINNFOR:.+]] |
| 210 | // CHECK: [[BBINNFOR]]: |
| 211 | // CHECK: [[IVVAL0:%.+]] = load i32, i32* [[IV]] |
| 212 | // CHECK: [[UBV2:%.+]] = load i32, i32* [[UB]] |
| 213 | // CHECK: [[IVLEUB:%.+]] = icmp ule i32 [[IVVAL0]], [[UBV2]] |
| 214 | // CHECK: br i1 [[IVLEUB]], label %[[BBINNBODY:.+]], label %[[BBINNEND:.+]] |
| 215 | // CHECK: [[BBINNBODY]]: |
| 216 | // CHECK: {{.+}} = load i32, i32* [[IV]] |
| 217 | // ... loop body ... |
| 218 | // CHECK: br label %[[BBBODYCONT:.+]] |
| 219 | // CHECK: [[BBBODYCONT]]: |
| 220 | // CHECK: br label %[[BBINNINC:.+]] |
| 221 | // CHECK: [[BBINNINC]]: |
| 222 | // CHECK: [[IVVAL1:%.+]] = load i32, i32* [[IV]] |
| 223 | // CHECK: [[IVINC:%.+]] = add i32 [[IVVAL1]], 1 |
| 224 | // CHECK: store i32 [[IVINC]], i32* [[IV]] |
| 225 | // CHECK: br label %[[BBINNFOR]] |
| 226 | // CHECK: [[BBINNEND]]: |
| 227 | // CHECK: br label %[[LPEXIT:.+]] |
| 228 | // CHECK: [[LPEXIT]]: |
Alexey Bataev | a4fa0b8 | 2018-04-16 17:59:34 +0000 | [diff] [blame] | 229 | // CHECK: call void @__kmpc_for_static_fini(%struct.ident_t* [[DEF_LOC_DISTRIBUTE_0]], i32 [[GBL_TIDV]]) |
Alexey Bataev | 617db5f | 2017-12-04 15:38:33 +0000 | [diff] [blame] | 230 | // CHECK: ret void |
| 231 | |
| 232 | // CHECK-LABEL: test_precond |
| 233 | void test_precond() { |
| 234 | char a = 0; char i; |
| 235 | #pragma omp target |
| 236 | #pragma omp teams |
| 237 | #pragma omp distribute simd linear(i) |
| 238 | for(i = a; i < 10; ++i); |
| 239 | } |
| 240 | |
| 241 | // a is passed as a parameter to the outlined functions |
| 242 | // CHECK: define {{.*}}void @.omp_outlined.{{.*}}(i32* noalias [[GBL_TIDP:%.+]], i32* noalias [[BND_TID:%.+]], i8* dereferenceable({{[0-9]+}}) [[APARM:%.+]]) |
| 243 | // CHECK: store i8* [[APARM]], i8** [[APTRADDR:%.+]] |
| 244 | // ..many loads of %0.. |
| 245 | // CHECK: [[A2:%.+]] = load i8*, i8** [[APTRADDR]] |
| 246 | // CHECK: [[AVAL0:%.+]] = load i8, i8* [[A2]] |
| 247 | // CHECK: store i8 [[AVAL0]], i8* [[CAP_EXPR:%.+]], |
| 248 | // CHECK: [[AVAL1:%.+]] = load i8, i8* [[CAP_EXPR]] |
| 249 | // CHECK: load i8, i8* [[CAP_EXPR]] |
| 250 | // CHECK: [[AVAL2:%.+]] = load i8, i8* [[CAP_EXPR]] |
| 251 | // CHECK: [[ACONV:%.+]] = sext i8 [[AVAL2]] to i32 |
| 252 | // CHECK: [[ACMP:%.+]] = icmp slt i32 [[ACONV]], 10 |
| 253 | // CHECK: br i1 [[ACMP]], label %[[PRECOND_THEN:.+]], label %[[PRECOND_END:.+]] |
| 254 | // CHECK: [[PRECOND_THEN]] |
| 255 | // CHECK: call void @__kmpc_for_static_init_4 |
| 256 | // CHECK: call void @__kmpc_for_static_fini |
| 257 | // CHECK: [[PRECOND_END]] |
| 258 | |
| 259 | // no templates for now, as these require special handling in target regions and/or declare target |
| 260 | |
| 261 | // HCHECK-LABEL: fint |
| 262 | // HCHECK: call {{.*}}i32 {{.+}}ftemplate |
| 263 | // HCHECK: ret i32 |
| 264 | |
| 265 | // HCHECK: load i16, i16* |
| 266 | // HCHECK: store i16 % |
| 267 | // HCHECK: call i32 @__tgt_target_teams( |
| 268 | // HCHECK: call void @__kmpc_for_static_init_4( |
| 269 | template <typename T> |
| 270 | T ftemplate() { |
| 271 | short aa = 0; |
| 272 | |
| 273 | #pragma omp target |
| 274 | #pragma omp teams |
| 275 | #pragma omp distribute simd dist_schedule(static, aa) |
| 276 | for (int i = 0; i < 100; i++) { |
| 277 | } |
| 278 | return T(); |
| 279 | } |
| 280 | |
| 281 | int fint(void) { return ftemplate<int>(); } |
| 282 | |
| 283 | #endif |
| 284 | |
| 285 | // CHECK: !{!"llvm.loop.vectorize.width", i32 8} |
| 286 | // CHECK: !{!"llvm.loop.vectorize.enable", i1 true} |
| 287 | // CHECK: !{!"llvm.loop.vectorize.width", i32 32} |