[all-commits] [llvm/llvm-project] fd161c: [mlir][memref] Remove runtime verification for `me...

[Matthias Springer via All-commits]

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

  Changed paths:
    M mlir/lib/Dialect/MemRef/Transforms/RuntimeOpVerification.cpp
    R mlir/test/Integration/Dialect/MemRef/reinterpret-cast-runtime-verification.mlir

  Log Message:
  -----------
  [mlir][memref] Remove runtime verification for `memref.reinterpret_cast` (#132547)

The runtime verification code used to verify that the result of a
`memref.reinterpret_cast` is in-bounds with respect to the source
memref. This is incorrect: `memref.reinterpret_cast` allows users to
construct almost arbitrary memref descriptors and there is no
correctness expectation.

This op is supposed to be used when the user "knows what they are
doing." Similarly, the static verifier of `memref.reinterpret_cast` does
not verify in-bounds semantics either.



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