Ybadoo - Soluções em Software Livre
Tutoriais
Compiladores

Dado os comandos de atribuição e a gramática livre de contexto apresentados a seguir, apresente o código objeto gerado, considerando as otimizações disponíveis, para no máximo quatro registradores.

Comandos de atribuição:

x = a * b / c - d;
y = e + a * b / c;
z = f - a * b / c - d;

Gramática livre de contexto:

G = ({A, E, T, F, V}, {a, b, c, d, e, f, x, y, z, =, +, -, *, /, (, )}, P, A)
P = {AV=E
EE+T | E-T | T
TT*F | T/F | F
F → (E) | V
V → a | b | c | d | e | f | x | y | z}
Árvore de Derivação
Árvore de derivação
Árvore de Sintaxe
Árvore de sintaxe
Árvore de Sintaxe em Pós-ordem
Árvore de sintaxe em pós-ordem
Código de três endereços não otimizado, representado por quádruplas
 operarg1arg2result
(0)*abT1
(1)/T1cT2
(2)-T2dT3
(3)=T3 x
(4)*abT4
(5)/T4cT5
(6)+eT5T6
(7)=T6 y
(8)*abT7
(9)/T7cT8
(10)-fT8T9
(11)-T9dT10
(12)=T10 z
Grafo Acíclico Dirigido
Grafo Acíclico Dirigido
Código de três endereços otimizado, representado por quádruplas
 operarg1arg2result
(0)*abT1
(1)/T1cT2
(2)-T2dT3
(3)=T3 x
(4)+eT2T4
(5)=T4 y
(6)-fT2T5
(7)-T5dT6
(8)=T6 z
LOAD   a, R0 // R0 = a
LOAD b, R1 // R1 = b
MUL R1, R0 // R0 = R0 * R1 a * b
LOAD c, R1 // R1 = c
DIV R1, R0 // R0 = R0 / R1 a * b / c
COPY R0, R1 // R1 = R0 a * b / c
LOAD d, R2 // R2 = d
SUB R2, R1 // R1 = R1 - R2 a * b / c - d
STORE R1, x // x = R1 a * b / c - d
LOAD e, R1 // R1 = e
ADD R0, R1 // R1 = R1 + R0 e + a * b / c
STORE R1, y // y = R1 e + a * b / c
LOAD f, R1 // R1 = f
SUB R0, R1 // R1 = R1 - R0 f - a * b / c
SUB R2, R1 // R1 = R1 - R2 f - a * b / c - d
STORE R1, z // z = R1 f - a * b / c - d