Code transformation that improves performance by leveraging high-level program semantics not visible in low-level intermediate representations.