Mquinas de Pila Abstracta Generacin de Cdigo Intermedio
Máquinas de Pila Abstracta Generación de Código Intermedio
Código intermedio Un programa para una máquina abstracta Dos cualidades Fácil de producir Reglas claras de cómo construírla Fácil de traducir al lenguaje objeto
Código de 3 direcciones A = A*8 + B/7 temp 1 = A*8 temp 2 = B/7 A = temp 1 + temp 2 Variables temporales
Máquinas de Pila Memoria independiente para instrucciones y datos Toda operación es con valores de la pila Operaciones Aritmética entera Manipulación de pila Control de flujo
Instrucciones aritméticas Una instrucción por cada operador aritmético +, -, *, /, div, mod, etc. Ojo con “-”: a – 8 -> a 8 - Simula evalución de expresiones postfijas
Ejemplo 1, 3 + 5 * Push 1 Push 3 Push (Pop + Pop) Push 5 Push (Pop * Pop)
Izquierda o derecha i = 5; i = i + 1; Lado derecho: valor entero Lado izquierdo: dónde almacenar resultado i en lado izquierdo indica dirección
Instrucciones Push v Val. D w Val. I w Pop : = Copy inserta v en la pila inserta valor de posición w inserta dirección de w Saca valor de la pila Pop y poner en dir. Pop y Push-Push
día : = (14*a) div 4 + 153*m En postfijo: día 14 a * 4 div 153 m * + : = En código de pila Val. I día Push 14 Val. D a * Push 4 div Push 153 Val. D m * + : =
Control de flujo Opciones Operando da destino Jump 300 Operando da posición relativa de destino Forward 5 Backward 10 Destino simbólico (etiquetas) Jump Ciclo
Instrucciones Control Flujo Label z etiqueta la posición Look z va a posición etiqueta z If. False. Look z Si Pop = 0 va a posición etiqueta z If. True. Look z Si Pop <> 0 va a posición etiqueta z Halt detiene ejecución
if a>8 then a=10; Val. D a Push 8 If. True. Look Asigna Look Continúa Label Asigna Val. I a Push 10 : = Label Continúa
while a<5 do a++; Label Prueba Val. D a Push 5 - If. False. Look Sigue Val. I a Val. D a Push 1 + : = Look Prueba Label Sigue
Etiquetas Función New. Label() Genera nuevas etiquetas Puede incluírse en reglas semánticas Tmp. Label = New. Label() Garatiza etiquetas no repetidas Label 00001, Label 00002, . . . , Label 03428, . . .
Reglas Semánticas Prop -> if Expr then Prop Label 1 = New. Label(); Prop. t = Expr. t & NL & “If. False. Look ” & Label 1 & NL & Prop. t & NL & “Label ” & Label 1
- Slides: 15