Cette transformation introduit beaucoup de move
intermédiaires. Mais
l'allocateur de registres devrait pourvoir éliminer au moins la moitié de
ces move
. En effet, considérons un temporaire contraint t, et ses
registres éphémères associés t1, ...tk. Les contraintes sur les
ti n'étant que de deux types (registre d'adresse ou registre de donnée),
un bon allocateur devrait identifier t avec un registre respectant la
contrainte la plus fréquente de façon à éliminer le plus d'instructions
move
!
Les instructions move
restantes ne seront pas éliminés.