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