| Chris Lattner | db3989b | 2009-02-03 01:13:52 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | opt -scalarrepl -instcombine | llvm-dis | 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 | } |