编译器优化代码都干了些什么不为人知的事情?

Posted 程序人生

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了编译器优化代码都干了些什么不为人知的事情?相关的知识,希望对你有一定的参考价值。

第一时间关注程序猿(媛)身边的故事


首先介绍两个优化概念


常量传播


将编译期间可计算出结果的变量转换成常量,减少了变量的使用。


[cpp] view plain copy print?
int main()  
{  
    int nVar = 1;  
    printf("nVar = %d \n", nVar);  
}


变量 nVal 是一个在编译期间可以计算出结果的变量,借助常量传播代码等价于:


[cpp] view plain copy print?
int main()  
{  
    printf("nVar = %d \n", 1);  
}


常量折叠


当计算公式中出现多个变量进行计算的情况时,且编译器可以在编译期间计算出结果时,用结果代替所有的常量计算。


[cpp] view plain copy print?
int main()  
{      
    int nVar = 1 + 6 - 2 + 1 * 2;  
    printf("nVar = %d \n", nVar);  
}


"1 + 6 - 2 + 1 * 2"的值可以再编译过程中计算出来,所以编译器会将计算的结果代替原表达式


[cpp] view plain copy print?
int main()  
{  
    int nVar = 7;  
    printf("nVar = %d \n", nVar);  
}


此时变量 nVar 是一个在编译期间可计算出结果的变量,在借助「常量传播」等价于:


[cpp] view plain copy print?
int main()  
{  
    printf("nVar = %d \n", 7);  
}



下面我们把变量的初始值修改为一个在编译期间无法确定的值,命令行参数的个数 argc,编译器无法在编译过程中得知结果,所以变量也就不会被常量替换掉。


argc 的含义是 argument count:它是一个 int 行变量,表示传递给 main 函数的参数数量;


argv 的含义是 argument value(值):它是一个指向字符串的指针数组,每个指针元素指向各个具体的参数;


[cpp] view plain copy print?
#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;  
}


优化后:


[cpp] view plain copy print?
#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;  
}


点击图片get往期内容

以上是关于编译器优化代码都干了些什么不为人知的事情?的主要内容,如果未能解决你的问题,请参考以下文章

搜索系统13:一个查询从solr到lucene都干了些什么事?

swoft| 源码解读系列二: 启动阶段, swoft 都干了些啥?

一周读书哲学家,你们都干了些什么?

《哲学家们都干了些什么》——林欣浩

哲学家们都干了些什么?

修正版|Spark任务提交后都干了些什么?