Optimisation comparaison simple d'entier.

Bonjour,

j'ai simple question, pour tester qu'un entier est égale à 0.
Est-il plus simple de faire un (i == 0) ou un (i < 1) ?

Cela peut paraître bête mais dans ma tête le second est peut-être plus performant dans le sens ou il est plus facile de savoir si un entier est dans un intervalle que s'il est égale à une valeur exacte.

Qu'est-ce qui se passe au niveau de la machine ?

Salut,

A mon avis c'est la même chose car l'instruction assembleur (chez intel) qui permet de comparer deux entiers c'est FCOMP.
Cette instruction retourne 000 si > , 001 si < et 100 si ==.
Pour plus d'info sur cette instruction regarde ce document :
http://download.intel.com/design/Pen...s/24319102.PDF
page 3-180.

Par contre, cela dépend de comment de compilateur traduit. En règle générale si une optimisation existe, le compilateur fera l'optimisation en question, donc un développeur "haut niveau" c'est à dire C/C++ n'a pas à ce soucier de ce genre de problème...

Les seules personnes qui ont à s'en soucier ce sont ceux qui développe les compilateurs, ou bien ceux qui programme en ASM...

Bien cordialement,

Adrien

Bonjour,

Comparer deux entiers c'est 1 instruction assembleur le produit de cette instruction indique si c'est plus grand, plus petit ou bien égal.

Mais pour les "plus petit que" ou "plus grand que", il y a la subtilité des nombres signés qui peut poser soucis ...

Bref, mieux vaut tester l'égalité.

Très bien, je ne me soucierai plus de ce genre de détails.

Merci à vous deux. :)

Citation:

---

Envoyé par abarral

Salut,

A mon avis c'est la même chose car l'instruction assembleur (chez intel) qui permet de comparer deux entiers c'est FCOMP.

---

Sauf que : comparer un nombre à 0, ça se fait avec une instruction or, qui met (ou non) le flag de zero à 1 en fonction de la valeur du registre comparé:

Code:

---

1 2 3 4

or eax, eax // flag de zero à mis 1 si eax == 0 jnz @address // on saute à @address si le flags de zero // n'est pas mis (eax != 0)

---

Comparer à 1, ça demande à vérifier que la valeur est effectivement 1. Plutôt que fcomp, on va charger un registre avec la valeur, et faire la comparaison
avec cmp - ou dans certains cas, si la valeur n'est plus utilisée par la suite, décrémenter la valeur et tester contre 0 avec l'instruction or. Quoi qu'il en soit, la comparaison avec 0 est immédiate (et l'instruction est rapidement déchiffrée et exécutée ; elle peut être pairée avec une autre instruction), celle avec 1 nécessite au moins une instruction supplémentaire quelque soit le cas - du coup, le pairing des instructions sera décalé.

Comparer à 0 est donc tout le temps préférable (il s'agit certes de micro-optimisation, mais c'est aussi une bonne pratique : on écrit if(valeur != 0), ou directement if(valeur), ce qui permet en plus d'avoir un code lisible non pollué par des valeurs de comparaison bizarres...)