C'est forcément un gain de taille si l'on sait à la compilation si la condition est réalisée ou pas la première fois (autrement dit si c'est une constante), puisqu'on peut la virer. C'est en particulier vrai dans le cas d'une boucle à nombre d'itérations fixe.

Tu as une idée de pourquoi avec la méthode Pollux on n'obtient pas un dbra en -Os ?