[all-commits] [llvm/llvm-project] 051612: [mlir][ValueBounds] memref.dim and tensor.dim are ...

[Krzysztof Drewniak via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 051612c0180e4e5a9ba750a994a91d2c1b05b00c
      https://github.com/llvm/llvm-project/commit/051612c0180e4e5a9ba750a994a91d2c1b05b00c
  Author: Krzysztof Drewniak <Krzysztof.Drewniak at amd.com>
  Date:   2025-01-13 (Mon, 13 Jan 2025)

  Changed paths:
    M mlir/lib/Dialect/MemRef/IR/ValueBoundsOpInterfaceImpl.cpp
    M mlir/lib/Dialect/Tensor/IR/ValueBoundsOpInterfaceImpl.cpp
    M mlir/test/Dialect/MemRef/value-bounds-op-interface-impl.mlir
    M mlir/test/Dialect/Tensor/value-bounds-op-interface-impl.mlir

  Log Message:
  -----------
  [mlir][ValueBounds] memref.dim and tensor.dim are always positive (#122804)

Add the constraint that the length of a memref or tensor dimension is
always non-negative (at least 0) even if we don't know which dimension
we're querying the length of.



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