[pypy-svn] r31194 - pypy/dist/pypy/translator/llvm

[arigo at codespeak.net]

Author: arigo
Date: Wed Aug  9 12:44:14 2006
New Revision: 31194

Modified:
   pypy/dist/pypy/translator/llvm/database.py
Log:
Fix LLVM tests.


Modified: pypy/dist/pypy/translator/llvm/database.py
==============================================================================
--- pypy/dist/pypy/translator/llvm/database.py	(original)
+++ pypy/dist/pypy/translator/llvm/database.py	Wed Aug  9 12:44:14 2006
@@ -15,6 +15,7 @@
 from pypy.objspace.flow.model import Constant, Variable
 from pypy.rpython.memory.lladdress import NULL
 from pypy.rpython.objectmodel import Symbolic, ComputedIntSymbolic
+from pypy.rpython.objectmodel import CDefinedIntSymbolic
 
 log = log.database 
 
@@ -496,8 +497,10 @@
                                                                      r(from_),
                                                                      indices_as_str)
         elif isinstance(value, ComputedIntSymbolic):
-            # XXX what does this do?  Is this safe?
+            # force the ComputedIntSymbolic to become a real integer value now
             repr = '%d' % value.compute_fn()
+        elif isinstance(value, CDefinedIntSymbolic):
+            repr = CDEFINED_VALUE[value.expr]
         else:
             raise NotImplementedError("symbolic: %r" % (value,))
         
@@ -544,3 +547,8 @@
             raise Exception("unsupported offset")
 
         return from_, indices, to    
+
+# reprs for specific CDefinedIntSymbolic constants
+CDEFINED_VALUE = {
+    'MALLOC_ZERO_FILLED': '1',
+    }