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 = c * d + a + c * d;
y = c * d + a + b;
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) | * | c | d | T1 |
(1) | + | T1 | a | T2 |
(2) | + | T2 | T1 | T3 |
(3) | = | T3 | x | |
(4) | * | c | d | T4 |
(5) | + | T4 | a | T5 |
(6) | + | T5 | b | T6 |
(7) | = | T6 | y |
oper | arg1 | arg2 | result | |
---|---|---|---|---|
(0) | * | c | d | T1 |
(1) | + | T1 | a | T2 |
(2) | + | T2 | T1 | T3 |
(3) | = | T3 | x | |
(4) | + | T2 | b | T4 |
(5) | = | T4 | y |
LOAD c, R0 // R0 = c
LOAD d, R1 // R1 = d
MUL R1, R0 // R0 = R0 * R1 (c * d)
COPY R0, R1 // R1 = R0 (c * d)
LOAD a, R2 // R2 = a
ADD R2, R1 // R1 = R1 + R2 ((c * d) + a)
COPY R1, R2 // R2 = R1 ((c * d) + a)
ADD R0, R1 // R1 = R1 + R0 (((c * d) + a) + (c * d))
STORE R1, x // x = R1 (((c * d) + a) + (c * d))
LOAD b, R1 // R1 = b
ADD R1, R2 // R2 = R2 + R1 (((a + b) * c) + b)
STORE R2, y // y = R2 (((a + b) * c) + b)