C++学习--编译优化

2021-02-13 11:18

阅读:437

标签:工作   配置   完全   初始   rand   强制   一个   data-   应该   

常量折叠

把常量表达式的值求出来作为常量嵌在最终生成的代码中。

疑问:对于一个很复杂的常量表达式,编译器会算出结果再编译吗?亦或者是把这个表达式完全翻译成机器码,最终留给程序去解决?

分情况:

  • 涉及的常量折叠是否为语言规范所强制要求的,如果是,则符合规范的编译器就一定要(会)进行常量折叠。
  • 如果不符合上一条,那是编译器实现质量的问题。一个编译器可以自由选择是否做常量折叠优化。同一编译器有可能可以配置在不同的优化层级上工作,或许有些再低优化层级没有被常量折叠的代码,在高优化层级会被优化。

常量传播

考虑如下例子:

int x = 40;
int y = x + 2;

像C语言、Java语言之类的,语言规范层面上都不会把y的初始化表达式 x + 2 规定为一个常量表达式。但我们直觉上觉得编译器应该能把它也给常量折叠起来。

这就需要常量传播优化了。

但是一个变量被允许多次赋值,如:

int x = 40;
x = rand();
int y = x + 2;

要实现常量传播,必须依赖『到达定值』的前向数据流分析 (fastword data-flow analysis)——确定某个定值能被传播到哪些使用点。

C++学习--编译优化

标签:工作   配置   完全   初始   rand   强制   一个   data-   应该   

原文地址:https://www.cnblogs.com/CocoML/p/12727165.html


评论


亲,登录后才可以留言!