[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:44:03 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:

also, my guess is the linker errors have something to do with makefile 

> Using unqualified names seems to lead to linker errors. I think definitions need to have them; simple references don't.

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


More information about the Mlir-commits mailing list