[Mlir-commits] [mlir] [mlir][affine] fix the issue of ceildiv-mul-ceildiv form expression n… (PR #111254)
Johannes Reifferscheid
llvmlistbot at llvm.org
Mon Oct 7 07:26:57 PDT 2024
================
@@ -406,12 +419,25 @@ static bool isDivisibleBySymbol(AffineExpr expr, unsigned symbolPos,
AffineBinaryOpExpr binaryExpr = cast<AffineBinaryOpExpr>(expr);
if (opKind != expr.getKind())
return false;
- return isDivisibleBySymbol(binaryExpr.getLHS(), symbolPos, expr.getKind());
+ if (llvm::any_of(visitedExprs, [](auto expr) {
----------------
jreiffers wrote:
Let's do this rename too. `canSimplifyDivisionBySymbol` or `canSinkDivisionBySymbol` would work for me. Maybe the former is better.
https://github.com/llvm/llvm-project/pull/111254
More information about the Mlir-commits
mailing list