[PATCH] D72396: [InstCombine] fold zext of masked bit set/clear

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a subscriber: aqjune.
spatel added a comment.

In D72396#2696806 <https://reviews.llvm.org/D72396#2696806>, @xbolva00 wrote:

> It should be ready to go?

I don't think we're there yet. cc @aqjune to see what is remaining.

The most basic test is still converted to bitwise logic:

  define i1 @poison_sel(i1 %cmp1, i1 %t) {
    %s = select i1 %cmp1, i1 %t, i1 true
    ret i1 %s
  }

The C++ reproducer from https://reviews.llvm.org/D72396#1810203 is also still miscompiled with this patch applied.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D72396/new/

https://reviews.llvm.org/D72396