| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; This testcase was incorrectly computing that the loopentry.7 loop was |
| 2 | ; not a child of the loopentry.6 loop. |
| 3 | ; |
| Dan Gohman | 3c7d308 | 2009-09-11 18:01:28 +0000 | [diff] [blame] | 4 | ; RUN: opt < %s -analyze -loops | \ |
| Dan Gohman | 04877cd | 2009-02-27 00:17:49 +0000 | [diff] [blame] | 5 | ; RUN: grep {^ Loop at depth 4 containing: %loopentry.7<header><latch><exit>} |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 6 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 7 | define void @getAndMoveToFrontDecode() { |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 8 | br label %endif.2 |
| 9 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 10 | endif.2: ; preds = %loopexit.5, %0 |
| 11 | br i1 false, label %loopentry.5, label %UnifiedExitNode |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 12 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 13 | loopentry.5: ; preds = %loopexit.6, %endif.2 |
| 14 | br i1 false, label %loopentry.6, label %UnifiedExitNode |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 15 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 16 | loopentry.6: ; preds = %loopentry.7, %loopentry.5 |
| 17 | br i1 false, label %loopentry.7, label %loopexit.6 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 18 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 19 | loopentry.7: ; preds = %loopentry.7, %loopentry.6 |
| 20 | br i1 false, label %loopentry.7, label %loopentry.6 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 21 | |
| 22 | loopexit.6: ; preds = %loopentry.6 |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 23 | br i1 false, label %loopentry.5, label %loopexit.5 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 24 | |
| 25 | loopexit.5: ; preds = %loopexit.6 |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 26 | br i1 false, label %endif.2, label %UnifiedExitNode |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 27 | |
| Tanya Lattner | a695f01 | 2008-02-14 06:56:27 +0000 | [diff] [blame] | 28 | UnifiedExitNode: ; preds = %loopexit.5, %loopentry.5, %endif.2 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 29 | ret void |
| 30 | } |