Les seuls registres vivants en sortie de
G
(
B
) sont dans la destination du multi-move, donc n'interfèrent pas. Ainsi
G
(
B
) est le graphe vide (
ie.
sans arcs, il comporte bien sûr des noeuds).