[InstCombine] Propagate non-null facts to call parameters

[oota-llvm.git] / test / Transforms / ScalarRepl / 2006-11-07-InvalidArrayPromote.ll

diff --git a/test/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll b/test/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll
index ae795858a806b082464e0e3af0b9fcf0bbb67541..2701fdaea516660fd7f2770b84796fc490616a39 100644 (file)
--- a/test/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll
+++ b/test/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll
@@ -1,19 +1,20 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis &&
-; RUN: llvm-upgrade < %s | llvm-as | opt -scalarrepl | llvm-dis | grep -F 'alloca [2 x <4 x int>]'
+; RUN: opt < %s -scalarrepl -S | not grep alloca
+target datalayout = "E-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64"
 
-int %func(<4 x float> %v0, <4 x float> %v1) {
-       %vsiidx = alloca [2 x <4 x int>], align 16              ; <[2 x <4 x int>]*> [#uses=3]
-       %tmp = call <4 x int> %llvm.x86.sse2.cvttps2dq( <4 x float> %v0 )               ; <<4 x int>> [#uses=2]
-       %tmp = cast <4 x int> %tmp to <2 x long>                ; <<2 x long>> [#uses=0]
-       %tmp = getelementptr [2 x <4 x int>]* %vsiidx, int 0, int 0             ; <<4 x int>*> [#uses=1]
-       store <4 x int> %tmp, <4 x int>* %tmp
-       %tmp10 = call <4 x int> %llvm.x86.sse2.cvttps2dq( <4 x float> %v1 )             ; <<4 x int>> [#uses=2]
-       %tmp10 = cast <4 x int> %tmp10 to <2 x long>            ; <<2 x long>> [#uses=0]
-       %tmp14 = getelementptr [2 x <4 x int>]* %vsiidx, int 0, int 1           ; <<4 x int>*> [#uses=1]
-       store <4 x int> %tmp10, <4 x int>* %tmp14
-       %tmp15 = getelementptr [2 x <4 x int>]* %vsiidx, int 0, int 0, int 4            ; <int*> [#uses=1]
-       %tmp = load int* %tmp15         ; <int> [#uses=1]
-       ret int %tmp
+define i32 @func(<4 x float> %v0, <4 x float> %v1) nounwind {
+       %vsiidx = alloca [2 x <4 x i32>], align 16              ; <[2 x <4 x i32>]*> [#uses=3]
+       %tmp = call <4 x i32> @llvm.x86.sse2.cvttps2dq( <4 x float> %v0 )               ; <<4 x i32>> [#uses=2]
+       %tmp.upgrd.1 = bitcast <4 x i32> %tmp to <2 x i64>              ; <<2 x i64>> [#uses=0]
+       %tmp.upgrd.2 = getelementptr [2 x <4 x i32>], [2 x <4 x i32>]* %vsiidx, i32 0, i32 0            ; <<4 x i32>*> [#uses=1]
+       store <4 x i32> %tmp, <4 x i32>* %tmp.upgrd.2
+       %tmp10 = call <4 x i32> @llvm.x86.sse2.cvttps2dq( <4 x float> %v1 )             ; <<4 x i32>> [#uses=2]
+       %tmp10.upgrd.3 = bitcast <4 x i32> %tmp10 to <2 x i64>          ; <<2 x i64>> [#uses=0]
+       %tmp14 = getelementptr [2 x <4 x i32>], [2 x <4 x i32>]* %vsiidx, i32 0, i32 1          ; <<4 x i32>*> [#uses=1]
+       store <4 x i32> %tmp10, <4 x i32>* %tmp14
+       %tmp15 = getelementptr [2 x <4 x i32>], [2 x <4 x i32>]* %vsiidx, i32 0, i32 0, i32 4           ; <i32*> [#uses=1]
+       %tmp.upgrd.4 = load i32, i32* %tmp15            ; <i32> [#uses=1]
+       ret i32 %tmp.upgrd.4
 }
 
-declare <4 x int> %llvm.x86.sse2.cvttps2dq(<4 x float>)
+declare <4 x i32> @llvm.x86.sse2.cvttps2dq(<4 x float>)
+