| ; LoopInfo is incorrectly calculating loop nesting! In this case it doesn't | |
| ; figure out that loop "Inner" should be nested inside of leep "LoopHeader", | |
| ; and instead nests it just inside loop "Top" | |
| ; | |
| ; RUN: llvm-upgrade < %s | llvm-as | opt -analyze -loops | \ | |
| ; RUN: grep { Loop Containing:\[ \]*%Inner} | |
| ; | |
| implementation | |
| void %test() { | |
| br label %Top | |
| Top: | |
| br label %LoopHeader | |
| Next: | |
| br bool false, label %Inner, label %Out | |
| Inner: | |
| br bool false, label %Inner, label %LoopHeader | |
| LoopHeader: | |
| br label %Next | |
| Out: | |
| br bool false, label %Top, label %Done | |
| Done: | |
| ret void | |
| } |