Geração de Código Equipe de Monitores Teoria e Implementação de Linguagens Computacionais – IF688

Roteiro Introdução Visão geral Algoritmo de Geração de Código Ferramentas e exemplos ◦Java Virtual Machine - JVM ◦.NET Virtual Machine - CLR

Introdução Fase essencial do back-end de um compilador que objetiva preencher o gap semântico entre a linguagem fonte e a máquina de destino ◦Chamada de fase de síntese

Introdução Dependente da arquitetura ◦Registradores (tipo, quantidade etc) ◦Conjunto de instruções ◦Modo de endereçamento ◦Sistema Operacional (nativos) Dificilmente aproveitado para mais de uma plataforma ◦Máquina real ou virtual

Visão Geral Código objeto Análise sintática Código fonte AST Análise semântica Geração de código AST decorada Análise léxica Tokens

Algoritmos de geração Utilizam-se templates para se traduzir as diversas frases de código-fonte execute [ v := e ] ◦evaluate [e] ◦assign v Estrutura Inerentemente recursiva Tem como entrada uma estrutura de objetos ◦Visitor ◦AST decorada

Máquinas Virtuais JVM ◦Máquina vitual JAVA ◦Baseada em pilha ◦Interpreta os bytecodes presentes em um.class Arquivos.class ◦Formato binário ◦Para gerá-lo precisamos de um assembler

Máquinas Virtuais CLR ◦Common Languagem Runtime ◦Máquina virtual.NET Framework ◦Interpreta arquivos.exe.exe ◦Interpreta apenas os arquivos gerados para a plataforma ◦MONO foi baseado na mesmas definições

Java Virtual Machine Ferramentas e utilitários

Assemblers Jasmin [ ◦Java Assembler Interface ◦Biblioteca que converte texto para bytecodes Java Assembler Playground Java™ Bytecode Assembler Java Virtual Machine Assembler

Jasmin - Instruções dload - Double dstore - Double fload - Float fstore - Float iload - Int iinc Incrementa o inteiro Instruções da JVM dependem do tipo. integer, float, double etc. if_icmpeq if_icmpge if_icmpgt

Jasmin – If Then Else if(expr){ comm1; } else { comm2; } exprCode iconst_1 if_icmpeq else comm1Code goto endif else: comm2Code endIf:

Jasmin - While while(expr) { comm } startWhile: exprCode iconst_1 if_icmpeq endWhile commCode goto startWhile endWhile:

Jasmin - Métodos.method doubleLocals(DD)D.limit stack 4.limit locals 4 dload_1 dload_3 dadd dreturn.end method

Jasmin - Gerando executável java –jar jasmin.jar myfile.j O local de saída depende dos pacotes utilizados. ◦Pode ser indicado local alternativo

Máquina Virtual.NET Ferramentas

Assembler ILAsm.exe ◦Microsoft®.NET Framework ◦Intermediate Language Assembler ◦Componente do.NET Framework ◦Tradução para código da plataforma ◦Codifica o MSIL ◦Não possui GUI

ILAsm - Uso ilasm [Options] [Options] ◦Utiliza recursos do Próprio Framework ◦Seleção de arquitetura, dependencias, informações de debug, entre outras opções ◦Ilasm /?

Características do.NET Seu assembler não requer “linguagem intermediária” Assembler compõe o framework O código é independente do tipo de dado ◦Tipos básicos: int, double, float Boa documentação Especificação em: ◦

Geração de Código José Francisco Pereira Jobson Ronan Teoria e Implementação de Linguagens Computacionais – IF688