[llvm] [InstCombine] Improve folding of `icmp pred (and X, Mask/~Mask), Y)` (PR #81562)

[Yingwei Zheng via llvm-commits]

================
@@ -0,0 +1,629 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+
+declare void @llvm.assume(i1)
----------------
dtcxzyw wrote:

@nikic Do we still need to declare these intrinsic functions explicitly?

See also https://github.com/llvm/llvm-project/pull/78251.

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