Para el sistema operativo Windows 64bits puede ejecutar el archivo .exe que se encuentra en los release del repositorio, si está en otro sistema operativo o no funciona el ejecutable deberá compilarlo para la plataforma

Si bien el programa puede realizar la traducción por si solo, para el último paso de la compilación es necesario tener instalado en el sistema el compilador MASM32. Y su carpeta de binarios C:\masm32\bin deberá estar en la variable %PATH% del sistema

⚠ Es necesario ejecutar la aplicación dentro del mismo disco en el que MASM32 fue instalado

Mientras ingresa el código en el panel izquierdo, la tabla de símbolos aparecerá a la derecha. En caso de existir un error, aparecerá el mensaje en la sección de la derecha, en vez de la tabla de símbolos.

Una vez se esté conforme con el código escrito, el programa cuenta con 3 formas distintas de visualizar la traducción. En el menú File está la opción Traducir a ensamblador el cual realizará la traducción pertiente y abrirá el código resultante en el programa que se tenga registrado como por defecto

En el menú Compilacion se encuentran las otras dos opciones, Compilar y Compilar y ejecutar

Ambos realizan una compilación del código, la diferencia radica en que, como su nombre lo indica, la segunda opción ejecuta el código compilado y lo muestra en la barra lateral derecha, como se muestra en la imagen

Cabe mencionar que todos los subproductos de la compilación son generados dentro de la carpeta que se encuentra ejecutandose la aplicación

El propóstio de ese proyecto es la creación de un traductor entre un subset del lenguaje de programación C y ensamblador. Para realizar esta traducción y analizar la entrada del usuario se utilizan diferentes etapas descritas a continuación

Tipos admitidos

Esta priemra entrega realiza el analizador léxico mediante una pseudo tabla de estados, se le llama seudo porque engloba los casos de múltiples caracteres en funciones como isDigit y isAlpha para determinar si un carcter es numérico o una letra

Esta tabla de estados es utilizada por un autómata que analiza la cadena de entrada hasta llegar a un caracter para el cual no se tiene un estado siguiente, una vez detenido regresa al estado 0 y reinicia el proceso

El analizador sintáctico permite identificar secuencia de lexemas válidos para el lenguaje determinado Por lo general se dfine con una serie de reglas que permiten a un autómata, a partir de la salida de Analizador Léxico verificar la secuencia de los tokens

En específico, para esta primera entrega, se utilizaron las siguientes reglas

• R1 -> Aceptación
• R2 -> id + id | E
• R3 -> id

Dando como resultado la siguiente tabla de estados

Tomando en cuenta que en el programa la repesentación numérica de los caracteres es

• id = 0
• + = 5
• $ = 23
• E = 103

Si bien la salida de este módulo es un símple válido o inválido, se decidió mostrar todo el proceso que sigue el analizador en la barra derecha con el fin de ejemplificar el progreso

Para la segunda entrega, la pila está compuesta por objetos en vez de cadenas, estos objetos son árboles y cuando se realiza una reducción, se guarda en el árbol correspondiente resultante los segmentos usados para su construcción

En esta entrega se hace uso de una serie de reglas extendidas para el compilador, lo cual permite identificar cada segmento del programa gracias al analizador sintáctico que identifica cada regla

La creación de un árbol sintáctico consiste en almacenar los componentes de cada reducción en un árbol permitiendo la posterior creación de una tabla de símbolos

Para que quede más claro se utilizó el sigueinte código de ejemplo

int a;
int suma(int a, int b){
    return a+b;
}

int main(){
    float a;
    int b;
    int c;
    c = a+b;
    c = suma(8,9);
}

El cual da como resultado este árbol sintáctico

Mediante el árbol obtenido del analizador sintáctico, podemos generar una tabla de símbolos, esta tabla permit realizar las validaciones necesarias para el contexto en cada parte del programa. Por ejemplo, si tenemos el siguiente código

int suma(int a, int b){
     a+b;
}

int main(){
    int a, b;
    a = 3;
    b = 10;
    int c;
    c = suma(a,b);
}

generará esta tabla de símbolos:

Este análisis se logra mediante el corrido del arbol sintáctico y la utilizacion de estructuras "map" o diccionarios

Cada vez que se encuentra una deficion en el programa se añade un registro a la tabla de símbolos, indicando si es una función, una variable y su tipo de datos. En caso de ser una función se guardan los parámetros que require.

Otra observación es que se están utilizando anidación de tablas, lo que significa que cuando el programa entra en un bloque nuevo (funcion) genera una subtabla que se vincula al regitro de la funcion en la tabla principal

Cuando el programa encuentra una expresión detecta que tipo es y en caso de ser un identificador utiliza la tabla del contexto actual para encontrar la defición original. En caso de no existir se envía el error correspondiente

La forma más sencilla de saber si un programa corre correctamente es su salida estándard, por lo tanto era necesario que el programa fuera capaz de "Imprimir". Para este objetivo, se inyectaron en la tabla de símbolos tres funciones que permiten realizar la función de tipos sin necesidad de cambiar la lógica del analizador semántico. Estas tres funciones son:

Estas tre funciones están reslpaldadas por la función printf de una de las librerías estándard de MASM32, lo que nos permite delegarle la responsabilidad del manejo de la salida estándard, uno de los puntos por lo que se escogió este compilador

El último módulo y producto final de la aplicación es el traductor a ensamblador, este módulo como se puede imaginar, es el encargado de tomar la tabla de símbolos junto con un Arbol decorado del analizador semántico y convertirlo en código ensamblador para su compilación en MASM32

Sería demasiado extenso explicar toda la lógica que sigue este paso, por lo que un ejemplo es más adecuado. Si se ingresa el sigueinte código, por ejemplo:

int suma(int a, int b){
	return a+b;
}

int main(){
	int a;
	a=suma(1,3);
	printI(a);
	printS("\nhola mundo!");
	return 0;
}

Se obtendría el siguiente código ensamblador:

.386
.model flat, stdcall
option casemap:none

INCLUDE \masm32\include\masm32rt.inc

.data
_feax real8 0.0
_fhelper dword 0

.code

;---------- Funcion suma -----------
suma proc suma_a:DWORD,suma_b:DWORD
;locals
;fin locals

mov eax, suma_b
mov ebx, eax
mov eax, suma_a
add eax, ebx
ret
suma endp

;---------- Funcion main -----------
main proc
;locals
local main_a:DWORD
;fin locals

finit
; Llamada a la función suma
mov eax, 3
push eax
mov eax, 1
push eax
call suma
mov main_a, eax
mov eax, main_a
printf("%u",eax)
printf("\nhola mundo!")
mov eax, 0
; Retorno al SO
invoke ExitProcess, eax
main endp

end main