| EmptyRTLVisitor |
un visiteur du code RTL qui ne fait rien
|
| Label |
étiquette
|
| Maddi |
|
| Memory |
Un modèle mémoire minimal pour RTLinterp
|
| Mjgi |
|
| Mjlei |
|
| Mjnz |
|
| Mjz |
|
| Msetei |
|
| Msetnei |
|
| Mubranch |
opération x86-64 de branchement (unaire)
|
| Munop |
opération x86-64 unaire
|
| Rcall |
appel de fonction
|
| Rconst |
charge une constante dans un registre
|
| Register |
registre (physique ou pseudo-registres)
|
| Rgoto |
saut inconditionnel
|
| Rload |
instruction mov i(r1), r2
|
| Rmbbranch |
instruction x86-64 de branchement (binaire)
attention au sens : c'est le résultat de r2 cmp r1
|
| Rmbinop |
opération x86-64 binaire
attention au sens : c'est r2 <- r2 m r1
|
| Rmubranch |
instruction x86-64 de branchement (unaire)
|
| Rmunop |
opération x86-64 unaire
|
| Rstore |
instruction mov r1, i(r2)
|
| RTL |
le type des instructions RTL
|
| RTLfile |
un programme RTL
|
| RTLfun |
une fonction RTL
|
| RTLgraph |
graphe de flot de contrôle (d'une fonction)
c'est un dictionnaire qui associe une instruction de type RTL
à une étiquette de type Label
|
| RTLinterp |
Interprète de code RTL
|