《高效程序的奥秘》第二章读书笔记(二)

本文作者:riag
本文出处:http://blog.csdn.net/riag
声明: 本文可以不经作者同意, 任意复制, 转载, 但任何对本文的引用都请保留文章开始前三行的作者, 出处以及声明信息. 谢谢.

 

 

 

书中列出了一些恒等式:

 

1.  -x = ~x +1

         = ~(x-1)

2
.  ~x = -x-1




3.  -~x = x+1



4
. ~-x = x-1



5. x+y = x-~y-1

           = (x^y)+2(x&y)

           = (x|y) + (x&y)

           = 2(x|y) - (x^y) 



6. x-y = x+~y+1

          = (x^y) - 2(~x&y)

          = (x&~y) - (~x&y)

          = 2(x&~y) - (x^y)




7. 
 x^y = (x|y) - (x&y)



8. 
 x&~y = (x|y) -y

              = x - (x&y)


9. 
 ~(x-y) = y-x-1

                = ~x+y


10. ~(x^y) = (x&y) - (x|y) -1

                  = (x&y) + ~(x|y)


11.  x|y = (x&~y) +y



12.  x&y = (~x |y)-~x

计算绝对值函数

1. 首先计算y:

 

     y = x >> 31 ;

 

2. 计算abs函数或nabs函数:

• abs函数:

  (x^y)-y
  
  (x+y)^y
  
  x-(2x&y)
  
  
  
  

• nabs函数:
  

  y-(x^y)
  
  (y-x)^y
  
  (2x&y)-x