使用编译技术将程序自动部署在特定平台上，并对程序进行适当的优化，实际上是一种对程序表示和架构细节不断抽象的过程。编译器中使用了大量的抽象技术，这使得一些规则的程序变换能够利用数学模型来求解和计算。如何对程序中的循环结构进行优化是提升程序性能的关键，因为循环占据了程序绝大部分的执行时间，并且循环的一些复杂控制结构和由此导致的依赖关系也很难用手工的方法进行处理。 7J+RT34Ub631c4t402oZa8YycWNt/5E27aU6A7B4+Nf27hdGytgzCHzUSKuwgb3j
