Um compilador que analisa sua saída (linguagem assembly ou código de máquina) para produzir seqüências de instrução (menores ou mais rápido) mais eficientes.