[llvm] [InstCombine] Fold `(icmp eq/ne (or (select cond, 0/NZ, 0/NZ), X), 0)` (PR #88183)

[via llvm-commits]

================
@@ -0,0 +1,225 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes='instcombine<no-verify-fixpoint>' -S | FileCheck %s
----------------
goldsteinn wrote:

The lack of fixed point is due to the use of `freelyInvertAllUses`.

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