Google Git
Sign in
llvm / llvm-project / mlir / 6beb39d8145dc40e1f2a359381a1d551c7d36d98
commit6beb39d8145dc40e1f2a359381a1d551c7d36d98[log] [tgz]
authorArnab Dutta <arnab.dutta@cerebras.net>Sat Nov 20 21:04:59 2021 +0530
committerCopybara-Service <copybara-worker@google.com>Sat Nov 20 07:41:14 2021 -0800
treeaabce29e357f8bf2894d50280a3b244d6bd429bd
parent755e279f87f54ec3c5f062bc3558aeb32a06faa0 [diff]
[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

GitOrigin-RevId: ec7b0d4d3458cf42c4e40da2ea391b29ba1731dd
2 files changed
tree: aabce29e357f8bf2894d50280a3b244d6bd429bd
  1. cmake/
  2. docs/
  3. examples/
  4. include/
  5. lib/
  6. python/
  7. test/
  8. tools/
  9. unittests/
  10. utils/
  11. .clang-format
  12. .clang-tidy
  13. CMakeLists.txt
  14. LICENSE.TXT
  15. README.md
README.md

Multi-Level Intermediate Representation

See https://mlir.llvm.org/ for more information.