[llvm] [SCEV] Strip incorrect known-false WrapPred check (PR #225086)

[Nikita Popov via llvm-commits]

nikic wrote:

TBH I'm still confused on why this code is incorrect. The code here chooses not to rewrite an addrec using a predicate -- shouldn't that always be a valid thing to do?

(Removing the code on the grounds that it seems to be useless in practice is reasonable, I just don't get why it's wrong.)

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