[Mlir-commits] [mlir] [MLIR][Presburger] Implement computation of generating function for unimodular cones (PR #77235)

[llvmlistbot at llvm.org]

================
@@ -63,3 +63,71 @@ MPInt mlir::presburger::detail::getIndex(ConeV cone) {
 
   return cone.determinant();
 }
+
+/// Compute the generating function for a unimodular cone.
+GeneratingFunction mlir::presburger::detail::unimodularConeGeneratingFunction(
----------------
Abhinav271828 wrote:

Right. I've been following what I thought was the convention in the library (e.g. https://github.com/llvm/llvm-project/blob/main/mlir/lib/Analysis/Presburger/IntegerRelation.cpp); is it not?

https://github.com/llvm/llvm-project/pull/77235