Introducao

Compiladores
Compiladores
Profa. Beatriz Trinchão Andrade

beatriz@ufs.br
Departamento de Computação - UFS
Profa. Beatriz Trinchão Andrade 1 / 54

Compiladores
Sumário
Introdução
Histórico
Contexto de um compilador
A estrutura de um compilador
Análise Léxica
Análise Sintática
Análise Semântica
Geração de Código Intermediário
Otimizador de Código Intermediário
Gerador de Código
Otimizador de Código Alvo
Observações
Exercı́cios
Referências
Compiladores
Introdução
Sumário
Introdução
Histórico
Análise Léxica
Gerador de Código
Observações
Exercı́cios
Referências
Compiladores
Introdução
Vimos na aula anterior:
I Por que estudar compiladores?

I Quais são os pré-requisitos?

Compiladores
Introdução
Introdução
I Linguagens de programação

Compiladores
Introdução
Introdução
I Linguagens de programação
I Notação para descrição de computação
I Linguagem deve ser traduzida para uma forma executável por
um computador

Compiladores
Introdução
Compiladores
I Compiladores
I Sistemas de software que fazem essa tradução
I Programa em linguagem-fonte → programa em
linguagem-objeto ou erros
I Relatar erros

Compiladores
Histórico
Sumário
Introdução
Histórico
Análise Léxica
Gerador de Código
Observações
Exercı́cios
Referências
Compiladores
Histórico
Histórico
I Arquitetura de John von Neumann (fim dos anos 40)

I Computador de programa armazenado
I Escrita de sequências de código (programas)
I Inicialmente em linguagem de máquina
C7 06 0000 0002 (Intel 8x86)

Compiladores
Histórico
Histórico
C7 06 0000 0002
I Evolução para linguagem de montagem (assembly)

I Instruções e localizações de memória têm formas simbólicas

Compiladores
Histórico
Histórico
MOV X, 2
I Montador (assembler) faz a tradução da linguagem de
montagem para a de máquina
I Linguagem de montagem é dependente da máquina

Compiladores
Histórico
Histórico
I Em 1952, Grace Hopper escreve um compilador para a

linguagem de programação do sistema A-0
I Linguagem de alto nı́vel
I Mais próxima da linguagem natural ou matemática
I Independente de máquina
X = 2
I Linguagem Fortran
I Desenvolvida por John Backus (IBM) entre 1954 e 1957

Compiladores
Histórico
Histórico
I Noam Chomsky
I Estudos da estrutura da linguagem natural
I Construção de compiladores mais simples e parcialmente
automática
I Classificação das linguagens de acordo com complexidade de
suas gramáticas (hierarquia de Chomsky)
I Décadas de 1960 e 1970: estudo de algoritmos para
reconhecimento de linguagens livres de contexto (parsing)

Compiladores
Histórico
Histórico
I Técnicas de otimização
I Estudos da estrutura da linguagem natural
I Automatização da análise sintática (geradores de analisadores
sintáticos)
I Geradores de sistemas de varredura (analisadores léxicos)
I Ambientes de desenvolvimento integrado (IDEs)

Compiladores
Sumário
Introdução
Histórico
Análise Léxica
Gerador de Código
Observações
Exercı́cios
Referências
Compiladores

Compiladores
I Pré-processador
I Coleta de código distribuı́do em diferentes arquivos
I Deleção de comentários
I Substituição de macros
I Montador (assembler)
I Recebe código em Assembly
I Traduz para código de máquina relocável (referências e
endereços de memórias são simbólicos)

Compiladores
I Editor de Ligação (organizador, linker)

I Coleta código compilado separadamente (ou montado como
arquivos-objeto distintos)
I Gera um arquivo diretamente executável
I Diferença entre código objeto e código de máquina executável
I Conecta um programa-objeto ao código para a biblioteca de
funções padrão e recursos fornecidos pelo SO
I Dependente do SO e do processador

Compiladores
I Carregador (loader)
I Reúne todos os arquivos de objeto executáveis na memória
para execução
I Resolve os endereços realocáveis
I Geralmente é parte do SO

Compiladores
Programas relacionados a compiladores
I Interpretador
I Também é um tradutor de linguagens
I Execução direta do programa-fonte
I Editor (IDEs)
I Depurador
I Registra muita ou toda a informação do código-fonte

Compiladores
Programas relacionados a compiladores
I Gerenciador de perfil
I Coleta estatı́sticas de um programa-objeto durante sua
execução (número de chamadas a um procedimento, ou
porcentagem de tempo de execução gasto por cada um)
I Gerenciador de projeto

Compiladores
Sumário
Introdução
Histórico
Análise Léxica
Gerador de Código
Observações
Exercı́cios
Referências
Compiladores
Partes de um compilador
I Análise (front end)

I Divisão do programa fonte em partes
I Estrutura gramatical é imposta
I Criação de uma representação intermediária (árvores
sintáticas) e da tabela de sı́mbolos
I Sı́ntese (back end)
I Construção do programa alvo

Compiladores
Fases de um compilador
I Subdivisão das partes

I Podem ser agrupadas
I Representações intermediárias não precisam ser construı́das
I Tabela de sı́mbolos é usada em todas as fases

Compiladores
Fases de um compilador

Compiladores
Análise Léxica
Análise Léxica

Compiladores
Análise Léxica
Análise Léxica ou leitura (scanning)
I Agrupa caracteres em sequências significativas

I Lexemas
I Para cada lexema, produz um token

Compiladores
Análise Léxica
Análise Léxica
I Exemplo:
a[index] = 4 + 2

Compiladores
Análise Léxica
Análise Léxica
I Exemplo:
a[index] = 4 + 2
I Tokens

Compiladores

Compiladores
I Determina os elementos estruturais do programa e seus

relacionamentos
I Agrupa os tokens do programa fonte em frases gramaticais
I Reconhece a estrutura gramatical do programa-fonte
I Representada por uma árvore gramatical
I Árvore gramatical = árvore de parser = árvore de derivação
I Devolve uma árvore sintática mais simples
I Precedência

Compiladores
I Árvore gramatical para
a[index] = 4 + 2
I Exemplo simplificado de gramática: ”Gramatica.txt”

Compiladores
I Árvore sintática abstrata

I Representação condensada

Compiladores

Compiladores
I Significado do programa
I Atributos que podem ser determinados antes da execução,
mas que não devem ser expressos como sintaxe
I Semântica estática
I Declarações, verificação de tipos
I Reúne informações sobre os tipos
I Salvas na árvore ou na tabela

Compiladores

Compiladores
I Código intermediário ou representação intermediária

I Qualquer representação interna usada pelo compilador

Compiladores

Compiladores
I Uma das fases de otimização

I Tipos e posicionamento das fases de otimização podem variar
I Otimizador de Código Fonte
I Melhorias que dependem apenas do código fonte

Compiladores

I Otimizações feitas na árvore ou em uma versão linearizada da
mesma
I A expressão 4+2 pode ser computada pelo compilador
(empacotamento constante)

Compiladores

I Exemplo com código de três endereços:
I Passo 1
t = 4 + 2
a[index] = t

Compiladores

I Passo 1
t = 4 + 2
a[index] = t
I Passo 2
t = 6
a[index] = t

Compiladores

I Passo 1
t = 4 + 2
a[index] = t
I Passo 2
t = 6
a[index] = t
I Passo 3
a[index] = 6

Compiladores
Gerador de Código
Gerador de Código

Compiladores
Gerador de Código
Gerador de Código
I Gera código para a máquina alvo a partir do código

intermediário
I Foco nas propriedades da máquina
I Uso de instruções da máquina
I Decisões sobre representação de dados
I Exemplo: como armazenar inteiros para gerar código com
indexação?

Compiladores
Gerador de Código
Gerador de Código
I Exemplo com uma linguagem de montagem hipotética

I Convenções de C e inteiros com 2 bytes
I Exemplo

Compiladores

Compiladores
I Melhora do código alvo

I Escolha do modo de endereçamento
I Substituição de instruções lentas por instruções mais rápidas
I Eliminação de operações redundantes ou desnecessárias

Compiladores
I Exemplo:
I Uso de instrução de deslocamento ao invés de multiplicação
I Uso de modo de endereçamento mais poderoso

Compiladores
Observações
Sumário
Introdução
Histórico
Análise Léxica
Gerador de Código
Observações
Exercı́cios
Referências
Compiladores
Observações
Observações:
I Descrição dos passos é esquemática

I Compiladores apresentam variações em seus detalhes de
organização
I Fases descritas aqui estão presentes na maioria dos
compiladores

Compiladores
Observações
Análise Léxica vs. Análise Sintática
I Construções léxicas requerem somente algum mecanismo de

repetição
I Em geral, tudo o que se pode descrever com expressões
regulares
I Construções sintáticas requerem recursividade
I Fases trabalham em conjunto

Compiladores
Exercı́cios
Sumário
Introdução
Histórico
Análise Léxica
Gerador de Código
Observações
Exercı́cios
Referências
Compiladores
Exercı́cios
Exercı́cios
I Analise a IDE que você usa e identifique onde estão as

configurações que definem as chamadas: ao compilador, ao
depurador, à ligação (linker) e ao carregamento (loader).
I Durante a aula, eu menciono o Valgrind como uma
ferramenta que analisa a execução de programas. Pesquise
outros gerenciadores de perfil.
I Em uma linguagem de sua escolha (escreva qual foi a
escolhida), dê dois exemplos de cada um dos seguintes erros:
I Léxico
I Sintático
I Semântico

Compiladores
Exercı́cios
Exercı́cios
I Leia o arquivo Gramatica.txt e verifique como seu uso na

sequência de tokens vista em aula pode gerar a árvore do slide
30.
I Por que é feita uma multiplicação por 2 no slide 42?

Compiladores
Referências
Sumário
Introdução
Histórico
Análise Léxica
Gerador de Código
Observações
Exercı́cios
Referências
Compiladores
Referências
Referências:
I Livro do Dragão, cap. 1.

I Livro do Louden, cap. 1.

Introducao

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Introducao

Enviado por

Direitos autorais:

Formatos disponíveis

Compiladores

Profa. Beatriz Trinchão Andrade

Departamento de Computação - UFS

Profa. Beatriz Trinchão Andrade 1 / 54

Vimos na aula anterior:

I Por que estudar compiladores?

Profa. Beatriz Trinchão Andrade 4 / 54

Profa. Beatriz Trinchão Andrade 5 / 54

Profa. Beatriz Trinchão Andrade 5 / 54

Profa. Beatriz Trinchão Andrade 6 / 54

I Arquitetura de John von Neumann (fim dos anos 40)

Profa. Beatriz Trinchão Andrade 8 / 54

I Evolução para linguagem de montagem (assembly)

Profa. Beatriz Trinchão Andrade 9 / 54

Profa. Beatriz Trinchão Andrade 10 / 54

I Em 1952, Grace Hopper escreve um compilador para a

Profa. Beatriz Trinchão Andrade 11 / 54

Profa. Beatriz Trinchão Andrade 12 / 54

Profa. Beatriz Trinchão Andrade 13 / 54

Profa. Beatriz Trinchão Andrade 15 / 54

Profa. Beatriz Trinchão Andrade 16 / 54

I Editor de Ligação (organizador, linker)

Profa. Beatriz Trinchão Andrade 17 / 54

Profa. Beatriz Trinchão Andrade 18 / 54

Programas relacionados a compiladores

Profa. Beatriz Trinchão Andrade 19 / 54

Programas relacionados a compiladores

Profa. Beatriz Trinchão Andrade 20 / 54

I Análise (front end)

Profa. Beatriz Trinchão Andrade 22 / 54

I Subdivisão das partes

Profa. Beatriz Trinchão Andrade 23 / 54

Profa. Beatriz Trinchão Andrade 24 / 54

Profa. Beatriz Trinchão Andrade 25 / 54

Análise Léxica ou leitura (scanning)

I Agrupa caracteres em sequências significativas

Profa. Beatriz Trinchão Andrade 26 / 54

Profa. Beatriz Trinchão Andrade 27 / 54

Profa. Beatriz Trinchão Andrade 28 / 54

Profa. Beatriz Trinchão Andrade 29 / 54

I Determina os elementos estruturais do programa e seus

Profa. Beatriz Trinchão Andrade 30 / 54

Profa. Beatriz Trinchão Andrade 31 / 54

I Árvore sintática abstrata

Profa. Beatriz Trinchão Andrade 32 / 54

Profa. Beatriz Trinchão Andrade 33 / 54

Profa. Beatriz Trinchão Andrade 34 / 54

Profa. Beatriz Trinchão Andrade 35 / 54

Geração de Código Intermediário

I Código intermediário ou representação intermediária

Profa. Beatriz Trinchão Andrade 36 / 54

Otimizador de Código Intermediário

Profa. Beatriz Trinchão Andrade 37 / 54

Otimizador de Código Intermediário

I Uma das fases de otimização

Profa. Beatriz Trinchão Andrade 38 / 54

Otimizador de Código Intermediário

Profa. Beatriz Trinchão Andrade 39 / 54

Otimizador de Código Intermediário

Profa. Beatriz Trinchão Andrade 40 / 54

Otimizador de Código Intermediário

Profa. Beatriz Trinchão Andrade 40 / 54