blob: bf71f5f22e10e5d9c0ea7d8ad44e348289d54e14 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
; 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 | 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
}
|