They have dozens of passes for semantic analysis and optimization, often configurable via flags, and they target dozens of different architectures.