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