[Mlir-commits] [mlir] [mlir][affine|ValueBounds] Add transform to simplify affine min max ops with ValueBoundsOpInterface (PR #145068)

[Fabian Mora]

fabianmcg wrote:

> I saw that there is SimplifyAffineMinMaxOp and SimplifyBoundedAffineOpsOp. Can we combine those two with SimplifyAffineMinMax.cpp?

I don't know if `SimplifyBoundedAffineOpsOp` has any users, so it didn't even occurred to me. But regardless of that it cannot be removed until we have something like:
```mlir
%iA = arith.assume %i constraints min = 0, max =128 : index
```

As `SimplifyBoundedAffineOpsOp` relies on user putting constant bounds to specific values.
In the futre we could remove it.

https://github.com/llvm/llvm-project/pull/145068