projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3f89e33) | patch
[MLIR] PresburgerSet: support divisions in operations
authorArjun P <arjunpitchanathan@gmail.com>
Fri, 24 Sep 2021 10:04:06 +0000 (15:34 +0530)
committerArjun P <arjunpitchanathan@gmail.com>
Fri, 24 Sep 2021 10:06:47 +0000 (15:36 +0530)
commit4a57f5d1e1c5eff98fd03932f9a0f8efa13c3a77
treee33cecaa67192d059b411bfe0cce07223e61cf48tree | snapshot
parent3f89e339bb185726a2a3eb127ac59c813b52c6fecommit | diff
[MLIR] PresburgerSet: support divisions in operations

Add support for intersecting, subtracting, complementing and checking equality of sets having divisions.

Reviewed By: bondhugula

Differential Revision: https://reviews.llvm.org/D110138
mlir/include/mlir/Analysis/PresburgerSet.h diff | blob | history
mlir/lib/Analysis/PresburgerSet.cpp diff | blob | history
mlir/unittests/Analysis/PresburgerSetTest.cpp diff | blob | history
Domain: System / Toolchain;