filecheckize
[oota-llvm.git] / test / Transforms / ScalarRepl / badarray.ll
index 909966f19038c17a5aea83950f07dcd431210f8d..decdd4bc29557e73ee00dadea516dc6c3313eaa3 100644 (file)
@@ -1,9 +1,11 @@
-; RUN: opt < %s -scalarrepl -instcombine -S | not grep alloca
-; PR3466
+; RUN: opt < %s -scalarrepl -S | FileCheck %s
 
-define i32 @test() {
-       %X = alloca [4 x i32]           ; <[4 x i32]*> [#uses=1]
-        ; Off end of array!
+; PR3466
+; Off end of array, don't transform.
+define i32 @test1() {
+; CHECK: @test1
+; CHECK: %X = alloca
+       %X = alloca [4 x i32]
        %Y = getelementptr [4 x i32]* %X, i64 0, i64 6          ; <i32*> [#uses=2]
        store i32 0, i32* %Y
        %Z = load i32* %Y               ; <i32> [#uses=1]
@@ -11,8 +13,11 @@ define i32 @test() {
 }
 
 
+; Off end of array, don't transform.
 define i32 @test2() nounwind {
 entry:
+; CHECK: @test2
+; CHECK: %yx2.i = alloca
         %yx2.i = alloca float, align 4          ; <float*> [#uses=1]            
         %yx26.i = bitcast float* %yx2.i to i64*         ; <i64*> [#uses=1]      
         %0 = load i64* %yx26.i, align 8         ; <i64> [#uses=0]