[all-commits] [llvm/llvm-project] 847a6f: [mlir][MemRef] Add runtime bounds checking (#75817)

[Ryan Holt via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 847a6f8f0a6b9b98f2a219c7af59306e9b03b796
      https://github.com/llvm/llvm-project/commit/847a6f8f0a6b9b98f2a219c7af59306e9b03b796
  Author: Ryan Holt <ryanholt at mathworks.com>
  Date:   2023-12-22 (Fri, 22 Dec 2023)

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

  Log Message:
  -----------
  [mlir][MemRef] Add runtime bounds checking (#75817)

This change adds (runtime) bounds checks for `memref` ops using the
existing `RuntimeVerifiableOpInterface`. For `memref.load` and
`memref.store`, we check that the indices are in-bounds of the memref's
index space. For `memref.reinterpret_cast` and `memref.subview` we check
that the resulting address space is in-bounds of the input memref's
address space.