GCC：从AST到GIMPLE

摘要: 当 gimplify_function_tree（）最终从 finish_function（）调用时，AST 被 gimplified 化。GIMPLE 表示基于中描述的 SIMPLE根据这篇论文，目标是将树表示为基本树语句：疙瘩树x=a 双质 bx=一个x=演员 bf（参数）* ...

当 gimplify_function_tree（）最终从 finish_function（）调用时，AST 被 gimplified 化。

GIMPLE 表示基于 ^[2] 中描述的 SIMPLE

根据这篇论文，目标是将树表示为基本树语句：

根据需要在函数中创建临时变量 create_tmp_var（）和 declare_tmp_vars（）。

在此阶段，GCC 优化复杂的条件表达式，即

 if (a || b) stmt;

翻译成

 if (a) goto L1;
 if (b) goto L1; else goto L2;
 L1:
 stmt;
 L2:

此外，条件表达式的每个分支都包装在 STATEMENT_LIST树。

上一篇：GCC：从源代码到AST下一篇：GCC：从GIMPLE到RTL

已有0条评论

本文作者

2024-2-14 01:48

作者其他文章