1; RUN: opt < %s -passes=loop-rotate,loop-reduce -verify-memoryssa -verify-dom-info -verify-loop-info -disable-output 2 3define fastcc void @foo(ptr %A, i64 %i) nounwind { 4BB: 5 br label %BB1 6 7BB1: ; preds = %BB19, %BB 8 %tttmp1 = getelementptr i32, ptr %A, i64 %i 9 %tttmp2 = load i32, ptr %tttmp1 10 %tttmp3 = add i32 %tttmp2, 1 11 store i32 %tttmp3, ptr %tttmp1 12 br label %BB4 13 14BB2: ; preds = %BB4 15 %tmp = bitcast i32 undef to i32 ; <i32> [#uses=1] 16 %tttmp7 = getelementptr i32, ptr %A, i64 %i 17 %tttmp8 = load i32, ptr %tttmp7 18 %tttmp9 = add i32 %tttmp8, 3 19 store i32 %tttmp9, ptr %tttmp7 20 br label %BB4 21 22BB4: ; preds = %BB2, %BB1 23 %tmp5 = phi i32 [ undef, %BB1 ], [ %tmp, %BB2 ] ; <i32> [#uses=1] 24 %tttmp4 = getelementptr i32, ptr %A, i64 %i 25 %tttmp5 = load i32, ptr %tttmp4 26 %tttmp6 = add i32 %tttmp5, 3 27 store i32 %tttmp6, ptr %tttmp4 28 br i1 false, label %BB8, label %BB2 29 30BB8: ; preds = %BB6 31 %tmp7 = bitcast i32 %tmp5 to i32 ; <i32> [#uses=2] 32 %tttmp10 = getelementptr i32, ptr %A, i64 %i 33 %tttmp11 = load i32, ptr %tttmp10 34 %tttmp12 = add i32 %tttmp11, 3 35 store i32 %tttmp12, ptr %tttmp10 36 br i1 false, label %BB9, label %BB13 37 38BB9: ; preds = %BB12, %BB8 39 %tmp10 = phi i32 [ %tmp11, %BB12 ], [ %tmp7, %BB8 ] ; <i32> [#uses=2] 40 %tmp11 = add i32 %tmp10, 1 ; <i32> [#uses=1] 41 %tttmp13 = getelementptr i32, ptr %A, i64 %i 42 %tttmp14 = load i32, ptr %tttmp13 43 %tttmp15 = add i32 %tttmp14, 3 44 store i32 %tttmp15, ptr %tttmp13 45 br label %BB12 46 47BB12: ; preds = %BB9 48 br i1 false, label %BB9, label %BB17 49 50BB13: ; preds = %BB15, %BB8 51 %tmp14 = phi i32 [ %tmp16, %BB15 ], [ %tmp7, %BB8 ] ; <i32> [#uses=1] 52 %tttmp16 = getelementptr i32, ptr %A, i64 %i 53 %tttmp17 = load i32, ptr %tttmp16 54 %tttmp18 = add i32 %tttmp17, 3 55 store i32 %tttmp18, ptr %tttmp16 56 br label %BB15 57 58BB15: ; preds = %BB13 59 %tmp16 = add i32 %tmp14, -1 ; <i32> [#uses=1] 60 %tttmp19 = getelementptr i32, ptr %A, i64 %i 61 %tttmp20 = load i32, ptr %tttmp19 62 %tttmp21 = add i32 %tttmp20, 3 63 store i32 %tttmp21, ptr %tttmp19 64 br i1 false, label %BB13, label %BB18 65 66BB17: ; preds = %BB12 67 br label %BB19 68 69BB18: ; preds = %BB15 70 %tttmp22 = getelementptr i32, ptr %A, i64 %i 71 %tttmp23 = load i32, ptr %tttmp22 72 %tttmp24 = add i32 %tttmp23, 3 73 store i32 %tttmp24, ptr %tttmp22 74 br label %BB19 75 76BB19: ; preds = %BB18, %BB17 77 %tmp20 = phi i32 [ %tmp10, %BB17 ], [ undef, %BB18 ] ; <i32> [#uses=0] 78 br label %BB1 79} 80