1 ; RUN: opt < %s -simplifycfg -disable-output 2 ; PR3016 3 ; Dead use caused invariant violation. 4 5 define i32 @func_105(i1 %tmp5, i1 %tmp7) nounwind { 6 BB: 7 br i1 true, label %BB2, label %BB1 8 9 BB1: ; preds = %BB 10 br label %BB2 11 12 BB2: ; preds = %BB1, %BB 13 %tmp3 = phi i1 [ true, %BB ], [ false, %BB1 ] ; <i1> [#uses=1] 14 br label %BB9 15 16 BB9: ; preds = %BB11, %BB2 17 %tmp10 = phi i32 [ 0, %BB2 ], [ %tmp12, %BB11 ] ; <i32> [#uses=1] 18 br i1 %tmp5, label %BB11, label %BB13 19 20 BB11: ; preds = %BB13, %BB9 21 %tmp12 = phi i32 [ 0, %BB13 ], [ %tmp10, %BB9 ] ; <i32> [#uses=2] 22 br i1 %tmp3, label %BB9, label %BB20 23 24 BB13: ; preds = %BB13, %BB9 25 %tmp14 = phi i32 [ 0, %BB9 ], [ %tmp14, %BB13 ] ; <i32> [#uses=1] 26 br i1 %tmp7, label %BB13, label %BB11 27 28 BB20: ; preds = %BB11 29 ret i32 %tmp12 30 } 31
