[PATCH] D107381: [runtimeunroll] Support multiple exits to latch exit w/epilogue loop

[Anna Thomas via Phabricator via llvm-commits]

anna added a comment.

In D107381#2955321 <https://reviews.llvm.org/D107381#2955321>, @nikic wrote:

> Why did this only fail under expensive checks? The test has a `-verify-dom-info`, so I'd have expected that to fail with a normal build as well.

IIRC, `verify-dom-info` is slightly different from performing a full DT verification. We have the full verification of DT in runtime unrolling which is under the expensive checks flag:

    // Verify that the Dom Tree is correct.
    #if defined(EXPENSIVE_CHECKS) && !defined(NDEBUG)
  assert(DT->verify(DominatorTree::VerificationLevel::Full));


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D107381/new/

https://reviews.llvm.org/D107381