diff options
| author | Groverkss <groverkss@gmail.com> | 2022-02-22 02:27:26 +0530 |
|---|---|---|
| committer | Groverkss <groverkss@gmail.com> | 2022-02-22 02:41:06 +0530 |
| commit | e1191965da38b5f9e8ce29becfef9e35c3730109 (patch) | |
| tree | 983382ec7745b337aeb43019c7fb231386758e33 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | bcee450937061139de4f75b4deaa06dee69aaf25 (diff) | |
[MLIR][Presburger] Add support for IntegerRelation
This patch adds a class to represent a relation in Presburger Library.
This patch only adds the skeleton class. Functionality from IntegerPolyhedron
will be moved to IntegerRelation in later patches to make it easier to review.
This patch is a part of a series of patches adding support for relations in
Presburger Library.
Reviewed By: arjunp
Differential Revision: https://reviews.llvm.org/D120156
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions