[all-commits] [llvm/llvm-project] e4c8ff: [mlir][tensor] Add runtime verification for `cast`...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e4c8ff94e7a30589ab6dc6dbb6151e1424ce3432
      https://github.com/llvm/llvm-project/commit/e4c8ff94e7a30589ab6dc6dbb6151e1424ce3432
  Author: Matthias Springer <me at m-sp.org>
  Date:   2025-06-05 (Thu, 05 Jun 2025)

  Changed paths:
    A mlir/include/mlir/Dialect/Tensor/Transforms/RuntimeOpVerification.h
    M mlir/include/mlir/InitAllDialects.h
    M mlir/lib/Dialect/Tensor/IR/CMakeLists.txt
    M mlir/lib/Dialect/Tensor/IR/TensorDialect.cpp
    M mlir/lib/Dialect/Tensor/Transforms/CMakeLists.txt
    A mlir/lib/Dialect/Tensor/Transforms/RuntimeOpVerification.cpp
    A mlir/test/Integration/Dialect/Tensor/cast-runtime-verification.mlir
    A mlir/test/Integration/Dialect/Tensor/dim-runtime-verification.mlir
    A mlir/test/Integration/Dialect/Tensor/extract-runtime-verification.mlir
    A mlir/test/Integration/Dialect/Tensor/extract_slice-runtime-verification.mlir

  Log Message:
  -----------
  [mlir][tensor] Add runtime verification for `cast`/`dim`/`extract`/`insert`/`extract_slice` (#141332)

Add `RuntimeVerifiableOpInterface` implementations for the following
ops. These were mostly copied from the respective memref
implementations. Only the part that deals with offsets and strides was
removed.
* `tensor.cast`: `memref.cast`
* `tensor.dim`: `memref.dim`
* `tensor.extract`: `memref.load`
* `tensor.insert`: `memref.store`
* `tensor.extract_slice`: `memref.subview`



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