[PATCH] D80860: Exact integer emptiness checks for FlatAffineConstraints

[Arjun P via Phabricator via llvm-commits]

arjunp updated this revision to Diff 271290.
arjunp marked 2 inline comments as done.
arjunp added a comment.

Added the requested test.


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.271290.patch
Type: text/x-patch
Size: 94137 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200617/77d018b7/attachment-0001.bin>