libfirm. libfirm é uma biblioteca que fornece uma representação e otimizações intermediárias para compiladores.
Baixe Agora

libfirm. Classificação e resumo

libfirm. Tag

otimização compilador Representação do compilador otimização do compilador Biblioteca firme representação

libfirm. Descrição

A LIBFRIM é uma biblioteca que fornece uma representação e otimizações intermediárias para compiladores. A LIBFRIM é uma biblioteca que fornece uma representação e otimizações intermediárias para compiladores. Os programas são representados em um formulário SSA baseado em gráfico. A empresa é usada para representar programas de computador em um programa de computador, a fim de analisar e transformá-lo. A aplicação principal da empresa é a construção do compilador onde usamos para representar, otimizar e transformar programas C e Java para o código nativo da máquina. Aqui estão algumas características principais de "libfirm": · Funciona exclusivamente em uma representação da SSA baseada em gráfico ("Mar de nós") até a emissão de código assembler. Com base no trabalho de C. Clique e M. Trapp · Escrito em Portable C. conhecido por ser executado em MSVC 6-8 Win32, GCC no Linux, FreeBSD, Cygwin · Inclui documentação do doxigênio · Suporte para hierarquias de tipo orientadas a objetos Análises: · Dominância · Árvore de loop. · Frequência de execução. · Controlar Dependências. · Gráfico de chamada inter-procedural · Tipo Rápido. · DEF-USE · Análise de alias. · Análise de hierarquia de classes Otimizações: · Eliminação de código morto (acontece implicitamente) · Folding constante (acontece na mosca) · Eliminação de subexpressão comum local (acontece na mosca) · Identidades aritméticas (acontece na mosca) · Eliminação de código inacessível · Eliminação de subexpressão comum global · Colocação de código · Redução de resistência do operador · Substituição escalar · Carregar / armazenar otimização · Otimizações de fluxo de controle · Se-conversão · Avaliação de condição parcial · ReSiciação · Eliminação de recursão de cauda · Inlining. · Clonagem de procedimento. · Verificadores extensos · Suporte de depuração aprimorado: pontos de interrupção na criação do nó, criação de entidades, despejo do gráfico, extensão de depuração do Visual Studio · Abaixamento de intrínsecos, aritmética de palavra dupla, bitfields Características genéricas de backend: · Novo alocador de registro baseado em SSA · Vários algoritmos de derramamento · Vários algoritmos de coalescimento de cópia SSA · Algoritmos para instrução e agendamento de bloco básico · Abi manipulando ajudantes · Backend do IA32 de trabalho com suporte para o ponto flutuante X87 e SSE2 · Backends inacabados para MIPS, braço, ppc32 · Conexões para o Grupo Edison Design C e Java Frontends disponíveis. O que há de novo nesta versão: · Bugfixes. · Otimização de carga / loja avançada que as talhas carrega de loops · Restrutura interna: muitas estruturas de nó são geradas automaticamente a partir de um arquivo de especificação agora. · Adicionar suporte para várias convenções de chamadas · Novo suporte experimental para leitura e escritagráficos para o disco · Suporte e otimizações para trampolins · Corrigir suporte de foto

libfirm. Software Relacionado