Matthias Springer ff9306459f [mlir][Interfaces] ValueBoundsOpInterface: Check if two values are equal ...

Add a helper function that computes if two SSA values have the same value, utilizing the `ValueBoundsOpInterface` infrastructure. Two SSA values have the same value, an equality bound of 0 can be derived for their subtraction.

The helper function can also be used to determine if two tensor dimension sizes are equal.

Differential Revision: https://reviews.llvm.org/D151443

2023-05-25 19:08:48 +02:00

20 KiB

Raw Blame History

View Raw