LLVM 내부에서 활용되는 논리식 모음

 

~X	NOT	X
A + B	NOT	-1 -B - A
B - A	NOT	A + (-1 - B)
A - B	NOT	B + (-1 - A)
A ^ B	NOT	A ^ ~B
A ^ ~B	NOT	A ^ B
A s>> B	NOT	~A s>>B

 

 

부연설명

A+B -> -1 -B -A  (양->음전)

100+100 이라고 하면, 결과는 200, NOT은 -201이 나와야 함. -100 -100 -1 = -201

 

A-B -> B + (-A - 1(양>음전))

 

A^B -> A^~B ; A^B는 A를 -1로 생각하면 -1^B -> ~B가 됨. 이의 NOT은 B. -1^~B = B

 

A s>> B -> ~A s>> B ;  (몰?루?)