[Mlir-commits] [mlir] 852a3f9 - [MLIR][Presburger][NFC] Fix doc for PresburgerSpace::numLocals

llvmlistbot at llvm.org llvmlistbot at llvm.org
Sun Mar 13 07:39:46 PDT 2022


Author: Groverkss
Date: 2022-03-13T20:04:23+05:30
New Revision: 852a3f969e2806ed4e3e135518c1065bc93d32cf

URL: https://github.com/llvm/llvm-project/commit/852a3f969e2806ed4e3e135518c1065bc93d32cf
DIFF: https://github.com/llvm/llvm-project/commit/852a3f969e2806ed4e3e135518c1065bc93d32cf.diff

LOG: [MLIR][Presburger][NFC] Fix doc for PresburgerSpace::numLocals

Added: 
    

Modified: 
    mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h b/mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
index e53e60993798b..f9b03e43a2f8e 100644
--- a/mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
+++ b/mlir/include/mlir/Analysis/Presburger/PresburgerSpace.h
@@ -138,7 +138,8 @@ class PresburgerSpace {
   /// analysis).
   unsigned numSymbols;
 
-  /// Total number of identifiers.
+  /// Number of identifers corresponding to locals (identifiers corresponding
+  /// to existentially quantified variables).
   unsigned numLocals;
 };
 


        


More information about the Mlir-commits mailing list