Beyond the Phase Ordering Problem: Finding the Globally Optimal Code w.r.t. Optimization Phases

Yu Wang, Hongyu Chen, Ke Wang

In this paper, we propose a new concept called \textit{semantically equivalence} \wrt \textit{optimization phases} \textit{(\sep)}, which defines the set of programs a compiler con…