[llvm] [ValueTracking] Respect `samesign` flag in `isKnownInversion` (PR #112390)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> Out of curiosity, how come is it a cons if it happens to be instruction-dependant? It doesn't seem to be necessarily so to me?

If we handle some complex patterns in `isKnownInversion` (i.e., we should drop flags in instructions other than `FalseVal` to ensure poison-safety), this approach doesn't work.


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