Author: Armin Rigo <ar...@tunes.org>
Branch:
Changeset: r50174:0d1f6b514b53
Date: 2011-12-05 18:22 +0100
http://bitbucket.org/pypy/pypy/changeset/0d1f6b514b53/
Log: Add a failing test.
diff --git a/pypy/jit/metainterp/test/test_recursive.py
b/pypy/jit/metainterp/test/test_recursive.py
--- a/pypy/jit/metainterp/test/test_recursive.py
+++ b/pypy/jit/metainterp/test/test_recursive.py
@@ -1238,6 +1238,30 @@
self.meta_interp(portal, [0, 0, 0], inline=True)
self.check_resops(call_may_force=0, call=0)
+ def test_dont_repeatedly_trace_from_the_same_guard(self):
+ driver = JitDriver(greens = [], reds = ['level', 'i'])
+
+ def portal(level):
+ if level == 0:
+ i = -10
+ else:
+ i = 0
+ #
+ while True:
+ driver.jit_merge_point(level=level, i=i)
+ if level == 25:
+ return 42
+ i += 1
+ if i <= 0: # <- guard
+ continue # first make a loop
+ else:
+ # then we fail the guard above, doing a recursive call
+ return portal(level + 1)
+
+ self.meta_interp(portal, [0])
+ assert self.check_loop_count_at_most(3) # and not, e.g., 24
+
+
class TestLLtype(RecursiveTests, LLJitMixin):
pass
_______________________________________________
pypy-commit mailing list
pypy-commit@python.org
http://mail.python.org/mailman/listinfo/pypy-commit
