blob: 267b0e8986d27a0335740d2ab60531288c21e23f (
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
28
29
|
; 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: opt < %s -analyze -loops | \
; RUN: grep { Loop at depth 3 containing: %Inner<header><latch><exit>}
;
define void @test() {
br label %Top
Top: ; preds = %Out, %0
br label %LoopHeader
Next: ; preds = %LoopHeader
br i1 false, label %Inner, label %Out
Inner: ; preds = %Inner, %Next
br i1 false, label %Inner, label %LoopHeader
LoopHeader: ; preds = %Inner, %Top
br label %Next
Out: ; preds = %Next
br i1 false, label %Top, label %Done
Done: ; preds = %Out
ret void
}
|
