Hacker News with Generative AI: Compiler Optimization

Flattening ASTs and other compiler data structures (2023) (cs.cornell.edu)
Arenas, a.k.a. regions, are everywhere in modern language implementations. One form of arenas is both super simple and surprisingly effective for compilers and compiler-like things. Maybe because of its simplicity, I haven’t seen the basic technique in many compiler courses—or anywhere else in a CS curriculum for that matter. This post is an introduction to the idea and its many virtues.
You can use C-Reduce for any language (bernsteinbear.com)
C-Reduce is a tool by Regehr and friends for minimizing C compiler bug reproducers.
Ubuntu Praises 5~7% PGO Compiler Optimization Performance Benefits (phoronix.com)
Over the past year we have seen Canonical engineers focus more on optimizing the performance potential of Ubuntu Linux.
Compiler Optimization in a Language You Can Understand (sbaziotis.com)
Scalable self-improvement for compiler optimization (research.google)
We introduce Iterative BC-Max, a novel technique that aims to reduce the size of the compiled binary files by improving inlining decisions. We describe several benefits to using this approach compared to using off-the-shelf RL algorithms.
Optimisation-dependent IR decisions in Clang (convolv.es)
Mining JIT traces for missing optimizations with Z3 (pypy.org)
Hash-based bisect debugging in compilers and runtimes (swtch.com)
Meta Large Language Model Compiler: Foundation Models of Compiler Optimization (meta.com)
The Swift compiler is slow due to how types are inferred (danielchasehooper.com)
Writing Memory Safe JIT Compilers (medium.com)
Efficiently synthesizing lowest cost rewrite rules for instruction selection (arxiv.org)
A collection of compiler optimizations with brief descriptions and examples (compileroptimizations.com)
Clang’s -O0 output: branch displacement and size increase (maskray.me)
Dataflow Analyses and Compiler Optimizations That Use Them, for Free (regehr.org)