Test that expand_vector_elt(v2i64) works in 32-bit mode.

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

diff --git a/test/CodeGen/X86/2007-10-31-extractelement-i64.ll b/test/CodeGen/X86/2007-10-31-extractelement-i64.ll
new file mode 100644 (file)
index 0000000..f73a910
--- /dev/null
+++ b/test/CodeGen/X86/2007-10-31-extractelement-i64.ll
@@ -0,0 +1,82 @@
+; RUN: llvm-as < %s | llc -march=x86 -mattr=sse2
+; ModuleID = 'yyy.c'
+target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
+target triple = "i686-apple-darwin8"
+
+define <1 x i64> @a(<2 x i64> %__A) {
+entry:
+       %__A_addr = alloca <2 x i64>            ; <<2 x i64>*> [#uses=2]
+       %retval = alloca <1 x i64>, align 8             ; <<1 x i64>*> [#uses=3]
+       %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
+       store <2 x i64> %__A, <2 x i64>* %__A_addr
+       %tmp = load <2 x i64>* %__A_addr, align 16              ; <<2 x i64>> [#uses=1]
+       %tmp1 = bitcast <2 x i64> %tmp to <2 x i64>             ; <<2 x i64>> [#uses=1]
+       %tmp2 = extractelement <2 x i64> %tmp1, i32 0           ; <i64> [#uses=1]
+       %tmp3 = bitcast i64 %tmp2 to <1 x i64>          ; <<1 x i64>> [#uses=1]
+       store <1 x i64> %tmp3, <1 x i64>* %retval, align 8
+       %tmp4 = load <1 x i64>* %retval, align 8                ; <<1 x i64>> [#uses=0]
+       br label %return
+
+return:                ; preds = %entry
+       %retval5 = load <1 x i64>* %retval              ; <<1 x i64>> [#uses=1]
+       ret <1 x i64> %retval5
+}
+
+define <1 x i64> @b(<2 x i64> %__A) {
+entry:
+       %__A_addr = alloca <2 x i64>            ; <<2 x i64>*> [#uses=2]
+       %retval = alloca <1 x i64>, align 8             ; <<1 x i64>*> [#uses=3]
+       %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
+       store <2 x i64> %__A, <2 x i64>* %__A_addr
+       %tmp = load <2 x i64>* %__A_addr, align 16              ; <<2 x i64>> [#uses=1]
+       %tmp1 = bitcast <2 x i64> %tmp to <2 x i64>             ; <<2 x i64>> [#uses=1]
+       %tmp2 = extractelement <2 x i64> %tmp1, i32 1           ; <i64> [#uses=1]
+       %tmp3 = bitcast i64 %tmp2 to <1 x i64>          ; <<1 x i64>> [#uses=1]
+       store <1 x i64> %tmp3, <1 x i64>* %retval, align 8
+       %tmp4 = load <1 x i64>* %retval, align 8                ; <<1 x i64>> [#uses=0]
+       br label %return
+
+return:                ; preds = %entry
+       %retval5 = load <1 x i64>* %retval              ; <<1 x i64>> [#uses=1]
+       ret <1 x i64> %retval5
+}
+
+define i64 @c(<2 x i64> %__A) {
+entry:
+       %__A_addr = alloca <2 x i64>            ; <<2 x i64>*> [#uses=2]
+       %retval = alloca i64, align 8           ; <i64*> [#uses=2]
+       %tmp = alloca i64, align 8              ; <i64*> [#uses=2]
+       %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
+       store <2 x i64> %__A, <2 x i64>* %__A_addr
+       %tmp1 = load <2 x i64>* %__A_addr, align 16             ; <<2 x i64>> [#uses=1]
+       %tmp2 = bitcast <2 x i64> %tmp1 to <2 x i64>            ; <<2 x i64>> [#uses=1]
+       %tmp3 = extractelement <2 x i64> %tmp2, i32 0           ; <i64> [#uses=1]
+       store i64 %tmp3, i64* %tmp, align 8
+       %tmp4 = load i64* %tmp, align 8         ; <i64> [#uses=1]
+       store i64 %tmp4, i64* %retval, align 8
+       br label %return
+
+return:                ; preds = %entry
+       %retval5 = load i64* %retval            ; <i64> [#uses=1]
+       ret i64 %retval5
+}
+
+define i64 @d(<2 x i64> %__A) {
+entry:
+       %__A_addr = alloca <2 x i64>            ; <<2 x i64>*> [#uses=2]
+       %retval = alloca i64, align 8           ; <i64*> [#uses=2]
+       %tmp = alloca i64, align 8              ; <i64*> [#uses=2]
+       %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
+       store <2 x i64> %__A, <2 x i64>* %__A_addr
+       %tmp1 = load <2 x i64>* %__A_addr, align 16             ; <<2 x i64>> [#uses=1]
+       %tmp2 = bitcast <2 x i64> %tmp1 to <2 x i64>            ; <<2 x i64>> [#uses=1]
+       %tmp3 = extractelement <2 x i64> %tmp2, i32 1           ; <i64> [#uses=1]
+       store i64 %tmp3, i64* %tmp, align 8
+       %tmp4 = load i64* %tmp, align 8         ; <i64> [#uses=1]
+       store i64 %tmp4, i64* %retval, align 8
+       br label %return
+
+return:                ; preds = %entry
+       %retval5 = load i64* %retval            ; <i64> [#uses=1]
+       ret i64 %retval5
+}