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
30
|
; RUN: opt < %s -scalar-evolution -licm -loop-unroll -disable-output
; Test triggered an assertion in doFinalization() because loop unroll was deleting
; the inner loop which caused the loop to not get removed from the
; LoopToAliasSetMap.
; Test case taken from test/Transforms/LoopUnroll/unloop.ll.
declare i1 @check() nounwind
define void @skiplevelexit() nounwind {
entry:
br label %outer
outer:
br label %inner
inner:
%iv = phi i32 [ 0, %outer ], [ %inc, %tail ]
%inc = add i32 %iv, 1
call zeroext i1 @check()
br i1 true, label %outer.backedge, label %tail
tail:
br i1 false, label %inner, label %exit
outer.backedge:
br label %outer
exit:
ret void
}
|
