[PATCH] D80860: Exact integer emptiness checks for FlatAffineConstraints

[Arjun P via Phabricator via llvm-commits]

arjunp updated this revision to Diff 268421.
arjunp added a comment.

Add two tests of "long" sets. Fix some bugs that this revealed.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D80860/new/

https://reviews.llvm.org/D80860

Files:
  mlir/include/mlir/Analysis/AffineStructures.h
  mlir/include/mlir/Analysis/Presburger/Fraction.h
  mlir/include/mlir/Analysis/Presburger/Matrix.h
  mlir/include/mlir/Analysis/Presburger/Simplex.h
  mlir/lib/Analysis/AffineStructures.cpp
  mlir/lib/Analysis/CMakeLists.txt
  mlir/lib/Analysis/Presburger/CMakeLists.txt
  mlir/lib/Analysis/Presburger/Matrix.cpp
  mlir/lib/Analysis/Presburger/Simplex.cpp
  mlir/unittests/Analysis/AffineStructuresTest.cpp
  mlir/unittests/Analysis/CMakeLists.txt
  mlir/unittests/Analysis/Presburger/CMakeLists.txt
  mlir/unittests/Analysis/Presburger/MatrixTest.cpp
  mlir/unittests/Analysis/Presburger/SimplexTest.cpp
  mlir/unittests/CMakeLists.txt

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D80860.268421.patch
Type: text/x-patch
Size: 70225 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200604/416ebc93/attachment.bin>