Que fait ce programme ?

Devinette: Que retourne cette petite fonction python
(m et n sont 2 entiers naturels)
def f(m, n):
   while n:
     m, n = m ^ n, (m & n) << 1
   return m
pour ceux qui ne connaissent pas python
"while n" c'est "pendant que n est non nul"
^ est l'opérateur "ou exclusif" bit à bit
& est le "et" bit à bit
<< 1 décalage à gauche bit à bit et ajout d'un 0 à droite
a, b = c, d  affectation simultanée a <- c et b <- d