| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; This input caused the mem2reg pass to die because it was trying to promote |
| 2 | ; the %r alloca, even though it is invalid to do so in this case! |
| 3 | ; |
| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 4 | ; RUN: opt < %s -mem2reg |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 5 | |
| Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame] | 6 | define void @test() { |
| 7 | %r = alloca i32 ; <i32*> [#uses=2] |
| 8 | store i32 4, i32* %r |
| 9 | store i32* %r, i32** null |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 10 | ret void |
| Tanya Lattner | 97b38e1 | 2008-03-19 05:39:35 +0000 | [diff] [blame] | 11 | } |
| 12 | |