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
|