forked from OSchip/llvm-project
28 lines
545 B
LLVM
28 lines
545 B
LLVM
|
; 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: analyze -loops %s | grep ' Loop Containing: label %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
|
||
|
|
}
|