llvm.org GIT mirror llvm / release_36 test / Transforms / LICM / 2014-09-10-doFinalizationAssert.ll
release_36

Tree @release_36 (Download .tar.gz)

2014-09-10-doFinalizationAssert.ll @release_36raw · history · blame

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