| Dan Gohman | 6cb04cc | 2009-10-24 23:23:04 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -loop-rotate -verify-dom-info -verify-loop-info -disable-output |
| 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 @findAllPairs() { |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 4 | entry: |
| 5 | br i1 false, label %bb139, label %cond_true |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | cond_true: ; preds = %entry |
| 7 | ret void |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 8 | bb90: ; preds = %bb139 |
| 9 | br i1 false, label %bb136, label %cond_next121 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 10 | cond_next121: ; preds = %bb90 |
| 11 | br i1 false, label %bb136, label %bb127 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 12 | bb127: ; preds = %cond_next121 |
| 13 | br label %bb136 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 14 | bb136: ; preds = %bb127, %cond_next121, %bb90 |
| 15 | %changes.1 = phi i32 [ %changes.2, %bb90 ], [ %changes.2, %cond_next121 ], [ 1, %bb127 ] ; <i32> [#uses=1] |
| 16 | br label %bb139 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 17 | bb139: ; preds = %bb136, %entry |
| 18 | %changes.2 = phi i32 [ %changes.1, %bb136 ], [ 0, %entry ] ; <i32> [#uses=3] |
| 19 | br i1 false, label %bb90, label %bb142 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 20 | bb142: ; preds = %bb139 |
| 21 | %changes.2.lcssa = phi i32 [ %changes.2, %bb139 ] ; <i32> [#uses=0] |
| 22 | ret void |
| 23 | } |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame] | 24 | |