[PATCH] Added InstCombine Transformation for (A^B)^((~A)&B) -> A&(~B)

David Majnemer david.majnemer at gmail.com
Fri Aug 22 11:00:04 PDT 2014

Previous message: [PATCH] Added InstCombine Transformation for (A^B)^((~A)&B) -> A&(~B)
Next message: [PATCH] Added InstCombine Transformation for (A^B)^((~A)&B) -> A&(~B)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This can be generalized.

`(A ^ B) ^ ((A ^ C) & B)` -> `C ^ (B | (A ^ C)`

http://reviews.llvm.org/D5002

Previous message: [PATCH] Added InstCombine Transformation for (A^B)^((~A)&B) -> A&(~B)
Next message: [PATCH] Added InstCombine Transformation for (A^B)^((~A)&B) -> A&(~B)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the llvm-commits mailing list