533 lines · c
1// RUN: %clang_cc1 -verify -fopenmp -x c -triple x86_64-unknown-linux -emit-llvm %s -o - | FileCheck %s2// expected-no-diagnostics3 4#define N 1005 6int x;7#pragma omp threadprivate(x)8 9void test_omp_parallel_copyin(int *a) {10 x = 1;11 12#pragma omp parallel copyin(x)13#pragma omp for14 for (int i = 0; i < N; i++)15 a[i] = i + x;16}17 18void test_omp_parallel_for_copyin(int *a) {19 x = 2;20 21#pragma omp parallel for copyin(x)22 for (int i = 0; i < N; i++)23 a[i] = i + x;24}25 26void test_omp_parallel_for_simd_copyin(int *a) {27 x = 3;28 29#pragma omp parallel for simd copyin(x)30 for (int i = 0; i < N; i++)31 a[i] = i + x;32}33 34void test_omp_parallel_sections_copyin(int *a, int *b) {35 x = 4;36 37#pragma omp parallel sections copyin(x)38 {39#pragma omp section40 { *a = x; }41 42#pragma omp section43 { *b = x; }44 }45}46 47void test_omp_parallel_master_copyin(int *a) {48 x = 5;49 50#pragma omp parallel master copyin(x)51 for (int i = 0; i < N; i++)52 a[i] = i + x;53}54 55// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_copyin56// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0:[0-9]+]] {57// CHECK-NEXT: entry:58// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 859// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 860// CHECK-NEXT: [[TMP0:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)61// CHECK-NEXT: store i32 1, ptr [[TMP0]], align 462// CHECK-NEXT: [[TMP1:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)63// CHECK-NEXT: call void (ptr, i32, ptr, ...) @__kmpc_fork_call(ptr @[[GLOB3:[0-9]+]], i32 2, ptr @test_omp_parallel_copyin.omp_outlined, ptr [[A_ADDR]], ptr [[TMP1]])64// CHECK-NEXT: ret void65//66// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_copyin.omp_outlined67// CHECK-SAME: (ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]], ptr noundef nonnull align 8 dereferenceable(8) [[A:%.*]], ptr noundef nonnull align 4 dereferenceable(4) [[X:%.*]]) #[[ATTR1:[0-9]+]] {68// CHECK-NEXT: entry:69// CHECK-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 870// CHECK-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 871// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 872// CHECK-NEXT: [[X_ADDR:%.*]] = alloca ptr, align 873// CHECK-NEXT: [[DOTOMP_IV:%.*]] = alloca i32, align 474// CHECK-NEXT: [[TMP:%.*]] = alloca i32, align 475// CHECK-NEXT: [[DOTOMP_LB:%.*]] = alloca i32, align 476// CHECK-NEXT: [[DOTOMP_UB:%.*]] = alloca i32, align 477// CHECK-NEXT: [[DOTOMP_STRIDE:%.*]] = alloca i32, align 478// CHECK-NEXT: [[DOTOMP_IS_LAST:%.*]] = alloca i32, align 479// CHECK-NEXT: [[I:%.*]] = alloca i32, align 480// CHECK-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 881// CHECK-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 882// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 883// CHECK-NEXT: store ptr [[X]], ptr [[X_ADDR]], align 884// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[A_ADDR]], align 885// CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[X_ADDR]], align 886// CHECK-NEXT: [[TMP2:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)87// CHECK-NEXT: [[TMP3:%.*]] = ptrtoint ptr [[TMP1]] to i6488// CHECK-NEXT: [[TMP4:%.*]] = ptrtoint ptr [[TMP2]] to i6489// CHECK-NEXT: [[TMP5:%.*]] = icmp ne i64 [[TMP3]], [[TMP4]]90// CHECK-NEXT: br i1 [[TMP5]], label [[COPYIN_NOT_MASTER:%.*]], label [[COPYIN_NOT_MASTER_END:%.*]]91// CHECK: copyin.not.master:92// CHECK-NEXT: [[TMP6:%.*]] = load i32, ptr [[TMP1]], align 493// CHECK-NEXT: store i32 [[TMP6]], ptr [[TMP2]], align 494// CHECK-NEXT: br label [[COPYIN_NOT_MASTER_END]]95// CHECK: copyin.not.master.end:96// CHECK-NEXT: [[TMP7:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 897// CHECK-NEXT: [[TMP8:%.*]] = load i32, ptr [[TMP7]], align 498// CHECK-NEXT: call void @__kmpc_barrier(ptr @[[GLOB1:[0-9]+]], i32 [[TMP8]])99// CHECK-NEXT: store i32 0, ptr [[DOTOMP_LB]], align 4100// CHECK-NEXT: store i32 99, ptr [[DOTOMP_UB]], align 4101// CHECK-NEXT: store i32 1, ptr [[DOTOMP_STRIDE]], align 4102// CHECK-NEXT: store i32 0, ptr [[DOTOMP_IS_LAST]], align 4103// CHECK-NEXT: [[TMP9:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8104// CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[TMP9]], align 4105// CHECK-NEXT: call void @__kmpc_for_static_init_4(ptr @[[GLOB2:[0-9]+]], i32 [[TMP10]], i32 34, ptr [[DOTOMP_IS_LAST]], ptr [[DOTOMP_LB]], ptr [[DOTOMP_UB]], ptr [[DOTOMP_STRIDE]], i32 1, i32 1)106// CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4107// CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[TMP11]], 99108// CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]109// CHECK: cond.true:110// CHECK-NEXT: br label [[COND_END:%.*]]111// CHECK: cond.false:112// CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4113// CHECK-NEXT: br label [[COND_END]]114// CHECK: cond.end:115// CHECK-NEXT: [[COND:%.*]] = phi i32 [ 99, [[COND_TRUE]] ], [ [[TMP12]], [[COND_FALSE]] ]116// CHECK-NEXT: store i32 [[COND]], ptr [[DOTOMP_UB]], align 4117// CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[DOTOMP_LB]], align 4118// CHECK-NEXT: store i32 [[TMP13]], ptr [[DOTOMP_IV]], align 4119// CHECK-NEXT: br label [[OMP_INNER_FOR_COND:%.*]]120// CHECK: omp.inner.for.cond:121// CHECK-NEXT: [[TMP14:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4122// CHECK-NEXT: [[TMP15:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4123// CHECK-NEXT: [[CMP1:%.*]] = icmp sle i32 [[TMP14]], [[TMP15]]124// CHECK-NEXT: br i1 [[CMP1]], label [[OMP_INNER_FOR_BODY:%.*]], label [[OMP_INNER_FOR_END:%.*]]125// CHECK: omp.inner.for.body:126// CHECK-NEXT: [[TMP16:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4127// CHECK-NEXT: [[MUL:%.*]] = mul nsw i32 [[TMP16]], 1128// CHECK-NEXT: [[ADD:%.*]] = add nsw i32 0, [[MUL]]129// CHECK-NEXT: store i32 [[ADD]], ptr [[I]], align 4130// CHECK-NEXT: [[TMP17:%.*]] = load i32, ptr [[I]], align 4131// CHECK-NEXT: [[TMP18:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)132// CHECK-NEXT: [[TMP19:%.*]] = load i32, ptr [[TMP18]], align 4133// CHECK-NEXT: [[ADD2:%.*]] = add nsw i32 [[TMP17]], [[TMP19]]134// CHECK-NEXT: [[TMP20:%.*]] = load ptr, ptr [[TMP0]], align 8135// CHECK-NEXT: [[TMP21:%.*]] = load i32, ptr [[I]], align 4136// CHECK-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP21]] to i64137// CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP20]], i64 [[IDXPROM]]138// CHECK-NEXT: store i32 [[ADD2]], ptr [[ARRAYIDX]], align 4139// CHECK-NEXT: br label [[OMP_BODY_CONTINUE:%.*]]140// CHECK: omp.body.continue:141// CHECK-NEXT: br label [[OMP_INNER_FOR_INC:%.*]]142// CHECK: omp.inner.for.inc:143// CHECK-NEXT: [[TMP22:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4144// CHECK-NEXT: [[ADD3:%.*]] = add nsw i32 [[TMP22]], 1145// CHECK-NEXT: store i32 [[ADD3]], ptr [[DOTOMP_IV]], align 4146// CHECK-NEXT: br label [[OMP_INNER_FOR_COND]]147// CHECK: omp.inner.for.end:148// CHECK-NEXT: br label [[OMP_LOOP_EXIT:%.*]]149// CHECK: omp.loop.exit:150// CHECK-NEXT: [[TMP23:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8151// CHECK-NEXT: [[TMP24:%.*]] = load i32, ptr [[TMP23]], align 4152// CHECK-NEXT: call void @__kmpc_for_static_fini(ptr @[[GLOB2]], i32 [[TMP24]])153// CHECK-NEXT: [[TMP25:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8154// CHECK-NEXT: [[TMP26:%.*]] = load i32, ptr [[TMP25]], align 4155// CHECK-NEXT: call void @__kmpc_barrier(ptr @[[GLOB1]], i32 [[TMP26]])156// CHECK-NEXT: ret void157//158// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_for_copyin159// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0:[0-9]+]] {160// CHECK-NEXT: entry:161// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 8162// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 8163// CHECK-NEXT: [[TMP0:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)164// CHECK-NEXT: store i32 2, ptr [[TMP0]], align 4165// CHECK-NEXT: [[TMP1:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)166// CHECK-NEXT: call void (ptr, i32, ptr, ...) @__kmpc_fork_call(ptr @[[GLOB3:[0-9]+]], i32 2, ptr @test_omp_parallel_for_copyin.omp_outlined, ptr [[A_ADDR]], ptr [[TMP1]])167// CHECK-NEXT: ret void168//169// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_for_copyin.omp_outlined170// CHECK-SAME: (ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]], ptr noundef nonnull align 8 dereferenceable(8) [[A:%.*]], ptr noundef nonnull align 4 dereferenceable(4) [[X:%.*]]) #[[ATTR1:[0-9]+]] {171// CHECK-NEXT: entry:172// CHECK-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 8173// CHECK-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 8174// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 8175// CHECK-NEXT: [[X_ADDR:%.*]] = alloca ptr, align 8176// CHECK-NEXT: [[DOTOMP_IV:%.*]] = alloca i32, align 4177// CHECK-NEXT: [[TMP:%.*]] = alloca i32, align 4178// CHECK-NEXT: [[DOTOMP_LB:%.*]] = alloca i32, align 4179// CHECK-NEXT: [[DOTOMP_UB:%.*]] = alloca i32, align 4180// CHECK-NEXT: [[DOTOMP_STRIDE:%.*]] = alloca i32, align 4181// CHECK-NEXT: [[DOTOMP_IS_LAST:%.*]] = alloca i32, align 4182// CHECK-NEXT: [[I:%.*]] = alloca i32, align 4183// CHECK-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 8184// CHECK-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 8185// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 8186// CHECK-NEXT: store ptr [[X]], ptr [[X_ADDR]], align 8187// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[A_ADDR]], align 8188// CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[X_ADDR]], align 8189// CHECK-NEXT: [[TMP2:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)190// CHECK-NEXT: [[TMP3:%.*]] = ptrtoint ptr [[TMP1]] to i64191// CHECK-NEXT: [[TMP4:%.*]] = ptrtoint ptr [[TMP2]] to i64192// CHECK-NEXT: [[TMP5:%.*]] = icmp ne i64 [[TMP3]], [[TMP4]]193// CHECK-NEXT: br i1 [[TMP5]], label [[COPYIN_NOT_MASTER:%.*]], label [[COPYIN_NOT_MASTER_END:%.*]]194// CHECK: copyin.not.master:195// CHECK-NEXT: [[TMP6:%.*]] = load i32, ptr [[TMP1]], align 4196// CHECK-NEXT: store i32 [[TMP6]], ptr [[TMP2]], align 4197// CHECK-NEXT: br label [[COPYIN_NOT_MASTER_END]]198// CHECK: copyin.not.master.end:199// CHECK-NEXT: [[TMP7:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8200// CHECK-NEXT: [[TMP8:%.*]] = load i32, ptr [[TMP7]], align 4201// CHECK-NEXT: call void @__kmpc_barrier(ptr @[[GLOB1:[0-9]+]], i32 [[TMP8]])202// CHECK-NEXT: store i32 0, ptr [[DOTOMP_LB]], align 4203// CHECK-NEXT: store i32 99, ptr [[DOTOMP_UB]], align 4204// CHECK-NEXT: store i32 1, ptr [[DOTOMP_STRIDE]], align 4205// CHECK-NEXT: store i32 0, ptr [[DOTOMP_IS_LAST]], align 4206// CHECK-NEXT: [[TMP9:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8207// CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[TMP9]], align 4208// CHECK-NEXT: call void @__kmpc_for_static_init_4(ptr @[[GLOB2:[0-9]+]], i32 [[TMP10]], i32 34, ptr [[DOTOMP_IS_LAST]], ptr [[DOTOMP_LB]], ptr [[DOTOMP_UB]], ptr [[DOTOMP_STRIDE]], i32 1, i32 1)209// CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4210// CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[TMP11]], 99211// CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]212// CHECK: cond.true:213// CHECK-NEXT: br label [[COND_END:%.*]]214// CHECK: cond.false:215// CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4216// CHECK-NEXT: br label [[COND_END]]217// CHECK: cond.end:218// CHECK-NEXT: [[COND:%.*]] = phi i32 [ 99, [[COND_TRUE]] ], [ [[TMP12]], [[COND_FALSE]] ]219// CHECK-NEXT: store i32 [[COND]], ptr [[DOTOMP_UB]], align 4220// CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[DOTOMP_LB]], align 4221// CHECK-NEXT: store i32 [[TMP13]], ptr [[DOTOMP_IV]], align 4222// CHECK-NEXT: br label [[OMP_INNER_FOR_COND:%.*]]223// CHECK: omp.inner.for.cond:224// CHECK-NEXT: [[TMP14:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4225// CHECK-NEXT: [[TMP15:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4226// CHECK-NEXT: [[CMP1:%.*]] = icmp sle i32 [[TMP14]], [[TMP15]]227// CHECK-NEXT: br i1 [[CMP1]], label [[OMP_INNER_FOR_BODY:%.*]], label [[OMP_INNER_FOR_END:%.*]]228// CHECK: omp.inner.for.body:229// CHECK-NEXT: [[TMP16:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4230// CHECK-NEXT: [[MUL:%.*]] = mul nsw i32 [[TMP16]], 1231// CHECK-NEXT: [[ADD:%.*]] = add nsw i32 0, [[MUL]]232// CHECK-NEXT: store i32 [[ADD]], ptr [[I]], align 4233// CHECK-NEXT: [[TMP17:%.*]] = load i32, ptr [[I]], align 4234// CHECK-NEXT: [[TMP18:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)235// CHECK-NEXT: [[TMP19:%.*]] = load i32, ptr [[TMP18]], align 4236// CHECK-NEXT: [[ADD2:%.*]] = add nsw i32 [[TMP17]], [[TMP19]]237// CHECK-NEXT: [[TMP20:%.*]] = load ptr, ptr [[TMP0]], align 8238// CHECK-NEXT: [[TMP21:%.*]] = load i32, ptr [[I]], align 4239// CHECK-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP21]] to i64240// CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP20]], i64 [[IDXPROM]]241// CHECK-NEXT: store i32 [[ADD2]], ptr [[ARRAYIDX]], align 4242// CHECK-NEXT: br label [[OMP_BODY_CONTINUE:%.*]]243// CHECK: omp.body.continue:244// CHECK-NEXT: br label [[OMP_INNER_FOR_INC:%.*]]245// CHECK: omp.inner.for.inc:246// CHECK-NEXT: [[TMP22:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4247// CHECK-NEXT: [[ADD3:%.*]] = add nsw i32 [[TMP22]], 1248// CHECK-NEXT: store i32 [[ADD3]], ptr [[DOTOMP_IV]], align 4249// CHECK-NEXT: br label [[OMP_INNER_FOR_COND]]250// CHECK: omp.inner.for.end:251// CHECK-NEXT: br label [[OMP_LOOP_EXIT:%.*]]252// CHECK: omp.loop.exit:253// CHECK-NEXT: [[TMP23:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8254// CHECK-NEXT: [[TMP24:%.*]] = load i32, ptr [[TMP23]], align 4255// CHECK-NEXT: call void @__kmpc_for_static_fini(ptr @[[GLOB2]], i32 [[TMP24]])256// CHECK-NEXT: ret void257//258// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_for_simd_copyin259// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0:[0-9]+]] {260// CHECK-NEXT: entry:261// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 8262// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 8263// CHECK-NEXT: [[TMP0:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)264// CHECK-NEXT: store i32 3, ptr [[TMP0]], align 4265// CHECK-NEXT: [[TMP1:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)266// CHECK-NEXT: call void (ptr, i32, ptr, ...) @__kmpc_fork_call(ptr @[[GLOB3:[0-9]+]], i32 2, ptr @test_omp_parallel_for_simd_copyin.omp_outlined, ptr [[A_ADDR]], ptr [[TMP1]])267// CHECK-NEXT: ret void268//269// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_for_simd_copyin.omp_outlined270// CHECK-SAME: (ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]], ptr noundef nonnull align 8 dereferenceable(8) [[A:%.*]], ptr noundef nonnull align 4 dereferenceable(4) [[X:%.*]]) #[[ATTR1:[0-9]+]] {271// CHECK-NEXT: entry:272// CHECK-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 8273// CHECK-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 8274// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 8275// CHECK-NEXT: [[X_ADDR:%.*]] = alloca ptr, align 8276// CHECK-NEXT: [[DOTOMP_IV:%.*]] = alloca i32, align 4277// CHECK-NEXT: [[TMP:%.*]] = alloca i32, align 4278// CHECK-NEXT: [[DOTOMP_LB:%.*]] = alloca i32, align 4279// CHECK-NEXT: [[DOTOMP_UB:%.*]] = alloca i32, align 4280// CHECK-NEXT: [[DOTOMP_STRIDE:%.*]] = alloca i32, align 4281// CHECK-NEXT: [[DOTOMP_IS_LAST:%.*]] = alloca i32, align 4282// CHECK-NEXT: [[I:%.*]] = alloca i32, align 4283// CHECK-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 8284// CHECK-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 8285// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 8286// CHECK-NEXT: store ptr [[X]], ptr [[X_ADDR]], align 8287// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[A_ADDR]], align 8288// CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[X_ADDR]], align 8289// CHECK-NEXT: [[TMP2:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)290// CHECK-NEXT: [[TMP3:%.*]] = ptrtoint ptr [[TMP1]] to i64291// CHECK-NEXT: [[TMP4:%.*]] = ptrtoint ptr [[TMP2]] to i64292// CHECK-NEXT: [[TMP5:%.*]] = icmp ne i64 [[TMP3]], [[TMP4]]293// CHECK-NEXT: br i1 [[TMP5]], label [[COPYIN_NOT_MASTER:%.*]], label [[COPYIN_NOT_MASTER_END:%.*]]294// CHECK: copyin.not.master:295// CHECK-NEXT: [[TMP6:%.*]] = load i32, ptr [[TMP1]], align 4296// CHECK-NEXT: store i32 [[TMP6]], ptr [[TMP2]], align 4297// CHECK-NEXT: br label [[COPYIN_NOT_MASTER_END]]298// CHECK: copyin.not.master.end:299// CHECK-NEXT: [[TMP7:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8300// CHECK-NEXT: [[TMP8:%.*]] = load i32, ptr [[TMP7]], align 4301// CHECK-NEXT: call void @__kmpc_barrier(ptr @[[GLOB1:[0-9]+]], i32 [[TMP8]])302// CHECK-NEXT: store i32 0, ptr [[DOTOMP_LB]], align 4303// CHECK-NEXT: store i32 99, ptr [[DOTOMP_UB]], align 4304// CHECK-NEXT: store i32 1, ptr [[DOTOMP_STRIDE]], align 4305// CHECK-NEXT: store i32 0, ptr [[DOTOMP_IS_LAST]], align 4306// CHECK-NEXT: [[TMP9:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8307// CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[TMP9]], align 4308// CHECK-NEXT: call void @__kmpc_for_static_init_4(ptr @[[GLOB2:[0-9]+]], i32 [[TMP10]], i32 34, ptr [[DOTOMP_IS_LAST]], ptr [[DOTOMP_LB]], ptr [[DOTOMP_UB]], ptr [[DOTOMP_STRIDE]], i32 1, i32 1)309// CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4310// CHECK-NEXT: [[CMP:%.*]] = icmp sgt i32 [[TMP11]], 99311// CHECK-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]]312// CHECK: cond.true:313// CHECK-NEXT: br label [[COND_END:%.*]]314// CHECK: cond.false:315// CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4316// CHECK-NEXT: br label [[COND_END]]317// CHECK: cond.end:318// CHECK-NEXT: [[COND:%.*]] = phi i32 [ 99, [[COND_TRUE]] ], [ [[TMP12]], [[COND_FALSE]] ]319// CHECK-NEXT: store i32 [[COND]], ptr [[DOTOMP_UB]], align 4320// CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[DOTOMP_LB]], align 4321// CHECK-NEXT: store i32 [[TMP13]], ptr [[DOTOMP_IV]], align 4322// CHECK-NEXT: br label [[OMP_INNER_FOR_COND:%.*]]323// CHECK: omp.inner.for.cond:324// CHECK-NEXT: [[TMP14:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4, !llvm.access.group325// CHECK-NEXT: [[TMP15:%.*]] = load i32, ptr [[DOTOMP_UB]], align 4, !llvm.access.group326// CHECK-NEXT: [[CMP1:%.*]] = icmp sle i32 [[TMP14]], [[TMP15]]327// CHECK-NEXT: br i1 [[CMP1]], label [[OMP_INNER_FOR_BODY:%.*]], label [[OMP_INNER_FOR_END:%.*]]328// CHECK: omp.inner.for.body:329// CHECK-NEXT: [[TMP16:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4, !llvm.access.group330// CHECK-NEXT: [[MUL:%.*]] = mul nsw i32 [[TMP16]], 1331// CHECK-NEXT: [[ADD:%.*]] = add nsw i32 0, [[MUL]]332// CHECK-NEXT: store i32 [[ADD]], ptr [[I]], align 4, !llvm.access.group333// CHECK-NEXT: [[TMP17:%.*]] = load i32, ptr [[I]], align 4, !llvm.access.group334// CHECK-NEXT: [[TMP18:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)335// CHECK-NEXT: [[TMP19:%.*]] = load i32, ptr [[TMP18]], align 4, !llvm.access.group336// CHECK-NEXT: [[ADD2:%.*]] = add nsw i32 [[TMP17]], [[TMP19]]337// CHECK-NEXT: [[TMP20:%.*]] = load ptr, ptr [[TMP0]], align 8, !llvm.access.group338// CHECK-NEXT: [[TMP21:%.*]] = load i32, ptr [[I]], align 4, !llvm.access.group339// CHECK-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP21]] to i64340// CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP20]], i64 [[IDXPROM]]341// CHECK-NEXT: store i32 [[ADD2]], ptr [[ARRAYIDX]], align 4, !llvm.access.group342// CHECK-NEXT: br label [[OMP_BODY_CONTINUE:%.*]]343// CHECK: omp.body.continue:344// CHECK-NEXT: br label [[OMP_INNER_FOR_INC:%.*]]345// CHECK: omp.inner.for.inc:346// CHECK-NEXT: [[TMP22:%.*]] = load i32, ptr [[DOTOMP_IV]], align 4347// CHECK-NEXT: [[ADD3:%.*]] = add nsw i32 [[TMP22]], 1348// CHECK-NEXT: store i32 [[ADD3]], ptr [[DOTOMP_IV]], align 4349// CHECK-NEXT: br label [[OMP_INNER_FOR_COND]]350// CHECK: omp.inner.for.end:351// CHECK-NEXT: br label [[OMP_LOOP_EXIT:%.*]]352// CHECK: omp.loop.exit:353// CHECK-NEXT: [[TMP23:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8354// CHECK-NEXT: [[TMP24:%.*]] = load i32, ptr [[TMP23]], align 4355// CHECK-NEXT: call void @__kmpc_for_static_fini(ptr @[[GLOB2]], i32 [[TMP24]])356// CHECK-NEXT: [[TMP25:%.*]] = load i32, ptr [[DOTOMP_IS_LAST]], align 4357// CHECK-NEXT: [[TMP26:%.*]] = icmp ne i32 [[TMP25]], 0358// CHECK-NEXT: br i1 [[TMP26]], label [[DOTOMP_FINAL_THEN:%.*]], label [[DOTOMP_FINAL_DONE:%.*]]359// CHECK: .omp.final.then:360// CHECK-NEXT: store i32 100, ptr [[I]], align 4361// CHECK-NEXT: br label [[DOTOMP_FINAL_DONE]]362// CHECK: .omp.final.done:363// CHECK-NEXT: ret void364//365// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_sections_copyin366// CHECK-SAME: (ptr noundef [[A:%.*]], ptr noundef [[B:%.*]]) #[[ATTR0:[0-9]+]] {367// CHECK-NEXT: entry:368// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 8369// CHECK-NEXT: [[B_ADDR:%.*]] = alloca ptr, align 8370// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 8371// CHECK-NEXT: store ptr [[B]], ptr [[B_ADDR]], align 8372// CHECK-NEXT: [[TMP0:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)373// CHECK-NEXT: store i32 4, ptr [[TMP0]], align 4374// CHECK-NEXT: [[TMP1:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)375// CHECK-NEXT: call void (ptr, i32, ptr, ...) @__kmpc_fork_call(ptr @[[GLOB3:[0-9]+]], i32 3, ptr @test_omp_parallel_sections_copyin.omp_outlined, ptr [[A_ADDR]], ptr [[B_ADDR]], ptr [[TMP1]])376// CHECK-NEXT: ret void377//378// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_sections_copyin.omp_outlined379// CHECK-SAME: (ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]], ptr noundef nonnull align 8 dereferenceable(8) [[A:%.*]], ptr noundef nonnull align 8 dereferenceable(8) [[B:%.*]], ptr noundef nonnull align 4 dereferenceable(4) [[X:%.*]]) #[[ATTR1:[0-9]+]] {380// CHECK-NEXT: entry:381// CHECK-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 8382// CHECK-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 8383// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 8384// CHECK-NEXT: [[B_ADDR:%.*]] = alloca ptr, align 8385// CHECK-NEXT: [[X_ADDR:%.*]] = alloca ptr, align 8386// CHECK-NEXT: [[DOTOMP_SECTIONS_LB_:%.*]] = alloca i32, align 4387// CHECK-NEXT: [[DOTOMP_SECTIONS_UB_:%.*]] = alloca i32, align 4388// CHECK-NEXT: [[DOTOMP_SECTIONS_ST_:%.*]] = alloca i32, align 4389// CHECK-NEXT: [[DOTOMP_SECTIONS_IL_:%.*]] = alloca i32, align 4390// CHECK-NEXT: [[DOTOMP_SECTIONS_IV_:%.*]] = alloca i32, align 4391// CHECK-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 8392// CHECK-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 8393// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 8394// CHECK-NEXT: store ptr [[B]], ptr [[B_ADDR]], align 8395// CHECK-NEXT: store ptr [[X]], ptr [[X_ADDR]], align 8396// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[A_ADDR]], align 8397// CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[B_ADDR]], align 8398// CHECK-NEXT: [[TMP2:%.*]] = load ptr, ptr [[X_ADDR]], align 8399// CHECK-NEXT: [[TMP3:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)400// CHECK-NEXT: [[TMP4:%.*]] = ptrtoint ptr [[TMP2]] to i64401// CHECK-NEXT: [[TMP5:%.*]] = ptrtoint ptr [[TMP3]] to i64402// CHECK-NEXT: [[TMP6:%.*]] = icmp ne i64 [[TMP4]], [[TMP5]]403// CHECK-NEXT: br i1 [[TMP6]], label [[COPYIN_NOT_MASTER:%.*]], label [[COPYIN_NOT_MASTER_END:%.*]]404// CHECK: copyin.not.master:405// CHECK-NEXT: [[TMP7:%.*]] = load i32, ptr [[TMP2]], align 4406// CHECK-NEXT: store i32 [[TMP7]], ptr [[TMP3]], align 4407// CHECK-NEXT: br label [[COPYIN_NOT_MASTER_END]]408// CHECK: copyin.not.master.end:409// CHECK-NEXT: [[TMP8:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8410// CHECK-NEXT: [[TMP9:%.*]] = load i32, ptr [[TMP8]], align 4411// CHECK-NEXT: call void @__kmpc_barrier(ptr @[[GLOB1:[0-9]+]], i32 [[TMP9]])412// CHECK-NEXT: store i32 0, ptr [[DOTOMP_SECTIONS_LB_]], align 4413// CHECK-NEXT: store i32 1, ptr [[DOTOMP_SECTIONS_UB_]], align 4414// CHECK-NEXT: store i32 1, ptr [[DOTOMP_SECTIONS_ST_]], align 4415// CHECK-NEXT: store i32 0, ptr [[DOTOMP_SECTIONS_IL_]], align 4416// CHECK-NEXT: [[TMP10:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8417// CHECK-NEXT: [[TMP11:%.*]] = load i32, ptr [[TMP10]], align 4418// CHECK-NEXT: call void @__kmpc_for_static_init_4(ptr @[[GLOB4:[0-9]+]], i32 [[TMP11]], i32 34, ptr [[DOTOMP_SECTIONS_IL_]], ptr [[DOTOMP_SECTIONS_LB_]], ptr [[DOTOMP_SECTIONS_UB_]], ptr [[DOTOMP_SECTIONS_ST_]], i32 1, i32 1)419// CHECK-NEXT: [[TMP12:%.*]] = load i32, ptr [[DOTOMP_SECTIONS_UB_]], align 4420// CHECK-NEXT: [[TMP13:%.*]] = icmp slt i32 [[TMP12]], 1421// CHECK-NEXT: [[TMP14:%.*]] = select i1 [[TMP13]], i32 [[TMP12]], i32 1422// CHECK-NEXT: store i32 [[TMP14]], ptr [[DOTOMP_SECTIONS_UB_]], align 4423// CHECK-NEXT: [[TMP15:%.*]] = load i32, ptr [[DOTOMP_SECTIONS_LB_]], align 4424// CHECK-NEXT: store i32 [[TMP15]], ptr [[DOTOMP_SECTIONS_IV_]], align 4425// CHECK-NEXT: br label [[OMP_INNER_FOR_COND:%.*]]426// CHECK: omp.inner.for.cond:427// CHECK-NEXT: [[TMP16:%.*]] = load i32, ptr [[DOTOMP_SECTIONS_IV_]], align 4428// CHECK-NEXT: [[TMP17:%.*]] = load i32, ptr [[DOTOMP_SECTIONS_UB_]], align 4429// CHECK-NEXT: [[CMP:%.*]] = icmp sle i32 [[TMP16]], [[TMP17]]430// CHECK-NEXT: br i1 [[CMP]], label [[OMP_INNER_FOR_BODY:%.*]], label [[OMP_INNER_FOR_END:%.*]]431// CHECK: omp.inner.for.body:432// CHECK-NEXT: [[TMP18:%.*]] = load i32, ptr [[DOTOMP_SECTIONS_IV_]], align 4433// CHECK-NEXT: switch i32 [[TMP18]], label [[DOTOMP_SECTIONS_EXIT:%.*]] [434// CHECK-NEXT: i32 0, label [[DOTOMP_SECTIONS_CASE:%.*]]435// CHECK-NEXT: i32 1, label [[DOTOMP_SECTIONS_CASE1:%.*]]436// CHECK-NEXT: ]437// CHECK: .omp.sections.case:438// CHECK-NEXT: [[TMP19:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)439// CHECK-NEXT: [[TMP20:%.*]] = load i32, ptr [[TMP19]], align 4440// CHECK-NEXT: [[TMP21:%.*]] = load ptr, ptr [[TMP0]], align 8441// CHECK-NEXT: store i32 [[TMP20]], ptr [[TMP21]], align 4442// CHECK-NEXT: br label [[DOTOMP_SECTIONS_EXIT]]443// CHECK: .omp.sections.case1:444// CHECK-NEXT: [[TMP22:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)445// CHECK-NEXT: [[TMP23:%.*]] = load i32, ptr [[TMP22]], align 4446// CHECK-NEXT: [[TMP24:%.*]] = load ptr, ptr [[TMP1]], align 8447// CHECK-NEXT: store i32 [[TMP23]], ptr [[TMP24]], align 4448// CHECK-NEXT: br label [[DOTOMP_SECTIONS_EXIT]]449// CHECK: .omp.sections.exit:450// CHECK-NEXT: br label [[OMP_INNER_FOR_INC:%.*]]451// CHECK: omp.inner.for.inc:452// CHECK-NEXT: [[TMP25:%.*]] = load i32, ptr [[DOTOMP_SECTIONS_IV_]], align 4453// CHECK-NEXT: [[INC:%.*]] = add nsw i32 [[TMP25]], 1454// CHECK-NEXT: store i32 [[INC]], ptr [[DOTOMP_SECTIONS_IV_]], align 4455// CHECK-NEXT: br label [[OMP_INNER_FOR_COND]]456// CHECK: omp.inner.for.end:457// CHECK-NEXT: [[TMP26:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8458// CHECK-NEXT: [[TMP27:%.*]] = load i32, ptr [[TMP26]], align 4459// CHECK-NEXT: call void @__kmpc_for_static_fini(ptr @[[GLOB4:[0-9]+]], i32 [[TMP27]])460// CHECK-NEXT: ret void461//462// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_master_copyin463// CHECK-SAME: (ptr noundef [[A:%.*]]) #[[ATTR0:[0-9]+]] {464// CHECK-NEXT: entry:465// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 8466// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 8467// CHECK-NEXT: [[TMP0:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)468// CHECK-NEXT: store i32 5, ptr [[TMP0]], align 4469// CHECK-NEXT: [[TMP1:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)470// CHECK-NEXT: call void (ptr, i32, ptr, ...) @__kmpc_fork_call(ptr @[[GLOB3:[0-9]+]], i32 2, ptr @test_omp_parallel_master_copyin.omp_outlined, ptr [[A_ADDR]], ptr [[TMP1]])471// CHECK-NEXT: ret void472//473// CHECK-LABEL: define {{[^@]+}}@test_omp_parallel_master_copyin.omp_outlined474// CHECK-SAME: (ptr noalias noundef [[DOTGLOBAL_TID_:%.*]], ptr noalias noundef [[DOTBOUND_TID_:%.*]], ptr noundef nonnull align 8 dereferenceable(8) [[A:%.*]], ptr noundef nonnull align 4 dereferenceable(4) [[X:%.*]]) #[[ATTR1:[0-9]+]] {475// CHECK-NEXT: entry:476// CHECK-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca ptr, align 8477// CHECK-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca ptr, align 8478// CHECK-NEXT: [[A_ADDR:%.*]] = alloca ptr, align 8479// CHECK-NEXT: [[X_ADDR:%.*]] = alloca ptr, align 8480// CHECK-NEXT: [[I:%.*]] = alloca i32, align 4481// CHECK-NEXT: store ptr [[DOTGLOBAL_TID_]], ptr [[DOTGLOBAL_TID__ADDR]], align 8482// CHECK-NEXT: store ptr [[DOTBOUND_TID_]], ptr [[DOTBOUND_TID__ADDR]], align 8483// CHECK-NEXT: store ptr [[A]], ptr [[A_ADDR]], align 8484// CHECK-NEXT: store ptr [[X]], ptr [[X_ADDR]], align 8485// CHECK-NEXT: [[TMP0:%.*]] = load ptr, ptr [[A_ADDR]], align 8486// CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr [[X_ADDR]], align 8487// CHECK-NEXT: [[TMP2:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)488// CHECK-NEXT: [[TMP3:%.*]] = ptrtoint ptr [[TMP1]] to i64489// CHECK-NEXT: [[TMP4:%.*]] = ptrtoint ptr [[TMP2]] to i64490// CHECK-NEXT: [[TMP5:%.*]] = icmp ne i64 [[TMP3]], [[TMP4]]491// CHECK-NEXT: br i1 [[TMP5]], label [[COPYIN_NOT_MASTER:%.*]], label [[COPYIN_NOT_MASTER_END:%.*]]492// CHECK: copyin.not.master:493// CHECK-NEXT: [[TMP6:%.*]] = load i32, ptr [[TMP1]], align 4494// CHECK-NEXT: store i32 [[TMP6]], ptr [[TMP2]], align 4495// CHECK-NEXT: br label [[COPYIN_NOT_MASTER_END]]496// CHECK: copyin.not.master.end:497// CHECK-NEXT: [[TMP7:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8498// CHECK-NEXT: [[TMP8:%.*]] = load i32, ptr [[TMP7]], align 4499// CHECK-NEXT: call void @__kmpc_barrier(ptr @[[GLOB1:[0-9]+]], i32 [[TMP8]])500// CHECK-NEXT: [[TMP9:%.*]] = load ptr, ptr [[DOTGLOBAL_TID__ADDR]], align 8501// CHECK-NEXT: [[TMP10:%.*]] = load i32, ptr [[TMP9]], align 4502// CHECK-NEXT: [[TMP11:%.*]] = call i32 @__kmpc_master(ptr @[[GLOB3:[0-9]+]], i32 [[TMP10]])503// CHECK-NEXT: [[TMP12:%.*]] = icmp ne i32 [[TMP11]], 0504// CHECK-NEXT: br i1 [[TMP12]], label [[OMP_IF_THEN:%.*]], label [[OMP_IF_END:%.*]]505// CHECK: omp_if.then:506// CHECK-NEXT: store i32 0, ptr [[I]], align 4507// CHECK-NEXT: br label [[FOR_COND:%.*]]508// CHECK: for.cond:509// CHECK-NEXT: [[TMP13:%.*]] = load i32, ptr [[I]], align 4510// CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[TMP13]], 100511// CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[FOR_END:%.*]]512// CHECK: for.body:513// CHECK-NEXT: [[TMP14:%.*]] = load i32, ptr [[I]], align 4514// CHECK-NEXT: [[TMP15:%.*]] = call align 4 ptr @llvm.threadlocal.address.p0(ptr align 4 @x)515// CHECK-NEXT: [[TMP16:%.*]] = load i32, ptr [[TMP15]], align 4516// CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[TMP14]], [[TMP16]]517// CHECK-NEXT: [[TMP17:%.*]] = load ptr, ptr [[TMP0]], align 8518// CHECK-NEXT: [[TMP18:%.*]] = load i32, ptr [[I]], align 4519// CHECK-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP18]] to i64520// CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds i32, ptr [[TMP17]], i64 [[IDXPROM]]521// CHECK-NEXT: store i32 [[ADD]], ptr [[ARRAYIDX]], align 4522// CHECK-NEXT: br label [[FOR_INC:%.*]]523// CHECK: for.inc:524// CHECK-NEXT: [[TMP19:%.*]] = load i32, ptr [[I]], align 4525// CHECK-NEXT: [[INC:%.*]] = add nsw i32 [[TMP19]], 1526// CHECK-NEXT: store i32 [[INC]], ptr [[I]], align 4527// CHECK-NEXT: br label [[FOR_COND]]528// CHECK: for.end:529// CHECK-NEXT: call void @__kmpc_end_master(ptr @[[GLOB3:[0-9]+]], i32 [[TMP10]])530// CHECK-NEXT: br label [[OMP_IF_END:%.*]]531// CHECK: omp_if.end:532// CHECK-NEXT: ret void533