有符号非2的幂的第一种优化

\(\frac{x}{c}=x*\frac{2^n}{c}*\frac{1}{2^n}\)

这样就把除法转换为被除数x乘以一个整数,再右移n位的形式，但是有一个问题，因为右移n位是取下整

右移n位是取下整 例子：

? -3/2 = 0xFFFFFFFD / 2 =0xFFFFFFFD >> 1 = 0xFFFFFFFE = 0xFFFFFFFE.1 = -2

由于小数位1被舍去了，所以负数扩大了。

回到正题，当被除数是正数时，自然没问题，但是当被除数是负数时要向上取整才能得到正确的计算结果，所以要在被除数是负数时将去下整转换为去上整

首先将\(\frac{2^n}{c}\)变得略大一些，这样c就会比实际的除数略小一些，能这样做的原因是因为书上的推导6

有整数a,b和实数x且a$ \neq b,b\neq0$

\[-|\frac{1}{b}|\lt x \le 0, \lceil \frac{a}{b}+x\rceil = \lceil \frac{a}{b}\rceil \]

由于c比实际的除数略小于，除数为整数，所以c不等于整数（当a$ \neq 0\(），就满足了a\) \neq b,b\neq0\(的条件，又因被除数为负数，c比实际的除数略小于,所以\)\frac{x}{c}$比实际的值略小，所以才满足上面公式

又因为推导3

当x不为整数

\[\lfloor x \rfloor +1 = \lceil x \rceil \]

由于c不为整数，所以\(\frac{x}{c}\)也不为整数，满足上述公式，所以有下面的推导：

\[\lceil \frac{x}{c} \rceil = \lfloor \frac{x}{c} \rfloor+1 \]

最终得出除数为有符号非2的幂的优化

当x>=0

\[\lfloor\frac{x}{c}\rfloor=\lfloor x*\frac{2^n}{c}*\frac{1}{2^n}\rfloor \]

因为x>0,c比实际的除数略小，所以\(\frac{x}{c}\)比实际的值略大，满足当 \(0 \le x \lt |\frac{1}{b}|,\lfloor \frac{a}{b}+x\rfloor = \lfloor \frac{a}{b}\rfloor\)

注：右边的c要比实际的除数略小

当x<0

\[\lceil\frac{x}{c}\rceil=\lceil x*\frac{2^n}{c}*\frac{1}{2^n}\rceil = \lfloor x*\frac{2^n}{c}*\frac{1}{2^n}\rfloor+1 \]

参考书籍：C++反汇编与逆向分析技术揭秘 第二版