[all-commits] [llvm/llvm-project] fef470: [mlir][affine] addLowerOrUpperBound: Disallow pos ...

[Matthias Springer via All-commits]

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

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

  Log Message:
  -----------
  [mlir][affine] addLowerOrUpperBound: Disallow pos among boundOperands

Bounds such as `dim_{pos} <= c_1 * dim_x + ...` where `x == pos` are invalid. `addLowerOrUpperBound` previously added an incorrect inequality to the set. Such cases are now explicitly rejected.

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