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

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8b06da16827829c9b142f591303d3c66aab926b9
      https://github.com/llvm/llvm-project/commit/8b06da16827829c9b142f591303d3c66aab926b9
  Author: Matthias Springer <me at m-sp.org>
  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` (#132545)

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.

This commit aligns runtime verification with static op verification
(which was improved in #133086).



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