CF Bolz-Tereick    Last summer, Shriram Krishnamurthi asked on Twitter: I’m curious what the current state of tracing JITs is. They used to be all the rage for a while, then I though I heard they weren’t so effective, then I haven’t heard of them at all. Is the latter because they are ubiquitous, or because they...

mattip    We are steadily working towards a Python . interpreter, which will be part of the upcoming PyPy . . release. Along with that, we also recently updated speed.pypy.org to compare PyPy’s performance to CPython . it used to be CPython . . Why is there no PyPy for Python . TL;DR: we...

Corbin    Introduction This post started as a quick note summarizing a recent experiment I carried out upon a small RPython interpreter by rewriting it in an uncommon style. It is written for folks who have already written some RPython and want to take a deeper look at interpreter architecture. Some...

CF Bolz-Tereick    As is probably apparent from the sequence of blog posts about the topic in the last year, I have been thinking about and working on integer optimizations in the JIT compiler a lot. This work was mainly motivated by Pydrofoil, where integer operations matter a lot more than for your typical Python...

The PyPy Team    The PyPy project is always happy to hear about industrial use and deployments of PyPy. For the GC bug finding task earlier this year, we collaborated with PortaOne and we’re super happy that Serhii Titov, head of the QA department at PortaOne, was up to writing this guest post to describe their...

mattip    PyPy v . . : release of python . and . The PyPy team is proud to release version . . of PyPy. This release includes a new RISC V JIT backend, an improved REPL based on work by the CPython team, and better JIT optimizations of integer operations. Special shout outs to Logan Chien for the...

mattip    Conda forge has kindly been providing support for PyPy since . The conda forge team has been very patient and generous with resources, but it seems the uptake of PyPy has not justified the effort. Major packages still are not available on PyPy, others find it hard to update versions. We don’t...

CF Bolz-Tereick    After Max’ introduction to abstract interpretation for the toy optimizer in the last post, I want to present a more complicated abstract domain in this post. This abstract domain reasons about the individual bits of a variable in a trace. Every bit can be either known zero , known one or ...

Max Bernstein    This is a cross post from Max Bernstein from his excellent blog where he writes about programming languages, compilers, optimizations, virtual machines. He’s looking for a dynamic language runtime or compiler related job too. CF Bolz Tereick wrote some excellent posts in which they introduce a...

CF Bolz-Tereick    In my last post I’ve described how to use Z to find simple local peephole optimization patterns for the integer operations in PyPy’s JIT. An example is int and x, gt; . In this post I want to scale up the problem of identifying possible optimizations to much bigger instruction sequences,...