Après élimination de la moitié des move par l'allocateur de registres comme décrit à la question c), il peut rester une configuration de la forme:
move tt1
...
move t2t
t2 et t1 sont des registres d'adresses et t un registre de donnée, et t n'apparaît pas dans ``...''. Or, il n'est pas nécessaire ici de sauvegarder t1 dans t entre t1 et t2: un transfert direct de t1 dans t2 suffirait et permettrait d'identifier t1 avec t2. On peut donc faire mieux! (Voir, par exemple, l'examen de l'an 2000 et sa suite.)