[llvm] [indvars] Update SCEV after eliminating CmpInst of loop latch (PR #207044)

[Hassnaa Hamdi via llvm-commits]

hassnaaHamdi wrote:

> To answer my question: https://llvm.godbolt.org/z/1Yxsf7Y3v
> 
> The previous BECounts were -1. The recomputed ones are CouldNotCompute.
> 
> Keeping the old ones is not incorrect, because the code is guaranteed to execute UB, so anything goes.
> 
> It does seem like a good idea to invalidate here though, esp. as that should also help with SCEV trip count verification errors.

Thank you, I will make it clearer like this next time.

https://github.com/llvm/llvm-project/pull/207044