[all-commits] [llvm/llvm-project] 715137: [MLIR] Fix memref get constant bound size and shap...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 715137d0c8f99d172e06526032c8f13104af5e51
      https://github.com/llvm/llvm-project/commit/715137d0c8f99d172e06526032c8f13104af5e51
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2021-07-05 (Mon, 05 Jul 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/AffineStructures.h
    M mlir/include/mlir/Analysis/Utils.h
    M mlir/lib/Analysis/AffineStructures.cpp
    M mlir/lib/Analysis/Utils.cpp
    M mlir/test/Dialect/Affine/affine-data-copy.mlir

  Log Message:
  -----------
  [MLIR] Fix memref get constant bound size and shape method

Fix FlatAffineConstraints::getConstantBoundOnDimSize to ensure that
returned bounds on dim size are always non-negative regardless of the
constraints on that dimension. Add an assertion at the user.

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