[Mlir-commits] [mlir] [MLIR][Arith] add and(a, or(a, b)) folder (PR #138998)

Jakub Kuderski llvmlistbot at llvm.org
Mon Jun 2 13:51:16 PDT 2025


kuhar wrote:

> Question - partly for the peanut gallery - should this be a canonicalization instead of a fold?

I think we converged on a policy to prefer folds when possible: https://mlir.llvm.org/docs/Canonicalization/#when-to-use-the-fold-method-vs-rewriterpatterns-for-canonicalizations

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


More information about the Mlir-commits mailing list