| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; This testcase exposed a problem with the loop identification pass (LoopInfo). |
| 2 | ; Basically, it was incorrectly calculating the loop nesting information. |
| 3 | ; |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 4 | ; RUN: llvm-as < %s | opt -loopsimplify |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 5 | |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 6 | define i32 @yylex() { |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | br label %loopentry.0 |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 8 | loopentry.0: ; preds = %else.4, %0 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | br label %loopexit.2 |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 10 | loopexit.2: ; preds = %else.4, %loopexit.2, %loopentry.0 |
| 11 | br i1 false, label %loopexit.2, label %else.4 |
| 12 | yy_find_action: ; preds = %else.4 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | br label %else.4 |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 14 | else.4: ; preds = %yy_find_action, %loopexit.2 |
| 15 | switch i32 0, label %loopexit.2 [ |
| 16 | i32 2, label %yy_find_action |
| 17 | i32 0, label %loopentry.0 |
| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 18 | ] |
| 19 | } |
| Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 20 | |