| Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; LoopInfo is incorrectly calculating loop nesting! In this case it doesn't |
| 2 | ; figure out that loop "Inner" should be nested inside of leep "LoopHeader", |
| 3 | ; and instead nests it just inside loop "Top" |
| 4 | ; |
| 5 | ; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -loops | \ |
| 6 | ; RUN: grep { Loop Containing:\[ \]*%Inner} |
| 7 | ; |
| 8 | |
| 9 | implementation |
| 10 | |
| 11 | void %test() { |
| 12 | br label %Top |
| 13 | Top: |
| 14 | br label %LoopHeader |
| 15 | Next: |
| 16 | br bool false, label %Inner, label %Out |
| 17 | Inner: |
| 18 | br bool false, label %Inner, label %LoopHeader |
| 19 | |
| 20 | LoopHeader: |
| 21 | br label %Next |
| 22 | |
| 23 | Out: |
| 24 | br bool false, label %Top, label %Done |
| 25 | |
| 26 | Done: |
| 27 | ret void |
| 28 | } |