[all-commits] [llvm/llvm-project] dd57b0: [mlir][Interfaces] Allow integer types for `ValueB...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dd57b0c9728a512e4409980829f97f2b3728a45d
      https://github.com/llvm/llvm-project/commit/dd57b0c9728a512e4409980829f97f2b3728a45d
  Author: Matthias Springer <me at m-sp.org>
  Date:   2026-05-07 (Thu, 07 May 2026)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Transforms/Transforms.h
    M mlir/include/mlir/Dialect/Arith/Transforms/Transforms.h
    M mlir/include/mlir/Dialect/Vector/IR/ScalableValueBoundsConstraintSet.h
    M mlir/include/mlir/Interfaces/ValueBoundsOpInterface.h
    M mlir/lib/Dialect/Affine/Transforms/ReifyValueBounds.cpp
    M mlir/lib/Dialect/Arith/Transforms/ReifyValueBounds.cpp
    M mlir/lib/Dialect/Linalg/Transforms/HoistPadding.cpp
    M mlir/lib/Dialect/Linalg/Transforms/Hoisting.cpp
    M mlir/lib/Dialect/Linalg/Transforms/Padding.cpp
    M mlir/lib/Dialect/Linalg/Transforms/Promotion.cpp
    M mlir/lib/Dialect/Linalg/Transforms/TilingInterfaceImpl.cpp
    M mlir/lib/Dialect/MemRef/Transforms/IndependenceTransforms.cpp
    M mlir/lib/Dialect/Tensor/Transforms/IndependenceTransforms.cpp
    M mlir/lib/Dialect/Vector/IR/ScalableValueBoundsConstraintSet.cpp
    M mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
    M mlir/test/Dialect/Affine/invalid-reify-bound-dim.mlir
    M mlir/test/Dialect/Arith/value-bounds-op-interface-impl.mlir
    M mlir/test/lib/Dialect/Affine/TestReifyValueBounds.cpp
    M mlir/test/lib/Dialect/Test/TestOpDefs.cpp
    M mlir/test/lib/Dialect/Test/TestOps.td

  Log Message:
  -----------
  [mlir][Interfaces] Allow integer types for `ValueBoundsOpInterface` (#196082)

Allow integer-typed SSA values in the `ValueBoundsConstraintSet`
infrastructure. Only index types were allowed until now. This new
feature is opt-in only. The implementation assumes that integer
computation will not overflow.

A new `ValueBoundsOptions` struct is added. Public entry points now take
this struct instead of the `closedUB` flag. The flag was moved to the
options struct, along with the `allowIntegerType` flag.

Note for LLVM integration: Pass `ValueBoundsOptions` instead of `bool
closedUB`.

Assisted-by: gpt-5.5-extra-high



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