基本知识,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 强烈推荐!

05-18 19:04