| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; This testcases makes sure that mem2reg can handle unreachable blocks. |
| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -mem2reg |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 3 | |
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 4 | define i32 @test() { |
| 5 | %X = alloca i32 ; <i32*> [#uses=2] | ||||
| 6 | store i32 6, i32* %X | ||||
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | br label %Loop |
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 8 | Loop: ; preds = %EndOfLoop, %0 |
| 9 | store i32 5, i32* %X | ||||
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 10 | br label %EndOfLoop |
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 11 | Unreachable: ; No predecessors! |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 12 | br label %EndOfLoop |
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 13 | EndOfLoop: ; preds = %Unreachable, %Loop |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 14 | br label %Loop |
| 15 | } | ||||
| Tanya Lattner | 9792837 | 2008-03-19 07:28:33 +0000 | [diff] [blame] | 16 | |