[all-commits] [llvm/llvm-project] 5480ea: Update static bound checker for Linalg to cover de...

[inho9606 via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 5480ea6c84633b7a5548cfe48fc09c6b57cecfb9
      https://github.com/llvm/llvm-project/commit/5480ea6c84633b7a5548cfe48fc09c6b57cecfb9
  Author: Inho Seo <inhoseo at google.com>
  Date:   2021-05-12 (Wed, 12 May 2021)

  Changed paths:
    M mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp
    M mlir/test/Dialect/Linalg/invalid.mlir

  Log Message:
  -----------
  Update static bound checker for Linalg to cover decreasing cases

The current static checker for linalg does not work on the decreasing
index cases well. So, this is to Update the current static bound checker
for linalg to cover decreasing index cases.

Reviewed By: hanchung

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