这一版本重点在于过程间优化(IPO)框架和相应的优化实现:
- 基于剖视的内联,对于一些递归深度小的函数也可以实现内联。
- 通过副作用分析确定纯函数和常函数。
- 静态变量引用分析和type escape分析,消除冗余load操作和进行更好的寄存器分配。
- 提高基于RTL的别名分析。
- 全程序优化(-fwhole-program --combine )。
还有一个重点是向量化。自从引入SSA之后,很多优化都基于SSA进行。
关于纯函数和常函数:
- 纯函数(pure function)是指不会影响它自己范围外任何事情的函数。它可以读取全局变量或者通过指针传递的变量,但是不可以对这些变量进行些操作。它也不可以读取volatile变量和外部资源(比如文件)。“函数的结果只依赖参数”。
- 常函数(const function)是纯函数的更严格版本。它不会读取和写除参数外的任何数据,也不可以使用指针参数来读取数据。“函数的结果依赖于参数和全局及内存变量”。
- 对于纯函数和常函数,如果返回值为void类型,则没有任何意义。GCC可以通过这些信息来进行CSE优化,比如对于常函数,如果参数在多次调用时不便,则GCC将替换后面的函数调用为前面已执行函数的返回值。
- 函数属性是C语言的GNU扩展,允许程序员为GCC提供更多的信息。它作为函数声明的一部分,通过关键字__attribute__来制定。比如,int func(int a, int b) __attribute__ (pure);。一个函数可以具有多个属性。
阅读(2388) | 评论(0) | 转发(0) |