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