La generación de código para expresiones

4o Ingenier´ıa Inform´atica

II26 Procesadores de lenguaje

Generaci´on de c´odigo

Esquema del tema

1. Introducci´on

2. C´odigo intermedio

3. Generaci´on de c´odigo para expresiones

4. Generaci´on de c´odigo para las estructuras de control

5. Generaci´on de c´odigo m´aquina

6. Resumen

1. Introducci´on

Una vez ha terminado el an´alisis y se ha obtenido un AST decorado, comienza la generaci´on

de c´odigo. Esta fase suele dividirse en dos partes:

Generaci´on de c´odigo intermedio.

Generaci´on de c´odigo de m´aquina.

El primero es c´odigo para una m´aquina virtual. Estas m´aquinas se definen con dos objetivos:

Ser lo suficientemente simples como para poder generar c´odigo para ellas de manera sencilla,

pero con la suficiente riqueza para poder expresar las construcciones del lenguaje fuente.

Estar lo suficientemente pr´oximas a los procesadores reales para que el paso del c´odigo

intermedio al c´odigo de m´aquina sea pr´acticamente directo.

Para conseguirlo, las m´aquinas virtuales tienen una serie de caracter´ısticas simplificadoras. Por

ejemplo:

Tienen pocos modos de direccionamiento.

Pueden tener un n´umero ilimitado de registros (que pueden estar organizados en forma de

pila).

Tienen un juego de instrucciones relativamente simple.

En principio, el c´odigo intermedio es independiente del lenguaje de programaci´on fuente. En la

pr´actica, es habitual que se definan c´odigos intermedios que faciliten la representaci´on de deter-

minadas caracter´ısticas del lenguaje fuente. As´ı, el P-code est´a pensado para traducir Pascal y el

Java-bytecode es muy bueno para el Java.

Otra de las ventajas del c´odigo intermedio es que facilita la escritura de compiladores para

distintas m´aquinas. La traducci´on del lenguaje a c´odigo intermedio ser´ıa id´entica en todas y lo

unico que cambiar´ıa ser´ıa el traductor de c´odigo intermedio a c´odigo de m´aquina. Esta idea de

independencia del c´odigo intermedio de la m´aquina puede llevarse un paso m´as all´a, como se hace

en diversos lenguajes, de los cuales Java es quiz´a el m´as representativo. La idea es compilar el

lenguaje a un c´odigo intermedio que despu´es es interpretado. De esta manera, un mismo “binario”

puede ejecutarse en m´aquinas con arquitecturas y sistemas operativos totalmente distintos.

Una vez generado el c´odigo intermedio, se traduce ´este a c´odigo de m´aquina. La traducci´on

tiene que hacerse de manera que se aprovechen adecuadamente los recursos de la m´aquina real.

2 II26 Procesadores de lenguaje

Aunque en principio estas dos fases bastan para la generaci´on del c´odigo final, en la pr´actica

est´an mezcladas con fases de optimizaci´on. Es habitual tener entonces un esquema similar al que

vimos en el primer tema:

Programa fuente

An´alisis

An´alisis

l´exico

´

An´alisis

sint´actico

An´alisis

sem´antico

S´ıntesis

Generaci´on de

c´odigo intermedio

Optimizaci´on de

c´odigo intermedio

Generaci´on de

c´odigo objeto

Optimizaci´on de

c´odigo objeto

Programa objeto

Podr´ıamos entonces decir que la generaci´on de c´odigo tiene como objetivo generar el ejecutable

que despu´es emplear´a el usuario. Sin embargo, es habitual que el producto del compilador no

sea directamente un fichero ejecutable. Es bastante m´as com´un que sea un fichero en lenguaje

ensamblador. De esta manera, se evitan problemas como tener que medir el tamano exacto de las

instrucciones o llevar la cuenta de sus direcciones. Adem´as, es muy probable que el c´odigo generado

tenga referencias a objetos externos como funciones de biblioteca. Estas referencias externas ser´an

resueltas por el enlazador o el cargador.

1.1. Lo

...