test/Transforms/ScalarRepl/2003-05-29-ArrayFail.ll


1
2
3
4
5
6
7
8
9
10
11
12

; RUN: opt %s -scalarrepl -instcombine -S | not grep alloca

; Test that an array is not incorrectly deconstructed.

define i32 @test() nounwind {
	%X = alloca [4 x i32]		; <[4 x i32]*> [#uses=1]
	%Y = getelementptr [4 x i32]* %X, i64 0, i64 0		; <i32*> [#uses=1]
        ; Must preserve arrayness!
	%Z = getelementptr i32* %Y, i64 1		; <i32*> [#uses=1]
	%A = load i32* %Z		; <i32> [#uses=1]
	ret i32 %A
}