[pypy-svn] r42368 - pypy/dist/pypy/objspace/flow

antocuni at codespeak.net antocuni at codespeak.net
Fri Apr 27 11:41:27 CEST 2007


Author: antocuni
Date: Fri Apr 27 11:41:27 2007
New Revision: 42368

Modified:
   pypy/dist/pypy/objspace/flow/model.py
Log:
(arigo, antocuni)

revert r32363 as suggested by Armin, because build_tree is not really
a transformation



Modified: pypy/dist/pypy/objspace/flow/model.py
==============================================================================
--- pypy/dist/pypy/objspace/flow/model.py	(original)
+++ pypy/dist/pypy/objspace/flow/model.py	Fri Apr 27 11:41:27 2007
@@ -573,8 +573,6 @@
 
 def checkgraph(graph):
     "Check the consistency of a flow graph."
-
-    from pypy.translator.oosupport.treebuilder import SubOperation
     if not __debug__:
         return
     try:
@@ -610,24 +608,19 @@
                 if in_link is not None:
                     assert vars[v] is None or vars[v] is in_link
 
-            def checkop(op):
+            for v in block.inputargs:
+                definevar(v)
+
+            for op in block.operations:
                 for v in op.args:
-                    assert isinstance(v, (Constant, Variable, SubOperation))
-                    if isinstance(v, SubOperation):
-                        checkop(v.op)
-                    elif isinstance(v, Variable):
+                    assert isinstance(v, (Constant, Variable))
+                    if isinstance(v, Variable):
                         usevar(v)
                     else:
                         assert v.value is not last_exception
                         #assert v.value != last_exc_value
                 if op.opname == 'direct_call':
                     assert isinstance(op.args[0], Constant)
-
-            for v in block.inputargs:
-                definevar(v)
-
-            for op in block.operations:
-                checkop(op)
                 definevar(op.result)
 
             exc_links = {}



More information about the Pypy-commit mailing list