projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: edc8b60) | patch
[mlir][Interfaces] ValueBoundsOpInterface: Compute constant bounds
authorMatthias Springer <springerm@google.com>
Fri, 7 Apr 2023 02:33:55 +0000 (11:33 +0900)
committerMatthias Springer <springerm@google.com>
Fri, 7 Apr 2023 02:35:02 +0000 (11:35 +0900)
commit0dc9087ac752659d29fdea6b9fabdd1b7987c996
tree13f6a3773c6edc780194f8e364c5ee3a08df7179tree | snapshot
parentedc8b602f996a1fc68c28054c81e8fb671bb874bcommit | diff
[mlir][Interfaces] ValueBoundsOpInterface: Compute constant bounds

Add a helper function that computes a constant (`int64_t`) bound. The `stopCondition` is optional: If none is provided, the traversal continues until a constant bound could be computed.

Differential Revision: https://reviews.llvm.org/D146296
mlir/include/mlir/Interfaces/ValueBoundsOpInterface.h diff | blob | history
mlir/lib/Interfaces/ValueBoundsOpInterface.cpp diff | blob | history
mlir/test/Dialect/Affine/value-bounds-reification.mlir diff | blob | history
mlir/test/Dialect/Tensor/value-bounds-op-interface-impl.mlir diff | blob | history
mlir/test/lib/Dialect/Affine/TestReifyValueBounds.cpp diff | blob | history
Domain: System / Toolchain;