À la génération des instructions, on voudrait par exemple émettre une instruction abstraite (i.e. dans laquelle les temporaires ne sont pas encore choisis) addt₀, t₁, t₂ où t₀, t₁ et t₂ sont des temporaires, et laisser le soin à l'allocateur de registres de choisir les registres pour t₀, t₁ et t₂ au mieux, en fonction du graphe d'interférence.

Sans précaution, l'allocateur pourra alors violer la contrainte décrite ci-dessus en choisissant indifféremment des registres d'adresse ou de donnée.