[PATCH] D86395: InstCombine transform pattern "(~A & B) ^ A -> (A | B)" added

[Sanjay Patel via Phabricator via llvm-commits]

spatel added a comment.

I committed the baseline tests, so we can see diffs. Please rebase.
Try this experiment to see if your tests provide the coverage that we expect:

1. Replace the "m_c_XXX" matchers with the non-commute equivalent.
2. Exactly 1 test should be modified.
3. Add back only 1 of the commutative matchers.
4. Exactly 2 tests should be modified.
5. Invert the commutativity of the matchers (so the opposite matcher is now commutative).
6. Exactly 2 tests should be modified.
7. Make both matchers commutative.
8. All 4 tests should be modified.

Please update the tests and/or test comments if that is not working.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86395/new/

https://reviews.llvm.org/D86395