[InstCombine] Fold or of icmp ne trunc/and
authorNikita Popov <npopov@redhat.com>
Thu, 28 Apr 2022 12:44:24 +0000 (14:44 +0200)
committerNikita Popov <npopov@redhat.com>
Thu, 28 Apr 2022 13:07:16 +0000 (15:07 +0200)
commit90dba831ae50f2c3dc5de1029b1821790411ca9a
treefec6f777c692d3d63dbe5ded129449f1d6ae7751
parentb5b3e50f65ee99257041723e7645d44c1aeb1117
[InstCombine] Fold or of icmp ne trunc/and

This adds the de Morgan conjugated variant for the existing
"and eq" style fold.

Proof: https://alive2.llvm.org/ce/z/tkNAcG
llvm/lib/Transforms/InstCombine/InstCombineAndOrXor.cpp
llvm/test/Transforms/InstCombine/merge-icmp.ll