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

via llvm-commits llvm-commits at lists.llvm.org
Fri May 10 00:33:40 PDT 2024


================
@@ -935,6 +935,22 @@ static void simplifyRecipe(VPRecipeBase &R, VPTypeAnalysis &TypeInfo) {
 #endif
   }
 
+  VPValue *X;
+  VPValue *Y;
+  VPValue *X1;
+  VPValue *Y1;
+  // Simplify (X && Y) || (X1 && !Y1) -> X.
----------------
ayalz wrote:

```suggestion
  // Simplify (X && Y) || (X && !Y) -> X.
```
This now more closely matches the code, where repeated occurrences of X and Y are enumerated.

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


More information about the llvm-commits mailing list