| 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 | ; |
| 4 | ; RUN: llvm-upgrade < %s | llvm-as | opt -loopsimplify |
| 5 | |
| 6 | implementation ; Functions: |
| 7 | |
| 8 | int %yylex() { ; No predecessors! |
| 9 | br label %loopentry.0 |
| 10 | |
| 11 | loopentry.0: ; preds = %0, %yy_find_action, %else.4 |
| 12 | br label %loopexit.2 |
| 13 | |
| 14 | loopexit.2: ; preds = %loopentry.0, %else.4, %loopexit.2 |
| 15 | br bool false, label %loopexit.2, label %else.4 |
| 16 | |
| 17 | yy_find_action: ; preds = %loopexit.2, %else.4 |
| 18 | br label %else.4 |
| 19 | |
| 20 | else.4: ; preds = %yy_find_action |
| 21 | switch uint 0, label %loopexit.2 [ |
| 22 | uint 2, label %yy_find_action |
| 23 | uint 0, label %loopentry.0 |
| 24 | ] |
| 25 | } |