[llvm] [InstCombine] Fold (a != 0) ? abs(a) : 0 (PR #70305)

[Pierre van Houtryve via llvm-commits]

Pierre-vh wrote:

Ah I see, indeed we already do this when the poison flag is not set.
Can you elaborate a bit? What do you mean by derefinement?

How can I infer the value isn't signed min in that function?

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