| Chris Lattner | 4b9c8b7 | 2009-01-31 02:28:54 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-as < %s | opt -scalarrepl | llvm-dis | grep {ret i32 undef} |
| 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 | } |