A B C D E F G H I J L M N O P Q R S T V X
All Classes All Packages

A

accept(LTLVisitor) - Method in class mini_c.Lcall

accept(LTLVisitor) - Method in class mini_c.Lconst

accept(LTLVisitor) - Method in class mini_c.Lgoto

accept(LTLVisitor) - Method in class mini_c.Lload

accept(LTLVisitor) - Method in class mini_c.Lmbbranch

accept(LTLVisitor) - Method in class mini_c.Lmbinop

accept(LTLVisitor) - Method in class mini_c.Lmubranch

accept(LTLVisitor) - Method in class mini_c.Lmunop

accept(LTLVisitor) - Method in class mini_c.Lpop

accept(LTLVisitor) - Method in class mini_c.Lpush

accept(LTLVisitor) - Method in class mini_c.Lreturn

accept(LTLVisitor) - Method in class mini_c.Lstore

accept(LTLVisitor) - Method in class mini_c.LTL

accept(LTLVisitor) - Method in class mini_c.LTLfile

accept(LTLVisitor) - Method in class mini_c.LTLfun

add(LTL) - Method in class mini_c.LTLgraph

ajoute une nouvelle instruction dans le graphe et renvoie son étiquette

addq(String, String) - Method in class mini_c.X86_64

andq(String, String) - Method in class mini_c.X86_64

Asm - Class in mini_c

Asm(String) - Constructor for class mini_c.Asm

B

body - Variable in class mini_c.LTLfun

le graphe de flot de contrôle

C

call(String) - Method in class mini_c.X86_64

callstar(String) - Method in class mini_c.X86_64

cmpb(int, String) - Method in class mini_c.X86_64

cmpb(String, String) - Method in class mini_c.X86_64

cmpl(int, String) - Method in class mini_c.X86_64

cmpl(String, String) - Method in class mini_c.X86_64

cmpq(int, String) - Method in class mini_c.X86_64

cmpq(String, String) - Method in class mini_c.X86_64

cmpw(int, String) - Method in class mini_c.X86_64

cmpw(String, String) - Method in class mini_c.X86_64

cqto() - Method in class mini_c.X86_64

D

data(String) - Method in class mini_c.X86_64

decq(String) - Method in class mini_c.X86_64

dlabel(String) - Method in class mini_c.X86_64

ajoute une étiquette dans le segment de données

E

emit(String) - Method in class mini_c.X86_64

ajoute une nouvelle instruction à la fin du code

EmptyLTLVisitor - Class in mini_c

EmptyLTLVisitor() - Constructor for class mini_c.EmptyLTLVisitor

entry - Variable in class mini_c.LTLfun

point d'entrée dans le graphe

equals(Object) - Method in class mini_c.Reg

equals(Object) - Method in class mini_c.Spilled

F

funs - Variable in class mini_c.LTLfile

G

get(Register) - Method in class mini_c.LTLinterp

globl(String) - Method in class mini_c.X86_64

graph - Variable in class mini_c.LTLgraph

H

hashCode() - Method in class mini_c.Reg

hashCode() - Method in class mini_c.Spilled

I

i - Variable in class mini_c.Lconst

i - Variable in class mini_c.Lload

i - Variable in class mini_c.Lstore

idivq(String) - Method in class mini_c.X86_64

imulq(String, String) - Method in class mini_c.X86_64

incq(String) - Method in class mini_c.X86_64

inline(String) - Method in class mini_c.X86_64

ajoute de l'assembleur à la fin de la zone text (par exemple pour ajouter des pirmitives écrites en assembleur)

J

ja(String) - Method in class mini_c.X86_64

jae(String) - Method in class mini_c.X86_64

jb(String) - Method in class mini_c.X86_64

jbe(String) - Method in class mini_c.X86_64

je(String) - Method in class mini_c.X86_64

jg(String) - Method in class mini_c.X86_64

jge(String) - Method in class mini_c.X86_64

jl(String) - Method in class mini_c.X86_64

jle(String) - Method in class mini_c.X86_64

jmp(String) - Method in class mini_c.X86_64

jmpstar(String) - Method in class mini_c.X86_64

jne(String) - Method in class mini_c.X86_64

jns(String) - Method in class mini_c.X86_64

jnz(String) - Method in class mini_c.X86_64

js(String) - Method in class mini_c.X86_64

jz(String) - Method in class mini_c.X86_64

L

l - Variable in class mini_c.Lcall

l - Variable in class mini_c.Lconst

l - Variable in class mini_c.Lgoto

l - Variable in class mini_c.Lload

l - Variable in class mini_c.Lmbinop

l - Variable in class mini_c.Lmunop

l - Variable in class mini_c.Lpop

l - Variable in class mini_c.Lpush

l - Variable in class mini_c.Lstore

l1 - Variable in class mini_c.Lmbbranch

l1 - Variable in class mini_c.Lmubranch

l2 - Variable in class mini_c.Lmbbranch

l2 - Variable in class mini_c.Lmubranch

Lab - Class in mini_c

Lab(String) - Constructor for class mini_c.Lab

label(String) - Method in class mini_c.X86_64

ajoute une étiquette qui doit rester dans le code (par ex.

label(Label) - Method in class mini_c.X86_64

ajoute une étiquette ; elle ne restera dans le code qui si on appelle needLabel sur cette étiquette

LabelAsm - Class in mini_c

une étiquette (Lab) ou une instruction (Asm)

LabelAsm() - Constructor for class mini_c.LabelAsm

Lcall - Class in mini_c

légèrement modifiée

Lcall(String, Label) - Constructor for class mini_c.Lcall

Lconst - Class in mini_c

les mêmes que dans ERTL, mais avec Operand à la place de Register

Lconst(int, Operand, Label) - Constructor for class mini_c.Lconst

leaq(String, String) - Method in class mini_c.X86_64

leave() - Method in class mini_c.X86_64

Lgoto - Class in mini_c

Lgoto(Label) - Constructor for class mini_c.Lgoto

Lload - Class in mini_c

les mêmes que dans ERTL

Lload(Register, int, Register, Label) - Constructor for class mini_c.Lload

Lmbbranch - Class in mini_c

Lmbbranch(Mbbranch, Operand, Operand, Label, Label) - Constructor for class mini_c.Lmbbranch

Lmbinop - Class in mini_c

Lmbinop(Mbinop, Operand, Operand, Label) - Constructor for class mini_c.Lmbinop

Lmubranch - Class in mini_c

Lmubranch(Mubranch, Operand, Label, Label) - Constructor for class mini_c.Lmubranch

Lmunop - Class in mini_c

Lmunop(Munop, Operand, Label) - Constructor for class mini_c.Lmunop

Lpop - Class in mini_c

Lpop(Register, Label) - Constructor for class mini_c.Lpop

Lpush - Class in mini_c

Lpush(Operand, Label) - Constructor for class mini_c.Lpush

Lreturn - Class in mini_c

Lreturn() - Constructor for class mini_c.Lreturn

Lstore - Class in mini_c

Lstore(Register, Register, int, Label) - Constructor for class mini_c.Lstore

LTL - Class in mini_c

instruction LTL

LTL() - Constructor for class mini_c.LTL

LTLfile - Class in mini_c

LTLfile() - Constructor for class mini_c.LTLfile

LTLfun - Class in mini_c

une fonction LTL

LTLfun(String) - Constructor for class mini_c.LTLfun

LTLgraph - Class in mini_c

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

LTLgraph() - Constructor for class mini_c.LTLgraph

LTLinterp - Class in mini_c

Interprète de code LTL

LTLinterp(LTLfile) - Constructor for class mini_c.LTLinterp

interprète un programme RTL donné, à partir de la fonction "main"

LTLVisitor - Interface in mini_c

M

m - Variable in class mini_c.Lmbbranch

m - Variable in class mini_c.Lmbinop

m - Variable in class mini_c.Lmubranch

m - Variable in class mini_c.Lmunop

mini_c - package mini_c

movq(int, String) - Method in class mini_c.X86_64

movq(String, String) - Method in class mini_c.X86_64

movzbq(String, String) - Method in class mini_c.X86_64

N

n - Variable in class mini_c.Spilled

name - Variable in class mini_c.LTLfun

nom de la fonction

needLabel(Label) - Method in class mini_c.X86_64

déclare que cette étiquette devra rester dans le code

negq(String) - Method in class mini_c.X86_64

notq(String) - Method in class mini_c.X86_64

O

o - Variable in class mini_c.Lconst

o - Variable in class mini_c.Lmunop

o - Variable in class mini_c.Lpush

o1 - Variable in class mini_c.Lmbinop

o2 - Variable in class mini_c.Lmbinop

Operand - Class in mini_c

une opérande = un registre ou un emplacement de pile (résultat de l'allocation de registres)

Operand() - Constructor for class mini_c.Operand

orq(String, String) - Method in class mini_c.X86_64

P

popq(String) - Method in class mini_c.X86_64

print() - Method in class mini_c.LTLfile

pour débugger

print() - Method in class mini_c.LTLfun

pour débugger

print(Label) - Method in class mini_c.LTLgraph

imprime le graphe (pour debugger)

printToFile(String) - Method in class mini_c.X86_64

imprime le programme assembleur dans un fichier

pushq(String) - Method in class mini_c.X86_64

put(Label, LTL) - Method in class mini_c.LTLgraph

Q

quad(long) - Method in class mini_c.X86_64

R

r - Variable in class mini_c.Lmubranch

r - Variable in class mini_c.Lpop

r - Variable in class mini_c.Reg

r1 - Variable in class mini_c.Lload

r1 - Variable in class mini_c.Lmbbranch

r1 - Variable in class mini_c.Lstore

r2 - Variable in class mini_c.Lload

r2 - Variable in class mini_c.Lmbbranch

r2 - Variable in class mini_c.Lstore

Reg - Class in mini_c

une opérande qui est un registre (physique)

Reg(Register) - Constructor for class mini_c.Reg

ret() - Method in class mini_c.X86_64

S

s - Variable in class mini_c.LabelAsm

s - Variable in class mini_c.Lcall

sarq(String, String) - Method in class mini_c.X86_64

set(Register, boolean) - Method in class mini_c.LTLinterp

set(Register, long) - Method in class mini_c.LTLinterp

seta(String) - Method in class mini_c.X86_64

setae(String) - Method in class mini_c.X86_64

setb(String) - Method in class mini_c.X86_64

setbe(String) - Method in class mini_c.X86_64

sete(String) - Method in class mini_c.X86_64

setg(String) - Method in class mini_c.X86_64

setge(String) - Method in class mini_c.X86_64

setl(String) - Method in class mini_c.X86_64

setle(String) - Method in class mini_c.X86_64

setne(String) - Method in class mini_c.X86_64

setns(String) - Method in class mini_c.X86_64

setnz(String) - Method in class mini_c.X86_64

sets(String) - Method in class mini_c.X86_64

setz(String) - Method in class mini_c.X86_64

shlq(String, String) - Method in class mini_c.X86_64

shrq(String, String) - Method in class mini_c.X86_64

space(int) - Method in class mini_c.X86_64

Spilled - Class in mini_c

une opérande qui est un emplacement de pile

Spilled(int) - Constructor for class mini_c.Spilled

position par rapport à %rbp

string(String) - Method in class mini_c.X86_64

subq(String, String) - Method in class mini_c.X86_64

succ() - Method in class mini_c.Lcall

succ() - Method in class mini_c.Lconst

succ() - Method in class mini_c.Lgoto

succ() - Method in class mini_c.Lload

succ() - Method in class mini_c.Lmbbranch

succ() - Method in class mini_c.Lmbinop

succ() - Method in class mini_c.Lmubranch

succ() - Method in class mini_c.Lmunop

succ() - Method in class mini_c.Lpop

succ() - Method in class mini_c.Lpush

succ() - Method in class mini_c.Lreturn

succ() - Method in class mini_c.Lstore

succ() - Method in class mini_c.LTL

T

testq(int, String) - Method in class mini_c.X86_64

testq(String, String) - Method in class mini_c.X86_64

toString() - Method in class mini_c.Lcall

toString() - Method in class mini_c.Lconst

toString() - Method in class mini_c.Lgoto

toString() - Method in class mini_c.Lload

toString() - Method in class mini_c.Lmbbranch

toString() - Method in class mini_c.Lmbinop

toString() - Method in class mini_c.Lmubranch

toString() - Method in class mini_c.Lmunop

toString() - Method in class mini_c.Lpop

toString() - Method in class mini_c.Lpush

toString() - Method in class mini_c.Lreturn

toString() - Method in class mini_c.Lstore

toString() - Method in class mini_c.Reg

toString() - Method in class mini_c.Spilled

V

visit(Lcall) - Method in class mini_c.EmptyLTLVisitor

visit(Lcall) - Method in class mini_c.LTLinterp

visit(Lcall) - Method in interface mini_c.LTLVisitor

visit(Lconst) - Method in class mini_c.EmptyLTLVisitor

visit(Lconst) - Method in class mini_c.LTLinterp

visit(Lconst) - Method in interface mini_c.LTLVisitor

visit(Lgoto) - Method in class mini_c.EmptyLTLVisitor

visit(Lgoto) - Method in class mini_c.LTLinterp

visit(Lgoto) - Method in interface mini_c.LTLVisitor

visit(Lload) - Method in class mini_c.EmptyLTLVisitor

visit(Lload) - Method in class mini_c.LTLinterp

visit(Lload) - Method in interface mini_c.LTLVisitor

visit(Lmbbranch) - Method in class mini_c.EmptyLTLVisitor

visit(Lmbbranch) - Method in class mini_c.LTLinterp

visit(Lmbbranch) - Method in interface mini_c.LTLVisitor

visit(Lmbinop) - Method in class mini_c.EmptyLTLVisitor

visit(Lmbinop) - Method in class mini_c.LTLinterp

visit(Lmbinop) - Method in interface mini_c.LTLVisitor

visit(Lmubranch) - Method in class mini_c.EmptyLTLVisitor

visit(Lmubranch) - Method in class mini_c.LTLinterp

visit(Lmubranch) - Method in interface mini_c.LTLVisitor

visit(Lmunop) - Method in class mini_c.EmptyLTLVisitor

visit(Lmunop) - Method in class mini_c.LTLinterp

visit(Lmunop) - Method in interface mini_c.LTLVisitor

visit(Lpop) - Method in class mini_c.EmptyLTLVisitor

visit(Lpop) - Method in class mini_c.LTLinterp

visit(Lpop) - Method in interface mini_c.LTLVisitor

visit(Lpush) - Method in class mini_c.EmptyLTLVisitor

visit(Lpush) - Method in class mini_c.LTLinterp

visit(Lpush) - Method in interface mini_c.LTLVisitor

visit(Lreturn) - Method in class mini_c.EmptyLTLVisitor

visit(Lreturn) - Method in class mini_c.LTLinterp

visit(Lreturn) - Method in interface mini_c.LTLVisitor

visit(Lstore) - Method in class mini_c.EmptyLTLVisitor

visit(Lstore) - Method in class mini_c.LTLinterp

visit(Lstore) - Method in interface mini_c.LTLVisitor

visit(LTLfile) - Method in class mini_c.EmptyLTLVisitor

visit(LTLfile) - Method in class mini_c.LTLinterp

visit(LTLfile) - Method in interface mini_c.LTLVisitor

visit(LTLfun) - Method in class mini_c.EmptyLTLVisitor

visit(LTLfun) - Method in class mini_c.LTLinterp

visit(LTLfun) - Method in interface mini_c.LTLVisitor

X

X86_64 - Class in mini_c

programme assembleur x86-64

X86_64() - Constructor for class mini_c.X86_64

xorq(String, String) - Method in class mini_c.X86_64

A B C D E F G H I J L M N O P Q R S T V X
All Classes All Packages