move
par l'allocateur, il peut
rester une configuration de la forme:
move t, t1 |
... |
move t2, t |
...
''. Or, il n'est pas
nécessaire ici de sauvegarder t1 dans t entre t1 et t2. Ici,
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.)