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 = {A → V=E
E → E+T | E-T | T
T → T*F | T/F | F
F → (E) | V
V → a | b | c | d | e | f | x | y | z}| oper | arg1 | arg2 | result | |
|---|---|---|---|---|
| (0) | * | a | b | T1 |
| (1) | / | T1 | c | T2 |
| (2) | - | T2 | d | T3 |
| (3) | = | T3 | x | |
| (4) | * | a | b | T4 |
| (5) | / | T4 | c | T5 |
| (6) | + | e | T5 | T6 |
| (7) | = | T6 | y | |
| (8) | * | a | b | T7 |
| (9) | / | T7 | c | T8 |
| (10) | - | f | T8 | T9 |
| (11) | - | T9 | d | T10 |
| (12) | = | T10 | z |
| oper | arg1 | arg2 | result | |
|---|---|---|---|---|
| (0) | * | a | b | T1 |
| (1) | / | T1 | c | T2 |
| (2) | - | T2 | d | T3 |
| (3) | = | T3 | x | |
| (4) | + | e | T2 | T4 |
| (5) | = | T4 | y | |
| (6) | - | f | T2 | T5 |
| (7) | - | T5 | d | T6 |
| (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