gimple

GIMPLE中间表示，是GCC中机器无关的中间表示，机器无关的优化基本都在这个层次上做。
http://gcc.gnu.org/onlinedocs/gccint/GIMPLE.html
在编译过程中，GCC使用了三种主要的中间语言来表示程序：GENERIC，GIMPLE和RTL。GENERIC是一种由每个前端生成的语言无关的表示。它用来作为解析器和优化器之间的接口。GENERIC是一种通用表示，能够表示GCC支持的所有语言程序。

GIMPLE和RTL用于优化程序。GIMPLE用于目标和语言无关的优化（例如，内联，常数传播，尾调用消除，冗余消除等）。与GENERIC比较相似，GIMPLE是一种语言无关的树型表示。不过，与GENERIC不同的是GIMPLE的语法有更多的限制：表达式不包含3个以上的操作数（函数调用除外），它没有控制流程结构，并且具有副作用的表达式只允许出现在赋值语句的右端

1 从 GENERIC 到GIMPLE
GENERIC是GCC最顶层的语言无关中间表示。
GCC 利用 “gimplifier” 将 GENERIC 中间表示转换为 GIMPLE中间表示。
因为GENERIC 是语法树形式的，所以这个转换过程是递归的。

对于一个函数，GENERIC中间表示将其存储在FUNCTION_DECL树节点中的DECL_SAVED_TREE域中。
然后通过调用函数gimplify_function_tree将其转换为GIMPLE.
具体的转换过程一般是 gimplify.c: gimplify_function_tree -> gimplify_body -> gimplify_stmt -> gimplify_expr .

GIMPLE中有一个lower的动作，用于将高层次的GIMPLE表示，解析成低层次的，这个lower动作在pass_lower_cf中完成。
比如，嵌套的作用域和表达式。 可以使用选项 -fdump-tree-gimple得到类C的GIMPLE表达形式

如下面程序：

int main()
{
int a;
if (a)
{
int b;
b = 2 + a + b;
}
return 0;
}
使用该选项得到的转换成C语言形式的GIMPLE中间表示为：

main ()
{
int D.1593;
int D.1594;
int a;

if (a != 0) goto ; else goto ;