逆向工程之表达式优化识别(3)-除法(上)

除法优化

说明:除法相对其他几种运算的优化又要更难了，主要是其包含的数学知识（离散数学？）
由于我本人比较笨，也不喜欢深究数学，所以尽量跳过数学，以更直观的方式来解释（其实也就是我自己的理解方法了）

0 取整问题

取整分为向上取整和向下取整以及向0取整，我们在程序语言中的取整都是向0取整，但是有一些运算却是向下取整的，比如右移运算就是向下取整的，所以在负数的时候，为了保证向0取整，就会做一些调整。

1 除数为正数2的幂

说明:分为被除数大于0和小于0两种情况讨论。

• 对于被除数大于0的情况，算术右移（即有符号数的右移，其实在大于0的时候和逻辑右移同义）n位可以直接代替除以2的n次方，右移是向下取整的，对于大于0的情况，和向0取整同义，所以直接右移即可

• 对于被除数小于0的情况，算术右移依然向下取整，对于整数情况没有影响，但是对于非整数，向下取整将会违反向0取整的最终目的，所以需要调整。具体如图
  

  在这样的讨论下，对于大于0，我们直接右移，对于小于0，则为 (x + 2^n - 1)再右移n位。
  示例: