| Cameron Zwarich | 4a60b93 | 2011-02-10 23:38:10 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-simplify |
| Chris Lattner | 0a4e422 | 2002-09-26 19:50:11 +0000 | [diff] [blame] | 2 | |
| Tanya Lattner | 6f729d6 | 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 |
| Chris Lattner | 0a4e422 | 2002-09-26 19:50:11 +0000 | [diff] [blame] | 6 | br label %Loop |
| Tanya Lattner | 6f729d6 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 7 | F: ; preds = %0 |
| Chris Lattner | 0a4e422 | 2002-09-26 19:50:11 +0000 | [diff] [blame] | 8 | br label %Loop |
| Tanya Lattner | 6f729d6 | 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 |
| Chris Lattner | 0a4e422 | 2002-09-26 19:50:11 +0000 | [diff] [blame] | 13 | br label %Loop |
| 14 | } |
| Tanya Lattner | 6f729d6 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 15 | |