[all-commits] [llvm/llvm-project] 4603a8: [mlir][memref] Improve runtime verification for `m...

[Matthias Springer via All-commits]

  Branch: refs/heads/users/matthias-springer/memref_subview_veri
  Home:   https://github.com/llvm/llvm-project
  Commit: 4603a8999c3dde7dee15953316e5e1fe8b42a6c4
      https://github.com/llvm/llvm-project/commit/4603a8999c3dde7dee15953316e5e1fe8b42a6c4
  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
    M mlir/test/Integration/Dialect/MemRef/subview-runtime-verification.mlir

  Log Message:
  -----------
  [mlir][memref] Improve runtime verification for `memref.subview`

This commit addresses a TODO in the runtime verification of `memref.subview`. Each dimension is now verified: the offset must be in-bounds and the slice must not run out-of-bounds.



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