关于GCD二进制优化的疑问

int gcd(int x,int y){
    return (!y)?x:gcd(y,x%y);
}

int GCD(int x,int y){
	int i=0,j=0;
	if(!x)return y;
	if(!y)return x;
	while(!(x&1))x>>=1,i++;
	while(!(y&1))y>>=1,j++;
	if(j<i)i=j;
	while(1){
		if(x<y)x^=y,y^=x,x^=y;
		if(!(x-=y))return y<<i;
		while(!(x&1))x>>=1;
	}
}