[PATCH] D80860: Exact integer emptiness checks for FlatAffineConstraints

[Jean-Michel Gorius via Phabricator via llvm-commits]

Kayjukh accepted this revision.
Kayjukh added a comment.
This revision is now accepted and ready to land.

Yes, sorry about blocking the revision. Note that there is still a `clang-format` issue in one of the files.



================
Comment at: mlir/unittests/Analysis/AffineStructuresTest.cpp:88
+
+    checkSample(hasValue, makeFACFromConstraints(nDim, permutedIneqs, permutedEqs));
+  } while (std::next_permutation(perm.begin(), perm.end()));
----------------
Please fix formatting


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D80860