[PATCH] D71047: [LV][NFC] Keep dominator tree up to date during vectorization.

[Evgeniy via Phabricator via llvm-commits]

ebrevnov marked an inline comment as done.
ebrevnov added inline comments.


================
Comment at: llvm/lib/Transforms/Vectorize/VPlan.cpp:514
+  DT->changeImmediateDominator(LoopExitBB, LoopLatchBB);
+  assert(DT->verify(DominatorTree::VerificationLevel::Fast));
 }
----------------
xbolva00 wrote:
> #ifdef EXPENSIVE_CHECKS?
Please note, in the original code there is an unconditional verification at the end of 'updateAnalysis'. Since 'updateAnalysis' was removed we need to do verification here to preserve original behavior. I'm not sure if it makes  sense to change that...


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D71047