[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / LoopRotate / preserve-scev.ll
blob2faf8ec487aaab1718cff4061a929ec0291f46a6
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
4 define fastcc void @foo(i32* %A, i64 %i) nounwind {
5 BB:
6   br label %BB1
8 BB1:                                              ; 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
15 BB2:                                              ; 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
23 BB4:                                              ; 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
31 BB8:                                              ; 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
39 BB9:                                              ; 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
48 BB12:                                             ; preds = %BB9
49   br i1 false, label %BB9, label %BB17
51 BB13:                                             ; 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
59 BB15:                                             ; 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
67 BB17:                                             ; preds = %BB12
68   br label %BB19
70 BB18:                                             ; 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
77 BB19:                                             ; preds = %BB18, %BB17
78   %tmp20 = phi i32 [ %tmp10, %BB17 ], [ undef, %BB18 ] ; <i32> [#uses=0]
79   br label %BB1