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ù 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.)