60 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=loop-reduce -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s3 4define void @test(ptr %p, i64 %idx) {5; CHECK-LABEL: define void @test(6; CHECK-SAME: ptr [[P:%.*]], i64 [[IDX:%.*]]) {7; CHECK-NEXT: [[ENTRY:.*]]:8; CHECK-NEXT: [[ALLOCA:%.*]] = alloca [4 x [4 x i32]], align 169; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr [[ALLOCA]])10; CHECK-NEXT: [[TMP0:%.*]] = shl i64 [[IDX]], 611; CHECK-NEXT: [[TMP1:%.*]] = add nuw nsw i64 [[TMP0]], 4812; CHECK-NEXT: [[SCEVGEP:%.*]] = getelementptr i8, ptr [[P]], i64 [[TMP1]]13; CHECK-NEXT: [[SCEVGEP3:%.*]] = getelementptr nuw i8, ptr [[ALLOCA]], i64 4814; CHECK-NEXT: br label %[[LOOP:.*]]15; CHECK: [[LOOP]]:16; CHECK-NEXT: [[LSR_IV:%.*]] = phi i64 [ [[LSR_IV_NEXT:%.*]], %[[LOOP]] ], [ -8, %[[ENTRY]] ]17; CHECK-NEXT: [[TMP2:%.*]] = shl nsw i64 [[LSR_IV]], 218; CHECK-NEXT: [[SCEVGEP8:%.*]] = getelementptr i8, ptr [[P]], i64 [[TMP2]]19; CHECK-NEXT: [[SCEVGEP9:%.*]] = getelementptr i8, ptr [[SCEVGEP8]], i64 3220; CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[SCEVGEP9]], align 421; CHECK-NEXT: [[SCEVGEP6:%.*]] = getelementptr i8, ptr [[P]], i64 [[LSR_IV]]22; CHECK-NEXT: [[SCEVGEP7:%.*]] = getelementptr i8, ptr [[SCEVGEP6]], i64 823; CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[SCEVGEP7]], align 424; CHECK-NEXT: [[SCEVGEP4:%.*]] = getelementptr i8, ptr [[SCEVGEP3]], i64 [[LSR_IV]]25; CHECK-NEXT: [[SCEVGEP5:%.*]] = getelementptr i8, ptr [[SCEVGEP4]], i64 826; CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[SCEVGEP5]], align 427; CHECK-NEXT: [[SCEVGEP1:%.*]] = getelementptr i8, ptr [[SCEVGEP]], i64 [[LSR_IV]]28; CHECK-NEXT: [[SCEVGEP2:%.*]] = getelementptr i8, ptr [[SCEVGEP1]], i64 829; CHECK-NEXT: [[TMP6:%.*]] = load i32, ptr [[SCEVGEP2]], align 430; CHECK-NEXT: [[LSR_IV_NEXT]] = add nsw i64 [[LSR_IV]], 431; CHECK-NEXT: [[EXITCOND_NOT:%.*]] = icmp eq i64 [[LSR_IV_NEXT]], 032; CHECK-NEXT: br i1 [[EXITCOND_NOT]], label %[[EXIT:.*]], label %[[LOOP]]33; CHECK: [[EXIT]]:34; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr [[ALLOCA]])35; CHECK-NEXT: ret void36;37entry:38 %alloca = alloca [4 x [4 x i32]], align 1639 call void @llvm.lifetime.start.p0(ptr %alloca)40 br label %loop41 42loop:43 %indvars.iv = phi i64 [ 0, %entry ], [ %indvars.iv.next, %loop ]44 %gep1 = getelementptr [4 x [12 x [4 x [4 x i32]]]], ptr %p, i64 0, i64 0, i64 0, i64 %indvars.iv, i64 045 %0 = load i32, ptr %gep1, align 446 %gep2 = getelementptr [6 x [4 x [4 x i32]]], ptr %p, i64 0, i64 0, i64 0, i64 %indvars.iv47 %1 = load i32, ptr %gep2, align 448 %gep3 = getelementptr [4 x [4 x i32]], ptr %alloca, i64 0, i64 3, i64 %indvars.iv49 %2 = load i32, ptr %gep3, align 450 %gep4 = getelementptr [6 x [4 x [4 x i32]]], ptr %p, i64 0, i64 %idx, i64 3, i64 %indvars.iv51 %3 = load i32, ptr %gep4, align 452 %indvars.iv.next = add i64 %indvars.iv, 153 %exitcond.not = icmp eq i64 %indvars.iv, 154 br i1 %exitcond.not, label %exit, label %loop55 56exit:57 call void @llvm.lifetime.end.p0(ptr %alloca)58 ret void59}60