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