diff options
Diffstat (limited to 'test/Transforms/ScalarRepl/union-pointer.ll')
| -rw-r--r-- | test/Transforms/ScalarRepl/union-pointer.ll | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/test/Transforms/ScalarRepl/union-pointer.ll b/test/Transforms/ScalarRepl/union-pointer.ll new file mode 100644 index 0000000..fe702fa --- /dev/null +++ b/test/Transforms/ScalarRepl/union-pointer.ll @@ -0,0 +1,41 @@ +; PR892 +; RUN: opt < %s -scalarrepl -S | \ +; RUN: not grep alloca +; RUN: opt < %s -scalarrepl -S | grep {ret i8} + +target datalayout = "e-p:32:32" +target triple = "i686-apple-darwin8.7.2" + %struct.Val = type { i32*, i32 } + +define i8* @test(i16* %X) { + %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** %X_addr.upgrd.1 ; <i8*> [#uses=1] + ret i8* %tmp +} + +define void @test2(i64 %Op.0) { + %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* %tmp, i32 0, i32 0 ; <i32**> [#uses=1] + %tmp2 = getelementptr %struct.Val* %tmp1, i32 0, i32 0 ; <i32**> [#uses=1] + %tmp.upgrd.5 = load i32** %tmp2 ; <i32*> [#uses=1] + store i32* %tmp.upgrd.5, i32** %tmp.upgrd.4 + %tmp3 = getelementptr %struct.Val* %tmp, i32 0, i32 1 ; <i32*> [#uses=1] + %tmp4 = getelementptr %struct.Val* %tmp1, i32 0, i32 1 ; <i32*> [#uses=1] + %tmp.upgrd.6 = load 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 }* %tmp7, i32 0, i32 0 ; <i64*> [#uses=1] + %tmp9 = load i64* %tmp8 ; <i64> [#uses=1] + call void @_Z3bar3ValS_( i64 %Op.0, i64 %tmp9 ) + ret void +} + +declare i64 @_Z3foov() + +declare void @_Z3bar3ValS_(i64, i64) |