[all-commits] [llvm/llvm-project] 6dc8de: [mlir][memref] Improve `memref.subview` type infer...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6dc8de7a0abc7df8295273694fd9b951ed33708f
      https://github.com/llvm/llvm-project/commit/6dc8de7a0abc7df8295273694fd9b951ed33708f
  Author: Matthias Springer <me at m-sp.org>
  Date:   2024-06-23 (Sun, 23 Jun 2024)

  Changed paths:
    M mlir/include/mlir/Dialect/Utils/StaticValueUtils.h
    M mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
    M mlir/test/Dialect/Linalg/promote.mlir
    M mlir/test/Dialect/Linalg/transform-promotion.mlir
    M mlir/test/Dialect/MemRef/canonicalize.mlir
    M mlir/test/Dialect/MemRef/subview.mlir
    M mlir/test/Dialect/Vector/vector-transfer-collapse-inner-most-dims.mlir
    M mlir/test/Dialect/Vector/vector-transferop-opt.mlir
    M mlir/test/Transforms/canonicalize.mlir

  Log Message:
  -----------
  [mlir][memref] Improve `memref.subview` type inference (#96421)

The `memref.subview` result type inference
(`SubViewOp::inferResultType`) sometimes used to produce a dynamic
offset when a static offset is possible.

When a dynamic value (stride, size, etc.) is multiplied with zero, the
result is always a "static 0". Based on this, the result type inference
implementation can be improved to produce more static type information
in memref types.



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