commit	e78637db8480cd47fe81185adabd881e1b6e6666	[log] [tgz]
author	Ryan Holt <ryanholt@mathworks.com>	Tue Apr 23 11:18:04 2024 -0400
committer	Copybara-Service <copybara-worker@google.com>	Tue Apr 23 08:25:30 2024 -0700
tree	a1be7920534b2c3223fa0b282dcf56e0a76e8d8a
parent	b65439a150b62774c5ef5a850d274194df0b82e5 [diff]

[mlir][linalg] Add runtime verification for linalg ops (#89342)

This commit implements runtime verification for LinalgStructuredOps
using the existing `RuntimeVerifiableOpInterface`. The verification
checks that the runtime sizes of the operands match the runtime sizes
inferred by composing the loop ranges with the op's indexing maps.

GitOrigin-RevId: 8317d366212763d907d6d61a6d07450168a33bfb

include/mlir/Dialect/Linalg/Transforms/RuntimeOpVerification.h[Added - diff]
include/mlir/InitAllDialects.h[diff]
include/mlir/Interfaces/RuntimeVerifiableOpInterface.td[diff]
lib/Dialect/Linalg/Transforms/CMakeLists.txt[diff]
lib/Dialect/Linalg/Transforms/RuntimeOpVerification.cpp[Added - diff]
lib/Dialect/MemRef/Transforms/RuntimeOpVerification.cpp[diff]
lib/Interfaces/RuntimeVerifiableOpInterface.cpp[diff]
test/Dialect/Linalg/runtime-verification.mlir[Added - diff]
test/Integration/Dialect/Linalg/CPU/runtime-verification.mlir[Added - diff]

9 files changed

tree: a1be7920534b2c3223fa0b282dcf56e0a76e8d8a

benchmark/
cmake/
docs/
examples/
include/
lib/
python/
test/
tools/
unittests/
utils/
.clang-format
.clang-tidy
CMakeLists.txt
LICENSE.TXT
README.md

README.md

Multi-Level Intermediate Representation

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