[llvm] [InstCombine] Fold values to 0 on eq-dominated paths (PR #174083)

[Nikita Popov via llvm-commits]

nikic wrote:

Looks like this is common enough on llvm-opt-benchmark to be worth handling. However, I don't think this is the right place/way to do it. This should probably be handled similarly to the inverted predicates in GVN's propagateEquality. See the code starting at: https://github.com/llvm/llvm-project/blob/3e93d9aeed17636e1b074e70419dc6f6fa819222/llvm/lib/Transforms/Scalar/GVN.cpp#L2579

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