[mlir][Interfaces] ValueBoundsOpInterface: Support LB and UB bounds
authorMatthias Springer <springerm@google.com>
Fri, 7 Apr 2023 01:47:22 +0000 (10:47 +0900)
committerMatthias Springer <springerm@google.com>
Fri, 7 Apr 2023 01:48:19 +0000 (10:48 +0900)
commit041bc485bf2122b238eb1a336d3a38168feb8eaa
tree7a382a7fb100b5cc5d0af12a6c4350afbcf541ef
parent06d0cd1e81c19cecedbf86356bc7bfb532a1ea80
[mlir][Interfaces] ValueBoundsOpInterface: Support LB and UB bounds

This change also adds support for `affine.min` and `affine.max` ops.

Differential Revision: https://reviews.llvm.org/D145787
mlir/include/mlir/Dialect/Affine/Transforms/Transforms.h
mlir/lib/Dialect/Affine/IR/ValueBoundsOpInterfaceImpl.cpp
mlir/lib/Interfaces/ValueBoundsOpInterface.cpp
mlir/test/Dialect/Affine/value-bounds-op-interface-impl.mlir
mlir/test/lib/Dialect/Affine/TestReifyValueBounds.cpp