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

David Majnemer via llvm-commits llvm-commits at lists.llvm.org
Sun Jun 19 18:04:35 PDT 2016

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


More information about the llvm-commits mailing list