Geração automática de backend de compiladores baseada em ADLs

Resumo

O processo de automatização da criação de backends de compiladores, isto é, docomponente responsável principalmente pela tradução final para código de máquina, é perseguido desde o início da formação da teoria decompiladores. Esta pressão por isolar o código, da descrição formal da máquina, decorre das características do desenvolvimento destescomponentes: um processo longo, envolvendo análise de muitos casos (levando a códigos grandes e difíceis de manter), que compreende duas partes distintas - algoritmos genéricos de compiladores unidos com conhecimento sobre aarquitetura da máquina alvo. Por esse motivo, um esforço natural para manter o desenvolvimento simples e intuitivo é a concentração do conhecimento sobre a máquina alvo em uma forma concisa de descrição, da qual seja possívelespecializar algoritmos genéricos de compilação para este alvo específico. Uma linguagem de descrição de arquiteturas (ADL) permite a especificação das características arquiteturais de processadores, englobando as instruçõesdisponíveis. Este projeto de mestrado propõe o estudo de mecanismos para gerar backend de compiladores através de descrições arquiteturais de processadores, com ênfase no estudo de caso da ADL ArchC com o compilador LLVM.