[all-commits] [llvm/llvm-project] 8a8c65: [mlir][SCF] Fix off-by-one bug in affine analysis

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8a8c655fe7c37665471d06b3e8cdff74f6b8ed3e
      https://github.com/llvm/llvm-project/commit/8a8c655fe7c37665471d06b3e8cdff74f6b8ed3e
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-11-25 (Thu, 25 Nov 2021)

  Changed paths:
    M mlir/lib/Dialect/SCF/Transforms/LoopSpecialization.cpp

  Log Message:
  -----------
  [mlir][SCF] Fix off-by-one bug in affine analysis

This change is NFC. There were two issues when passing/reading upper bounds into/from FlatAffineConstraints that negate each other, so the bug was not apparent. However, it made debugging harder because some constraints in the FlatAffineConstraints were off by one when dumping all constraints.

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