Code Generation Quick Reference

Common TAC Instructions

t1 = a + b        // binary operation
t2 = -a           // unary operation
t3 = a            // copy
t4 = a[i]         // array load
a[i] = t5         // array store
t6 = &x           // address-of
t7 = *p           // pointer load
*p = t8           // pointer store
if t9 goto L1     // conditional jump
goto L2           // unconditional jump
param t10; call f // function call
t11 = call f      // function with return

Dataflow Equations

// GEN: variables used before defined in block
// KILL: variables defined in block
// IN[B] = USE[B] ∪ (OUT[B] - DEF[B])
// OUT[B] = ∪_{S∈succ(B)} IN[S]
// Live range: from definition to last use
// Interference graph: edge if ranges overlap