After executing this snippet:
a = a^b ;
b = (a & b) << 1;
b , b a. , 2 xa a + b, b 2 (- ). , , MSB a b ( 780- ). b 63- , 718 : 780 - 63 + 1 ( ) = 718.
, a= 2 1 b= 2 0:
a = 10
b = 01
k = 0
a = 11
b = 10
k = 1
a = 01 (a + b no longer holds here, but it is irrelevant as this is the termination case)
b = 00
k = 2