[llvm] [ValueTracking] add check inversion for x and xor x, -1 (PR #96425)

[Nikita Popov via llvm-commits]

nikic wrote:

> Can you pre-commit this test case?
> 
> [#93591 (comment)](https://github.com/llvm/llvm-project/pull/93591#issuecomment-2135906301)

We should also have that test case with vectors containing poison elements. I think we need to match m_Not without poison here to preserve the currently existing property that both arguments are equally poisonous.

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