Ever wondered why some allocations happen on the heap and others stay on the stack?

Why certain calls get inlined but others don't? Why loop structure changes assembly output?

This is a full walkthrough of Go's compiler pipeline: lexing, parsing, type checking, IR lowering, SSA construction, optimization passes (inlining, escape analysis, bounds-check elimination), and code generation.

Includes concrete tools and experiments you can run today (GOSSAFUNC, -m, -S) to observe each phase yourself.