On observe le compteur ordinal d'un processeur qui exécute un…

1. PC revient deux fois à $2$ : il y a deux tours complets. Le corps de la boucle est constitué des adresses $3$ et $4$ ; l'adresse $2$ est le test, exécuté trois fois — une de plus que le corps, comme toujours.

2. À l'adresse $4$, un saut inconditionnel vers $2$ : après $4$ vient systématiquement $2$, jamais $5$. À l'adresse $2$, un saut conditionnel : il mène tantôt à $3$ (deux fois), tantôt à $5$ (une fois) — seule une instruction conditionnelle peut avoir deux successeurs différents.

3. Oui : la suite atteint $5$, la dernière adresse, et l'exécution en sort. On le lit sur la suite parce qu'elle est finie et qu'elle quitte le cycle $2,3,4$. Si elle répétait $2,3,4$ indéfiniment, le programme ne se terminerait pas.

Contrôle : $10$ valeurs de PC $=$ $10$ instructions exécutées, pour $6$ instructions écrites. L'écart mesure exactement ce que la boucle a fait gagner en taille de code — et coûter en temps.