《深入理解计算机系统》之代码优化

《深入理解计算机系统》是一本神书,适合深入学习计算机编程,了解运行原理。

编译器的代码优化, 有时会产生很多问题,如指针的别名和条件选择语句(?:)使用时就容易出现问题。

如 v = test-expr ? then-expr :else-expr;  优化后是vt = then-expr ; v=else-expr; if(test-expr ) v = vt; 这时如果结果表达式会产生副作用则会出现错误

有时权限提升也会是条件表达式语句出现错误。

在代码优化中,指针的使用经常阻扰编译器安全地优化代码。

eg 

void f1(int *xp,int *yp)

{

*xp += *yp;

*xp += *yp;

}


vod f2( int *  xp, int *yp)

{

*xp = 2 * *yp;

}

也许我们会期望编译器把f1优化为f2,但是编译器不会。f1 和 f2执行的结果并不始终一样, 当xp 和yp指向同一个内存时f1 和 f2 运行的结果不一样。

所以指针的别名问题会阻扰编译器安全地优化代码,也会产生一些意想不到的bug.

你可能感兴趣的:(编译器,优化,c语言)