Apostila antiga - The Cyan Programming Language

Contents
1 Introdução 3
1.1 Compiladores e Ligadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Sistema de Tempo de Execução . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3 Interpretadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Aplicações . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 As Fases de Um Compilador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2 A Análise Sintática 13
2.1 Gramáticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Ambigüidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3 Associatividade e Precedência de Operadores . . . . . . . . . . . . . . . . . . . . . . . 15
2.4 Modificando uma Gramática para Análise . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.5 Análise Sintática Descendente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.6 Análise Sintática Descendente Recursiva . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3 Análise Sintática Descendente Não Recursiva 24
3.1 Introdução . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2 A Construção da Tabela M . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
3.3 Gramáticas LL(1) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
4 Geração de Código 33
4.1 Introdução . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
4.2 Uma Linguagem Assembler . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4.3 Geração de Código para S2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4.4 Geração de Código para Vetores e Comando case/switch . . . . . . . . . . . . . . . . 41
5 Otimização de Código 44
5.1 Blocos Básicos e Grafos de Fluxo de Execução . . . . . . . . . . . . . . . . . . . . . . 44
5.2 Otimizações em Pequena Escala . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
5.3 Otimizações Básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
5.4 Otimizações de Laços . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.5 Otimizações com Variáveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
5.6 Otimizações de Procedimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
5.7 Dificuldades com Otimização de Código . . . . . . . . . . . . . . . . . . . . . . . . . . 70
A A Linguagem S2 74
A.1 Comentários . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
A.2 Tipos e Literais Básicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
1