1; RUN: opt -loop-reduce < %s 2; we used to crash on this one 3 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 %bb1 10bb1: 11 %v0 = phi i64 [ 0, %bb0 ], [ %v1, %bb1 ] 12 %v1 = add nsw i64 %v0, 1 13 br i1 %arg, label %bb2, label %bb1 14bb2: 15 %v2 = icmp eq i64 %v0, 0 16 br i1 %v2, label %bb6, label %bb3 17bb3: 18 %v3 = invoke noalias ptr @_Znwm() 19 to label %bb5 unwind label %bb4 20bb4: 21 %v4 = landingpad { ptr, i32 } 22 cleanup 23 br label %bb9 24bb5: 25 %add.ptr.i = getelementptr inbounds ptr, ptr %v3, i64 %v0 26 br label %bb6 27bb6: 28 %v6 = phi ptr [ null, %bb2 ], [ %add.ptr.i, %bb5 ] 29 invoke void @g() 30 to label %bb7 unwind label %bb8 31bb7: 32 unreachable 33bb8: 34 %v7 = landingpad { ptr, i32 } 35 cleanup 36 br label %bb9 37bb9: 38 resume { ptr, i32 } zeroinitializer 39} 40 41 42define void @h() personality ptr @__gxx_personality_v0 { 43bb1: 44 invoke void @g() optsize 45 to label %bb2 unwind label %bb5 46bb2: 47 %arrayctor.cur = phi ptr [ undef, %bb1 ], [ %arrayctor.next, %bb3 ] 48 invoke void @g() optsize 49 to label %bb3 unwind label %bb6 50bb3: 51 %arrayctor.next = getelementptr inbounds i8, ptr %arrayctor.cur, i64 1 52 br label %bb2 53bb4: 54 ret void 55bb5: 56 %tmp = landingpad { ptr, i32 } 57 cleanup 58 invoke void @g() optsize 59 to label %bb4 unwind label %bb7 60bb6: 61 %tmp1 = landingpad { ptr, i32 } 62 cleanup 63 %arraydestroy.isempty = icmp eq ptr undef, %arrayctor.cur 64 ret void 65bb7: 66 %lpad.nonloopexit = landingpad { ptr, i32 } 67 catch ptr null 68 ret void 69} 70 71; PR17425 72define void @i(i1 %arg) { 73entry: 74 br label %while.cond 75 76while.cond: ; preds = %while.cond, %entry 77 %c.0 = phi ptr [ undef, %entry ], [ %incdec.ptr, %while.cond ] 78 %incdec.ptr = getelementptr inbounds i16, ptr %c.0, i64 1 79 br i1 %arg, label %while.cond1, label %while.cond 80 81while.cond1: ; preds = %while.cond1, %while.cond 82 %c.1 = phi ptr [ %incdec.ptr5, %while.cond1 ], [ %c.0, %while.cond ] 83 %incdec.ptr5 = getelementptr inbounds i16, ptr %c.1, i64 1 84 br i1 %arg, label %while.cond7, label %while.cond1 85 86while.cond7: ; preds = %while.cond7, %while.cond1 87 %0 = phi ptr [ %incdec.ptr10, %while.cond7 ], [ %c.1, %while.cond1 ] 88 %incdec.ptr10 = getelementptr inbounds i16, ptr %0, i64 1 89 br i1 %arg, label %while.cond12.preheader, label %while.cond7 90 91while.cond12.preheader: ; preds = %while.cond7 92 br i1 %arg, label %while.end16, label %while.body13.lr.ph 93 94while.body13: ; preds = %if.else, %while.body13.lr.ph 95 %1 = phi ptr [ %2, %while.body13.lr.ph ], [ %incdec.ptr15, %if.else ] 96 br i1 %arg, label %while.cond12.outer.loopexit, label %if.else 97 98while.cond12.outer.loopexit: ; preds = %while.body13 99 br i1 %arg, label %while.end16, label %while.body13.lr.ph 100 101while.body13.lr.ph: ; preds = %while.cond12.outer.loopexit, %while.cond12.preheader 102 %2 = phi ptr [ %1, %while.cond12.outer.loopexit ], [ undef, %while.cond12.preheader ] 103 br label %while.body13 104 105if.else: ; preds = %while.body13 106 %incdec.ptr15 = getelementptr inbounds i16, ptr %1, i64 1 107 %cmp = icmp eq ptr %incdec.ptr15, %0 108 br i1 %cmp, label %while.end16, label %while.body13 109 110while.end16: ; preds = %if.else, %while.cond12.outer.loopexit, %while.cond12.preheader 111 ret void 112} 113