[all-commits] [llvm/llvm-project] b52e2f: [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: b52e2fde970610bb749195259d915e488d66f9c8
      https://github.com/llvm/llvm-project/commit/b52e2fde970610bb749195259d915e488d66f9c8
  Author: Matthias Springer <mspringer at nvidia.com>
  Date:   2025-03-22 (Sat, 22 Mar 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