diff options
| author | Arjun P <arjunpitchanathan@gmail.com> | 2021-01-18 21:00:21 +0530 |
|---|---|---|
| committer | Arjun P <arjunpitchanathan@gmail.com> | 2021-01-18 21:46:01 +0530 |
| commit | 9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e (patch) | |
| tree | cc0907c7eb28eafba4981c9dee5305426d5578b7 /llvm/lib/Analysis/ModuleSummaryAnalysis.cpp | |
| parent | 16bf02c3a19d4e1f4a19cb243de612e17f54f5a9 (diff) | |
| download | llvm-9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e.zip llvm-9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e.tar.gz llvm-9f32f1d6fbfa4f4d654876e29c1c2b84e18b1a2e.tar.bz2 | |
[MLIR] Support checking if two FlatAffineConstraints are equal
This patch adds support for checking if two PresburgerSets are equal. In particular, one can check if two FlatAffineConstraints are equal by constructing PrebsurgerSets from them and comparing these.
Reviewed By: ftynse
Differential Revision: https://reviews.llvm.org/D94915
Diffstat (limited to 'llvm/lib/Analysis/ModuleSummaryAnalysis.cpp')
0 files changed, 0 insertions, 0 deletions