Author: Remi Meier <remi.me...@gmail.com> Branch: stmgc-c4 Changeset: r65774:ca6cec2712bf Date: 2013-07-29 11:28 +0200 http://bitbucket.org/pypy/pypy/changeset/ca6cec2712bf/
Log: add failing test for repeating a read_barrier after a write_barrier diff --git a/rpython/jit/backend/llsupport/test/test_stmrewrite.py b/rpython/jit/backend/llsupport/test/test_stmrewrite.py --- a/rpython/jit/backend/llsupport/test/test_stmrewrite.py +++ b/rpython/jit/backend/llsupport/test/test_stmrewrite.py @@ -64,6 +64,26 @@ jump() """, t=NULL) + def test_invalidate_read_status_after_write(self): + self.check_rewrite(""" + [p0] + p1 = same_as(p0) + p2 = same_as(p0) + p4 = getfield_gc(p1, descr=tzdescr) + setfield_gc(p2, p0, descr=tzdescr) + p5 = getfield_gc(p1, descr=tzdescr) + """, """ + [p0] + p1 = same_as(p0) + p2 = same_as(p0) + cond_call_stm_b(p1, descr=P2Rdescr) + p4 = getfield_gc(p1, descr=tzdescr) + cond_call_stm_b(p2, descr=P2Wdescr) + setfield_gc(p2, p0, descr=tzdescr) + cond_call_stm_b(p1, descr=P2Rdescr) + p5 = getfield_gc(p1, descr=tzdescr) + """) + def test_rewrite_write_barrier_after_malloc(self): self.check_rewrite(""" [p1, p3] _______________________________________________ pypy-commit mailing list pypy-commit@python.org http://mail.python.org/mailman/listinfo/pypy-commit