Compiladores: PASCALjr - WWW2 - Udesc

5 Análise Semântica 415.1 Tradução Dirigida pela Sintaxe . . . . . . . . . . . . . . . . . . . . . . . . 415.1.1 Definições L-Atribuídas . . . . . . . . . . . . . . . . . . . . . . . . . 435.1.2 Verificações de Contexto . . . . . . . . . . . . . . . . . . . . . . . . 445.2 Tabela de Símbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 465.2.1 Atributos dos Nomes dos Identificadores . . . . . . . . . . . . . . . 475.2.2 Hashing . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 475.3 Projeto das Regras Semânticas . . . . . . . . . . . . . . . . . . . . . . . . . 505.3.1 Trabalho Prático #3 . . . . . . . . . . . . . . . . . . . . . . . . . . 566 Geração de Código Intermediário 596.1 Linguagens Intermediárias . . . . . . . . . . . . . . . . . . . . . . . . . . . 596.1.1 Representações Gráficas . . . . . . . . . . . . . . . . . . . . . . . . 596.1.2 Notação Pós (e Pré) Fixadas . . . . . . . . . . . . . . . . . . . . . . 606.1.3 Código de Três-Endereços . . . . . . . . . . . . . . . . . . . . . . . 616.2 BackPatching (Retrocorreção) . . . . . . . . . . . . . . . . . . . . . . . . . 647 Otimização de Código 677.1 Otimização Peephole . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 677.2 Otimização de Blocos Sequenciais através de grafos . . . . . . . . . . . . . 687.2.1 Algoritmo para Construir o GAD de um bloco . . . . . . . . . . . . 697.2.2 Algoritmo para Ordenação de um GAD . . . . . . . . . . . . . . . . 708 Geração de Código Objeto 718.1 Máquina Objeto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 728.1.1 Regras para Geração de Código Objeto . . . . . . . . . . . . . . . . 768.1.2 Trabalho Prático #4 . . . . . . . . . . . . . . . . . . . . . . . . . . 84ii