[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