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;
}

llvm-svn: 31523

1 files changed, 19 insertions, 0 deletions

diff --git a/llvm/test/Regression/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll b/llvm/test/Regression/Transforms/ScalarRepl/2006-11-07-InvalidArrayPromote.ll
new file mode 100644
index 00000000000..6bcfebafcec
--- /dev/null
+++ b/llvm/test/Regression/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>)