projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d648aa1) | patch
[MLIR][Presburger] PresburgerSet::containsPoint: support disjuncts with locals
authorArjun P <arjunpitchanathan@gmail.com>
Fri, 10 Jun 2022 01:53:46 +0000 (21:53 -0400)
committerArjun P <arjunpitchanathan@gmail.com>
Sat, 11 Jun 2022 00:18:49 +0000 (20:18 -0400)
commit4e53df0f0b57575d1707663467ba130a00420439
treeaa4e117345d6b6c8f5e007fb0388a653b3c6c2eetree | snapshot
parentd648aa1b8e937de1648524e1f1016b53b29ba2a4commit | diff
[MLIR][Presburger] PresburgerSet::containsPoint: support disjuncts with locals

Reviewed By: Groverkss

Differential Revision: https://reviews.llvm.org/D127466
mlir/lib/Analysis/Presburger/PresburgerRelation.cpp diff | blob | history
mlir/unittests/Analysis/Presburger/PresburgerSetTest.cpp diff | blob | history
Domain: System / Toolchain;