Test cases are added for pattern "(~A & B) ^ A -> (A | B)".
And Fix for these pattern is https://reviews.llvm.org/D86395.
Updated full patch to solve "content not available" error.
I don't understand what this patch is proposing. Why is the output changing for an unmodified test?
@Jac1494 Please can you rebase this patch against trunk - from the CHECK changes in existing tests it looks like you have some local changes as well.
Commandeering to close the review. I made test changes with rG77fb8cbd60cf that should provide the coverage I requested.