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