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 t,  t1

...

move t2,  t

où t₂ et t₁ 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 t₁ dans t entre t₁ et t₂: un transfert direct de t₁ dans t₂ suffirait et permettrait d'identifier t₁ avec t₂. On peut donc faire mieux! (Voir, par exemple, l'examen de l'an 2000 et sa suite.)