Google Git
Sign in
llvm / llvm-project / mlir / 0f5a8c4409d5a89bcf6393fd182f1a6d16140d49
commit0f5a8c4409d5a89bcf6393fd182f1a6d16140d49[log] [tgz]
authorMatthias Springer <springerm@google.com>Thu Nov 25 12:43:35 2021 +0900
committerCopybara-Service <copybara-worker@google.com>Wed Nov 24 19:50:48 2021 -0800
treec102976737cb712f4a294bedb391840d63f7ed75
parentbd62bba8a23c8e2a9e4b46dfa522fb4e7d2f69ff [diff]
[mlir][SCF] Further simplify affine maps during `for-loop-canonicalization`

* Implement `FlatAffineConstraints::getConstantBound(EQ)`.
* Inject a simpler constraint for loops that have at most 1 iteration.
* Taking into account constant EQ bounds of FlatAffineConstraint dims/symbols during canonicalization of the resulting affine map in `canonicalizeMinMaxOp`.

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

GitOrigin-RevId: ee1bf186723abb933b2c337e589c5958167f3cbe
4 files changed
tree: c102976737cb712f4a294bedb391840d63f7ed75
  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.