diff options
| author | Matthias Springer <me@m-sp.org> | 2023-05-25 19:03:17 +0200 |
|---|---|---|
| committer | Matthias Springer <me@m-sp.org> | 2023-05-25 19:08:48 +0200 |
| commit | ff9306459ff2f09b18ccbd4b5cefaf833730f42d (patch) | |
| tree | 7adb35df9d1542123d81c564de56e66da2deac4d /clang/lib/Basic/Module.cpp | |
| parent | a7a4bb691c1da37ff275fee39fb04ebd0857f5ba (diff) | |
| download | llvm-ff9306459ff2f09b18ccbd4b5cefaf833730f42d.zip llvm-ff9306459ff2f09b18ccbd4b5cefaf833730f42d.tar.gz llvm-ff9306459ff2f09b18ccbd4b5cefaf833730f42d.tar.bz2 | |
[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
Diffstat (limited to 'clang/lib/Basic/Module.cpp')
0 files changed, 0 insertions, 0 deletions