El programa ALFA que se utilizará en el ejemplo se muestra en la figura. // Incrementa en 1 el // dato de entrada

Transcripción

1 Marina de la Cruz Alfonso Ortega En este documento se presenta un ejemplo de compilación de un programa escrito en ALFA. Durante el proceso de compilación se traduce el código ALFA a código NASM. El objetivo es identificar cómo incorporar al proceso de análisis sintáctico la generación de código ensamblador, sabiendo que cada vez que se reduce una regla de la gramática se ejecuta su acción asociada (si tiene) El programa ALFA que se utilizará en el ejemplo se muestra en la figura. // Incrementa en 1 el // dato de entrada main { int, y; scanf ; y = + 1; printf y; } Prácticas de Procesadores de Lenguaje En la siguiente figura se muestra el árbol de análisis del programa de ejemplo en el que se indica el orden en el que se reducen las reglas con la siguiente notación: Si una regla está marcada con un cuadrado rojo significa que en su acción semántica se ejecutan tareas. Si una regla está marcada con un círculo azul significa que su acción semántica está vacía. La estrellas verdes representan puntos en los que se necesita hacer una acción semántica, y por lo tanto sería necesario manipular la gramática. Prácticas de Procesadores de Lenguaje

2 programa TOK_MAIN { 9 declaraciones 11 funciones 30 } 15 sentencia sentencia 3 declaracion clase 7 identificadores ; 8 14 sentencia simple lectura ; 22 sentencia simple 21 asignacion ; sentencia 2 clase_escalar 1 tipo 4 identificador, 6 identificadores TOK_SCANF (scanf) () = 20 ep 26 sentencia simple ; 25 escritura TOK_INT (int) () 5 identificador 16 ep () ep constante TOK_PRINTF (printf) 24 ep 17 constante_entera TOK_CTE_ENTERA (1) Prácticas de Procesadores de Lenguaje tipo : TOK_INT Establecer el valor de las variables globales tipo_actual = INT y direcciones_actual=1 3 clase : clase_escalar Establecer el valor de la variable global clase_actual = ESCALAR 4 identificador : ENTIFICADOR Insertar el identificador () en la tabla de símbolos 5 identificador : ENTIFICADOR Insertar el identificador en la tabla de símbolos Prácticas de Procesadores de Lenguaje

3 Nueva producción lambda Escribir la tabla de símbolos en el fichero ensamblador, en el segmento de datos bss Escribir la primera parte (constante) del segmento de código segment.bss _ resd 1 _y resd 1 segment.tet global main etern scan_int, scan_float, etc Nueva producción lambda Escribir la etiqueta de inicio del main, main: ; ; PROCEDIMIENTO PRINCIPAL ; main: Prácticas de Procesadores de Lenguaje lectura : TOK_SCANF ENTIFICADOR Buscar en la tabla de símbolos el identificador () Insertar en la pila la dirección donde almacenar el dato leído (leema del identificador) Invocar a la rutina scan_int Dejar la pila como estaba antes de la invocación call scan_int 16 ep : ENTIFICADOR Buscar en la tabla de símbolos el identificador () Apilar la dirección de inicio del identificador (que es el leema del identificador) 17 constante_entera : TOK_CONSTANTE_ENTERA Apilar la constante entera Propagar atributos (tipo y direcciones y valor) push dword 1 Prácticas de Procesadores de Lenguaje

4 18 constante : constante_entera 19 ep : constante 20 ep : ep + ep Depositar en ed el valor del segundo operando Depositar en ea el valor del segundo operando Sumar ea y ed dejando el resultado en ea Apilar el resultado de la suma pop dword ed add ea,ed Prácticas de Procesadores de Lenguaje asignacion : ENTIFICADOR = ep Realizar la asignación de manera adecuada al número de referencia de las partes izquierda y derecha de la asignación. mov dword [_y], ea 24 ep : ENTIFICADOR Buscar en la tabla de símbolos el identificador Apilar la dirección de inicio del identificador (que es el leema del identificador) push dword _y Prácticas de Procesadores de Lenguaje

5 25 escritura : TOK_PRINTF ep Depositar en ea el valor para la salida Apilar ea Invocar a la rutina print_int Dejar la pila como estaba antes de la invocación Invocar a la rutina print_endofline call print_int call print_endofline programa : TOK_MAIN { declaraciones funciones } Escribir el final del fichero ensamblador ret Prácticas de Procesadores de Lenguaje segment.bss _ resd 1 _y resd 1 segment.tet global main etern scan_int ;etc ; ; PROCEDIMIENTO PRINCIPAL ; main: call scan_int pop dword ed add ea,ed mov dword [_y], ea push dword _y call print_int call print_endofline ret 17 push dword 1 Prácticas de Procesadores de Lenguaje