Um Algoritmo Inter-Procedural para Análise de Largura de Variáveis

Autores

  • Douglas do Couto Teixeira Universidade Federal de Minas Gerais
  • Fernando Magno Quintão Pereira Universidade Federal de Minas Gerais

Resumo

Durante este projeto foi desenvolvido um algoritmo inter-procedural que é capaz de processar programas com milhões de instruções assembly. Ao contrário de muitos trabalhos anteriores, nosso algoritmo trata comparações entre variáveis sem recorrer a algoritmos custosos. Nós obtemos sensibilidade ao fluxo de execução usando como representação intermediária o formato e-SSA (Extended Static Single Assignment) descrito por Bodik. Nós também mostramos que processar os componentes fortemente conexos do grafo em ordem topológica não só reduz o tempo de execução do programa, mas também aumenta sua precisão. Nós implementamos nossa técnica em LLVM, um compilador industrial, e fomos capazes de processar cerca de quatro milhões de instruções assembly em poucos segundos.

Downloads

Não há dados estatísticos.

Downloads

Publicado

2013-04-02

Como Citar

Teixeira, D. do C., & Pereira, F. M. Q. (2013). Um Algoritmo Inter-Procedural para Análise de Largura de Variáveis. Revista Eletrônica De Iniciação Científica Em Computação, 12(3). Recuperado de https://sol.sbc.org.br/journals/index.php/reic/article/view/1010

Edição

Seção

Edição Especial: CTIC/CSBC