remove the StructRetPromotion pass. It is unused, not maintained and

[oota-llvm.git] / test / Transforms / GVN / rle-phi-translate.ll

diff --git a/test/Transforms/GVN/rle-phi-translate.ll b/test/Transforms/GVN/rle-phi-translate.ll
index ac9e7aaedc85eab4a0e5707e6728f1babd2dbb0e..6731f43c0d2b05b92a77cdbfcea46d3224b7b292 100644 (file)
--- a/test/Transforms/GVN/rle-phi-translate.ll
+++ b/test/Transforms/GVN/rle-phi-translate.ll
@@ -38,51 +38,109 @@ bb2:               ; preds = %bb1, %bb
 define i8 @test2(i1 %cond, i32* %b, i32* %c) nounwind {
 ; CHECK: @test2
 entry:
-       br i1 %cond, label %bb, label %bb1
+  br i1 %cond, label %bb, label %bb1
 
 bb:
   %b1 = bitcast i32* %b to i8*
   store i8 4, i8* %b1
-       br label %bb2
+  br label %bb2
 
 bb1:
   %c1 = bitcast i32* %c to i8*
   store i8 92, i8* %c1
-       br label %bb2
+  br label %bb2
 
 bb2:
-       %d = phi i32* [ %c, %bb1 ], [ %b, %bb ]
+  %d = phi i32* [ %c, %bb1 ], [ %b, %bb ]
   %d1 = bitcast i32* %d to i8*
-       %dv = load i8* %d1
+  %dv = load i8* %d1
 ; CHECK: %dv = phi i8 [ 92, %bb1 ], [ 4, %bb ]
 ; CHECK-NOT: load
 ; CHECK: ret i8 %dv
-       ret i8 %dv
+  ret i8 %dv
 }
 
 define i32 @test3(i1 %cond, i32* %b, i32* %c) nounwind {
 ; CHECK: @test3
 entry:
-       br i1 %cond, label %bb, label %bb1
+  br i1 %cond, label %bb, label %bb1
 
 bb:
   %b1 = getelementptr i32* %b, i32 17
   store i32 4, i32* %b1
-       br label %bb2
+  br label %bb2
 
 bb1:
   %c1 = getelementptr i32* %c, i32 7
   store i32 82, i32* %c1
-       br label %bb2
+  br label %bb2
 
 bb2:
-       %d = phi i32* [ %c, %bb1 ], [ %b, %bb ]
-       %i = phi i32 [ 7, %bb1 ], [ 17, %bb ]
+  %d = phi i32* [ %c, %bb1 ], [ %b, %bb ]
+  %i = phi i32 [ 7, %bb1 ], [ 17, %bb ]
   %d1 = getelementptr i32* %d, i32 %i
-       %dv = load i32* %d1
+  %dv = load i32* %d1
 ; CHECK: %dv = phi i32 [ 82, %bb1 ], [ 4, %bb ]
 ; CHECK-NOT: load
 ; CHECK: ret i32 %dv
-       ret i32 %dv
+  ret i32 %dv
 }
 
+; PR5313
+define i32 @test4(i1 %cond, i32* %b, i32* %c) nounwind {
+; CHECK: @test4
+entry:
+  br i1 %cond, label %bb, label %bb1
+
+bb:
+  store i32 4, i32* %b
+  br label %bb2
+
+bb1:
+  %c1 = getelementptr i32* %c, i32 7
+  store i32 82, i32* %c1
+  br label %bb2
+
+bb2:
+  %d = phi i32* [ %c, %bb1 ], [ %b, %bb ]
+  %i = phi i32 [ 7, %bb1 ], [ 0, %bb ]
+  %d1 = getelementptr i32* %d, i32 %i
+  %dv = load i32* %d1
+; CHECK: %dv = phi i32 [ 82, %bb1 ], [ 4, %bb ]
+; CHECK-NOT: load
+; CHECK: ret i32 %dv
+  ret i32 %dv
+}
+
+
+
+; void test5(int N, double* G) {
+;   for (long j = 1; j < 1000; j++)
+;     G[j] = G[j] + G[j-1];
+; }
+;
+; Should compile into one load in the loop.
+define void @test5(i32 %N, double* nocapture %G) nounwind ssp {
+; CHECK: @test5
+bb.nph:
+  br label %for.body
+
+for.body:
+  %indvar = phi i64 [ 0, %bb.nph ], [ %tmp, %for.body ]
+  %arrayidx6 = getelementptr double* %G, i64 %indvar
+  %tmp = add i64 %indvar, 1
+  %arrayidx = getelementptr double* %G, i64 %tmp
+  %tmp3 = load double* %arrayidx
+  %tmp7 = load double* %arrayidx6
+  %add = fadd double %tmp3, %tmp7
+  store double %add, double* %arrayidx
+  %exitcond = icmp eq i64 %tmp, 999
+  br i1 %exitcond, label %for.end, label %for.body
+; CHECK: for.body:
+; CHECK: phi double
+; CHECK: load double
+; CHECK-NOT: load double
+; CHECK: br i1
+for.end:
+  ret void
+}