forked from OSchip/llvm-project
9f32f1d6fb
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 |
||
---|---|---|
.. | ||
Analysis | ||
Dialect | ||
IR | ||
Pass | ||
SDBM | ||
Support | ||
TableGen | ||
CMakeLists.txt |