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