Chinaunix首页 | 论坛 | 博客
  • 博客访问: 3146509
  • 博文数量: 117
  • 博客积分: 10003
  • 博客等级: 上将
  • 技术积分: 5405
  • 用 户 组: 普通用户
  • 注册时间: 2007-01-23 09:34
文章分类

全部博文(117)

文章存档

2011年(1)

2010年(10)

2009年(69)

2008年(37)

分类: LINUX

2008-04-14 16:21:45

这一版本重点在于过程间优化(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) |
给主人留下些什么吧!~~