[all-commits] [llvm/llvm-project] 97e41c: [mlir][Analysis] Add FlatAffineConstraints::addLow...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 97e41c004ca0e1c9b969daa02a587e0d41166383
      https://github.com/llvm/llvm-project/commit/97e41c004ca0e1c9b969daa02a587e0d41166383
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-08-11 (Wed, 11 Aug 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/AffineStructures.h
    M mlir/lib/Analysis/AffineStructures.cpp

  Log Message:
  -----------
  [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