[PATCH] D32725: [InstCombine] Apply deMorgan to (and/or (not cmp1), cmp2) when cmp1 has multiple uses, but cmp2 has a single use
Sanjay Patel via Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Mon May 22 07:30:04 PDT 2017
spatel added a comment.
> I forgot that I already filed this bug that will result if we lift the one-use restriction for // xor (cmp A, B), true = not (cmp A, B) = !cmp A, B :
> https://bugs.llvm.org/show_bug.cgi?id=32791
The opposite transform was suggested in:
https://bugs.llvm.org/show_bug.cgi?id=27431
Ie, turning an inverted predicate into a 'not' op might already be a recognized pattern by other passes.
https://reviews.llvm.org/D32725
More information about the llvm-commits
mailing list