Escape Analysis in Go: Why Your Local Variable Escaped
Go’s escape analysis models variables as locations in a weighted graph, walks assignment paths looking for anything that outlives its stack frame, and stamps each variable with …
Compiler
Go Passes Arguments in Registers: The Register ABI and Its Transparent Wrappers
Go’s internal ABI passes arguments in registers, uses fixed registers for the goroutine pointer and a zero value, and generates ABI wrappers so old assembly keeps working.
Go's Experimental SIMD Package: Vector Registers Without Assembly
Go’s SIMD package exposes portable vector types that the compiler lowers to AVX or NEON instructions, with a source-to-source rewrite pass that specialises code for the vector …
Go's Generics: Dictionary Passing, Shape Stenciling and GC Shape
Generic code is shared per shape, the concrete types arrive in a flat dictionary of machine words, and the shape’s layout is what makes the sharing safe.
Go's Inliner: A Budget of 80 Nodes and the Art of the Cheat Sheet
The Go inliner charges one unit per IR node against a budget of 80, rejects defer/go/tailcall outright, and with a PGO profile it will inline hot call sites costing up to 2000.