| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -scalarrepl -instcombine -S | not grep alloca |
| Chris Lattner | b2290a1 | 2009-02-03 07:08:57 +0000 | [diff] [blame] | 2 | ; PR3466 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 3 | |
| Tanya Lattner | 307f46e | 2008-03-18 04:14:37 +0000 | [diff] [blame] | 4 | define i32 @test() { |
| 5 | %X = alloca [4 x i32] ; <[4 x i32]*> [#uses=1] |
| 6 | ; Off end of array! |
| 7 | %Y = getelementptr [4 x i32]* %X, i64 0, i64 6 ; <i32*> [#uses=2] |
| 8 | store i32 0, i32* %Y |
| 9 | %Z = load i32* %Y ; <i32> [#uses=1] |
| 10 | ret i32 %Z |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 11 | } |
| Tanya Lattner | 307f46e | 2008-03-18 04:14:37 +0000 | [diff] [blame] | 12 | |
| Chris Lattner | b2290a1 | 2009-02-03 07:08:57 +0000 | [diff] [blame] | 13 | |
| 14 | define i32 @test2() nounwind { |
| 15 | entry: |
| 16 | %yx2.i = alloca float, align 4 ; <float*> [#uses=1] |
| 17 | %yx26.i = bitcast float* %yx2.i to i64* ; <i64*> [#uses=1] |
| 18 | %0 = load i64* %yx26.i, align 8 ; <i64> [#uses=0] |
| 19 | unreachable |
| 20 | } |