Kompilator, który analizuje jego wyjście (asembler lub kodu maszynowego) do produkcji bardziej efektywne sekwencji instrukcji (mniejsze lub szybsze).