109 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -p loop-unroll -S %s | FileCheck %s3 4target triple = "hexagon-unknown-linux"5 6declare void @foo()7 8define void @preserve_lcssa_when_reusing_existing_phi() {9; CHECK-LABEL: define void @preserve_lcssa_when_reusing_existing_phi() {10; CHECK-NEXT: [[ENTRY:.*:]]11; CHECK-NEXT: br label %[[LOOP_1_HEADER:.*]]12; CHECK: [[LOOP_1_HEADER]]:13; CHECK-NEXT: br label %[[LOOP_2_HEADER:.*]]14; CHECK: [[LOOP_2_HEADER]]:15; CHECK-NEXT: br label %[[LOOP_3:.*]]16; CHECK: [[LOOP_3]]:17; CHECK-NEXT: [[IV_3:%.*]] = phi i32 [ [[IV_3_NEXT:%.*]], %[[LOOP_3]] ], [ 0, %[[LOOP_2_HEADER]] ]18; CHECK-NEXT: call void @foo()19; CHECK-NEXT: [[IV_3_NEXT]] = add i32 [[IV_3]], 120; CHECK-NEXT: br i1 false, label %[[PH:.*]], label %[[LOOP_3]]21; CHECK: [[PH]]:22; CHECK-NEXT: [[IV_3_LCSSA:%.*]] = phi i32 [ [[IV_3]], %[[LOOP_3]] ]23; CHECK-NEXT: br i1 true, label %[[LOOP_2_LATCH:.*]], label %[[LOOP_4_PREHEADER:.*]]24; CHECK: [[LOOP_4_PREHEADER]]:25; CHECK-NEXT: [[IV_3_LCSSA_LCSSA1:%.*]] = phi i32 [ [[IV_3_LCSSA]], %[[PH]] ]26; CHECK-NEXT: [[IV_3_LCSSA_LCSSA:%.*]] = phi i32 [ [[IV_3_LCSSA]], %[[PH]] ]27; CHECK-NEXT: [[TMP0:%.*]] = add i32 [[IV_3_LCSSA_LCSSA1]], 128; CHECK-NEXT: [[TMP1:%.*]] = freeze i32 [[TMP0]]29; CHECK-NEXT: [[TMP2:%.*]] = add i32 [[TMP1]], -130; CHECK-NEXT: [[XTRAITER:%.*]] = and i32 [[TMP1]], 731; CHECK-NEXT: [[TMP3:%.*]] = icmp ult i32 [[TMP2]], 732; CHECK-NEXT: br i1 [[TMP3]], label %[[LOOP_4_EPIL_PREHEADER:.*]], label %[[LOOP_4_PREHEADER_NEW:.*]]33; CHECK: [[LOOP_4_PREHEADER_NEW]]:34; CHECK-NEXT: br label %[[LOOP_4:.*]]35; CHECK: [[LOOP_2_LATCH]]:36; CHECK-NEXT: br label %[[LOOP_2_HEADER]]37; CHECK: [[LOOP_4]]:38; CHECK-NEXT: [[IV_4:%.*]] = phi i32 [ 0, %[[LOOP_4_PREHEADER_NEW]] ], [ [[INC_I_7:%.*]], %[[LOOP_4]] ]39; CHECK-NEXT: [[NITER:%.*]] = phi i32 [ 0, %[[LOOP_4_PREHEADER_NEW]] ], [ [[NITER_NEXT_7:%.*]], %[[LOOP_4]] ]40; CHECK-NEXT: call void @foo()41; CHECK-NEXT: call void @foo()42; CHECK-NEXT: call void @foo()43; CHECK-NEXT: call void @foo()44; CHECK-NEXT: call void @foo()45; CHECK-NEXT: call void @foo()46; CHECK-NEXT: call void @foo()47; CHECK-NEXT: call void @foo()48; CHECK-NEXT: [[INC_I_7]] = add nuw nsw i32 [[IV_4]], 849; CHECK-NEXT: [[NITER_NEXT_7]] = add nuw nsw i32 [[NITER]], 850; CHECK-NEXT: br i1 true, label %[[LOOP_1_LATCH_UNR_LCSSA:.*]], label %[[LOOP_4]]51; CHECK: [[LOOP_1_LATCH_UNR_LCSSA]]:52; CHECK-NEXT: [[IV_4_UNR:%.*]] = phi i32 [ [[INC_I_7]], %[[LOOP_4]] ]53; CHECK-NEXT: [[LCMP_MOD:%.*]] = icmp ne i32 [[XTRAITER]], 054; CHECK-NEXT: br i1 [[LCMP_MOD]], label %[[LOOP_4_EPIL_PREHEADER]], label %[[LOOP_1_LATCH:.*]]55; CHECK: [[LOOP_4_EPIL_PREHEADER]]:56; CHECK-NEXT: [[IV_4_EPIL_INIT:%.*]] = phi i32 [ 0, %[[LOOP_4_PREHEADER]] ], [ [[IV_4_UNR]], %[[LOOP_1_LATCH_UNR_LCSSA]] ]57; CHECK-NEXT: [[LCMP_MOD2:%.*]] = icmp ne i32 [[XTRAITER]], 058; CHECK-NEXT: call void @llvm.assume(i1 [[LCMP_MOD2]])59; CHECK-NEXT: br label %[[LOOP_4_EPIL:.*]]60; CHECK: [[LOOP_4_EPIL]]:61; CHECK-NEXT: [[IV_4_EPIL:%.*]] = phi i32 [ [[INC_I_EPIL:%.*]], %[[LOOP_4_EPIL]] ], [ [[IV_4_EPIL_INIT]], %[[LOOP_4_EPIL_PREHEADER]] ]62; CHECK-NEXT: [[EPIL_ITER:%.*]] = phi i32 [ 0, %[[LOOP_4_EPIL_PREHEADER]] ], [ [[EPIL_ITER_NEXT:%.*]], %[[LOOP_4_EPIL]] ]63; CHECK-NEXT: call void @foo()64; CHECK-NEXT: [[INC_I_EPIL]] = add i32 [[IV_4_EPIL]], 165; CHECK-NEXT: [[EC_EPIL:%.*]] = icmp eq i32 [[IV_4_EPIL]], [[IV_3_LCSSA_LCSSA]]66; CHECK-NEXT: [[EPIL_ITER_NEXT]] = add i32 [[EPIL_ITER]], 167; CHECK-NEXT: [[EPIL_ITER_CMP:%.*]] = icmp ne i32 [[EPIL_ITER_NEXT]], [[XTRAITER]]68; CHECK-NEXT: br i1 [[EPIL_ITER_CMP]], label %[[LOOP_4_EPIL]], label %[[LOOP_1_LATCH_EPILOG_LCSSA:.*]], !llvm.loop [[LOOP0:![0-9]+]]69; CHECK: [[LOOP_1_LATCH_EPILOG_LCSSA]]:70; CHECK-NEXT: br label %[[LOOP_1_LATCH]]71; CHECK: [[LOOP_1_LATCH]]:72; CHECK-NEXT: br label %[[LOOP_1_HEADER]]73;74entry:75 br label %loop.1.header76 77loop.1.header:78 br label %loop.2.header79 80loop.2.header:81 br label %loop.382 83loop.3:84 %iv.3 = phi i32 [ %iv.3.next, %loop.3 ], [ 0, %loop.2.header ]85 call void @foo()86 %iv.3.next = add i32 %iv.3, 187 br i1 false, label %ph, label %loop.388 89ph:90 br i1 true, label %loop.2.latch, label %loop.491 92loop.2.latch:93 br label %loop.2.header94 95loop.4:96 %iv.4 = phi i32 [ 0, %ph ], [ %inc.i, %loop.4 ]97 call void @foo()98 %inc.i = add i32 %iv.4, 199 %ec = icmp eq i32 %iv.4, %iv.3100 br i1 %ec, label %loop.1.latch, label %loop.4101 102loop.1.latch:103 br label %loop.1.header104}105;.106; CHECK: [[LOOP0]] = distinct !{[[LOOP0]], [[META1:![0-9]+]]}107; CHECK: [[META1]] = !{!"llvm.loop.unroll.disable"}108;.109