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.
Comandos de atribuição:
x = a * b * c + a * b;
y = d + e + a * b * c;
Gramática livre de contexto:
G = ({A, E, T, F, V}, {a, b, c, d, x, y, =, +, -, *, /, (, )}, P, A)
P = {A → V=E
E → E+T | E-T | T
T → T*F | T/F | F
F → (E) | V
V → a | b | c | d | x | y}
oper | arg1 | arg2 | result | |
---|---|---|---|---|
(0) | * | a | b | T1 |
(1) | * | T1 | c | T2 |
(2) | + | T2 | T1 | T3 |
(3) | = | T3 | x | |
(4) | + | d | e | T4 |
(5) | * | a | b | T5 |
(6) | * | T5 | c | T6 |
(7) | + | T4 | T6 | T7 |
(8) | = | T7 | y |
oper | arg1 | arg2 | result | |
---|---|---|---|---|
(0) | * | a | b | T1 |
(1) | * | T1 | c | T2 |
(2) | + | T1 | T2 | T3 |
(3) | = | T3 | x | |
(4) | + | d | e | T4 |
(5) | + | T4 | T2 | T5 |
(6) | = | T5 | y |
LOAD a, R0 // R0 = a
LOAD b, R1 // R1 = b
MUL R1, R0 // R0 = R0 * R1 (a * b)
COPY R0, R1 // R1 = R0 (a * b)
LOAD c, R2 // R2 = c
MUL R2, R0 // R0 = R0 * R2 (a * b * c)
COPY R0, R2 // R2 = R0 (a * b * c)
ADD R1, R0 // R0 = R0 + R1 (a * b * c) + (a * b)
STORE R0, x // x = R0 (a * b * c) + (a * b)
LOAD d, R0 // R0 = d
LOAD e, R1 // R1 = e
ADD R1, R0 // R0 = R0 + R1 (d + e)
ADD R2, R0 // R0 = R0 + R2 (d + e) + (a * b * c)
STORE R0, y // y = R0 (d + e) + (a * b * c)