Skip to content

Instantly share code, notes, and snippets.

@zain

zain/gist:6998875

Created October 15, 2013 21:22
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save zain/6998875 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save zain/6998875 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.py
# i added this test
def test_int_add_ovf_commutative(self):
ops = """
[i0, i1]
i2 = int_add_ovf(i0, i1)
i3 = int_add_ovf(i1, i0)
jump(i2, i3)
"""
expected = """
[i0, i1]
i2 = int_add_ovf(i0, i1)
jump(i2, i2)
"""
self.optimize_loop(ops, expected)
# it fails because ops are actually:
(Pdb) print '\n'.join([str(o) for o in loop.operations])
label(i0, i1, descr=<rpython.jit.metainterp.history.TargetToken object at 0x000000010633c528>)
i3 = int_add_ovf(i1, i0)
jump(i2, i3, descr=<rpython.jit.metainterp.history.TargetToken object at 0x000000010633c528>)
@zain
Copy link
Author

zain commented Oct 15, 2013 

rpython/jit/metainterp/optimizeopt/util.py:151: AssertionError
------------------------------------------------------ Captured stdout ------------------------------------------------------
label(i0, i1, descr=<rpython.jit.metainterp.history.TargetToken object at 0x00000001063988e0>)
i3 = int_add_ovf(i1, i0)
jump(i2, i3, descr=<rpython.jit.metainterp.history.TargetToken object at 0x00000001063988e0>)
------------------------------- Comparing lists --------------------------------
               optimized               |                 expected
label(i0, i1, descr=<rpython.jit.metain| label(i0, i1, descr=<rpython.jit.metain
terp.history.TargetToken object at 0x00| terp.optimizeopt.test.test_util.FakeDes
000001063988e0>)                       | cr object at 0x0000000106398a30>)
i3 = int_add_ovf(i1, i0)               | i2 = int_add_ovf(i0, i1)
------------------------------------------------------ Captured stderr ------------------------------------------------------
[172] {jit-optimize
[172] jit-optimize}
================================================== short test summary info ==================================================
FAIL rpython/jit/metainterp/optimizeopt/test/test_optimizebasic.py::TestLLtype::()::test_int_add_ovf_commutative
===================================== 1 failed, 226 passed, 27 skipped in 5.72 seconds ======================================

@zain
Copy link
Author

zain commented Oct 15, 2013 

(Pdb) print '\n'.join([str(o) for o in loop.operations])
label(i0, i1, descr=<rpython.jit.metainterp.history.TargetToken object at 0x000000010633c528>)
i3 = int_add_ovf(i1, i0)
jump(i2, i3, descr=<rpython.jit.metainterp.history.TargetToken object at 0x000000010633c528>)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment