1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2; PR23524 3; The test is to check redundency produced by loop unroll pass 4; should be cleaned up by later pass. 5; RUN: opt < %s -O2 -S | FileCheck %s 6 7; After loop unroll: 8; %dec18 = add nsw i32 %dec18.in, -1 9; ... 10; %dec18.1 = add nsw i32 %dec18, -1 11; should be merged to: 12; %dec18.1 = add nsw i32 %dec18.in, -2 13; 14 15; ModuleID = '<stdin>' 16target triple = "x86_64-unknown-linux-gnu" 17 18@b = global i32 0, align 4 19@c = global i32 0, align 4 20 21; Function Attrs: nounwind uwtable 22define void @_Z3fn1v(ptr %r, ptr %a) #0 { 23; CHECK-LABEL: define void @_Z3fn1v( 24; CHECK-SAME: ptr writeonly captures(none) [[R:%.*]], ptr readonly captures(none) [[A:%.*]]) local_unnamed_addr #[[ATTR0:[0-9]+]] { 25; CHECK-NEXT: [[ENTRY:.*]]: 26; CHECK-NEXT: [[TMP:%.*]] = load i32, ptr @b, align 4 27; CHECK-NEXT: [[TOBOOL20:%.*]] = icmp eq i32 [[TMP]], 0 28; CHECK-NEXT: br i1 [[TOBOOL20]], label %[[FOR_END6:.*]], label %[[FOR_BODY:.*]] 29; CHECK: [[FOR_COND_LOOPEXIT_LOOPEXIT:.*]]: 30; CHECK-NEXT: [[ADD_PTR_LCSSA:%.*]] = phi ptr [ [[ADD_PTR_LCSSA_UNR:%.*]], %[[FOR_BODY3_PROL_LOOPEXIT:.*]] ], [ [[ADD_PTR_1:%.*]], %[[FOR_INC_1:.*]] ] 31; CHECK-NEXT: [[SCEVGEP:%.*]] = getelementptr i8, ptr [[A_021:%.*]], i64 1 32; CHECK-NEXT: [[SCEVGEP1:%.*]] = getelementptr i8, ptr [[SCEVGEP]], i64 [[TMP1:%.*]] 33; CHECK-NEXT: [[TMP1_PRE:%.*]] = load i32, ptr @b, align 4 34; CHECK-NEXT: br label %[[FOR_COND_LOOPEXIT:.*]] 35; CHECK: [[FOR_COND_LOOPEXIT]]: 36; CHECK-NEXT: [[T1:%.*]] = phi i32 [ [[T12:%.*]], %[[FOR_BODY]] ], [ [[TMP1_PRE]], %[[FOR_COND_LOOPEXIT_LOOPEXIT]] ] 37; CHECK-NEXT: [[R_1_LCSSA:%.*]] = phi ptr [ [[R_022:%.*]], %[[FOR_BODY]] ], [ [[ADD_PTR_LCSSA]], %[[FOR_COND_LOOPEXIT_LOOPEXIT]] ] 38; CHECK-NEXT: [[A_1_LCSSA:%.*]] = phi ptr [ [[A_021]], %[[FOR_BODY]] ], [ [[SCEVGEP1]], %[[FOR_COND_LOOPEXIT_LOOPEXIT]] ] 39; CHECK-NEXT: [[TOBOOL:%.*]] = icmp eq i32 [[T1]], 0 40; CHECK-NEXT: br i1 [[TOBOOL]], label %[[FOR_END6]], label %[[FOR_BODY]] 41; CHECK: [[FOR_BODY]]: 42; CHECK-NEXT: [[T12]] = phi i32 [ [[T1]], %[[FOR_COND_LOOPEXIT]] ], [ [[TMP]], %[[ENTRY]] ] 43; CHECK-NEXT: [[R_022]] = phi ptr [ [[R_1_LCSSA]], %[[FOR_COND_LOOPEXIT]] ], [ [[R]], %[[ENTRY]] ] 44; CHECK-NEXT: [[A_021]] = phi ptr [ [[A_1_LCSSA]], %[[FOR_COND_LOOPEXIT]] ], [ [[A]], %[[ENTRY]] ] 45; CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr @c, align 4 46; CHECK-NEXT: [[TOBOOL215:%.*]] = icmp eq i32 [[TMP2]], 0 47; CHECK-NEXT: br i1 [[TOBOOL215]], label %[[FOR_COND_LOOPEXIT]], label %[[FOR_BODY3_PREHEADER:.*]] 48; CHECK: [[FOR_BODY3_PREHEADER]]: 49; CHECK-NEXT: [[TMP0:%.*]] = add i32 [[TMP2]], -1 50; CHECK-NEXT: [[TMP1]] = zext i32 [[TMP0]] to i64 51; CHECK-NEXT: [[XTRAITER:%.*]] = and i32 [[TMP2]], 1 52; CHECK-NEXT: [[LCMP_MOD_NOT:%.*]] = icmp eq i32 [[XTRAITER]], 0 53; CHECK-NEXT: br i1 [[LCMP_MOD_NOT]], label %[[FOR_BODY3_PROL_LOOPEXIT]], label %[[FOR_BODY3_PROL:.*]] 54; CHECK: [[FOR_BODY3_PROL]]: 55; CHECK-NEXT: [[DEC18_PROL:%.*]] = add nsw i32 [[TMP2]], -1 56; CHECK-NEXT: [[TMP3_PROL:%.*]] = load i8, ptr [[A_021]], align 1 57; CHECK-NEXT: [[CMP_PROL:%.*]] = icmp eq i8 [[TMP3_PROL]], 0 58; CHECK-NEXT: br i1 [[CMP_PROL]], label %[[IF_THEN_PROL:.*]], label %[[FOR_INC_PROL:.*]] 59; CHECK: [[IF_THEN_PROL]]: 60; CHECK-NEXT: [[ARRAYIDX_PROL:%.*]] = getelementptr inbounds nuw i8, ptr [[R_022]], i64 2 61; CHECK-NEXT: store i16 0, ptr [[ARRAYIDX_PROL]], align 2 62; CHECK-NEXT: store i16 0, ptr [[R_022]], align 2 63; CHECK-NEXT: [[ARRAYIDX5_PROL:%.*]] = getelementptr inbounds nuw i8, ptr [[R_022]], i64 4 64; CHECK-NEXT: store i16 0, ptr [[ARRAYIDX5_PROL]], align 2 65; CHECK-NEXT: br label %[[FOR_INC_PROL]] 66; CHECK: [[FOR_INC_PROL]]: 67; CHECK-NEXT: [[INCDEC_PTR_PROL:%.*]] = getelementptr inbounds nuw i8, ptr [[A_021]], i64 1 68; CHECK-NEXT: [[ADD_PTR_PROL:%.*]] = getelementptr inbounds nuw i8, ptr [[R_022]], i64 6 69; CHECK-NEXT: br label %[[FOR_BODY3_PROL_LOOPEXIT]] 70; CHECK: [[FOR_BODY3_PROL_LOOPEXIT]]: 71; CHECK-NEXT: [[ADD_PTR_LCSSA_UNR]] = phi ptr [ poison, %[[FOR_BODY3_PREHEADER]] ], [ [[ADD_PTR_PROL]], %[[FOR_INC_PROL]] ] 72; CHECK-NEXT: [[DEC18_IN_UNR:%.*]] = phi i32 [ [[TMP2]], %[[FOR_BODY3_PREHEADER]] ], [ [[DEC18_PROL]], %[[FOR_INC_PROL]] ] 73; CHECK-NEXT: [[R_117_UNR:%.*]] = phi ptr [ [[R_022]], %[[FOR_BODY3_PREHEADER]] ], [ [[ADD_PTR_PROL]], %[[FOR_INC_PROL]] ] 74; CHECK-NEXT: [[A_116_UNR:%.*]] = phi ptr [ [[A_021]], %[[FOR_BODY3_PREHEADER]] ], [ [[INCDEC_PTR_PROL]], %[[FOR_INC_PROL]] ] 75; CHECK-NEXT: [[TMP4:%.*]] = icmp eq i32 [[TMP0]], 0 76; CHECK-NEXT: br i1 [[TMP4]], label %[[FOR_COND_LOOPEXIT_LOOPEXIT]], label %[[FOR_BODY3:.*]] 77; CHECK: [[FOR_BODY3]]: 78; CHECK-NEXT: [[DEC18_IN:%.*]] = phi i32 [ [[DEC18_1:%.*]], %[[FOR_INC_1]] ], [ [[DEC18_IN_UNR]], %[[FOR_BODY3_PROL_LOOPEXIT]] ] 79; CHECK-NEXT: [[R_117:%.*]] = phi ptr [ [[ADD_PTR_1]], %[[FOR_INC_1]] ], [ [[R_117_UNR]], %[[FOR_BODY3_PROL_LOOPEXIT]] ] 80; CHECK-NEXT: [[A_116:%.*]] = phi ptr [ [[INCDEC_PTR_1:%.*]], %[[FOR_INC_1]] ], [ [[A_116_UNR]], %[[FOR_BODY3_PROL_LOOPEXIT]] ] 81; CHECK-NEXT: [[TMP3:%.*]] = load i8, ptr [[A_116]], align 1 82; CHECK-NEXT: [[CMP:%.*]] = icmp eq i8 [[TMP3]], 0 83; CHECK-NEXT: br i1 [[CMP]], label %[[IF_THEN:.*]], label %[[FOR_INC:.*]] 84; CHECK: [[IF_THEN]]: 85; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds nuw i8, ptr [[R_117]], i64 2 86; CHECK-NEXT: store i16 0, ptr [[ARRAYIDX]], align 2 87; CHECK-NEXT: store i16 0, ptr [[R_117]], align 2 88; CHECK-NEXT: [[ARRAYIDX5:%.*]] = getelementptr inbounds nuw i8, ptr [[R_117]], i64 4 89; CHECK-NEXT: store i16 0, ptr [[ARRAYIDX5]], align 2 90; CHECK-NEXT: br label %[[FOR_INC]] 91; CHECK: [[FOR_INC]]: 92; CHECK-NEXT: [[INCDEC_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[A_116]], i64 1 93; CHECK-NEXT: [[DEC18_1]] = add nsw i32 [[DEC18_IN]], -2 94; CHECK-NEXT: [[TMP3_1:%.*]] = load i8, ptr [[INCDEC_PTR]], align 1 95; CHECK-NEXT: [[CMP_1:%.*]] = icmp eq i8 [[TMP3_1]], 0 96; CHECK-NEXT: br i1 [[CMP_1]], label %[[IF_THEN_1:.*]], label %[[FOR_INC_1]] 97; CHECK: [[IF_THEN_1]]: 98; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds nuw i8, ptr [[R_117]], i64 6 99; CHECK-NEXT: [[ARRAYIDX_1:%.*]] = getelementptr inbounds nuw i8, ptr [[R_117]], i64 8 100; CHECK-NEXT: store i16 0, ptr [[ARRAYIDX_1]], align 2 101; CHECK-NEXT: store i16 0, ptr [[ADD_PTR]], align 2 102; CHECK-NEXT: [[ARRAYIDX5_1:%.*]] = getelementptr inbounds nuw i8, ptr [[R_117]], i64 10 103; CHECK-NEXT: store i16 0, ptr [[ARRAYIDX5_1]], align 2 104; CHECK-NEXT: br label %[[FOR_INC_1]] 105; CHECK: [[FOR_INC_1]]: 106; CHECK-NEXT: [[INCDEC_PTR_1]] = getelementptr inbounds nuw i8, ptr [[A_116]], i64 2 107; CHECK-NEXT: [[ADD_PTR_1]] = getelementptr inbounds nuw i8, ptr [[R_117]], i64 12 108; CHECK-NEXT: [[TOBOOL2_1:%.*]] = icmp eq i32 [[DEC18_1]], 0 109; CHECK-NEXT: br i1 [[TOBOOL2_1]], label %[[FOR_COND_LOOPEXIT_LOOPEXIT]], label %[[FOR_BODY3]], !llvm.loop [[LOOP0:![0-9]+]] 110; CHECK: [[FOR_END6]]: 111; CHECK-NEXT: ret void 112; 113entry: 114 %t = load i32, ptr @b, align 4 115 %tobool20 = icmp eq i32 %t, 0 116 br i1 %tobool20, label %for.end6, label %for.body.lr.ph 117 118for.body.lr.ph: ; preds = %entry 119 br label %for.body 120 121for.cond1.for.cond.loopexit_crit_edge: ; preds = %for.inc 122 %add.ptr.lcssa = phi ptr [ %add.ptr, %for.inc ] 123 %incdec.ptr.lcssa = phi ptr [ %incdec.ptr, %for.inc ] 124 br label %for.cond.loopexit 125 126for.cond.loopexit: ; preds = %for.body, %for.cond1.for.cond.loopexit_crit_edge 127 %r.1.lcssa = phi ptr [ %add.ptr.lcssa, %for.cond1.for.cond.loopexit_crit_edge ], [ %r.022, %for.body ] 128 %a.1.lcssa = phi ptr [ %incdec.ptr.lcssa, %for.cond1.for.cond.loopexit_crit_edge ], [ %a.021, %for.body ] 129 %t1 = load i32, ptr @b, align 4 130 %tobool = icmp eq i32 %t1, 0 131 br i1 %tobool, label %for.cond.for.end6_crit_edge, label %for.body 132 133for.body: ; preds = %for.cond.loopexit, %for.body.lr.ph 134 %r.022 = phi ptr [ %r, %for.body.lr.ph ], [ %r.1.lcssa, %for.cond.loopexit ] 135 %a.021 = phi ptr [ %a, %for.body.lr.ph ], [ %a.1.lcssa, %for.cond.loopexit ] 136 %t2 = load i32, ptr @c, align 4 137 %tobool215 = icmp eq i32 %t2, 0 138 br i1 %tobool215, label %for.cond.loopexit, label %for.body3.lr.ph 139 140for.body3.lr.ph: ; preds = %for.body 141 br label %for.body3 142 143for.body3: ; preds = %for.inc, %for.body3.lr.ph 144 %dec18.in = phi i32 [ %t2, %for.body3.lr.ph ], [ %dec18, %for.inc ] 145 %r.117 = phi ptr [ %r.022, %for.body3.lr.ph ], [ %add.ptr, %for.inc ] 146 %a.116 = phi ptr [ %a.021, %for.body3.lr.ph ], [ %incdec.ptr, %for.inc ] 147 %dec18 = add nsw i32 %dec18.in, -1 148 %t3 = load i8, ptr %a.116, align 1 149 %cmp = icmp eq i8 %t3, 0 150 br i1 %cmp, label %if.then, label %for.inc 151 152if.then: ; preds = %for.body3 153 %arrayidx = getelementptr inbounds i16, ptr %r.117, i64 1 154 store i16 0, ptr %arrayidx, align 2 155 store i16 0, ptr %r.117, align 2 156 %arrayidx5 = getelementptr inbounds i16, ptr %r.117, i64 2 157 store i16 0, ptr %arrayidx5, align 2 158 br label %for.inc 159 160for.inc: ; preds = %if.then, %for.body3 161 %incdec.ptr = getelementptr inbounds i8, ptr %a.116, i64 1 162 %add.ptr = getelementptr inbounds i16, ptr %r.117, i64 3 163 %tobool2 = icmp eq i32 %dec18, 0 164 br i1 %tobool2, label %for.cond1.for.cond.loopexit_crit_edge, label %for.body3, !llvm.loop !0 165 166for.cond.for.end6_crit_edge: ; preds = %for.cond.loopexit 167 br label %for.end6 168 169for.end6: ; preds = %for.cond.for.end6_crit_edge, %entry 170 ret void 171} 172 173!0 = !{!0, !1} 174!1 = !{!"llvm.loop.unroll.count", i32 2} 175;. 176; CHECK: [[LOOP0]] = distinct !{[[LOOP0]], [[META1:![0-9]+]]} 177; CHECK: [[META1]] = !{!"llvm.loop.unroll.disable"} 178;. 179