USER: add loopcounter to mods; add const-global-variables annotation

Author: sipma

chb/userdata/UserHints.py

@@ -572,6 +572,10 @@ def arraysize(self) -> Optional[int]:
     def ispointer(self) -> bool:
         return "ptrto" in self.mods
 
+    @property
+    def is_loopcounter(self) -> bool:
+        return "loopcounter" in self.mods
+
     def to_xml(self, node: ET.Element) -> None:
         xvintro = ET.Element("vintro")
         node.append(xvintro)
@@ -583,6 +587,8 @@ def to_xml(self, node: ET.Element) -> None:
                 xvintro.set("arraysize", str(self.arraysize))
             elif self.ispointer:
                 xvintro.set("ptrto", "yes")
+        if self.is_loopcounter:
+            xvintro.set("loopcounter", "yes")
 
     def __str__(self) -> str:
         return (
@@ -720,6 +726,10 @@ def remove_reaching_definitions(self) -> List[RemoveReachingDefinitions]:
             result.append(rrd)
         return result
 
+    @property
+    def const_global_variables(self) -> List[str]:
+        return self.fnannotation.get("const-global-variables", [])
+
     def has_register_variable_introduction(self, iaddr: str) -> bool:
         return iaddr in self.register_variable_introductions
 
@@ -761,6 +771,13 @@ def to_xml(self, node: ET.Element) -> None:
             node.append(xrrds)
             for rd in self.remove_reaching_definitions:
                 rd.to_xml(xrrds)
+        if len(self.const_global_variables) > 0:
+            xcgvars = ET.Element("const-global-variables")
+            node.append(xcgvars)
+            for name in self.const_global_variables:
+                xcgvar = ET.Element("gvar")
+                xcgvar.set("name", name)
+                xcgvars.append(xcgvar)
 
     def __str__(self) -> str:
         lines: List[str] = []