| 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 | 1b4c2777 | 2009-09-08 16:50:01 +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 | |