llvm-project/mlir
Inho Seo f584633454 Added static verification for Linalg Ops.
This verification is to check if the indices for static shaped operands
on linalgOps access out of bound memory or not. For dynamic shaped
operands, we would be able to check it on runtime stage.

Found several invalid Linalg ops testcases, and fixed them.

Reviewed By: hanchung

Differential Revision: https://reviews.llvm.org/D98390
2021-03-30 07:10:17 -07:00
..
cmake/modules [mlir][python] Reorganize MLIR python into namespace packages. 2021-03-08 23:01:34 -08:00
docs NFC: Update MLIR python bindings docs to install deps via requirements.txt. 2021-03-29 18:32:51 +00:00
examples Define a `NoTerminator` traits that allows operations with a single block region to not provide a terminator 2021-03-25 03:59:03 +00:00
include [mlir] Enhance InferShapedTypeOpInterface and move LinalgOps to use them. 2021-03-29 11:39:48 -07:00
lib Added static verification for Linalg Ops. 2021-03-30 07:10:17 -07:00
test Added static verification for Linalg Ops. 2021-03-30 07:10:17 -07:00
tools [mlir][ODS] Fix `VariadicRegion` code generation for `NoTerminator` Ops 2021-03-26 14:24:36 +03:00
unittests [mlir] fix -Wsign-compare in memref unit tests 2021-03-26 19:38:13 +01:00
utils [mlir] Add simple jupyter kernel 2021-02-21 18:16:06 -08:00
.clang-format
.clang-tidy
CMakeLists.txt [CMake] Require python 3.6 if enabling LLVM test targets 2021-03-15 09:50:39 -07:00
LICENSE.TXT
README.md

README.md

Multi-Level Intermediate Representation

See https://mlir.llvm.org/ for more information.