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
|