[InstCombine] SSE/AVX vector shifts demanded shift amount bits

[oota-llvm.git] / test / Transforms / ScalarRepl / union-pointer.ll

diff --git a/test/Transforms/ScalarRepl/union-pointer.ll b/test/Transforms/ScalarRepl/union-pointer.ll
index 427ceec958ea00ff248197e3b88751fa839ff74a..6a5db1c4d6bda72c242d3d12039d63ccbfc11a19 100644 (file)
--- a/test/Transforms/ScalarRepl/union-pointer.ll
+++ b/test/Transforms/ScalarRepl/union-pointer.ll
@@ -1,18 +1,74 @@
+; PR892
+; RUN: opt < %s -scalarrepl -S | FileCheck %s
 
-; RUN: llvm-as < %s | opt -scalarrepl | llvm-dis | not grep alloca &&
-; RUN: llvm-as < %s | opt -scalarrepl | llvm-dis | grep 'ret sbyte'
 
-target endian = little
-target pointersize = 32
+target datalayout = "e-p:32:32-p1:16:16-n8:16:32"
 target triple = "i686-apple-darwin8.7.2"
 
-implementation   ; Functions:
+%struct.Val = type { i32*, i32 }
 
-sbyte* %test(short* %X) {
-        %X_addr = alloca short*
-        store short* %X, short** %X_addr
-        %X_addr = cast short** %X_addr to sbyte**
-        %tmp = load sbyte** %X_addr
-        ret sbyte* %tmp
+define i8* @test(i16* %X) {
+; CHECK-LABEL: @test(
+; CHECK-NOT: alloca
+; CHECK: ret i8*
+       %X_addr = alloca i16*           ; <i16**> [#uses=2]
+       store i16* %X, i16** %X_addr
+       %X_addr.upgrd.1 = bitcast i16** %X_addr to i8**         ; <i8**> [#uses=1]
+       %tmp = load i8*, i8** %X_addr.upgrd.1           ; <i8*> [#uses=1]
+       ret i8* %tmp
 }
 
+define i8 addrspace(1)* @test_as1(i16 addrspace(1)* %x) {
+; CHECK-LABEL: @test_as1(
+; CHECK-NEXT: %1 = ptrtoint i16 addrspace(1)* %x to i16
+; CHECK-NEXT: %2 = inttoptr i16 %1 to i8 addrspace(1)*
+; CHECK-NEXT: ret i8 addrspace(1)* %2
+    %x_addr = alloca i16 addrspace(1)*
+       store i16 addrspace(1)* %x, i16 addrspace(1)** %x_addr
+       %x_addr.upgrd.1 = bitcast i16 addrspace(1)** %x_addr to i8 addrspace(1)**
+       %tmp = load i8 addrspace(1)*, i8 addrspace(1)** %x_addr.upgrd.1
+       ret i8 addrspace(1)* %tmp
+}
+
+define i8 addrspace(1)* @test_as1_array(i16 addrspace(1)* %x) {
+; CHECK-LABEL: @test_as1_array(
+; CHECK-NEXT: %1 = ptrtoint i16 addrspace(1)* %x to i16
+; CHECK-NEXT: %2 = inttoptr i16 %1 to i8 addrspace(1)*
+; CHECK-NEXT: ret i8 addrspace(1)* %2
+  %as_ptr_array = alloca [4 x i16 addrspace(1)*]
+  %elem1 = getelementptr [4 x i16 addrspace(1)*], [4 x i16 addrspace(1)*]* %as_ptr_array, i32 0, i32 1
+  store i16 addrspace(1)* %x, i16 addrspace(1)** %elem1
+  %elem1.cast = bitcast i16 addrspace(1)** %elem1 to i8 addrspace(1)**
+  %tmp = load i8 addrspace(1)*, i8 addrspace(1)** %elem1.cast
+  ret i8 addrspace(1)* %tmp
+}
+
+
+define void @test2(i64 %Op.0) {
+; CHECK-LABEL: @test2(
+; CHECK-NOT: alloca
+; CHECK: ret void
+
+       %tmp = alloca %struct.Val, align 8              ; <%struct.Val*> [#uses=3]
+       %tmp1 = alloca %struct.Val, align 8             ; <%struct.Val*> [#uses=3]
+       %tmp.upgrd.2 = call i64 @_Z3foov( )             ; <i64> [#uses=1]
+       %tmp1.upgrd.3 = bitcast %struct.Val* %tmp1 to i64*              ; <i64*> [#uses=1]
+       store i64 %tmp.upgrd.2, i64* %tmp1.upgrd.3
+       %tmp.upgrd.4 = getelementptr %struct.Val, %struct.Val* %tmp, i32 0, i32 0               ; <i32**> [#uses=1]
+       %tmp2 = getelementptr %struct.Val, %struct.Val* %tmp1, i32 0, i32 0             ; <i32**> [#uses=1]
+       %tmp.upgrd.5 = load i32*, i32** %tmp2           ; <i32*> [#uses=1]
+       store i32* %tmp.upgrd.5, i32** %tmp.upgrd.4
+       %tmp3 = getelementptr %struct.Val, %struct.Val* %tmp, i32 0, i32 1              ; <i32*> [#uses=1]
+       %tmp4 = getelementptr %struct.Val, %struct.Val* %tmp1, i32 0, i32 1             ; <i32*> [#uses=1]
+       %tmp.upgrd.6 = load i32, i32* %tmp4             ; <i32> [#uses=1]
+       store i32 %tmp.upgrd.6, i32* %tmp3
+       %tmp7 = bitcast %struct.Val* %tmp to { i64 }*           ; <{ i64 }*> [#uses=1]
+       %tmp8 = getelementptr { i64 }, { i64 }* %tmp7, i32 0, i32 0             ; <i64*> [#uses=1]
+       %tmp9 = load i64, i64* %tmp8            ; <i64> [#uses=1]
+       call void @_Z3bar3ValS_( i64 %Op.0, i64 %tmp9 )
+       ret void
+}
+
+declare i64 @_Z3foov()
+
+declare void @_Z3bar3ValS_(i64, i64)