[PATCH] D137651: [LoopFlatten] Forget all block and loop dispositions after flatten

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

In D137651#3916997 <https://reviews.llvm.org/D137651#3916997>, @SjoerdMeijer wrote:

> I will check some SCEV documentation, that's one thing, but I am also wondering if SCEV could be made more robust. It was running in an assert because it thought it was in an invalid state, so could it call `forgetBlockAndLoopDispositions` instead of asserting?

Unfortunately that's unlikely. We only catch this with verification, which basically computes most SCEV information again from scratch and compares it to the cached values, so it is super expensive.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D137651