[pypy-commit] pypy stmgc-c4: yet another failing test for stmrewrite
Raemi
noreply at buildbot.pypy.org
Wed Jul 31 13:31:25 CEST 2013
Author: Remi Meier <remi.meier at gmail.com>
Branch: stmgc-c4
Changeset: r65859:7134c15384b9
Date: 2013-07-31 12:39 +0200
http://bitbucket.org/pypy/pypy/changeset/7134c15384b9/
Log: yet another failing test for stmrewrite
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
@@ -108,6 +108,26 @@
p5 = getfield_gc(p1, descr=tzdescr)
""")
+ def test_invalidate_read_status_after_write_to_field(self):
+ self.check_rewrite("""
+ [p0]
+ p1 = getfield_gc(p0, descr=tzdescr)
+ p2 = getfield_gc(p0, descr=tzdescr)
+ p3 = getfield_gc(p1, descr=tzdescr)
+ setfield_gc(p2, p0, descr=tzdescr)
+ p4 = getfield_gc(p1, descr=tzdescr)
+ """, """
+ [p0]
+ p1 = getfield_gc(p0, descr=tzdescr)
+ p2 = getfield_gc(p0, descr=tzdescr)
+ cond_call_stm_b(p1, descr=P2Rdescr)
+ p3 = 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)
+ p4 = getfield_gc(p1, descr=tzdescr)
+ """)
+
def test_rewrite_write_barrier_after_malloc(self):
self.check_rewrite("""
[p1, p3]
More information about the pypy-commit
mailing list