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"
5
; RUN: opt < %s -analyze -loops | \
6
; RUN: grep { Loop at depth 3 containing: %Inner<header><latch><exiting>}
11
Top: ; preds = %Out, %0
14
Next: ; preds = %LoopHeader
15
br i1 false, label %Inner, label %Out
17
Inner: ; preds = %Inner, %Next
18
br i1 false, label %Inner, label %LoopHeader
20
LoopHeader: ; preds = %Inner, %Top
24
br i1 false, label %Top, label %Done