Antologia

Unidad 5: Análisis semántico
Se compone de un conjunto de rutinas independientes, llamadas por los analizadores morfológico y sintáctico.
El análisis semántico utiliza como entrada el árbolsintáctico detectado por el análisis sintáctico para comprobar restricciones de tipo y otras limitaciones semánticas y preparar la generación de código.
En compiladores de un solo paso, las llamadas a lasrutinas semánticas se realizan directamente desde el analizador sintáctico y son dichas rutinas las que llaman al generador de código. El instrumento más utilizado para conseguirlo es la gramática deatributos.
En compiladores de dos o más pasos, el análisis semántico se realiza independientemente de la generación de código, pasándose información a través de un archivo intermedio, quenormalmente contiene información sobre el árbol sintáctico en forma linealizada (para facilitar su manejo y hacer posible su almacenamiento en memoria auxiliar).
En cualquier caso, las rutinas semánticassuelen hacer uso de una pila (la pila semántica) que contiene la información semántica asociada a los operandos (y a veces a los operadores) en forma de registros semánticos.
Semántica de instruccionescondicionales
Sean las reglas
::= If S2 then S1 |
If S2 then else S3 S1
Una secuencia de cuádruplas equivalente a "If E1 then I1 else I2"
(p-1) (?,?,?,t1)Análisis de E1
(p) (TRZ,(q+1),t1,) S2: Crear cuádrupla (p) | Push p
... Análisis de I1
(q) (TR,(r),,) S3: Crear cuádrupla (q)Poner (cl.sig.) en top | Pop
Push (q)
(q+1) ... Análisis de I2
(r) S1: Poner (cl.sig.) en top | Pop
Una secuencia decuádruplas equivalente a "If E1 then I1"
(p-1) (?,?,?,t1) Análisis de E1
(p) (TRZ,(r),t1,) S2: Crear cuádrupla (p) | Push p
... Análisis de I1
(r)...