if688

IF688 - Teoria e Implementação de Linguagens Computacionais

Otimizações Globais e Análises de Fluxo de Dados forward-flow

Objetivo

O objetivo desta aula é apresentar o conceito de otimizações globais, envolvendo um CFG inteiro, bem como introduzir o conceito de análise de fluxo de dados, como forma de calcular informações necessárias para aplicar otimizações.

Questões para Discussão

• O que distingue otimização local de global?
• Como definir uma análise de fluxo de dados iterativa?
• Quais os desafios associados à definição de análises globais?
• O que significa definir uma análise conservadora?
• Como aplicar otimizações baseadas nos resultados de análises de fluxo de dados?
• Como utilizar funções de transferência para calcular informação de propagação de constantes?
• Qual a intuição para afirmar que uma análise de fluxo de dados termina?

Material usado em sala de aula

• Slides

Vídeos

• Otimizações Globais (intraprocedural)
• Expressando critérios de corretude
• Global Constant Propagation
• Criando funções de transferência para Global Constant Propagation
• Algoritmo de ponto fixo para calcular valores constantes em variáveis

Links Relacionados

• Static single assignment form
• Common subexpression elimination
• Constant folding
• Data-flow Analysis