A compiler that analyzes its output (assembly language or machine code) to produce more efficient (smaller or faster) instruction sequences.