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

[Matthias Springer via All-commits]

  Branch: refs/heads/users/matthias-springer/remove_reinterpret_cast_veri
  Home:   https://github.com/llvm/llvm-project
  Commit: 63d85dab7434dbd81e8faa033605ef0a019ae6c1
      https://github.com/llvm/llvm-project/commit/63d85dab7434dbd81e8faa033605ef0a019ae6c1
  Author: Matthias Springer <mspringer at nvidia.com>
  Date:   2025-04-27 (Sun, 27 Apr 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`

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