[PATCH] D21512: [InstSimplify] look through zexts of icmps to eliminate obviously false logic (PR27869)

[David Majnemer via llvm-commits]

majnemer added a comment.

In http://reviews.llvm.org/D21512#461901, @spatel wrote:

> In http://reviews.llvm.org/D21512#461900, @majnemer wrote:
>
> > Hmm.  More generally, how about having and of zexts get treated as zext of ands?
>
>
> I think we already do that, but the case in the bug report shows an example where one of the zexts is gone before we reach the and.


I don't believe so, what I imagined was something like the following: https://ghostbin.com/paste/fdc72


http://reviews.llvm.org/D21512