[llvm] [VPlan] Model first memory runtime checks as VPlan recipes. (PR #221483)

[Florian Hahn via llvm-commits]

================
@@ -936,6 +936,20 @@ VPValue *VPSCEVExpander::expand(const SCEV *S) {
   }
   case scMulExpr: {
     auto *MulE = cast<SCEVMulExpr>(S);
+
+    // mul(PowerOf2C, udiv(X, PowerOf2C)) == (X >> C) << C -> X & (-1 << C),
+    // matching SCEVExpander::visitMulExpr.
+    const SCEVConstant *C1, *C2;
+    const SCEV *Val;
+    if (match(S, m_scev_Mul(m_SCEVConstant(C1),
+                            m_scev_UDiv(m_SCEV(Val), m_SCEVConstant(C2)))) &&
----------------
fhahn wrote:

Moved to VPlan simplifyRecipes

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