libfirmar LIBFIRM es una biblioteca que proporciona una representación intermedia y optimizaciones para los compiladores.
Descargar ahora

libfirmar Clasificación y resumen

libfirmar Etiquetas

mejoramiento compilador representación del compilador optimización del compilador Biblioteca firme representación

libfirmar Descripción

LIBFIRM es una biblioteca que proporciona una representación intermedia y optimizaciones para los compiladores. LIBFIRM es una biblioteca que proporciona una representación intermedia y optimizaciones para los compiladores. Los programas están representados en un formulario SSA basado en gráficos. La firma se utiliza para representar programas informáticos en un programa de computadora para analizarlo y transformarlo. La aplicación principal de la firma es la construcción del compilador donde lo usamos para representar, optimizar y transformar los programas C y Java al código nativo de la máquina. Aquí hay algunas características clave de "Libfirm": · Funciona exclusivamente en una representación de la SSA basada en gráficos ("Mar de nodos") hasta la emisión de código del ensamblador. Basado en el trabajo de C. Click y M. trapp · Escrito en Portable C. Se sabe que se ejecuta en MSVC 6-8 WIN32, GCC en Linux, FreeBSD, Cygwin · Incluye documentación de Doxygen. · Soporte para jerarquías de tipo orientado a objetos Análisis: · Dominio · Árbol de bucle · Frecuencia de ejecución · Control de dependencias · Gráfico de llamadas inter-procesales · Tipo rápido · Def-use · Análisis de alias · Análisis de la jerarquía de clase Optimizaciones: · Eliminación de código muerto (sucede implícitamente) · Plegado constante (sucede sobre la marcha) · Eliminación local de subexpresión común (sucede sobre la marcha) · Identidades aritméticas (sucede sobre la marcha) · Eliminación de código inalcanzable · Eliminación global de subexpresión común. · Colocación de código · Reducción de la fuerza del operador · Reemplazo escalar · Cargar / tienda optimización · Control de optimizaciones de flujo. · Si la conversión · Evaluación de condición parcial · Reassociación · Eliminación de la recursión de la cola. · Inlindido · Procedimiento de clonación · Examoches extensas · Soporte de depuración mejorada: puntos de interrupción en creación de nodos, creación de entidades, dumping de gráficos, extensión de depuración de Visual Studio · Bajas de intrínsecos, aritmélicos de doble palabra, campos de bits Características del backend genérico: · Nuevo asignador de registro basado en SSA · Varios algoritmos derrames · Varios algoritmos de copia de SSA Coalescing · Algoritmos para la instrucción y la programación básica de bloques. · ABI manejando a los ayudantes · Trabajando IA32 Backend con soporte para X87 y SSE2 Punto flotante · Pelos sin terminar para MIPS, ARM, PPC32 · Conexiones al grupo de diseño de Edison C y Frontends Java disponibles. ¿Qué hay de nuevo en este lanzamiento: · corrección de errores · CARGA AVANZADA / OPTIMIZACIÓN DE LA TIENDA POR LOS PUSESES DE LOS MUESTROS POR LOOPS · Retrutación interna: muchas estructuras de nodos se generan automáticamente a partir de un archivo de especificación ahora. · Añadir soporte para múltiples convenciones de llamadas · Nuevo soporte experimental para lectura y escritura de grógrafos de programas al disco. · Soporte y optimización para trampolines. · Fijar el soporte de PIC

libfirmar Software relacionado