https://mica-dev.com/learn/ssa/Recent content in SSA from Scratch, with Mica on Micahttps://mica-dev.com/Mica%20Development%20Web.jpeghttps://mica-dev.com/Mica%20Development%20Web.jpegHugoenhttps://mica-dev.com/learn/ssa/why-ssa/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/learn/ssa/why-ssa/The intermediate code a compiler works on, the question every optimization asks of it — which write does this read see? — the dataflow answer, and the SSA answer, which puts the reply into the name.https://mica-dev.com/learn/ssa/graph-and-dominance/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/learn/ssa/graph-and-dominance/Basic blocks and the edges between them, a loop as a back edge, and the dominator tree with its dominance frontiers: the structure SSA is built on, read from the compiler's own files.https://mica-dev.com/learn/ssa/phi-placement/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/learn/ssa/phi-placement/Why two versions of a variable can only meet at a dominance frontier, how the frontier is iterated because a φ is itself a write, and why a variable nobody reads gets no φ at all: placement, worked by hand and checked against the compiler.https://mica-dev.com/learn/ssa/renaming/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/learn/ssa/renaming/How every write becomes a new version and every read finds the one version that reaches it: one walk over the dominator tree with a stack per variable, worked by hand and checked line by line against the compiler's SSA listing.https://mica-dev.com/learn/ssa/optimizations/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/learn/ssa/optimizations/Forwarding, constant folding, value numbering and dead code, each shown before and after on a small routine, with the ledger in which the compiler counts its own work: why one definition per name makes each of them short.https://mica-dev.com/learn/ssa/leaving-ssa/Mon, 01 Jan 0001 00:00:00 +0000https://mica-dev.com/learn/ssa/leaving-ssa/A machine has no φ functions, so the form must be left before code is made: the textbook's copies, the lost copy and the swap that break them, conventional SSA, and how Mica leaves the form by renaming alone — with the further reading for the whole series.