[all-commits] [llvm/llvm-project] 18d10f: [mlir][affine] addLowerOrUpperBound: Make map+oper...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 18d10fbe87b36cd922faeeb04d18078aea071c95
      https://github.com/llvm/llvm-project/commit/18d10fbe87b36cd922faeeb04d18078aea071c95
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-08-03 (Tue, 03 Aug 2021)

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

  Log Message:
  -----------
  [mlir][affine] addLowerOrUpperBound: Make map+operand composing optional

There are cases in which it is not desirable to fully compose the bound map with the operands when adding lower/upper bounds to a `FlatAffineConstraints`.

E.g., this is the case when bounds should be expressed in terms of the operands only (and not the operands' dependencies). This also makes `addLowerOrUpperBound` useable together with operands that are defined through semi-affine expressions.

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