projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7714b40) | patch
[MLIR] PresburgerSet emptiness check: remove assertions that there are no symbols
authorArjun P <arjunpitchanathan@gmail.com>
Mon, 12 Apr 2021 17:31:15 +0000 (23:01 +0530)
committerArjun P <arjunpitchanathan@gmail.com>
Mon, 12 Apr 2021 17:41:06 +0000 (23:11 +0530)
commit7f9e36b209ddfc9bf08934ed911c9c5cb459a0b9
tree3efaebd82de4e3e147237e1c8b222789c46f041dtree | snapshot
parent7714b405a0de47e461c77fa8dbd2c21f0d34bbf2commit | diff
[MLIR] PresburgerSet emptiness check: remove assertions that there are no symbols

Symbols are now supported in the integer emptiness check. Remove some outdated assertions checking that there are no symbols.

Reviewed By: ftynse

Differential Revision: https://reviews.llvm.org/D100327
mlir/lib/Analysis/PresburgerSet.cpp diff | blob | history
Domain: System / Toolchain;