60 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -passes=loop-idiom -S %s | FileCheck %s3 4define void @phi_insertion(i1 %c, ptr %ptr.start, ptr %ptr.end, i64 %offset) {5; CHECK-LABEL: @phi_insertion(6; CHECK-NEXT: bb5:7; CHECK-NEXT: br i1 [[C:%.*]], label [[LOOP_0_PH:%.*]], label [[EXIT:%.*]]8; CHECK: loop.0.ph:9; CHECK-NEXT: br label [[LOOP_0:%.*]]10; CHECK: loop.0:11; CHECK-NEXT: [[IV_0:%.*]] = phi ptr [ [[IV_0_NEXT:%.*]], [[LOOP_0_LATCH:%.*]] ], [ [[PTR_START:%.*]], [[LOOP_0_PH]] ]12; CHECK-NEXT: [[COND:%.*]] = icmp eq ptr [[IV_0]], [[PTR_END:%.*]]13; CHECK-NEXT: br i1 [[COND]], label [[LOOP_1_PREHEADER:%.*]], label [[EXIT_LOOPEXIT:%.*]]14; CHECK: loop.1.preheader:15; CHECK-NEXT: br label [[LOOP_1:%.*]]16; CHECK: loop.1:17; CHECK-NEXT: [[PTR_1:%.*]] = getelementptr inbounds i32, ptr [[IV_0]], i64 018; CHECK-NEXT: [[LV:%.*]] = load i32, ptr [[PTR_1]], align 819; CHECK-NEXT: [[PTR_2:%.*]] = getelementptr inbounds i32, ptr [[IV_0]], i64 020; CHECK-NEXT: store i32 [[LV]], ptr [[PTR_2]], align 821; CHECK-NEXT: [[IV_1_NEXT:%.*]] = add nuw nsw i64 0, 122; CHECK-NEXT: [[EC:%.*]] = icmp eq i64 [[IV_1_NEXT]], 10023; CHECK-NEXT: br i1 [[EC]], label [[LOOP_0_LATCH]], label [[LOOP_1]]24; CHECK: loop.0.latch:25; CHECK-NEXT: [[IV_0_NEXT]] = getelementptr inbounds i32, ptr [[IV_0]], i64 [[OFFSET:%.*]]26; CHECK-NEXT: br label [[LOOP_0]]27; CHECK: exit.loopexit:28; CHECK-NEXT: br label [[EXIT]]29; CHECK: exit:30; CHECK-NEXT: ret void31;32bb5:33 br i1 %c, label %loop.0.ph, label %exit34 35loop.0.ph: ; preds = %bb536 br label %loop.037 38loop.0: ; preds = %loop.0.latch, %loop.0.ph39 %iv.0 = phi ptr [ %iv.0.next, %loop.0.latch ], [ %ptr.start, %loop.0.ph ]40 %cond = icmp eq ptr %iv.0, %ptr.end41 br i1 %cond, label %loop.1, label %exit42 43loop.1: ; preds = %loop.1, %loop.044 %iv.1 = phi i64 [ 0, %loop.0 ], [ %iv.1, %loop.1 ]45 %ptr.1 = getelementptr inbounds i32, ptr %iv.0, i64 %iv.146 %lv = load i32, ptr %ptr.1, align 847 %ptr.2 = getelementptr inbounds i32, ptr %iv.0, i64 %iv.148 store i32 %lv, ptr %ptr.2, align 849 %iv.1.next = add nuw nsw i64 %iv.1, 150 %ec = icmp eq i64 %iv.1.next, 10051 br i1 %ec, label %loop.0.latch, label %loop.152 53loop.0.latch: ; preds = %loop.154 %iv.0.next = getelementptr inbounds i32, ptr %iv.0, i64 %offset55 br label %loop.056 57exit: ; preds = %loop.0, %bb558 ret void59}60