Construyendo el compilador Parte VI: Generación de código intermedio

-

 HOLA!

Hoy, veremos un poquito de teoría.

En el blog pasado, les comenté que terminé mi análisis semántico.

Pues, noticias noticias. Tuve errores, y ya fueron corregidos.


El codigo intermedio

Esta etapa es "opcional". 
Primero, el código intermedio es una forma más sencilla de pasar del análisis semántico al lenguaje target (el lenguaje assembler que usaremos). Al estar en una etapa media entre estos dos bloques, permite que mediante un estándar, podamos transformar nuestro análisis semántico en algo que sea más facil de traducir a assembler.
El lenguaje escogido para esta fase será: ARM

Acá una imagen de en que parte del compilador vamos.



Otra cosa interesante, es q ue esta es parte del "front end". Por lo tanto, al tener varios lenguajes de fornt end y uno de back end, es posible pasar de muchos apocos, para propósitos de escalamiento esto es bueno. 
Es como babel.

Ya tenido nuestro lenguaje tarjet (ARM) ahora es de considera cómo el código intermedio se representa.

Representación del código intermedio 

Esto se hace mediante un término llamado: código de tres direcciones

Adjunto imagen

Tiene la siguiente estructura:
<addr> = <addr>  <op> <addr>


Donde <addr> puede ser una variable, una constante o temporales.
Mediante el código de tres direcciones, es posible representar TODO tipo de expresiones que podamos toparnos en un lenguaje de programación.

Una vez entendido esto, debemos ver QUÉ vamos a traducir con este codigo de tres direcciones. 

Instrucciones que se traducirán a código intermedio

Algunas son



Cada una tiene una forma distinta de representarse a nivel de codigo, por ende será de suma importancia conocer de antemano distintos algoritmos basados en producciones y reglas semánticas que faciliten la transición del codigo que manejamos en DECAF al de tres direcciones.



Finalmente. Debemos ver si vamos a trabajar con labels symbolicas o con posiciones de números.




Esto es decisión personal, yo usaré POSITION NUMBERS. Me gustan más en lo personal. 


Hasta acá llegaremos en teoría el dia de hoy.
La siguiente vez que nos veamos, seguramente será cuando ya esté implementando esta parte del código intermedio a nivel de código. 


ADIOS!

















Comentarios

Publicar un comentario

Entradas populares de este blog

Construyendo el compilador Parte I: ANTLR V4 (ya van 4 versiones, increible), café y una miradita a los parser y lexer generados con Java

-
Imagen
La satisfacción como gasolina mental  En ocasiones, filosofamos sobre la dificultad de tener la capacidad de realizar ciertas tareas. Por ejemplo, la subestimación provoca que demos menos, y en ocasiones una alta autoestima provoca que no sea de la mayor calidad. Leí un paper interesante que habla sobre un estado de "ansiedad productiva". Este estado se debe a que en ocasiones, nuestro ambiente es demasiado blando, amigable, lindo. Esta "lindura" ambiental, es un pesticida para la productividad porque no salimos de la zona de confort. Tiene lógica y a la vez no. Por ende, soy fan de que las cosas que cuestan provocan satisfacción al ser realizadas. Ahora bien, ¿por qué hablo de estos temas de psicología cuando este blog es de COMPILADORES? Buena pregunta querido lector. Quiero que entiendas que la satisfacción viene del trabajo duro, y cuando lo has dominado, no hay nada que pare esa felicidad. ANTLR vino a darle satisfacción a mi vida en algunso aspectos que creía ...
Leer más

Construyendo el compilador Parte V: Finalizando el analizar Semántico

-
Imagen
 Hola! He finalizado el analizador semántico. Fue duro (casi 2000 lineas de codigo en python) pero se logró. Adjuntare evidencia y una especie de readme del resultado final. Espero les guste. Acerca de... Este proyecto es el primero de tres de construccion de un compilador. Esa fase es la análisis semántico. Significa, que se construye un arbol con ANTLR 4 y luego vamos analizando recorriendo el arbol y viendo que cumpla con las reglas gramaticales. Algunos puntos vistos en este proyecto y que quiero compartir el en BLOG Lectura de archivos txt o .decaf Graficado de arboles sintácticos de ANTLR para mejor visualización Revisión semántica del código Descripción de herramientas y archivos archivos Listado de herramientas usadas para el proyecto Python 3.8.0 64bits Compiladores principios, técnicas y herramientas, 2da Edición - Alfred V. Aho VS Code Windows Terminal A lot of Coffe (more Coffe than last time) ( enought coffe for a life V3 ) Liberías NECESARIAS para correr el programa P...
Leer más

Construyendo el compilador Parte III: ANTLR V4, Listener vs Visitor y la tabla de Símbolos

-
Imagen
 Es importante destacar que en ocasiones no sabemos la orientación o guia que debemos tener. Pues bien, cuando empecé el proyecto de armar un compilador, no tenía entendido a cabalidad la parte del papel que tendría la tabla de simbolos acá.  La tabla es el símil del disco duro. Los métodos y el recorrido del árbol nos permiten acceder a los nodos pero esto es "volátil" similar a la memoria ram de una computadora. Entonces, es válido el poder decir que esta metáfora ayuda a visualizar el papel de la tabla de símbolos. Pero, ¿porque es volátil los métodos? Resulta que ANTLR V4 probee dos formas de recorrer un árbol: listeners y visitor. Listener: permite recorrer automáticamente el árbol, y provee de métodos de "entrada" y "salida" de cada regla definida en la gramática. Visitor: da mas control al momento de iterar el árbol, pero no se recorre automáticamente sino en el orden indicado. Yo preferí trabajar con listener. Debido a que es mas sencillo y simple ...
Leer más