Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss?
By Hailong Jiang · Paper · cs.PL
Optimizing compilers miss profitable transformations when their enabling semantics are absent from the analyzed program representation. We ask whether large language models (LLMs) can recover such semantics from heterogeneous C/C++ context and realize them as validated, contract-