vc编译器对 除法的优化

基本知识，7/2 和 6/2 在计算机中的商都为3.C语言的除法不等同于数学意义中的除法。

C语言的除法。采用向零取整的方法。

-______________0_______________+

只有在除数为常量的情况下。编译器才会出现优化。

1、除数为正数，2的幂的除法

#include "stdafx.h"
 
int main(int argc, char* argv[])
{
  int iNum = argc;
  printf("%d\r\n", iNum / );
  printf("%d\r\n", iNum / );
  return ;
}

对应Release版本的反汇编如下：

push    esi
mov     esi, dword ptr [esp+]
mov     eax, esi
cdq
sub     eax, edx
sar     eax,
push    eax
push    test.                    ;  ASCII "%d",CR,LF
call    test.
mov     eax, esi
add     esp,
cdq
and     edx,
add     eax, edx
sar     eax,
push    eax
push    test.                    ;  ASCII "%d",CR,LF
call    test.
add     esp,
xor     eax, eax
pop     esi
retn

是不是感觉很奇怪，怎么没有了除法指令。查阅CPU手册。除法的指令周期数。大得吓人。具体值得根据cpu型号。翻阅 手册。

所以。编译器想尽办法。就是为了避免产生除法。提高效率。

mov     esi, dword ptr [esp+]
mov     eax, esi
cdq
sub     eax, edx
sar     eax, 

cdq 是把符号位扩展到 edx. 然后做加法。我们知道。对于被除数为正的情况，其值不变。除以2的幂。等于做 sar右移。

对于被除数为负的情况。那么由于sar右移。等同于向下取整。由于C语言是向零取整。所以。必须想办法下整转上整。就满足了C语言的向零取整。

于是公式来了。 a为被除数，n为2的幂.     (a + 2^n - 1)/2^n

对于 iNum / 2 那就是等于  (iNum + 2 - 1)/2 。常量折叠。等于(iNum + 1)/2。除以2等于sar右移一位。

那么就完美解决了除以2且无分歧的优化。指令的总周期。相对于div指令要减少很多。

在按照公式推导 iNum /4 的情况。(iNum + 2^2 - 1) / 2^2 。常量折叠。等于(iNum + 3) / 4。除以4等于sar右移两位。

对应的汇编代码如下。

mov     eax, esi
cdq
and     edx,
add     eax, edx
sar     eax, 

推荐本书籍：《C++反汇编与逆向分析技术揭秘》。

国内第一家从事软件逆向工程师培训的机构。http://www.51asm.com 强烈推荐!