[all-commits] [llvm/llvm-project] aa1d9a: [MLIR][Affine] Enhance simplifyAdd for AffineExpr ...

[XiangZhang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aa1d9a4c31040daa7686560e24f7c06090f8a2e6
      https://github.com/llvm/llvm-project/commit/aa1d9a4c31040daa7686560e24f7c06090f8a2e6
  Author: XiangZhang <xiang.zhang at iluvatar.com>
  Date:   2025-07-02 (Wed, 02 Jul 2025)

  Changed paths:
    M mlir/lib/IR/AffineExpr.cpp
    M mlir/test/Dialect/Affine/decompose-affine-ops.mlir

  Log Message:
  -----------
  [MLIR][Affine] Enhance simplifyAdd for AffineExpr mod (#146492)

Currently AffineExpr Add has ability to optimize `"s1 + (s1 // c * -c)"
to "s1 % c"`,
but can not optimize `"(s0 + s1) + (s1 // c * -c)"`. 
This patch provide an opportunity to do this simplification, let it can
be simplified to `"s0 + s1 % c"`.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications