projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb1d61b) | patch
Update static bound checker for Linalg to cover decreasing cases
authorInho Seo <inhoseo@google.com>
Wed, 12 May 2021 17:28:37 +0000 (10:28 -0700)
committerHanhan Wang <hanchung@google.com>
Wed, 12 May 2021 17:29:19 +0000 (10:29 -0700)
commit5480ea6c84633b7a5548cfe48fc09c6b57cecfb9
treeab030cc2789612a9b9763b585f497766cdcd09f2tree | snapshot
parentfb1d61b7257ccd5ba0c96bcea78d6516384ce5b6commit | diff
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
mlir/lib/Dialect/Linalg/IR/LinalgInterfaces.cpp diff | blob | history
mlir/test/Dialect/Linalg/invalid.mlir diff | blob | history
Domain: System / Toolchain;