projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc32a5c) | patch
[mlir][Analysis] Add FlatAffineConstraints::addLowerOrUpperBound
authorMatthias Springer <springerm@google.com>
Wed, 11 Aug 2021 06:08:02 +0000 (15:08 +0900)
committerMatthias Springer <springerm@google.com>
Wed, 11 Aug 2021 06:13:48 +0000 (15:13 +0900)
commit97e41c004ca0e1c9b969daa02a587e0d41166383
tree75dd1fc370764dc75bfe1832fa0200c493d41470tree | snapshot
parentfc32a5c87d9d5aef2c0b27715153fdd45cebd3f3commit | diff
[mlir][Analysis] Add FlatAffineConstraints::addLowerOrUpperBound

This function overload is similar to the existing `FlatAffineConstraints::addLowerOrUpperBound`. It constrains a dimension based on an affine map. However, in contrast to the other overloading, it does not attempt to align dimensions/symbols of the affine map with the dimensions/symbols of the constraint set. Instead, dimensions/symbols are expected to already be aligned.

Differential Revision: https://reviews.llvm.org/D107727
mlir/include/mlir/Analysis/AffineStructures.h diff | blob | history
mlir/lib/Analysis/AffineStructures.cpp diff | blob | history
Domain: System / Toolchain;