| Asm |
|
| EmptyLTLVisitor |
|
| Lab |
|
| LabelAsm |
une étiquette (Lab) ou une instruction (Asm)
|
| Lcall |
légèrement modifiée
|
| Lconst |
les mêmes que dans ERTL, mais avec Operand à la place de Register
|
| Lgoto |
|
| Lload |
les mêmes que dans ERTL
|
| Lmbbranch |
|
| Lmbinop |
|
| Lmubranch |
|
| Lmunop |
|
| Lpop |
|
| Lpush |
|
| Lreturn |
|
| Lstore |
|
| LTL |
instruction LTL
|
| LTLfile |
|
| LTLfun |
une fonction LTL
|
| LTLgraph |
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
|
| LTLinterp |
Interprète de code LTL
|
| Operand |
une opérande = un registre ou un emplacement de pile
(résultat de l'allocation de registres)
|
| Reg |
une opérande qui est un registre (physique)
|
| Spilled |
une opérande qui est un emplacement de pile
|
| X86_64 |
programme assembleur x86-64
|