Programación de Sistemas Unidad 3 Compiladores

Contenido Estructura de un compilador Análisis léxico Análisis sintáctico Análisis semántico Generación de código intermedio Optimización de código Generación de código Administración de la tabla de símbolos Manejador de errores Un compilador sencillo de una pasada Definición de la sintaxis Traducción dirigida por la sintaxis Incorporación de una tabla de símbolos

Estructura de un compilador Conceptualmente un compilador opera en fases (análisis y síntesis), cada una de las cuales transforma al programa fuente de una representación a otra. Programa fuente con directivas Preprocesador Programa fuente Compilador Analizador léxico Analizador sintáctico Fase de análisis Analizador semántico Administrador de la Tabla de símbolos Manejador de errores Generador de código intermedio Optimizador de código Fase de síntesis Generador de código Programa objeto

Estructura de un compilador (2) Análisis léxico También conocido como: análisis lineal o exploración (scanner). La secuencia de caracteres que forma el programa fuente se lee de izquierda a derecha y se agrupa en componentes léxicos, que son secuencias de caracteres que tienen un significado colectivo. Ejemplo, en la proposición de asignación: posicion = inicial + velocidad * 60 Se identifican los siguientes componentes léxicos Identificador (posicion) Símbolo de asignación (=) Identificador (inicial) Signo de suma (+) Identificador (velocidad) Signo de multiplicación (*) Número (60)

Estructura de un compilador (3) Análisis sintáctico También llamado análisis sintáctico. Implica agrupar los componentes léxicos en frases gramaticales que el compilador utiliza para sintetizar la salida. Por lo general, las frases gramaticales se representan mediante un árbol de análisis sintáctico. Ejemplo: Proposición de asignación Identificador = expresión posicion expresión + expresión identificador expresión * expresión inicial identificador Número velocidad 60

Estructura de un compilador (4) La estructura jerárquica de un programa normalmente se expresa utilizando reglas recursivas. Para el ejemplo anterior de la proposición de asignación se tiene: Cualquier identificador es una expresión Cualquier número es una expresión Si expresión1 y expresión2 son expresiones, entonces también lo son: expresión1 + expresión2 expresión1 * expresión2 (expresión1) Proposición de asignación Identificador = expresión posicion expresión + expresión identificador expresión * expresión inicial identificador Número velocidad 60

Estructura de un compilador (5) Muchos lenguajes definen recursivamente las proposiciones mediante reglas como: Si expresión1 es una expresión y proposición2 es una proposición, entonces: while ( expresión1 ) do proposición2 if ( expresión1 ) then proposición2 El análisis léxico no es suficientemente poderoso para analizar proposiciones o expresiones recursivas. Cuándo una construcción del lenguaje fuente es recursiva, entonces es factible emplear una gramática libre de contexto para formalizar la recursión.

Estructura de un compilador (6) Análisis semántico Se realizan ciertas revisiones para asegurar que los componentes de un programa se ajustan de un modo significativo. Revisa el programa e intenta encontrar errores semánticos. Reúne la información sobre los tipos para la fase posterior de generación de código. Un componente importante es la verificación de tipos. Se verifica si cada operador tiene los operandos permitidos. Un real no debe utilizarse como índice de un arreglo. Convertir un número entero a real para algunos operadores. El análisis semántico inserta una conversión de entero a real en el árbol de análisis sintáctico = = posicion + posicion + inicial * inicial * velocidad 60 velocidad ent a real 60

Estructura de un compilador (7) posicion = inicial + velocidad * 60 Analizador léxico id1 = id2 + id3 * 60 Analizador sintáctico = id1 + id2 * id3 60 Administración de la tabla de símbolos Registra los identificadores e información referente a ellos. Se tiene un registro por cada identificador. Todas las fases hacen uso de esta tabla. Detección e información de errores En cada fase se pueden encontrar errores. Se debe definir como se deben tratar los errores en cada una de las fases. Las fases de análisis Cambian la representación interna del programa fuente conforme avanza cada una de ellas. Generación de código intermedio Se puede considerar como código para una máquina abstracta. Dicha representación debe ser fácil de producir y fácil de traducir al código objeto. Optimización de código Trata de mejorar el código intermedio de modo que resulte un código máquina más rápido de ejecutar. Generación de código Por lo general se trata de código máquina relocalizable o código ensamblador. Se deben seleccionar posiciones de memoria para cada una de las variables. Analizador sintáctico = id1 + id2 * id3 ent a real TABLA DE SIMBOLOS 60 1 2 3 4 posicion … Generador de código intermedio inicial … velocidad … temp1 = entreal(60) temp2 = id3 * temp1 temp3 = id2 +temp2 Id1 = temp3 Optimizador de código temp1 = id3 * 60.0 temp3 = id2 +temp2 Id1 = temp3 Generador de código MOVF id3, R2 MULF #60.0, R2 MOVF id2, R1 ADDF R2, R1 MOV R1, id1

Estructura de un compilador (8) En la etapa de síntesis se ha encontrado que el programa es correcto. Por lo tanto, el compilador ya es capaz de generar el código máquina correspondiente al programa fuente. En la etapa de generación de código intermedio es común encontrar una representación intermedia llamada “código de tres direcciones” el cuál tiene las siguientes características: Es similar a un lenguaje ensamblador, con la peculiaridad de que sería para un procesador que carece de registros. Solo es capaz de trabajar con variables (direcciones de memoria) y constantes. Cada instrucción tiene un máximo de tres operandos Además del operador de asignación solo se cuenta a lo más con un operador. Se hace necesario el uso de variables temporales No todas las instrucciones requieren tres operandos (obvio). En la etapa de generación de código se depende una máquina destino en particular, el código intermedio optimizado debe ser fácil de llevar a su representación final