2.2 Representación de Código Intermedio

-

Estas notaciones simplifican la traducción de nuestro código fuente a nuestro código objeto ya que ahorran y acotan símbolos de la tabla de símbolo. Existen diversos tipos de códigos intermedios que varían en cuanto a su sencillez, lo próximos que están alas maquinas reales y lo fácil que es trabajar con ellos, otros tipos de código intermedio que representan los programas como árboles o grafos y representaciones mixtas que combinan grafos o árboles y representaciones lineales.

Generación de Código Intermedio 

  • Proceso de Síntesis.
  • Lenguaje Intermedio
  • Generación de Código
  • Ventajas del código intermedio.
  • Facilitar la fase de optimización.
  • Aumentar la portabilidad del compilador de una máquina a otra.
  • Se puede utilizar el mismo analizador para diferentes generadores.

Aumentar la portabilidad del compilador de una máquina a otra

  • Se puede utilizar el mismo analizador para diferentes generadores
  • Se pueden utilizar optimizadores independientes de la máquina

Tipos de representaciones intermedias

La representación del código intermedio depende de la máquina objeto:

0-direcciones: código para máquinas de pila (código P).

2-direcciones: códigos para máquinas con operaciones sobre registros de memoria.

3-direcciones: código para máquinas de arquitectura RISC.

En todo caso, añade un recorrido descendente adicional para generar el código final.

Propiedades:

  • Fácil de producir en el análisis semántico.
  • Fácil de traducir a código máquina real.
  • Instrucciones simples y concisas, de fácil optimización.

Tipos

  • Árboles de Sintaxis Abstracta.
  • Notación Polaca Inversa (RPN).
  • Código P
  • Códigos de tres direcciones

  1. Cuartetos
  2. Tercetos
  3. Tercetos Indirectos.

Comentarios

Publicar un comentario

Entradas populares de este blog

1.6 Generacion de la tabla de simbolos y tabla de direcciones

-
Imagen
Las tablas de símbolos (también llamadas tablas de identificadores y tablas de nombres), realizan dos funciones en el proceso de traducción: Verificar que la semántica sea correcta. Generación del código apropiado. Ambas funciones se realizan insertando o recuperando de la tabla de símbolos los atributos de las variables usadas en el programa fuente.  Estos atributos, tales como: el nombre, tipo, dirección de almacenamiento y dimensión de una variable, usualmente se encuentran explícitamente en las declaraciones o más implícitamente a través del contexto en que aparecen los nombres de variables en el programa. Una tabla de símbolos se designa por la entidad, token -derivados del análisis léxico; así como una serie de atributos (tipo de dato, dirección en memoria) que emanan de otras fases (análisis gramatical y semántico). En el contexto de un programa las entidades pueden describir propiamente objetos manipulables por el lenguaje (por ejemplo, variables, constantes o funciones) o ...
Leer más

1.7 Manejo de errores semánticos

-
Un error semántico se produce cuando la sintaxis del código es correcta, pero la semántica o significado no es el que se pretendía. La construcción obedece las reglas del lenguaje, y por ello el compilador o intérprete no detectan los errores semánticos.  Los compiladores e intérpretes sólo se ocupan de la estructura del código que se escribe, y no de su significado. Un error semántico puede hacer que el programa termine de forma anormal, con o sin un mensaje de error.  Hablando en   términos   coloquiales, puede   hacer   que   el   equipo   se   quede   "colgado". Los mensajes de error de la forma *** Error 111 *** *** Ocurrió un error *** *** Falta declaración *** *** Falta delimitador *** No son útiles para el programador y no deben presentarse en un ambiente de compilación amigable y bien diseñado. Por ejemplo, el mensaje de error ‘Falta declaración’ podría reemplazarse por *** No ...
Leer más

2.3.4 Instrucciones de control

-
Esta forma de programación sólo permite resolver problemas sencillos. Para resolver problemas más complejos, nos puede interesar que dependiendo de los valores de los datos, se ejecuten unas instrucciones u otras. Las instrucciones condicionales nos van a permitir representar éste tipo de comportamiento. Sentencias IF y SWITCH. En otros casos, nos encontraremos con la necesidad de repetir una instrucción o instrucciones un número determinado de veces. En éstos casos utilizaremos instrucciones de control iterativas o repetitivas (ciclos). Sentencias WHILE, DO-WHILE y FOR. En los lenguajes de programación hay estructuras y operadores que permiten controlar el flujo de la ejecución, estos pueden ser ciclos, saltos, condiciones entre otros.  Expresiones booleanas en los lenguajes de programación, las expresiones booleanas tienen dos propósitos principales.   Se utilizan para calcular valores lógicos y como expresiones condicionales en proposiciones que alteran el flujo del control...
Leer más