[all-commits] [llvm/llvm-project] a37401: [mlir][memref] Introduce `memref.distinct_objects`...

[Ivan Butygin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: a374017bbcc8191fa6b7b2939ffcb9bb831df419
      https://github.com/llvm/llvm-project/commit/a374017bbcc8191fa6b7b2939ffcb9bb831df419
  Author: Ivan Butygin <ivan.butygin at gmail.com>
  Date:   2025-10-01 (Wed, 01 Oct 2025)

  Changed paths:
    M mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td
    M mlir/lib/Conversion/MemRefToLLVM/MemRefToLLVM.cpp
    M mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
    M mlir/test/Conversion/MemRefToLLVM/memref-to-llvm.mlir
    M mlir/test/Dialect/MemRef/invalid.mlir
    M mlir/test/Dialect/MemRef/ops.mlir

  Log Message:
  -----------
  [mlir][memref] Introduce `memref.distinct_objects` op (#156913)

The `distinct_objects` operation takes a list of memrefs and returns a
list of memrefs of the same types, with the additional assumption that
accesses to these memrefs will never alias with each other. This means
that loads and stores to different memrefs in the list can be safely
reordered.

The discussion
https://discourse.llvm.org/t/rfc-introducing-memref-aliasing-attributes/88049



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