Author: Hakan Ardo <[email protected]>
Branch: jit-usable_retrace_3
Changeset: r60069:fd8a0b5b9ea0
Date: 2013-01-14 19:36 +0100
http://bitbucket.org/pypy/pypy/changeset/fd8a0b5b9ea0/
Log: handle overflows corectly
diff --git a/pypy/jit/metainterp/test/test_random_loops.py
b/pypy/jit/metainterp/test/test_random_loops.py
--- a/pypy/jit/metainterp/test/test_random_loops.py
+++ b/pypy/jit/metainterp/test/test_random_loops.py
@@ -1,6 +1,7 @@
from pypy.jit.metainterp.test.support import LLJitMixin
from pypy.rlib.jit import JitDriver
from random import choice, randrange
+from pypy.rlib.rarithmetic import intmask
import re
class IntBox(object):
@@ -11,10 +12,10 @@
return self.val
def add(self, other):
- return IntBox(self.value() + other.value())
+ return IntBox(intmask(self.value() + other.value()))
def sub(self, other):
- return IntBox(self.value() - other.value())
+ return IntBox(intmask(self.value() - other.value()))
def gt(self, other):
return IntBox(self.value() > other.value())
@@ -223,8 +224,9 @@
def test_jump_limit(self):
self.check('0A{a1+A}', max_back_jumps=10, a=10)
- def test_failure1(self):
-
self.check('{{c3+A{cc+Dda<({2b=}c7=(cd-Aae-Exe8+Ax)aa+Ab5-D2a-Dba=(0d+Be7-D6e+Bd3-A)0e+D)(a0=(x{79>})(0e>(x)9c+Ce3-Ccb>(5d=(08-Axx)da+B4d<(04-B7d+Eba+Axx09+B15-E))()33-Bc9<()({xba+Ec1+C0a=}4c+C79+Dxda<(0c+A)(5e+D9b+C2d-Bcc+D8b-A99-B3c-De4-Cc9+C)58-Bcc-Ae1-Be9-D)ae+A)xcc=(3c=(d5>(23+Bad+Bx8c-De5-Dac-Cd3-Cea+Ax)(xx)33-A{dc-D0b-Ab8-Cb1+Bd1+A28=}65+Aba<(x5c+Axba-C57+A3b-Deb+C)(cd+Bec+B30+Bbb+D45-De4-C)b8-Eae<(aa+Ce4-E1a+Dxa1+E)(d5-Ea2-Ex62+Bxx6a-D)be+B)c6+C3e+A)(5e+C4e-Ec9+Bx26-Ca8=()x)a3<(x10-Cd8-Aba-Ex{5c=})55+C)xd2-Ax98>}1}1}',
[49, 30, 28, 93, 22], 1000)
+ def test_overflow(self):
+ self.check('9A{aa+A}', max_back_jumps=100)
+ self.check('09-A{aa+A}', max_back_jumps=100)
def test_random_bytecode(self):
for i in xrange(1000):
_______________________________________________
pypy-commit mailing list
[email protected]
http://mail.python.org/mailman/listinfo/pypy-commit
