Je crois que l'attribution des registres se fait à l'aide d'un algo de coloration de graphe. n couleurs représentent n registres et les liens entre les nœuds représentent les dépendances.


J'avais étudié à l'époque l'algo 'Strahler number'.