Scalar Replacement of Aggregates: How "Copy to Locals" Unlocks the Compiler (opens in new tab)

How copying a small aggregate into local variables exposes Scalar Replacement of Aggregates to LLVM, letting hot loops keep state in registers instead of repeatedly loading and storing through a pointer—illustrated with Zig/Rust reproductions and TigerBeetle's AEGIS-128L speedup.