[PATCH] D88167: [LoopDeletion] Forget loop before setting values to undef

[Max Kazantsev via Phabricator via llvm-commits]

mkazantsev added inline comments.


================
Comment at: llvm/lib/Transforms/Utils/LoopUtils.cpp:729
+  if (SE)
+    SE->verify();
 }
----------------
fhahn wrote:
> nikic wrote:
> > This call performs an unconditional SCEV verification, probably not what you intended. Should be behind NDEBUG at least.
> Yes, should be done in 7bae2bc5a8dd11c016c895e3a691fb93575773f3, thanks!
I wonder if *all* SCEV has to be correct at this point. I mean, you are only deleting one single loop while possibly doing something else in some other place and plan to invalidate SCEV later. I don't think it's a right place for an assert.

We have a test failing on this, but I cannot figure out how to make a simple repro unfortunately. The failure seems not related to the loop in question. The point is that it fails this assertion but passes when we verify all IR after each pass. 



Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D88167