Carl Friedrich Bolz-Tereick pushed to branch branch/fix-intutils-ovf-bug at PyPy / pypy
Commits: cb49de15 by Carl Friedrich Bolz-Tereick at 2022-10-18T12:28:44+02:00 support for uint_mul_high --HG-- branch : fix-intutils-ovf-bug - - - - - fdaa1225 by Carl Friedrich Bolz-Tereick at 2022-10-18T12:29:53+02:00 start randomly generating traces, optimizing them, and checking with z3 --HG-- branch : fix-intutils-ovf-bug - - - - - 83b9b414 by Carl Friedrich Bolz-Tereick at 2022-10-18T13:05:13+02:00 ability to set a z3 timeout, plus print the rng state --HG-- branch : fix-intutils-ovf-bug - - - - - 4a7f7700 by Carl Friedrich Bolz-Tereick at 2022-10-18T13:34:39+02:00 fix propagate_bounds_INT_MUL, which is not always valid, only if no overflow occurs --HG-- branch : fix-intutils-ovf-bug - - - - - 0a06a2f0 by Carl Friedrich Bolz-Tereick at 2022-10-18T13:54:20+02:00 equivalent bug for lshift --HG-- branch : fix-intutils-ovf-bug - - - - - 9 changed files: - rpython/jit/backend/conftest.py - rpython/jit/backend/test/test_random.py - rpython/jit/conftest.py - rpython/jit/metainterp/optimizeopt/intbounds.py - rpython/jit/metainterp/optimizeopt/intutils.py - rpython/jit/metainterp/optimizeopt/test/test_intbound.py - rpython/jit/metainterp/optimizeopt/test/test_optimizeintbound.py - rpython/jit/metainterp/optimizeopt/test/test_z3checktests.py - rpython/jit/tool/oparser.py View it on Heptapod: https://foss.heptapod.net/pypy/pypy/-/compare/670108786695796cb324808f70db7f6c198879d3...0a06a2f0398df28f4b3f18a35cea278b0746956a -- View it on Heptapod: https://foss.heptapod.net/pypy/pypy/-/compare/670108786695796cb324808f70db7f6c198879d3...0a06a2f0398df28f4b3f18a35cea278b0746956a You're receiving this email because of your account on foss.heptapod.net.
_______________________________________________ pypy-commit mailing list -- pypy-commit@python.org To unsubscribe send an email to pypy-commit-le...@python.org https://mail.python.org/mailman3/lists/pypy-commit.python.org/ Member address: arch...@mail-archive.com
