[Mlir-commits] [mlir] [MLIR][Presburger] Implement computation of generating function for unimodular cones (PR #77235)
Bharathi Ramana Joshi
llvmlistbot at llvm.org
Mon Jan 8 02:36:16 PST 2024
================
@@ -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(
----------------
iambrj wrote:
@Abhinav271828 just a nit, but notice how it is `IntegerRelation::setSpace` and not `mlir::presburger::IntegerRelation::setSpace`
https://github.com/llvm/llvm-project/pull/77235
More information about the Mlir-commits
mailing list