PyPy Blog company blog

Mining JIT traces for missing optimizations with Z3

by CF Bolz-Tereick pypy.org published 2024-07-1913 min read

In my last post I've described how to use Z3 to find simple local peephole optimization patterns for the integer operations in PyPy's JIT. An example is int_and(x, 0) -> 0. In this post I want to scal

Points

125

HN comments

42

Submissions

1

Cited by

0 commenters

Software EngineeringAI & Machine Learning2024

Related posts from the same era

Reverse engineering Ticketmaster's rotating barcodes

conduition20242,305 points714 comments details

Uv is the best thing to happen to the Python ecosystem in a decade

Dr. Emily L. Hunt20252,214 points1,324 comments details

Anthropic acquires Bun

Bun Blog20252,192 points1,072 commentscited by 7 details

Anyone can access deleted and private repository data on GitHub

Truffle Security Blog20241,983 points374 commentscited by 8 details

ChatGPT Plugins

OpenAI Blog20231,875 points1,106 commentscited by 14 details

A 10x Faster TypeScript

Microsoft Developer Blogs20251,827 points907 commentscited by 14 details