262 lines · cpp
1// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp -emit-llvm -o - %s | FileCheck %s2// RUN: %clang_cc1 -fopenmp -triple x86_64-apple-darwin10 -x c++ -std=c++11 -emit-pch -o %t %s3// RUN: %clang_cc1 -fopenmp -triple x86_64-apple-darwin10 -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck %s4 5// RUN: %clang_cc1 -verify -triple x86_64-apple-darwin10 -fopenmp-simd -emit-llvm -o - %s | FileCheck --check-prefix SIMD-ONLY0 %s6// RUN: %clang_cc1 -fopenmp-simd -triple x86_64-apple-darwin10 -x c++ -std=c++11 -emit-pch -o %t %s7// RUN: %clang_cc1 -fopenmp-simd -triple x86_64-apple-darwin10 -std=c++11 -include-pch %t -verify %s -emit-llvm -o - | FileCheck --check-prefix SIMD-ONLY0 %s8// SIMD-ONLY0-NOT: {{__kmpc|__tgt}}9// expected-no-diagnostics10 11#ifndef HEADER12#define HEADER13 14// CHECK-DAG: [[MAIN_A:@.+]] = internal global ptr null,15// CHECK-DAG: [[TMAIN_A:@.+]] = linkonce_odr global ptr null,16 17typedef void *omp_depend_t;18 19void foo() {}20void tmainc(){21 omp_depend_t obj;22#pragma omp depobj(obj) depend(inout: omp_all_memory)23{24 volatile omp_depend_t temp = obj;25 char* char_ptr = reinterpret_cast<char*>(temp);26 char_ptr[0] = 1;27}28}29 30template <class T>31T tmain(T argc) {32 static T a;33 int *argv;34#pragma omp depobj(a) depend(in:argv, ([3][*(int*)argv][4])argv)35#pragma omp depobj(argc) destroy36#pragma omp depobj(argc) update(inout)37 return argc;38}39 40int main(int argc, char **argv) {41 static omp_depend_t a;42 omp_depend_t b;43#pragma omp depobj(a) depend(out:argc, argv)44#pragma omp depobj(b) destroy45#pragma omp depobj(b) update(mutexinoutset)46#pragma omp depobj(a) depend(iterator(char *p = argv[argc]:argv[0]:-1), out: p[0])47 (void)tmain(a), tmain(b);48 tmainc();49 return 0;50}51// CHECK-LABEL: tmainc52// CHECK: [[D_ADDR:%obj]] = alloca ptr,53// CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num(54// CHECK: [[DEP_ADDR_ADDR2:%.+]] = call ptr @__kmpc_alloc(i32 [[GTID]], i64 48, ptr null)55// CHECK: [[SZ_DEOOBJ:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEP_ADDR_ADDR2]], i{{.+}} 0, i{{.+}} 056// CHECK: store i64 1, ptr [[SZ_DEOOBJ]], align 857// CHECK: [[DEPOBJ_BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_ADDR2]], i{{.+}} 158// CHECK: [[ADDR_ONE:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEPOBJ_BASE_ADDR]], i{{.+}} 0, i{{.+}} 059// CHECK: store i64 0, ptr [[ADDR_ONE]], align 860// CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEPOBJ_BASE_ADDR]], i{{.+}} 0, i{{.+}} 161// CHECK: store i64 0, ptr [[SZ_ADDR]], align 862// CHECK: [[SZ_ADDR_NEW:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEPOBJ_BASE_ADDR]], i{{.+}} 0, i{{.+}} 263// CHECK: store {{i[0-9]+}} {{-?[0-9]+}}, ptr [[SZ_ADDR_NEW]], align 864// CHECK: [[DEP_NEW:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_ADDR2]], i{{.+}} 165// CHECK: store ptr [[DEP_NEW]], ptr [[D_ADDR]], align 866// CHECK-LABEL: @main67// CHECK: [[B_ADDR:%b]] = alloca ptr,68// CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num(69// CHECK: [[DEP_ADDR_VOID:%.+]] = call ptr @__kmpc_alloc(i32 [[GTID]], i64 72, ptr null)70// CHECK: [[SZ_BASE:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 0, i{{.+}} 071// CHECK: store i64 2, ptr [[SZ_BASE]], align 872// CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 173// CHECK: [[ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 074// CHECK: store i64 %{{.+}}, ptr [[ADDR]], align 875// CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 176// CHECK: store i64 4, ptr [[SZ_ADDR]], align 877// CHECK: [[FLAGS_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 278// CHECK: store i8 3, ptr [[FLAGS_ADDR]], align 879// CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 280// CHECK: [[ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 081// CHECK: store i64 %{{.+}}, ptr [[ADDR]], align 882// CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 183// CHECK: store i64 8, ptr [[SZ_ADDR]], align 884// CHECK: [[FLAGS_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 285// CHECK: store i8 3, ptr [[FLAGS_ADDR]], align 886// CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 187// CHECK: store ptr [[BASE_ADDR]], ptr [[MAIN_A]], align 888// CHECK: [[B:%.+]] = load ptr, ptr [[B_ADDR]], align 889// CHECK: [[B_REF:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[B]], i{{.+}} -190// CHECK: call void @__kmpc_free(i32 [[GTID]], ptr [[B_REF]], ptr null)91// CHECK: [[B_BASE:%.+]] = load ptr, ptr [[B_ADDR]], align 892// CHECK: [[NUMDEPS_BASE:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[B_BASE]], i64 -193// CHECK: [[NUMDEPS_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[NUMDEPS_BASE]], i{{.+}} 0, i{{.+}} 094// CHECK: [[NUMDEPS:%.+]] = load i64, ptr [[NUMDEPS_ADDR]], align 895// CHECK: [[END:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[B_BASE]], i64 [[NUMDEPS]]96 97 98// CHECK: br label %[[BODY:.+]]99// CHECK: [[BODY]]:100// CHECK: [[EL:%.+]] = phi ptr [ [[B_BASE]], %{{.+}} ], [ [[EL_NEXT:%.+]], %[[BODY]] ]101// CHECK: [[FLAG_BASE:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[EL]], i{{.+}} 0, i{{.+}} 2102// CHECK: store i8 4, ptr [[FLAG_BASE]], align 8103// CHECK: [[EL_NEXT]] = getelementptr %struct.kmp_depend_info, ptr [[EL]], i{{.+}} 1104// CHECK: [[IS_DONE:%.+]] = icmp eq ptr [[EL_NEXT]], [[END]]105// CHECK: br i1 [[IS_DONE]], label %[[DONE:.+]], label %[[BODY]]106// CHECK: [[DONE]]:107 108// Claculate toal number of elements.109// (argv[argc]-argv[0]-(-1)-1) / -(-1);110// CHECK: [[ARGV:%.+]] = load ptr, ptr [[ARGV_ADDR:%.+]], align 8111// CHECK: [[ARGC:%.+]] = load i32, ptr [[ARGC_ADDR:%.+]], align 4112// CHECK: [[IDX:%.+]] = sext i32 [[ARGC]] to i64113// CHECK: [[BEGIN_ADDR:%.+]] = getelementptr inbounds ptr, ptr [[ARGV]], i64 [[IDX]]114// CHECK: [[BEGIN:%.+]] = load ptr, ptr [[BEGIN_ADDR]], align 8115// CHECK: [[ARGV:%.+]] = load ptr, ptr [[ARGV_ADDR]], align 8116// CHECK: [[END_ADDR:%.+]] = getelementptr inbounds ptr, ptr [[ARGV]], i64 0117// CHECK: [[END:%.+]] = load ptr, ptr [[END_ADDR]], align 8118// CHECK: [[BEGIN_INT:%.+]] = ptrtoint ptr [[BEGIN]] to i64119// CHECK: [[END_INT:%.+]] = ptrtoint ptr [[END]] to i64120// CHECK: [[BE_SUB:%.+]] = sub i64 [[BEGIN_INT]], [[END_INT]]121// CHECK: [[BE_SUB_ST_SUB:%.+]] = add nsw i64 [[BE_SUB]], 1122// CHECK: [[BE_SUB_ST_SUB_1_SUB:%.+]] = sub nsw i64 [[BE_SUB_ST_SUB]], 1123// CHECK: [[BE_SUB_ST_SUB_1_SUB_1_DIV:%.+]] = sdiv i64 [[BE_SUB_ST_SUB_1_SUB]], 1124// CHECK: [[NELEMS:%.+]] = mul nuw i64 1, [[BE_SUB_ST_SUB_1_SUB_1_DIV]]125 126// Allocate size is (NELEMS + 1) * sizeof(%struct.kmp_depend_info).127// sizeof(%struct.kmp_depend_info) == 24;128// CHECK: [[EXTRA_SZ:%.+]] = add nuw i64 1, [[NELEMS]]129// CHECK: [[SIZE:%.+]] = mul nuw i64 [[EXTRA_SZ]], 24130 131// Allocate memory132// kmp_depend_info* dep = (kmp_depend_info*)kmpc_alloc(SIZE);133// CHECK: [[DEP_ADDR_VOID:%.+]] = call ptr @__kmpc_alloc(i32 %{{.+}}, i64 [[SIZE]], ptr null)134 135// dep[0].base_addr = NELEMS.136// CHECK: [[BASE_ADDR_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 0, i{{.+}} 0137// CHECK: store i64 [[NELEMS]], ptr [[BASE_ADDR_ADDR]], align 8138 139// iterator_counter = 1;140// CHECK: store i64 1, ptr [[ITERATOR_COUNTER_ADDR:%.+]], align 8141 142// NITER = (argv[argc]-argv[0]-(-1)-1) / -(-1);143// CHECK: [[ARGV:%.+]] = load ptr, ptr [[ARGV_ADDR]], align 8144// CHECK: [[ARGC:%.+]] = load i32, ptr [[ARGC_ADDR]], align 4145// CHECK: [[IDX:%.+]] = sext i32 [[ARGC]] to i64146// CHECK: [[BEGIN_ADDR:%.+]] = getelementptr inbounds ptr, ptr [[ARGV]], i64 [[IDX]]147// CHECK: [[BEGIN:%.+]] = load ptr, ptr [[BEGIN_ADDR]], align 8148// CHECK: [[ARGV:%.+]] = load ptr, ptr [[ARGV_ADDR]], align 8149// CHECK: [[END_ADDR:%.+]] = getelementptr inbounds ptr, ptr [[ARGV]], i64 0150// CHECK: [[END:%.+]] = load ptr, ptr [[END_ADDR]], align 8151// CHECK: [[BEGIN_INT:%.+]] = ptrtoint ptr [[BEGIN]] to i64152// CHECK: [[END_INT:%.+]] = ptrtoint ptr [[END]] to i64153// CHECK: [[BE_SUB:%.+]] = sub i64 [[BEGIN_INT]], [[END_INT]]154// CHECK: [[BE_SUB_ST_SUB:%.+]] = add nsw i64 [[BE_SUB]], 1155// CHECK: [[BE_SUB_ST_SUB_1_SUB:%.+]] = sub nsw i64 [[BE_SUB_ST_SUB]], 1156// CHECK: [[NITER:%.+]] = sdiv i64 [[BE_SUB_ST_SUB_1_SUB]], 1157 158// Loop.159// CHECK: store i64 0, ptr [[COUNTER_ADDR:%.+]], align 8160// CHECK: br label %[[CONT:.+]]161 162// CHECK: [[CONT]]:163// CHECK: [[COUNTER:%.+]] = load i64, ptr [[COUNTER_ADDR]], align 8164// CHECK: [[CMP:%.+]] = icmp slt i64 [[COUNTER]], [[NITER]]165// CHECK: br i1 [[CMP]], label %[[BODY:.+]], label %[[EXIT:.+]]166 167// CHECK: [[BODY]]:168 169// p = BEGIN + COUNTER * STEP;170// CHECK: [[ARGV:%.+]] = load ptr, ptr [[ARGV_ADDR]], align 8171// CHECK: [[ARGC:%.+]] = load i32, ptr [[ARGC_ADDR]], align 4172// CHECK: [[IDX:%.+]] = sext i32 [[ARGC]] to i64173// CHECK: [[BEGIN_ADDR:%.+]] = getelementptr inbounds ptr, ptr [[ARGV]], i64 [[IDX]]174// CHECK: [[BEGIN:%.+]] = load ptr, ptr [[BEGIN_ADDR]], align 8175// CHECK: [[COUNTER:%.+]] = load i64, ptr [[COUNTER_ADDR]], align 8176// CHECK: [[CS_MUL:%.+]] = mul nsw i64 [[COUNTER]], -1177// CHECK: [[CS_MUL_BEGIN_ADD:%.+]] = getelementptr inbounds i8, ptr [[BEGIN]], i64 [[CS_MUL]]178// CHECK: store ptr [[CS_MUL_BEGIN_ADD]], ptr [[P_ADDR:%.+]], align 8179 180// &p[0]181// CHECK: [[P:%.+]] = load ptr, ptr [[P_ADDR]], align 8182// CHECK: [[P0:%.+]] = getelementptr inbounds i8, ptr [[P]], i64 0183// CHECK: [[P0_ADDR:%.+]] = ptrtoint ptr [[P0]] to i64184 185// dep[ITERATOR_COUNTER].base_addr = &p[0];186// CHECK: [[ITERATOR_COUNTER:%.+]] = load i64, ptr [[ITERATOR_COUNTER_ADDR]], align 8187// CHECK: [[DEP_IC:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i64 [[ITERATOR_COUNTER]]188// CHECK: [[DEP_IC_BASE_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEP_IC]], i{{.+}} 0, i{{.+}} 0189// CHECK: store i64 [[P0_ADDR]], ptr [[DEP_IC_BASE_ADDR]], align 8190 191// dep[ITERATOR_COUNTER].size = sizeof(p[0]);192// CHECK: [[DEP_IC_SIZE:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEP_IC]], i{{.+}} 0, i{{.+}} 1193// CHECK: store i64 1, ptr [[DEP_IC_SIZE]], align 8194// dep[ITERATOR_COUNTER].flags = in_out;195// CHECK: [[DEP_IC_FLAGS:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEP_IC]], i{{.+}} 0, i{{.+}} 2196// CHECK: store i8 3, ptr [[DEP_IC_FLAGS]], align 8197 198// ITERATOR_COUNTER = ITERATOR_COUNTER + 1;199// CHECK: [[ITERATOR_COUNTER:%.+]] = load i64, ptr [[ITERATOR_COUNTER_ADDR]], align 8200// CHECK: [[INC:%.+]] = add nuw i64 [[ITERATOR_COUNTER]], 1201// CHECK: store i64 [[INC]], ptr [[ITERATOR_COUNTER_ADDR]], align 8202 203// COUNTER = COUNTER + 1;204// CHECK: [[COUNTER:%.+]] = load i64, ptr [[COUNTER_ADDR]], align 8205// CHECK: [[INC:%.+]] = add nsw i64 [[COUNTER]], 1206// CHECK: store i64 [[INC]], ptr [[COUNTER_ADDR]], align 8207// CHECK: br label %[[CONT]]208 209// CHECK: [[EXIT]]:210 211// a = &dep[1];212// CHECK: [[DEP_BEGIN:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i64 1213// CHECK: store ptr [[DEP_BEGIN]], ptr [[MAIN_A]], align 8214 215// CHECK-LABEL: tmain216// CHECK: [[ARGC_ADDR:%.+]] = alloca ptr,217// CHECK: [[GTID:%.+]] = call i32 @__kmpc_global_thread_num(218// CHECK: [[DEP_ADDR_VOID:%.+]] = call ptr @__kmpc_alloc(i32 [[GTID]], i64 72, ptr null)219// CHECK: [[SZ_BASE:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 0, i{{.+}} 0220// CHECK: store i64 2, ptr [[SZ_BASE]], align 8221// CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 1222// CHECK: [[ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 0223// CHECK: store i64 %{{.+}}, ptr [[ADDR]], align 8224// CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 1225// CHECK: store i64 8, ptr [[SZ_ADDR]], align 8226// CHECK: [[FLAGS_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 2227// CHECK: store i8 1, ptr [[FLAGS_ADDR]], align 8228// CHECK: [[SHAPE_ADDR:%.+]] = load ptr, ptr [[ARGV_ADDR:%.+]], align 8229// CHECK: [[SZ1:%.+]] = mul nuw i64 12, %{{.+}}230// CHECK: [[SZ:%.+]] = mul nuw i64 [[SZ1]], 4231// CHECK: [[SHAPE:%.+]] = ptrtoint ptr [[SHAPE_ADDR]] to i64232// CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 2233// CHECK: [[ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 0234// CHECK: store i64 [[SHAPE]], ptr [[ADDR]], align 8235// CHECK: [[SZ_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 1236// CHECK: store i64 [[SZ]], ptr [[SZ_ADDR]], align 8237// CHECK: [[FLAGS_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[BASE_ADDR]], i{{.+}} 0, i{{.+}} 2238// CHECK: store i8 1, ptr [[FLAGS_ADDR]], align 8239// CHECK: [[BASE_ADDR:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[DEP_ADDR_VOID]], i{{.+}} 1240// CHECK: store ptr [[BASE_ADDR]], ptr [[TMAIN_A]], align 8241// CHECK: [[ARGC:%.+]] = load ptr, ptr [[ARGC_ADDR]], align 8242// CHECK: [[ARGC_REF:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[ARGC]], i{{.+}} -1243// CHECK: call void @__kmpc_free(i32 [[GTID]], ptr [[ARGC_REF]], ptr null)244// CHECK: [[ARGC_BASE:%.+]] = load ptr, ptr [[ARGC_ADDR]], align 8245// CHECK: [[NUMDEPS_BASE:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[ARGC_BASE]], i64 -1246// CHECK: [[NUMDEPS_ADDR:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[NUMDEPS_BASE]], i{{.+}} 0, i{{.+}} 0247// CHECK: [[NUMDEPS:%.+]] = load i64, ptr [[NUMDEPS_ADDR]], align 8248// CHECK: [[END:%.+]] = getelementptr %struct.kmp_depend_info, ptr [[ARGC_BASE]], i64 [[NUMDEPS]]249// CHECK: br label %[[BODY:.+]]250// CHECK: [[BODY]]:251// CHECK: [[EL:%.+]] = phi ptr [ [[ARGC_BASE]], %{{.+}} ], [ [[EL_NEXT:%.+]], %[[BODY]] ]252// CHECK: [[FLAG_BASE:%.+]] = getelementptr inbounds nuw %struct.kmp_depend_info, ptr [[EL]], i{{.+}} 0, i{{.+}} 2253// CHECK: store i8 3, ptr [[FLAG_BASE]], align 8254// CHECK: [[EL_NEXT]] = getelementptr %struct.kmp_depend_info, ptr [[EL]], i{{.+}} 1255// CHECK: [[IS_DONE:%.+]] = icmp eq ptr [[EL_NEXT]], [[END]]256// CHECK: br i1 [[IS_DONE]], label %[[DONE:.+]], label %[[BODY]]257 258// CHECK: [[DONE]]:259 260 261#endif262