Author: Armin Rigo <[email protected]>
Branch: 
Changeset: r79678:69e036ea6be6
Date: 2015-09-17 19:53 +0200
http://bitbucket.org/pypy/pypy/changeset/69e036ea6be6/

Log:    Bug!

diff --git a/rpython/jit/backend/test/runner_test.py 
b/rpython/jit/backend/test/runner_test.py
--- a/rpython/jit/backend/test/runner_test.py
+++ b/rpython/jit/backend/test/runner_test.py
@@ -5000,3 +5000,56 @@
                 ]:
             self.execute_operation(rop.GUARD_SUBCLASS, [arg, klass], 'void')
             assert self.guard_failed == (not is_subclass)
+
+    def test_bug_from_optimize_cond_call(self):
+        loop = parse("""
+        [i0, i1]
+        i99 = int_sub(i0, i0)
+        force_spill(i99)
+        i2 = int_add(i0, i1)
+        i3 = int_add(i0, i1)
+        i4 = int_add(i0, i1)
+        i5 = int_add(i0, i1)
+        i6 = int_add(i0, i1)
+        i7 = int_add(i0, i1)
+        i8 = int_add(i0, i1)
+        i9 = int_add(i0, i1)
+        i10 = int_add(i0, i1)
+        i11 = int_add(i0, i1)
+        i12 = int_add(i0, i1)
+        i13 = int_add(i0, i1)
+        i14 = int_add(i0, i1)
+        i15 = int_add(i0, i1)
+        i16 = int_add(i0, i1)
+        i17 = int_add(i0, i1)
+        i18 = int_add(i0, i1)
+        i19 = int_add(i0, i1)
+        i20 = int_is_true(i99)
+        force_spill(i0)
+        force_spill(i1)
+        force_spill(i2)
+        force_spill(i3)
+        force_spill(i4)
+        force_spill(i5)
+        force_spill(i6)
+        force_spill(i7)
+        force_spill(i8)
+        force_spill(i9)
+        force_spill(i10)
+        force_spill(i11)
+        force_spill(i12)
+        force_spill(i13)
+        force_spill(i14)
+        force_spill(i15)
+        force_spill(i16)
+        force_spill(i17)
+        force_spill(i18)
+        force_spill(i19)
+        finish(i20, descr=finaldescr)
+        """, namespace={"finaldescr": BasicFinalDescr(1)})
+        looptoken = JitCellToken()
+        self.cpu.compile_loop(loop.inputargs, loop.operations, looptoken)
+        deadframe = self.cpu.execute_token(looptoken, 40, 2)
+        fail = self.cpu.get_latest_descr(deadframe)
+        res = self.cpu.get_int_value(deadframe, 0)
+        assert res == 0
_______________________________________________
pypy-commit mailing list
[email protected]
https://mail.python.org/mailman/listinfo/pypy-commit

Reply via email to