2024-06-27.md

IF688 - Teoria e Implementação de Linguagens Computacionais

Liveness e análises de fluxo de dados backward-flow

Objetivo

O objetivo desta aula é apresentar o conceito de análises de fluxo de dados backward-flow, usando liveness como estudo de caso.

Questões para Discussão

• Como definir se uma variável está viva ou morta?
• Por qual razão é necessário que a análise seja feita de maneira backwards?
• Como seria a definição de liveness para uma variável x em um statement S?
• Como computar liveness?
• Como representar análises com equações?

Material usado em sala de aula

• Slides

Vídeos

• Introdução a Liveness
• Calculando Liveness entre instruções
• Calculando Liveness de múltiplas variáveis entre blocos básicos
• Usando Liveness para detectar variáveis não inicializadas

Links Relacionados

• Live variable analysis