[all-commits] [llvm/llvm-project] ec7b0d: [MLIR] Simplify Semi-affine expressions by rule ba...

[Arnab Dutta via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ec7b0d4d3458cf42c4e40da2ea391b29ba1731dd
      https://github.com/llvm/llvm-project/commit/ec7b0d4d3458cf42c4e40da2ea391b29ba1731dd
  Author: Arnab Dutta <arnab.dutta at cerebras.net>
  Date:   2021-11-20 (Sat, 20 Nov 2021)

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

  Log Message:
  -----------
  [MLIR] Simplify Semi-affine expressions by rule based matching and replacing "expr - q * (expr floordiv q)" with  "expr mod q" expression.

Add rule based matching for detecting and transforming "expr - q * (expr floordiv q)"
to "expr mod q", where q is a symbolic exxpression, in simplifyAdd function.

Reviewed By: bondhugula, dcaballe

Differential Revision: https://reviews.llvm.org/D112985