On Thu, Apr 14, 2011 at 2:44 PM, antocuni <[email protected]> wrote: > Author: Antonio Cuni <[email protected]> > Branch: > Changeset: r43345:fd3f23ae8324 > Date: 2011-04-14 14:42 +0200 > http://bitbucket.org/pypy/pypy/changeset/fd3f23ae8324/ > > Log: port test_intbound_addsub_ge to test_pypy_c_new > > diff --git a/pypy/module/pypyjit/test_pypy_c/test_pypy_c_new.py > b/pypy/module/pypyjit/test_pypy_c/test_pypy_c_new.py > --- a/pypy/module/pypyjit/test_pypy_c/test_pypy_c_new.py > +++ b/pypy/module/pypyjit/test_pypy_c/test_pypy_c_new.py > @@ -1194,3 +1194,33 @@ > --TICK-- > jump(p0, p1, p2, p3, i11, i13, descr=<Loop0>) > """) > + > + def test_intbound_addsub_ge(self): > + def main(n): > + i, a, b = 0, 0, 0 > + while i < n: > + if i + 5 >= 5: > + a += 1 > + if i - 1 >= -1: > + b += 1 > + i += 1 > + return (a, b) > + # > + log = self.run(main, [300], threshold=200) > + assert log.result == (300, 300) > + loop, = log.loops_by_filename(self.filepath) > + assert loop.match(""" > + i10 = int_lt(i8, i9) > + guard_true(i10, descr=...) > + # XXX: why do we need ovf check here? If we put a literal "300" > + # instead of "n", it disappears
With n==sys.maxint, the operation i+5 would be the one overflowing. -- Håkan Ardö _______________________________________________ [email protected] http://codespeak.net/mailman/listinfo/pypy-dev
