Mem t1
en premier et placer le résultat
dans un temporaire auxiliaire. Par exemple, une forme canonique de
l'expression: t1 + Call (f, [])
est composée du code extrait
[ Move (t3, Mem t1); Move (t2, Call (f, [])) ]
et de l'expression résiduelle t3 + t2
.