| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -scalarrepl -instcombine -S | not grep alloca |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| Chris Lattner | 4b9c8b7 | 2009-01-31 02:28:54 +0000 | [diff] [blame] | 3 | ; Test that an array is not incorrectly deconstructed. |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | |
| Chris Lattner | 4b9c8b7 | 2009-01-31 02:28:54 +0000 | [diff] [blame] | 5 | define i32 @test() nounwind { |
| Tanya Lattner | 307f46e | 2008-03-18 04:14:37 +0000 | [diff] [blame] | 6 | %X = alloca [4 x i32] ; <[4 x i32]*> [#uses=1] |
| 7 | %Y = getelementptr [4 x i32]* %X, i64 0, i64 0 ; <i32*> [#uses=1] |
| 8 | ; Must preserve arrayness! |
| 9 | %Z = getelementptr i32* %Y, i64 1 ; <i32*> [#uses=1] |
| 10 | %A = load i32* %Z ; <i32> [#uses=1] |
| 11 | ret i32 %A |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 12 | } |