| ; 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 |
| } |
| |
