91 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -S -O3 < %s | FileCheck %s3 4define void @test(ptr noundef %a, i32 noundef %beam) {5; CHECK-LABEL: define void @test6; CHECK-SAME: (ptr noundef writeonly captures(none) [[A:%.*]], i32 noundef [[BEAM:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: entry:8; CHECK-NEXT: [[MUL:%.*]] = shl nuw nsw i32 [[BEAM]], 19; CHECK-NEXT: [[IDXPROM:%.*]] = zext nneg i32 [[MUL]] to i6410; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i32, ptr [[A]], i64 [[IDXPROM]]11; CHECK-NEXT: br label [[FOR_BODY:%.*]]12; CHECK: for.cond.cleanup:13; CHECK-NEXT: ret void14; CHECK: for.body:15; CHECK-NEXT: [[I_06:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[FOR_INC:%.*]] ]16; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32 [[I_06]], [[BEAM]]17; CHECK-NEXT: br i1 [[CMP1]], label [[IF_THEN:%.*]], label [[IF_ELSE:%.*]]18; CHECK: if.then:19; CHECK-NEXT: store i32 0, ptr [[ARRAYIDX]], align 420; CHECK-NEXT: br label [[FOR_INC]]21; CHECK: if.else:22; CHECK-NEXT: [[MUL2:%.*]] = shl nuw nsw i32 [[I_06]], 123; CHECK-NEXT: [[IDXPROM3:%.*]] = zext nneg i32 [[MUL2]] to i6424; CHECK-NEXT: [[ARRAYIDX4:%.*]] = getelementptr inbounds nuw i32, ptr [[A]], i64 [[IDXPROM3]]25; CHECK-NEXT: store i32 1, ptr [[ARRAYIDX4]], align 426; CHECK-NEXT: br label [[FOR_INC]]27; CHECK: for.inc:28; CHECK-NEXT: [[INC]] = add nuw nsw i32 [[I_06]], 129; CHECK-NEXT: [[CMP:%.*]] = icmp samesign ult i32 [[I_06]], 999930; CHECK-NEXT: br i1 [[CMP]], label [[FOR_BODY]], label [[FOR_COND_CLEANUP:%.*]]31;32entry:33 %a.addr = alloca ptr, align 834 %beam.addr = alloca i32, align 435 %i = alloca i32, align 436 store ptr %a, ptr %a.addr, align 837 store i32 %beam, ptr %beam.addr, align 438 call void @llvm.lifetime.start.p0(ptr %i)39 store i32 0, ptr %i, align 440 br label %for.cond41 42for.cond: ; preds = %for.inc, %entry43 %0 = load i32, ptr %i, align 444 %cmp = icmp slt i32 %0, 1000045 br i1 %cmp, label %for.body, label %for.cond.cleanup46 47for.cond.cleanup: ; preds = %for.cond48 call void @llvm.lifetime.end.p0(ptr %i)49 br label %for.end50 51for.body: ; preds = %for.cond52 %1 = load i32, ptr %i, align 453 %2 = load i32, ptr %beam.addr, align 454 %cmp1 = icmp eq i32 %1, %255 br i1 %cmp1, label %if.then, label %if.else56 57if.then: ; preds = %for.body58 %3 = load ptr, ptr %a.addr, align 859 %4 = load i32, ptr %i, align 460 %mul = mul nsw i32 2, %461 %idxprom = sext i32 %mul to i6462 %arrayidx = getelementptr inbounds i32, ptr %3, i64 %idxprom63 store i32 0, ptr %arrayidx, align 464 br label %if.end65 66if.else: ; preds = %for.body67 %5 = load ptr, ptr %a.addr, align 868 %6 = load i32, ptr %i, align 469 %mul2 = mul nsw i32 2, %670 %idxprom3 = sext i32 %mul2 to i6471 %arrayidx4 = getelementptr inbounds i32, ptr %5, i64 %idxprom372 store i32 1, ptr %arrayidx4, align 473 br label %if.end74 75if.end: ; preds = %if.else, %if.then76 br label %for.inc77 78for.inc: ; preds = %if.end79 %7 = load i32, ptr %i, align 480 %inc = add nsw i32 %7, 181 store i32 %inc, ptr %i, align 482 br label %for.cond83 84for.end: ; preds = %for.cond.cleanup85 ret void86}87 88declare void @llvm.lifetime.start.p0(ptr nocapture)89 90declare void @llvm.lifetime.end.p0(ptr nocapture)91