Folco (./13) :
Le linker peut utiliser alors une méthode de "décompression" du code : il commence par dire que partout, les saut sonts courts. Ensuite, il vérifie chaque saut, en étendant à deux octets ceux qui au final ne tiennent pas sur un seul octet. Une fois qu'il a fait une passe où rien n'a changé, il peut considérer qu'il a complètement optimisé les branchements.

Il me semble que tu ne peux pas être certain d'avoir le code le plus compact sans tester toutes les possibilités.