Update array implementation

Arrays now have 2 new properties, namely:

 * data_label which, if the array is not dynamic, will return the
 label of the memory address where the array element data resides.
 * data_ptr_label, which is a pointer (for any array, dynamic or
 static) to the data element area.

Accessing the first is slightly faster but only allowed in static
global arrays, accessing the latter always works and is more versatile.
Dynamic arrays are currently not implemented, but this scheme now allows
them!

The var symbol now returns the data_label when requiring its 't'
(tree static value) symbol.

The arrayaccess symbol now returns only the offset of the element.

Author: boriel

symbols/arrayaccess.py

@@ -14,7 +14,6 @@
 from api.errmsg import warning
 from api.check import is_number
 from api.check import is_const
-from api.constants import TYPE
 
 from .call import SymbolCALL
 from .number import SymbolNUMBER as NUMBER
@@ -91,7 +90,7 @@ def offset(self):
                 break
 
         if offset is not None:
-            offset = TYPE.size(gl.SIZE_TYPE) + TYPE.size(gl.BOUND_TYPE) * len(self.arglist) + offset * self.type_.size
+            offset *= self.type_.size
 
         return offset
 

symbols/var.py

@@ -110,7 +110,10 @@ def t(self):
             return str(self.default_value)
 
         if self.scope == SCOPE.global_:
-            return self.mangled
+            if self.class_ == CLASS.array:
+                return self.data_label
+            else:
+                return self.mangled
 
         if self.type_ is None or not self.type_.is_dynamic:
             return self._t

symbols/vararray.py

@@ -48,4 +48,12 @@ def size(self):
     def memsize(self):
         """ Total array cell + indexes size
         """
-        return self.size + 1 + TYPE.size(gl.BOUND_TYPE) * len(self.bounds)
+        return 2 * TYPE.size(gl.PTR_TYPE)
+
+    @property
+    def data_label(self):
+        return '{}.{}'.format(self.mangled, gl.ARRAY_DATA_PREFIX)
+
+    @property
+    def data_ptr_label(self):
+        return '{}.{}'.format(self.data_label, '__PTR__')