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