[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