compiler: Add _mem_shared_dynamic

Author: FabioLuporini

devito/ir/iet/visitors.py

@@ -244,7 +244,12 @@ def _gen_value(self, obj, mode=1, masked=()):
 
         if (obj._mem_stack or obj._mem_constant) and mode == 1:
             strtype = obj._C_typedata
-            strshape = ''.join('[%s]' % ccode(i) for i in obj.symbolic_shape)
+            if obj._mem_shared_dynamic:
+                strshape = '[]'
+                strshape += ''.join('[%s]' % ccode(i)
+                                    for i in obj.symbolic_shape[1:])
+            else:
+                strshape = ''.join('[%s]' % ccode(i) for i in obj.symbolic_shape)
         else:
             strtype = ctypes_to_cstr(obj._C_ctype)
             strshape = ''

devito/types/basic.py

@@ -42,7 +42,7 @@ class CodeSymbol:
         * "liveness": `_mem_external`, `_mem_internal_eager`, `_mem_internal_lazy`
         * "space": `_mem_local`, `_mem_mapped`, `_mem_host`
         * "scope": `_mem_stack`, `_mem_heap`, `_mem_global`, `_mem_shared`,
-                   `_mem_constant`
+                   `_mem_shared_dynamic`, `_mem_constant`
 
     For example, an object that is `<_mem_internal_lazy, _mem_local, _mem_heap>`
     is allocated within the Operator entry point, on either the host or device
@@ -211,6 +211,20 @@ def _mem_shared(self):
         """
         return False
 
+    @property
+    def _mem_shared_dynamic(self):
+        """
+        True if the associated data is allocated in so called shared memory,
+        and such shared memory isn't statically available in the local memory
+        address space, False otherwise.
+
+        Notes
+        -----
+        This property doesn't say anything about the actual allocation strategy,
+        which therefore may be either static or dynamic.
+        """
+        return False
+
 
 class Basic(CodeSymbol):