Compilador que analisa sua saída (linguagem assembly ou código de máquina) para produzir sequências de instrução mais eficientes (menores e/ou mais rápidas).
