scalarrepl should not split the two elements of the vsiidx array:

int func(vFloat v0, vFloat v1) {
	int ii;
	vSInt32 vsiidx[2];
	vsiidx[0] = _mm_cvttps_epi32(v0);
	vsiidx[1] = _mm_cvttps_epi32(v1);
	ii = ((int *) vsiidx)[4];
	return ii;
}

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@31523 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll b/test/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll
new file mode 100644 (file)
index 0000000..6bcfeba
--- /dev/null
+++ b/test/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll
@@ -0,0 +1,19 @@
+; RUN: llvm-as < %s | opt -scalarrepl | llvm-dis &&
+; RUN: llvm-as < %s | opt -scalarrepl | llvm-dis | grep -F 'alloca [2 x <4 x int>]'
+
+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
+}
+
+declare <4 x int> %llvm.x86.sse2.cvttps2dq(<4 x float>)