1. Pypy
  2. Untitled project
  3. pypy

Commits

Remi Meier  committed 7134c15

yet another failing test for stmrewrite

  • Participants
  • Parent commits 94a435e
  • Branches stmgc-c4

Comments (0)

Files changed (1)

File rpython/jit/backend/llsupport/test/test_stmrewrite.py

View file
             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]