Quelle est la valeur de %ecx après l'exécution de ces petits programmes ? Il est dans certains cas impossible de déterminer cette valeur. Si c'est le cas, répondez par « indéfini ».
A l'entrée de la boucle, %ecx contient la valeur 0. La valeur 1 est ajoutée à %ecx à chaque itération. « jnc Boucle » réalise un saut vers « addl $1, %ecx » lorsque le drapeau CF du registre d'état RFLAGS est à 0. Autrement dit, le saut sera effectué tant que l'opération « addl $1, %ecx » ne provoque pas de débordement sur les entiers non signés. Lorsque %ecx passe de 0xFFFFFFFF à 0, CF passe à 1 et l'instruction « jnc » ne réalise pas le saut. L'exécution se poursuit donc à l'instruction qui suit immédiatement « jnc Boucle ». La valeur de %ecx est alors 0.