On Mon, Jun 23, 2014 at 3:32 PM, Prathamesh Kulkarni <bilbotheelffri...@gmail.com> wrote: > * match.pd: Mark operators in some bitwise and plus-minus > patterns to be commutative.
/* A - (A +- B) -> -+ B */ (match_and_simplify - (minus @0 (plus @0 @1)) + (minus @0 (plus:c @0 @1)) (negate @0)) seems pointless /* ~x & ~y -> ~(x | y) */ (match_and_simplify - (bit_and (bit_not @0) (bit_not @1)) + (bit_and:c (bit_not @0) (bit_not @1)) if (INTEGRAL_TYPE_P (TREE_TYPE (@0))) (bit_not (bit_ior @0 @1))) likewise. I have removed the pointless ones and committed the patch. Richard. > Thanks and Regards, > Prathamesh