[Mlir-commits] [mlir] [MLIR][Presburger] Implement IntegerRelation::setId (PR #77872)

Kunwar Grover llvmlistbot at llvm.org
Thu Jan 18 06:07:24 PST 2024


================
@@ -122,6 +122,10 @@ class IntegerRelation {
   /// current space; this will result in an assert failure.
   void setSpaceExceptLocals(const PresburgerSpace &oSpace);
 
+  /// Set the ith identifier of the IntegerRelation's PresburgerSpace. The index
----------------
Groverkss wrote:

"Set the identifier for the ith variable of the specified kind... "

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


More information about the Mlir-commits mailing list