Sur P4 et sur athlon, c'est une version de GMP qui ne supporte pas NO_CONST_ATTRIBUTE, donc cmp est detecte comme constant est sorti de la boucle de tests => 0 cycles.
Sur Opteron, c'est une version + recente qui supporte ce flag, et donc gcc n'optimise pas la boucle.