The process by which compilers examine code structure to identify optimization opportunities within their representation capabilities.