[llvm] [Reland][SCEV] teach isImpliedViaOperations about samesign (PR #133711)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Thanks for following up on this! This is quite a non-trivial fix, and the inter-diff seems obviously correct, although I can't be certain that there are other pending issues: I think you created some kind of fuzz-service for LLVM; if possible, can we fuzz the patch pre-landing?

Csmith generated 2 million tests, and all the tests passed. Is it good enough to merge?


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