113 lines · plain
1; RUN: opt -loop-reduce < %s2; we used to crash on this one3 4declare ptr @_Znwm()5declare i32 @__gxx_personality_v0(...)6declare void @g()7define void @f(i1 %arg) personality ptr @__gxx_personality_v0 {8bb0:9 br label %bb110bb1:11 %v0 = phi i64 [ 0, %bb0 ], [ %v1, %bb1 ]12 %v1 = add nsw i64 %v0, 113 br i1 %arg, label %bb2, label %bb114bb2:15 %v2 = icmp eq i64 %v0, 016 br i1 %v2, label %bb6, label %bb317bb3:18 %v3 = invoke noalias ptr @_Znwm()19 to label %bb5 unwind label %bb420bb4:21 %v4 = landingpad { ptr, i32 }22 cleanup23 br label %bb924bb5:25 %add.ptr.i = getelementptr inbounds ptr, ptr %v3, i64 %v026 br label %bb627bb6:28 %v6 = phi ptr [ null, %bb2 ], [ %add.ptr.i, %bb5 ]29 invoke void @g()30 to label %bb7 unwind label %bb831bb7:32 unreachable33bb8:34 %v7 = landingpad { ptr, i32 }35 cleanup36 br label %bb937bb9:38 resume { ptr, i32 } zeroinitializer39}40 41 42define void @h() personality ptr @__gxx_personality_v0 {43bb1:44 invoke void @g() optsize45 to label %bb2 unwind label %bb546bb2:47 %arrayctor.cur = phi ptr [ undef, %bb1 ], [ %arrayctor.next, %bb3 ]48 invoke void @g() optsize49 to label %bb3 unwind label %bb650bb3:51 %arrayctor.next = getelementptr inbounds i8, ptr %arrayctor.cur, i64 152 br label %bb253bb4:54 ret void55bb5:56 %tmp = landingpad { ptr, i32 }57 cleanup58 invoke void @g() optsize59 to label %bb4 unwind label %bb760bb6:61 %tmp1 = landingpad { ptr, i32 }62 cleanup63 %arraydestroy.isempty = icmp eq ptr undef, %arrayctor.cur64 ret void65bb7:66 %lpad.nonloopexit = landingpad { ptr, i32 }67 catch ptr null68 ret void69}70 71; PR1742572define void @i(i1 %arg) {73entry:74 br label %while.cond75 76while.cond: ; preds = %while.cond, %entry77 %c.0 = phi ptr [ undef, %entry ], [ %incdec.ptr, %while.cond ]78 %incdec.ptr = getelementptr inbounds i16, ptr %c.0, i64 179 br i1 %arg, label %while.cond1, label %while.cond80 81while.cond1: ; preds = %while.cond1, %while.cond82 %c.1 = phi ptr [ %incdec.ptr5, %while.cond1 ], [ %c.0, %while.cond ]83 %incdec.ptr5 = getelementptr inbounds i16, ptr %c.1, i64 184 br i1 %arg, label %while.cond7, label %while.cond185 86while.cond7: ; preds = %while.cond7, %while.cond187 %0 = phi ptr [ %incdec.ptr10, %while.cond7 ], [ %c.1, %while.cond1 ]88 %incdec.ptr10 = getelementptr inbounds i16, ptr %0, i64 189 br i1 %arg, label %while.cond12.preheader, label %while.cond790 91while.cond12.preheader: ; preds = %while.cond792 br i1 %arg, label %while.end16, label %while.body13.lr.ph93 94while.body13: ; preds = %if.else, %while.body13.lr.ph95 %1 = phi ptr [ %2, %while.body13.lr.ph ], [ %incdec.ptr15, %if.else ]96 br i1 %arg, label %while.cond12.outer.loopexit, label %if.else97 98while.cond12.outer.loopexit: ; preds = %while.body1399 br i1 %arg, label %while.end16, label %while.body13.lr.ph100 101while.body13.lr.ph: ; preds = %while.cond12.outer.loopexit, %while.cond12.preheader102 %2 = phi ptr [ %1, %while.cond12.outer.loopexit ], [ undef, %while.cond12.preheader ]103 br label %while.body13104 105if.else: ; preds = %while.body13106 %incdec.ptr15 = getelementptr inbounds i16, ptr %1, i64 1107 %cmp = icmp eq ptr %incdec.ptr15, %0108 br i1 %cmp, label %while.end16, label %while.body13109 110while.end16: ; preds = %if.else, %while.cond12.outer.loopexit, %while.cond12.preheader111 ret void112}113