[llvm] [VPlan] Simplify (X && Y) || (X && !Y) -> X. (PR #89386)

[via llvm-commits]

================
@@ -940,6 +940,18 @@ static void simplifyRecipe(VPRecipeBase &R, VPTypeAnalysis &TypeInfo) {
 #endif
   }
 
+  VPValue *B;
+  VPValue *C;
+  VPValue *D;
+  // Simplify (X && Y) || (X && !Y) -> X.
+  if (match(&R,
----------------
ayalz wrote:

More general and modular: first simplify (A && B) || (C && D) where A == C into A && (B || D). Also for A == D, B == C, B == D. Followed by simplifying (X || !X).

https://github.com/llvm/llvm-project/pull/89386