[all-commits] [llvm/llvm-project] bfedb2: [MLIR][Affine] Enhance simplifyAdd for AffineExpr mod

[XiangZhang via All-commits]

  Branch: refs/heads/users/xiangzhangllvm/mlir-affine-expr-add
  Home:   https://github.com/llvm/llvm-project
  Commit: bfedb2f149e676e7ea0b07c100311629f3a03522
      https://github.com/llvm/llvm-project/commit/bfedb2f149e676e7ea0b07c100311629f3a03522
  Author: Zhang Xiang <xiang.zhang at iluvatar.com>
  Date:   2025-07-01 (Tue, 01 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

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