La transformation automatique introduit ici deux temporaire q1 et q2 écrit avant l'appel à la fonction foo et lus tous deux après: ils devront donc être mise en pile. On obtient, après mise en pile:

add  p1, $a0, 1                         add  $t0, $a0, 1               sw   p1, 0($sp)                         sw   $t0, 0($sp)               jal  foo                                jal  foo                      lw   r1, 0($sp)                         lw   $t0, 0($sp)               add  $v0, r1, $v0                       add  $v0, $t0, $v0             lw   r2, 0($sp)                         lw   $t0, 0($sp)               add  $v0, r2, $v0                       add  $v0, $t0, $v0