lw q1, 0($sp)
rappelle le contenu du sommet de pile
dans le temporaire auxiliaire q1
. C'est absurde, car ce contenu est
aussi celui du temporaire p1
:
on pourrait certainement remplacer lw p1, 0($sp)
par l'instruction
move q1, p1
qui évite une lecture en pile inutile
(de plus, cette instruction sera ensuite éliminée par l'allocation de
registres). En général, certaines occurences de t n'ont pas besoin d'être
traitées en pile (qu'il s'agisse d'une lecture ou d'une écriture).