commit 0cd91eda827a2757f572de915c42d743388a385d
author Matthias Springer <me@m-sp.org> Tue Apr 16 10:59:02 2024 +0200
committer Copybara-Service <copybara-worker@google.com> Tue Apr 16 02:05:45 2024 -0700
tree 88751968efff364a7ebe780554956d2a7478a3ec
parent cf90b0b949c92418149070c2c0ca0fee1e27abe9

[mlir][Interfaces] `Variable` abstraction for `ValueBoundsOpInterface` (#87980)

This commit generalizes and cleans up the `ValueBoundsConstraintSet`
API. The API used to provide function overloads for comparing/computing
bounds of:
- index-typed SSA value
- dimension of shaped value
- affine map + operands

This commit removes all overloads. There is now a single entry point for
each `compare` variant and each `computeBound` variant. These functions
now take a `Variable`, which is internally represented as an affine map
and map operands.

This commit also adds support for computing bounds for an affine map +
operands. There was previously no public API for that.

GitOrigin-RevId: 40dd3aa91d3f73184e34e45e597b84bec059c572