0
Diseño de Compiladores I Estructura General de un Compilador
Estructura General de un Compilador Diseño de Compiladores I - 2007 Estructrura General de un Compilador COMPILADOR PROGRA...
<ul><li>Un compilador es un programa que traduce un programa escrito en lenguaje fuente y produce otro equivalente escrito...
Lenguaje Fuente <ul><li>Lenguaje de alto nivel. Por ejemplo: C, Pascal, C++. </li></ul><ul><li>Lenguaje especializado para...
Salida <ul><li>Código de Máquina. Escrito en las instrucciones de máquina de la computadora en la que se ejecutará. </li><...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Tabla de Símbolos Errores Sal...
Front End <ul><li>Fases que dependen del lenguaje fuente  </li></ul><ul><ul><li>Análisis Léxico </li></ul></ul><ul><ul><li...
Back End <ul><li>Fases que dependen de la máquina objetivo </li></ul><ul><ul><li>Generación de la salida </li></ul></ul><u...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Tabla de Símbolos Errores Sal...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Tabla de Símbolos Errores Sal...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Fases de la Compilación <ul><li>Suele haber preprocesadores para : </li></ul><ul><li>Eliminar comentarios </li></ul><ul><l...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Análisis Léxico <ul><li>Lee el programa fuente. </li></ul><ul><li>Remueve espacios en blanco, tabulaciones, saltos de líne...
Análisis Léxico <ul><li>Un  token  es una secuencia de caracteres que forman una unidad significativa </li></ul>Diseño de ...
Análisis Léxico <ul><li>La interacción entre el Análisis Léxico y el Análisis Sintáctico puede ocurrir de distintas formas...
Análisis Léxico Ejemplo <ul><li>if Plazo >= 30  </li></ul><ul><ul><li>then Tasa := Base + Recargo / 100 </li></ul></ul><ul...
Análisis Léxico Ejemplo <ul><li>[ if ]   [ Plazo ]   [ >= ]   [ 30 ]   </li></ul><ul><ul><li>[ then ]   [ Tasa ]   [ := ] ...
Análisis Léxico Tokens <ul><li>Palabras reservadas. </li></ul><ul><ul><li>Ejemplos: IF, THEN, ELSE </li></ul></ul><ul><li>...
Análisis Léxico Tokens <ul><li>Los tokens se diferencian de la cadena de caracteres que representan. </li></ul><ul><li>La ...
Análisis Léxico <ul><li>El Análisis Léxico hace una correspondencia entre cada token y un número entero. </li></ul><ul><li...
Análisis Léxico Diseño de Compiladores I - 2007 Estructrura General de un Compilador Token Identificación del token ID 27 ...
Análisis Léxico Ejemplo <ul><li>[ if ]   [ Plazo ]   [ >= ]   [ 30 ]   </li></ul><ul><ul><li>[ then ]   [ Tasa ]   [ := ] ...
Análisis Léxico Ejemplo <ul><li>[ 59 ]   [ Plazo ]   [ >= ]   [ 30 ]   </li></ul><ul><ul><li>[ then ]   [ Tasa ]   [ := ] ...
Análisis Léxico Ejemplo <ul><li>[ 59 ]   [ 27 ]   [ >= ]   [ 30 ]   </li></ul><ul><ul><li>[ then ]   [ Tasa ]   [ := ]   [...
Análisis Léxico Ejemplo <ul><li>[ 59 ]   [ 27 ]   [ 80 ]   [ 30 ]   </li></ul><ul><ul><li>[ then ]   [ Tasa ]   [ := ]   [...
Análisis Léxico Ejemplo <ul><li>[ 59 ]   [ 27 ]   [ 80 ]   [ 28 ]   </li></ul><ul><ul><li>[ then ]   [ Tasa ]   [ := ]   [...
Análisis Léxico Ejemplo <ul><li>[ 59 ]   [ 27 ]   [ 80 ]   [ 28 ]   </li></ul><ul><ul><li>[ 60 ]   [ 27 ]   [ 85 ]   [ 27 ...
Análisis Léxico Ejemplo <ul><li>[ 59 ]   [ 27, ‘Plazo’ ]   [ 80 ]   [ 28, ‘30’ ]   </li></ul><ul><ul><li>[ 60 ]   [ 27, ‘T...
Análisis Léxico Ejemplo <ul><li>[ 59 ]   [ 27 ]   [ 80 ]   [ 28 ]   [ 60 ]   [ 27 ]   [ 85 ]   [ 27 ]   [ 70 ]   [ 27 ]   ...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Análisis Sintáctico <ul><li>Agrupa los tokens del programa fuente en frases gramaticales que el compilador usará en las si...
Análisis Sintáctico <ul><li>Los  tokens  son símbolos terminales en la  gramática  que describe al lenguaje fuente </li></...
Análisis Sintáctico <ul><li>La estructura jerárquica de un programa es representada por reglas que constituyen una  gramát...
Análisis Sintáctico Gramática <ul><li> sent        sel    </li></ul><ul><li> sent        asig    </li></ul><ul><...
Análisis Sintáctico <ul><li>Usualmente, la estructura gramatical que el Análisis Sintáctico detecta en el código fuente es...
Análisis Sintáctico  Árbol de Parsing <ul><ul><li>Tasa := Base + Recargo / 100      ID := ID + ID / CTE </li></ul></ul>Di...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Generación de Código Diseño de Compiladores I - 2007 Estructrura General de un Compilador Caminos posibles: Camino 1: A Ca...
Generación de Código Árbol Sintáctico <ul><li>Es una representación comprimida del árbol de parsing . </li></ul>Diseño de ...
Análisis Semántico <ul><li>Analiza el significado del programa. </li></ul><ul><li>Chequea reglas que no pueden ser captura...
Análisis Semántico Ejemplo <ul><ul><li>Tasa := Base + Recargo / 100    ID := ID + ID / CTE </li></ul></ul>Diseño de Compi...
Código Intermedio <ul><li>Representación del código fuente como un programa escrito para ser ejecutado en una máquina abst...
Código Intermedio Ejemplo <ul><li>… </li></ul><ul><li>(ItoF, 100, -) </li></ul><ul><li>(/, Recargo, [15]) </li></ul><ul><l...
Optimización <ul><li>Transforma la representación actual del código en una nueva versión que logra el mismo resultado más ...
Optimización Ejemplo <ul><li>… </li></ul><ul><li>(ItoF, 100, -) </li></ul><ul><li>(/, Recargo, [15]) </li></ul><ul><li>(+,...
Generación de Código propiamente dicho <ul><li>Se traduce la representación intermedia del programa fuente en el código na...
Generación de Código Assembler Ejemplo Diseño de Compiladores I - 2007 Estructrura General de un Compilador … FLD, Recargo...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Tabla de Símbolos <ul><li>Es una estructura de datos que contiene un registro para cada identificador utilizado en el códi...
Tabla de Símbolos <ul><ul><li>Cuando el Análisis Léxico detecta un token de tipo identificador, lo ingresa en la Tabla de ...
Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Anális...
Manejo de Errores <ul><li>Cada una de las etapas del Compilador puede detectar errores que son informados al programador. ...
Upcoming SlideShare
Loading in...5
×

DiseñO De Compilador

22,910

Published on

Published in: Travel, Business
0 Comments
5 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
22,910
On Slideshare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
1,062
Comments
0
Likes
5
Embeds 0
No embeds

No notes for slide
  • Transcript of "DiseñO De Compilador"

    1. 1. Diseño de Compiladores I Estructura General de un Compilador
    2. 2. Estructura General de un Compilador Diseño de Compiladores I - 2007 Estructrura General de un Compilador COMPILADOR PROGRAMA FUENTE SALIDA Mensajes de Error
    3. 3. <ul><li>Un compilador es un programa que traduce un programa escrito en lenguaje fuente y produce otro equivalente escrito en un lenguaje objetivo. </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    4. 4. Lenguaje Fuente <ul><li>Lenguaje de alto nivel. Por ejemplo: C, Pascal, C++. </li></ul><ul><li>Lenguaje especializado para alguna disciplina específica dentro de las Ciencias de la Computación. </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    5. 5. Salida <ul><li>Código de Máquina. Escrito en las instrucciones de máquina de la computadora en la que se ejecutará. </li></ul><ul><li>Código Binario. Deberá ser vinculado con las librerías correspondientes para obtener el código ejecutable. </li></ul><ul><li>Código Assembler. Deberá ser ensamblado y vinculado. </li></ul><ul><li>Otro lenguaje de alto nivel. </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    6. 6. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Tabla de Símbolos Errores Salida Análisis Léxico Análisis Sintáctico Análisis Semántico Optimización Generación de Código Intermedio Generación de Código Objetivo Programa Fuente
    7. 7. Front End <ul><li>Fases que dependen del lenguaje fuente </li></ul><ul><ul><li>Análisis Léxico </li></ul></ul><ul><ul><li>Análisis Sintáctico </li></ul></ul><ul><ul><li>Análisis Semántico (Estático) </li></ul></ul><ul><ul><li>Creación de la Tabla de Símbolos </li></ul></ul><ul><ul><li>Generación de Código Intermedio </li></ul></ul><ul><ul><li>Algo de Optimización </li></ul></ul><ul><ul><li>Manejo de errores correspondiente a las fases del Front End </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    8. 8. Back End <ul><li>Fases que dependen de la máquina objetivo </li></ul><ul><ul><li>Generación de la salida </li></ul></ul><ul><ul><li>Optimización </li></ul></ul><ul><ul><li>Manejo de errores correspondiente a las fases del Back End </li></ul></ul><ul><ul><li>Operaciones sobre la Tabla de Símbolos </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    9. 9. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Tabla de Símbolos Errores Salida Análisis Léxico Análisis Sintáctico Análisis Semántico Optimización Generación de Código Intermedio Generación de Código Objetivo Programa Fuente
    10. 10. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Tabla de Símbolos Errores Salida Análisis Léxico Análisis Sintáctico Análisis Semántico Optimización Generación de Código Intermedio Generación de Código Objetivo Programa Fuente
    11. 11. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores
    12. 12. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores *
    13. 13. Fases de la Compilación <ul><li>Suele haber preprocesadores para : </li></ul><ul><li>Eliminar comentarios </li></ul><ul><li>Incluir archivos </li></ul><ul><li>Expandir macros </li></ul><ul><li>Efectuar compilación condicional </li></ul><ul><li>Reemplazar constantes simbólicas </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    14. 14. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores *
    15. 15. Análisis Léxico <ul><li>Lee el programa fuente. </li></ul><ul><li>Remueve espacios en blanco, tabulaciones, saltos de línea. </li></ul><ul><li>Remueve comentarios. </li></ul><ul><li>Agrupa los caracteres en unidades llamadas tokens . </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    16. 16. Análisis Léxico <ul><li>Un token es una secuencia de caracteres que forman una unidad significativa </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    17. 17. Análisis Léxico <ul><li>La interacción entre el Análisis Léxico y el Análisis Sintáctico puede ocurrir de distintas formas: </li></ul><ul><ul><li>Ambas actividades se ejecutan en modo batch. </li></ul></ul><ul><ul><li>Ambas actividades son concurrentes. </li></ul></ul><ul><ul><li>Ambas actividades son rutinas del Generador de Código. </li></ul></ul><ul><ul><li>El Análisis Léxico es una rutina del Análisis Sintáctico. </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    18. 18. Análisis Léxico Ejemplo <ul><li>if Plazo >= 30 </li></ul><ul><ul><li>then Tasa := Base + Recargo / 100 </li></ul></ul><ul><ul><li>else Tasa := Base </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    19. 19. Análisis Léxico Ejemplo <ul><li>[ if ] [ Plazo ] [ >= ] [ 30 ] </li></ul><ul><ul><li>[ then ] [ Tasa ] [ := ] [ Base ] [ + ] [ Recargo ] [ / ] [ 100 ] </li></ul></ul><ul><ul><li>[ else ] [ Tasa ] [ := ] [ Base ] </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    20. 20. Análisis Léxico Tokens <ul><li>Palabras reservadas. </li></ul><ul><ul><li>Ejemplos: IF, THEN, ELSE </li></ul></ul><ul><li>Operadores </li></ul><ul><ul><li>Ejemplos: ‘+’, ‘  =‘, ‘:=‘ </li></ul></ul><ul><li>Cadenas de múltiples caracteres </li></ul><ul><ul><li>Ejemplos: Identificador, Constante </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    21. 21. Análisis Léxico Tokens <ul><li>Los tokens se diferencian de la cadena de caracteres que representan. </li></ul><ul><li>La cadena de caracteres es el Lexema o valor léxico. </li></ul><ul><ul><li>Existen tokens que se corresponden con un único lexema </li></ul></ul><ul><ul><ul><li>Ejemplo: Palabra Reservada IF </li></ul></ul></ul><ul><ul><li>Existen tokens que pueden representar lexemas diferentes </li></ul></ul><ul><ul><ul><li>Ejemplo: Identificador Plazo, Identificador Tasa </li></ul></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    22. 22. Análisis Léxico <ul><li>El Análisis Léxico hace una correspondencia entre cada token y un número entero. </li></ul><ul><li>El Análisis Léxico entrega al Análisis Sintáctico los tokens. </li></ul><ul><li>Cuando un token puede corresponder a más de un lexema, el Análisis Léxico entrega al Análisis Sintáctico el par token-lexema. </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    23. 23. Análisis Léxico Diseño de Compiladores I - 2007 Estructrura General de un Compilador Token Identificación del token ID 27 CTE 28 IF 59 THEN 60 ELSE 61 + 70 / 73 >= 80 := 85
    24. 24. Análisis Léxico Ejemplo <ul><li>[ if ] [ Plazo ] [ >= ] [ 30 ] </li></ul><ul><ul><li>[ then ] [ Tasa ] [ := ] [ Base ] [ + ] [ Recargo ] [ / ] [ 100 ] </li></ul></ul><ul><ul><li>[ else ] [ Tasa ] [ := ] [ Base ] </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    25. 25. Análisis Léxico Ejemplo <ul><li>[ 59 ] [ Plazo ] [ >= ] [ 30 ] </li></ul><ul><ul><li>[ then ] [ Tasa ] [ := ] [ Base ] [ + ] [ Recargo ] [ / ] [ 100 ] </li></ul></ul><ul><ul><li>[ else ] [ Tasa ] [ := ] [ Base ] </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    26. 26. Análisis Léxico Ejemplo <ul><li>[ 59 ] [ 27 ] [ >= ] [ 30 ] </li></ul><ul><ul><li>[ then ] [ Tasa ] [ := ] [ Base ] [ + ] [ Recargo ] [ / ] [ 100 ] </li></ul></ul><ul><ul><li>[ else ] [ Tasa ] [ := ] [ Base ] </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    27. 27. Análisis Léxico Ejemplo <ul><li>[ 59 ] [ 27 ] [ 80 ] [ 30 ] </li></ul><ul><ul><li>[ then ] [ Tasa ] [ := ] [ Base ] [ + ] [ Recargo ] [ / ] [ 100 ] </li></ul></ul><ul><ul><li>[ else ] [ Tasa ] [ := ] [ Base ] </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    28. 28. Análisis Léxico Ejemplo <ul><li>[ 59 ] [ 27 ] [ 80 ] [ 28 ] </li></ul><ul><ul><li>[ then ] [ Tasa ] [ := ] [ Base ] [ + ] [ Recargo ] [ / ] [ 100 ] </li></ul></ul><ul><ul><li>[ else ] [ Tasa ] [ := ] [ Base ] </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    29. 29. Análisis Léxico Ejemplo <ul><li>[ 59 ] [ 27 ] [ 80 ] [ 28 ] </li></ul><ul><ul><li>[ 60 ] [ 27 ] [ 85 ] [ 27 ] [ 70 ] [ 27 ] [ 73 ] [ 28 ] </li></ul></ul><ul><ul><li>[ 61 ] [ 27 ] [ 85 ] [ 27 ] </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    30. 30. Análisis Léxico Ejemplo <ul><li>[ 59 ] [ 27, ‘Plazo’ ] [ 80 ] [ 28, ‘30’ ] </li></ul><ul><ul><li>[ 60 ] [ 27, ‘Tasa’ ] [ 85 ] [ 27, ‘Base’ ] [ 70 ] [ 27,’Recargo’ ] [ 73 ] [ 28, ‘100’ ] </li></ul></ul><ul><ul><li>[ 61 ] [ 27,’Tasa’ ] [ 85 ] [ 27,‘Base’ ] </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    31. 31. Análisis Léxico Ejemplo <ul><li>[ 59 ] [ 27 ] [ 80 ] [ 28 ] [ 60 ] [ 27 ] [ 85 ] [ 27 ] [ 70 ] [ 27 ] [ 73 ] [ 28 ] [ 61 ] [ 27 ] [ 85 ] [ 27 ] </li></ul><ul><li>IF ID >= CTE THEN ID := ID + ID / CTE ELSE ID := ID </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    32. 32. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores Tira de tokens
    33. 33. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores * Tira de tokens
    34. 34. Análisis Sintáctico <ul><li>Agrupa los tokens del programa fuente en frases gramaticales que el compilador usará en las siguientes etapas. </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    35. 35. Análisis Sintáctico <ul><li>Los tokens son símbolos terminales en la gramática que describe al lenguaje fuente </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    36. 36. Análisis Sintáctico <ul><li>La estructura jerárquica de un programa es representada por reglas que constituyen una gramática . </li></ul><ul><li>Las reglas se representan por medio de producciones . </li></ul><ul><li>Cada producción define un símbolo no terminal en función de símbolos terminales o tokens, y otros símbolos no terminales. </li></ul><ul><li>Existe una producción que define al no terminal programa . </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    37. 37. Análisis Sintáctico Gramática <ul><li> sent    sel  </li></ul><ul><li> sent    asig  </li></ul><ul><li> sel   IF  cond  THEN  sent  ELSE  sent  </li></ul><ul><li> cond    exp   comp   exp  </li></ul><ul><li> comp   < | > | <= | >= | == | <> </li></ul><ul><li> asig   ID :=  exp  </li></ul><ul><li> exp    exp  +  term  </li></ul><ul><li> exp    exp  -  term  </li></ul><ul><li> exp    term  </li></ul><ul><li> term    term    fact  </li></ul><ul><li> term    term  /  fact  </li></ul><ul><li> term    fact  </li></ul><ul><li> fact   ID </li></ul><ul><li> fact   CTE </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    38. 38. Análisis Sintáctico <ul><li>Usualmente, la estructura gramatical que el Análisis Sintáctico detecta en el código fuente es representada por un árbol de parsing . </li></ul><ul><li>El árbol de parsing demuestra como la secuencia de tokens de entrada puede ser derivada a partir de las reglas de una gramática. </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    39. 39. Análisis Sintáctico Árbol de Parsing <ul><ul><li>Tasa := Base + Recargo / 100  ID := ID + ID / CTE </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador Lista de reglas: 17 16 13 17 16 18 15 11 10 ID CTE +  := ID ID fact fact fact expr term term asig (17) (17) (16) (10) (11) (15) (18) term (16) expr (13)
    40. 40. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores Lista de reglas Tira de tokens
    41. 41. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores Lista de reglas Tira de tokens
    42. 42. Generación de Código Diseño de Compiladores I - 2007 Estructrura General de un Compilador Caminos posibles: Camino 1: A Camino 2: D, I Camino 3: E, L Camino 4: C, J Camino 5: B, K Camino 6: D, F, K Camino 7: D, G, J Camino 8: D, H, L Lista de Reglas Código Assembler Árbol Sintáctico Tercetos Polaca Inversa Cuartetos A B C D E F G H I J K L
    43. 43. Generación de Código Árbol Sintáctico <ul><li>Es una representación comprimida del árbol de parsing . </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador <ul><ul><li>Tasa := Base + Recargo / 100  ID := ID + ID / CTE </li></ul></ul>ID ID CTE := ID + /
    44. 44. Análisis Semántico <ul><li>Analiza el significado del programa. </li></ul><ul><li>Chequea reglas que no pueden ser capturadas por la gramática, pero que pueden ser verificadas en tiempo de compilación. Estas reglas corresponden a la semántica estática del lenguaje. </li></ul><ul><li>Ejemplos: </li></ul><ul><ul><li>Chequeo de tipos en expresiones aritméticas. </li></ul></ul><ul><ul><li>Chequeo de tipo y número de parámetros en la llamada a una rutina. </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    45. 45. Análisis Semántico Ejemplo <ul><ul><li>Tasa := Base + Recargo / 100  ID := ID + ID / CTE </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador ID ID CTE := ID + ItoF /
    46. 46. Código Intermedio <ul><li>Representación del código fuente como un programa escrito para ser ejecutado en una máquina abstracta. </li></ul><ul><li>Posibles representaciones intermedias: </li></ul><ul><ul><li>Tercetos </li></ul></ul><ul><ul><li>Cuartetos </li></ul></ul><ul><ul><li>Polaca Inversa </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    47. 47. Código Intermedio Ejemplo <ul><li>… </li></ul><ul><li>(ItoF, 100, -) </li></ul><ul><li>(/, Recargo, [15]) </li></ul><ul><li>(+, Base, [16]) </li></ul><ul><li>(:=, Tasa, [17]) </li></ul><ul><li>… </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador Árbol Sintáctico Tercetos <ul><ul><li>Tasa := Base + Recargo / 100  ID := ID + ID / CTE </li></ul></ul>ID ID CTE := ID + ItoF /
    48. 48. Optimización <ul><li>Transforma la representación actual del código en una nueva versión que logra el mismo resultado más eficientemente. </li></ul><ul><li>Pueden aplicarse optimizaciones en diferentes etapas de la compilación: </li></ul><ul><ul><li>durante la creación de la representación intermedia, </li></ul></ul><ul><ul><li>durante la transformación de una representación intermedia en otra, </li></ul></ul><ul><ul><li>durante la traducción del código intermedio a la salida, </li></ul></ul><ul><ul><li>luego de generar la salida, </li></ul></ul><ul><ul><li>e incluso durante la linkedición o la ejecución. </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    49. 49. Optimización Ejemplo <ul><li>… </li></ul><ul><li>(ItoF, 100, -) </li></ul><ul><li>(/, Recargo, [15]) </li></ul><ul><li>(+, Base, [16]) </li></ul><ul><li>(:=, Tasa, [17]) </li></ul><ul><li>… </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador <ul><li>… </li></ul><ul><li>(/, Recargo, 100.0) </li></ul><ul><li>(+, Base, [15]) </li></ul><ul><li>(:=, Tasa, [16]) </li></ul><ul><li>… </li></ul>Tercetos Tercetos Optimizados <ul><ul><li>Tasa := Base + Recargo / 100  ID := ID + ID / CTE </li></ul></ul>
    50. 50. Generación de Código propiamente dicho <ul><li>Se traduce la representación intermedia del programa fuente en el código nativo de la máquina objetivo. </li></ul><ul><li>El código generado efectuará el chequeo de las reglas de semántica dinámica del lenguaje, que no pudieron ser verificadas durante la compilación. </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    51. 51. Generación de Código Assembler Ejemplo Diseño de Compiladores I - 2007 Estructrura General de un Compilador … FLD, Recargo FLD, Cte1 FDIV FLD, Base FADD FSTP, Tasa … Tercetos Optimizados Código Assembler <ul><li>… </li></ul><ul><li>(/, Recargo, 100.0) </li></ul><ul><li>(+, Base, [15]) </li></ul><ul><li>(:=, Tasa, [16]) </li></ul><ul><li>… </li></ul><ul><ul><li>Tasa := Base + Recargo / 100  ID := ID + ID / CTE </li></ul></ul>
    52. 52. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores Lista de reglas Tira de tokens
    53. 53. Tabla de Símbolos <ul><li>Es una estructura de datos que contiene un registro para cada identificador utilizado en el código fuente, con campos que contienen información relevante para cada símbolo (atributos). </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    54. 54. Tabla de Símbolos <ul><ul><li>Cuando el Análisis Léxico detecta un token de tipo identificador, lo ingresa en la Tabla de Símbolos. </li></ul></ul><ul><ul><li>Durante la Generación de Código se ingresa información para los atributos de los símbolos, y se usa esa información de diversas maneras. </li></ul></ul><ul><ul><li>Durante la Generación de Código puede ser necesario incorporar nuevas entradas a la Tabla de Símbolos. </li></ul></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    55. 55. Fases de la Compilación Diseño de Compiladores I - 2007 Estructrura General de un Compilador Programa Fuente Salida Análisis Léxico Análisis Sintáctico Generación de Código Tabla de Símbolos Errores Lista de reglas Tira de tokens
    56. 56. Manejo de Errores <ul><li>Cada una de las etapas del Compilador puede detectar errores que son informados al programador. </li></ul><ul><li>Un buen compilador no debería terminar su ejecución al detectar un error, sino que debería recuperarse y continuar con la compilación. </li></ul>Diseño de Compiladores I - 2007 Estructrura General de un Compilador
    1. A particular slide catching your eye?

      Clipping is a handy way to collect important slides you want to go back to later.

    ×