En s'inspirant de la mise en pile, on peut remplacer chaque occurrence d'un temporaire contraint par un temporaire éphémère. Plus précisément, pour chaque instruction instr de type Oper:

• on remplace chaque occurrence contrainte i d'un temporaire t dans instr par un temporaire éphémère t_i;
• on mémorise les contraintes portant sur t_i dans instr;
• si t_i est utilisé en lecture, on ajoute une instruction move t_i,  t avant instr;
• si t_i est utilisé en écriture, on ajoute une instruction move t,  t_i après instr;

L'instruction move d,  s est une abréviation pour Move ("move_^d0,_^s0", d, s).

En fait, on pourrait ne considérer que les temporaires qui apparaissent au moins une fois dans le code avec des contraintes incompatibles, ce qui en pratique sera assez peu fréquent.