| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loopsimplify |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 3 | define void @foo(i1 %C) { |
| 4 | br i1 %C, label %T, label %F |
| 5 | T: ; preds = %0 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | br label %Loop |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 7 | F: ; preds = %0 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 8 | br label %Loop |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 9 | Loop: ; preds = %L2, %Loop, %F, %T |
| 10 | %Val = phi i32 [ 0, %T ], [ 1, %F ], [ 2, %Loop ], [ 3, %L2 ] ; <i32> [#uses=0] |
| 11 | br i1 %C, label %Loop, label %L2 |
| 12 | L2: ; preds = %Loop |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | br label %Loop |
| 14 | } |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 15 | |