[all-commits] [llvm/llvm-project] 4af96a: [MLIR] Determine contiguousness of memrefs with dy...

[Momchil Velikov via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4af96a9d83335b3b59f3441af47c879c7a9eb183
      https://github.com/llvm/llvm-project/commit/4af96a9d83335b3b59f3441af47c879c7a9eb183
  Author: Momchil Velikov <momchil.velikov at arm.com>
  Date:   2025-06-23 (Mon, 23 Jun 2025)

  Changed paths:
    M mlir/include/mlir/Dialect/Utils/IndexingUtils.h
    M mlir/include/mlir/IR/BuiltinTypes.td
    M mlir/lib/Dialect/Utils/IndexingUtils.cpp
    M mlir/lib/IR/BuiltinTypes.cpp
    M mlir/test/Dialect/Vector/vector-transfer-flatten.mlir
    M mlir/unittests/IR/CMakeLists.txt
    A mlir/unittests/IR/MemrefLayoutTest.cpp

  Log Message:
  -----------
  [MLIR] Determine contiguousness of memrefs with dynamic dimensions (#142421)

This patch enhances `MemRefType::areTrailingDimsContiguous` to also
handle memrefs with dynamic dimensions.

The implementation itself is based on a new member function
`MemRefType::getMaxCollapsableTrailingDims` that return the maximum
number of trailing dimensions that can be collapsed - trivially all
dimensions for memrefs with identity layout, or by examining the memref
strides stopping at discontiguous or statically unknown strides.



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