[all-commits] [llvm/llvm-project] d94aeb: [mlir][linalg] Add runtime verification for linalg...

[Ryan Holt via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d94aeb507d71d72f4153b4c87c77fcb5187b3e9a
      https://github.com/llvm/llvm-project/commit/d94aeb507d71d72f4153b4c87c77fcb5187b3e9a
  Author: Ryan Holt <ryanholt at mathworks.com>
  Date:   2024-04-25 (Thu, 25 Apr 2024)

  Changed paths:
    A mlir/include/mlir/Dialect/Linalg/Transforms/RuntimeOpVerification.h
    M mlir/include/mlir/InitAllDialects.h
    M mlir/include/mlir/Interfaces/RuntimeVerifiableOpInterface.td
    M mlir/lib/Dialect/Linalg/Transforms/CMakeLists.txt
    A mlir/lib/Dialect/Linalg/Transforms/RuntimeOpVerification.cpp
    M mlir/lib/Dialect/MemRef/Transforms/RuntimeOpVerification.cpp
    M mlir/lib/Interfaces/RuntimeVerifiableOpInterface.cpp
    A mlir/test/Dialect/Linalg/runtime-verification.mlir
    A mlir/test/Integration/Dialect/Linalg/CPU/runtime-verification.mlir

  Log Message:
  -----------
  [mlir][linalg] Add runtime verification for linalg ops (#89917)

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.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications