[all-commits] [llvm/llvm-project] e614e8: [mlir][memref] Add runtime verification for `memre...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e614e840bc6419ecde584605f2b813dcda7582e7
      https://github.com/llvm/llvm-project/commit/e614e840bc6419ecde584605f2b813dcda7582e7
  Author: Matthias Springer <me at m-sp.org>
  Date:   2025-03-18 (Tue, 18 Mar 2025)

  Changed paths:
    M mlir/lib/Dialect/MemRef/Transforms/RuntimeOpVerification.cpp
    M mlir/lib/Transforms/GenerateRuntimeVerification.cpp
    M mlir/test/Integration/Dialect/MemRef/cast-runtime-verification.mlir
    A mlir/test/Integration/Dialect/MemRef/dim-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/load-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/reinterpret-cast-runtime-verification.mlir
    M mlir/test/Integration/Dialect/MemRef/subview-runtime-verification.mlir

  Log Message:
  -----------
  [mlir][memref] Add runtime verification for `memref.dim` (#130410)

Add runtime verification for `memref.dim`: check that the index is in
bounds.

Also simplify the pass pipeline for all memref runtime verification
checks.



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