FGA0003 - Compiladores 1 | Semana 8 | Aula teórica
CEDISCEDISCEDISAté aqui, o compilador já reconhece tokens, estrutura sintática e parte das regras semânticas.
CEDISSepara front-end e back-end, reduzindo acoplamento.
Facilita adaptar o compilador a novas arquiteturas-alvo.
Permite aplicar transformações antes do código final.
Torna visível uma etapa intermediária do compilador.
CEDISQual é a principal função da representação intermediária em um compilador?
CEDIS
A RI não é um único formato. Ela pode preservar estrutura, linearizar operações ou preparar execução em máquina virtual.
CEDISCEDISNa expressão x = (a + b) * (a + b), a subexpressão a + b aparece duas vezes.
CEDISQual característica diferencia um DAG de uma AST no contexto de otimização?
CEDISOperadores aparecem depois dos operandos: a b +.
Instruções simples com no máximo três endereços.
Registram operador, argumento 1, argumento 2 e resultado.
Referenciam resultados por posição da instrução.
CEDIS
A expressão x = a * b + c exige respeitar precedência, criar temporária e emitir instruções em ordem.
CEDISx = a * b + c;
t1 = a * b x = t1 + c
CEDISQual TAC representa corretamente x = a * b + c?
CEDISCada instrução possui operador, dois argumentos e resultado.
O resultado é identificado pela posição da instrução.
CEDISRepresentação de máquina de pilha comum em compiladores educacionais.
Formato portável executado por uma máquina virtual, como JVM ou CLR.
A VM executa instruções intermediárias diretamente.
A VM compila trechos frequentes para código nativo em tempo de execução.
CEDISEm Static Single Assignment, cada variável recebe valor apenas uma vez. Novas atribuições geram novas versões.
CEDISPor que SSA utiliza diferentes versões de uma variável?
CEDISFlex retorna tokens para o parser gerado pelo Bison.
Ações semânticas criam nós da AST durante reduções.
A análise semântica anota tipos e identifica escopos.
Uma travessia da AST gera temporárias e instruções TAC.
CEDISTodo código didático gerado para a disciplina deve identificar a origem e o propósito.
CEDISCEDISCalcula expressões constantes em tempo de compilação.
Substitui usos por valores constantes conhecidos.
Remove instruções que não afetam o resultado observável.
Reutiliza o resultado de subexpressões comuns.
CEDISConsidere t1 = a + b; t2 = a + b; x = t1 * t2. Qual otimização é diretamente aplicável?
CEDISO compilador valida a estrutura e os significados básicos do programa.
A AST anotada é transformada em uma forma linear e testável.
As equipes implementam emissão de instruções e validam casos simples.
A RI passa a alimentar transformações e geração de saída executável.
CEDISUma boa representação intermediária torna explícito o que precisa ser preservado e o que pode ser transformado.
CEDISCEDISDa AST anotada ao TAC, o compilador passa a ter uma forma verificável, transformável e preparada para a geração de código final.