[PATCH] D22271: [InstCombine] reverse canonicalization of xor(zext i1 A), 1 <---> zext(not i1 A, true) (PR28476)

[Eli Friedman via llvm-commits]

eli.friedman added a comment.

Is "zext(a_bool ^ true) ^ 2" canonical, or is "zext(a_bool) ^ 3"?  Either way, you're missing a transform.


http://reviews.llvm.org/D22271