8. Empilage et dépilage de la pile

8.1. Conventions du document

Les instructions push() et pop() acceptent comme argument un ensemble de registres contenant un sous-ensemble, ou éventuellement la totalité, des registres généraux R0-R12 et du registre de lien (lr ou R14). Comme pour tout ensemble Python, l’ordre dans lequel les registres sont spécifiés est sans importance. Ainsi, dans l’exemple suivant, l’instruction pop() restaurerait R1, R7 et R8 à leur contenu antérieur au push() :

• push({r1, r8, r7}) Sauvegarde trois registres sur la pile.

• pop({r7, r1, r8}) Les restaure

8.2. Opérations de pile

• push({regset}) Empile un ensemble de registres sur la pile

• pop({regset}) Restaure un ensemble de registres depuis la pile