[all-commits] [llvm/llvm-project] 0d3e9d: [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: 0d3e9d8a893e3cedeadce2225df65d18b3842b3a
      https://github.com/llvm/llvm-project/commit/0d3e9d8a893e3cedeadce2225df65d18b3842b3a
  Author: Matthias Springer <mspringer at nvidia.com>
  Date:   2025-03-31 (Mon, 31 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