编译器优化代码都干了些什么不为人知的事情?
2016-10-23 13:23
302 查看
首先介绍两个优化概念
常量传播
将编译期间可计算出结果的变量转换成常量,减少了变量的使用。
变量nVal是一个在编译期间可以计算出结果的变量,借助常量传播代码等价于:
常量折叠
当计算公式中出现多个变量进行计算的情况时,且编译器可以在编译期间计算出结果时,用结果代替所有的常量计算。
"1 + 6 - 2 + 1 * 2"的值可以再编译过程中计算出来,所以编译器会将计算的结果代替原表达式
此时变量nVar是一个在编译期间可计算出结果的变量,在借助“常量传播”等价于:
编译器在release模式,会尝试使用常量替换掉变量,如果在程序的执行过程中,声明的变量没有没修改过,而且上下文中不存在对该变量的取地址和节间访问操作,那么这个变量就会被替换为常量。使用常量的好处是可以生成立即寻址的目标代码,减少内存的访问次数,提高效率。
下面我们把变量的初始值修改为一个在编译期间无法确定的值,命令行参数的个数argc,编译器无法在编译过程中得知结果,所以变量也就不会被常量替换掉。
argc的含义是argument count:它是一个int行变量,表示传递给main函数的参数数量;
argv的含义是argument value(值):它是一个指向字符串的指针数组,每个指针元素指向各个具体
的参数;
优化后:
常量传播
将编译期间可计算出结果的变量转换成常量,减少了变量的使用。
int main() { int nVar = 1; printf("nVar = %d \n", nVar); }
变量nVal是一个在编译期间可以计算出结果的变量,借助常量传播代码等价于:
int main() { printf("nVar = %d \n", 1); }
常量折叠
当计算公式中出现多个变量进行计算的情况时,且编译器可以在编译期间计算出结果时,用结果代替所有的常量计算。
int main() { int nVar = 1 + 6 - 2 + 1 * 2; printf("nVar = %d \n", nVar); }
"1 + 6 - 2 + 1 * 2"的值可以再编译过程中计算出来,所以编译器会将计算的结果代替原表达式
int main() { int nVar = 7; printf("nVar = %d \n", nVar); }
此时变量nVar是一个在编译期间可计算出结果的变量,在借助“常量传播”等价于:
int main() { printf("nVar = %d \n", 7); }
编译器在release模式,会尝试使用常量替换掉变量,如果在程序的执行过程中,声明的变量没有没修改过,而且上下文中不存在对该变量的取地址和节间访问操作,那么这个变量就会被替换为常量。使用常量的好处是可以生成立即寻址的目标代码,减少内存的访问次数,提高效率。
下面我们把变量的初始值修改为一个在编译期间无法确定的值,命令行参数的个数argc,编译器无法在编译过程中得知结果,所以变量也就不会被常量替换掉。
argc的含义是argument count:它是一个int行变量,表示传递给main函数的参数数量;
argv的含义是argument value(值):它是一个指向字符串的指针数组,每个指针元素指向各个具体
的参数;
#include <stdio.h> int main(int argc, char* argv[]) { int nVarOne = argc ; int nVarTwo = argc ; nVarOne = nVarOne + 1; nVarOne = 1 + 2; nVarOne = nVarOne + nVarTwo; printf( "nVarOne = %d \n" ,nVarOne); return 0; }
优化后:
#include <stdio.h> int main(int argc, char* argv[]) { // int nVarOne = argc; 被常量代替 // int nVarTwo = argc; 后面没有对nVarTwo修改 等价于引用argc nVarTwo被删掉(复写传播) // // nVarOne = nVarOne + 1; 可计算 被删除 // nVarOne = 1 + 2; 常量折叠 等价于nVarOne = 3; // nVarOne = nVarOne + nVarTwo; 常量传播 复写传播等价于 nVarOne = 3 + argc; // printf("nVarOne = %d \n",nVarOne); // 在输出之前没有对nVarOne进行操作输出等价于 printf( "nVarOne = %d \n" ,3 + argc ); return 0; }
相关文章推荐
- 编译器优化代码都干了些什么不为人知的事情?
- 编译器优化代码都干了些什么不为人知的事情?
- c#编译器的减少冗余代码优化
- c# 编译器优化的功劳?与泛型有关的代码的疑惑
- volatile与编译器代码优化浅析
- volatile与编译器代码优化浅析
- C编译器剖析_5.2.4 中间代码生成及优化_后缀表达式的翻译
- Bug经典回放四--别让编译器优化掉你想要执行的代码
- C++初探:c和c++的区别简述,以及编译器对代码做了什么?
- 编译器,优化,及目标代码生成.
- 编译器级别的代码优化对比
- GCC编译器代码优化
- GCC编译器优化选项分析及具体优化了什么
- C# 由于代码已经过优化或者本机框架位于调用堆栈之上,无法计算表达式的值。这个错误是什么原因引起的?
- C++编译器到底能帮我们把代码优化到什么程度?
- 编译器级别的代码优化对比
- 代码运行效率的简单测试(编译器,反射,优化后的反射)
- C++编译器到底能帮我们把代码优化到什么程度?
- C++编译器到底能帮我们把代码优化到什么程度?
- C编译器剖析_5.1 中间代码生成及优化_简介