31 lines · plain
1; RUN: opt < %s -passes='loop-mssa(licm),loop-unroll' -disable-output2; Test triggered an assertion in doFinalization() because loop unroll was deleting3; the inner loop which caused the loop to not get removed from the4; LoopToAliasSetMap.5; Test case taken from test/Transforms/LoopUnroll/unloop.ll.6 7declare i1 @check() nounwind8define void @skiplevelexit() nounwind {9entry:10 br label %outer11 12outer:13 br label %inner14 15inner:16 %iv = phi i32 [ 0, %outer ], [ %inc, %tail ]17 %inc = add i32 %iv, 118 call zeroext i1 @check()19 br i1 true, label %outer.backedge, label %tail20 21tail:22 br i1 false, label %inner, label %exit23 24outer.backedge:25 br label %outer26 27exit:28 ret void29}30 31