[pypy-svn] r66311 - pypy/branch/pyjitpl5-optimize4/pypy/jit/metainterp/test

[arigo at codespeak.net]

Author: arigo
Date: Fri Jul 17 18:18:44 2009
New Revision: 66311

Modified:
   pypy/branch/pyjitpl5-optimize4/pypy/jit/metainterp/test/test_optimize.py
Log:
Another test showing the issue.


Modified: pypy/branch/pyjitpl5-optimize4/pypy/jit/metainterp/test/test_optimize.py
==============================================================================
--- pypy/branch/pyjitpl5-optimize4/pypy/jit/metainterp/test/test_optimize.py	(original)
+++ pypy/branch/pyjitpl5-optimize4/pypy/jit/metainterp/test/test_optimize.py	Fri Jul 17 18:18:44 2009
@@ -393,7 +393,7 @@
         assert boxp2.knownclsbox.value == self.node_vtable_adr
         assert boxp3.knownclsbox.value == self.node_vtable_adr2
 
-    def test_find_nodes_new_aliasing(self):
+    def test_find_nodes_new_aliasing_1(self):
         py.test.skip("infinite loop")
         ops = """
         [sum, p1]
@@ -415,6 +415,18 @@
         self.find_nodes(ops, 'Not, Not',
                         boxkinds={'sum': BoxInt, 'sum2': BoxInt})
 
+    def test_find_nodes_new_aliasing_2(self):
+        py.test.skip("in-progress")
+        ops = """
+        [p1, p2]
+        escape(p2)
+        p3 = new_with_vtable(ConstClass(node_vtable), descr=nodesize)
+        jump(p3, p3)
+        """
+        # both p1 and p2 must be NotSpecNodes; it's not possible to pass
+        # in p1 a Virtual and not in p2, as they both come from the same p3.
+        self.find_nodes(ops, 'Not, Not')
+
 
 class TestLLtype(BaseTestOptimize, LLtypeMixin):
     pass