[llvm] [InstCombine] Make the `(icmp eq/ne (and X, Y), X)` canonicalization work for non-const operands (PR #84688)

[Yingwei Zheng via llvm-commits]

================
@@ -238,9 +238,9 @@ define i1 @icmp_sle_negx_y_fail_maybe_zero(i8 %x, i8 %y) {
 
 define i1 @icmp_eq_x_invertable_y_todo(i8 %x, i1 %y) {
----------------
dtcxzyw wrote:

I don't know what does the `TODO` mean here.


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