Backpatching

Lista de saltos de salida Todas las instrucciones tienen una lista de saltos de salida. Son instrucciones JMx a las cuales no se les ha asignado el parámetro.

Clase código void addInstruction(Ins,param) void addInstruction(Ins) int nextInstruction() backpatch

backpatch(int pos, int arg) JMxarg pos

backpatch(int pos) JMxnx pos nx=getNextInstruction

backpatch(LinkedList l, int arg) JMxarg l1l1 JMxarg l1l1 lnln JMxarg

backpatch(LinkedList l) JMxnx l1l1 JMxnx l1l1 lnln JMxnx nx=getNextInstruction

Traducción de Is Is  I ( ; I) * Al encontrar “;” sabe que acaba de traducir una instrucción que puede haber dejado saltos.

Traducción de while I  while ( E) do Is od I Se debe marcar el principio de la condición Al encontrar do sabe que acaba de traducir una condición que tiene como efecto dejar true o false en el tope de la pila. Se agrega una instrucción, JMPF que es el único punto de salida Despues de traducir Is hay que rellenar los saltos con el principio de la condición. Además hay que agregar otra condición de salida

Traducción de If else I  If ( E) then Is 1 else Is 2 fi Al encontrar then sabe que acaba de traducir una condición que tiene como efecto dejar true o false en el tope de la pila. Se agrega una instrucción, JMPF que es el salto a las instrucciones Is 2. Despues de traducir Is 1 hay que agregar un salto (todavía indeterminado) para salirse de la instrucción. Esta instrucción hay que marcarla. En este punto ya se puede llenar el salto a false Los saltos de salido son los saltos de Is 1 y Is a de más el salto quese agregó después de Is 1.

Ejemplo X = read(); If (x < 0) then y = -x; Else y = x; Fi; Write (x) 0get 1Asgvar0 2Pushv0 3Push0 4EQ 5JMPF? FalseJump = 5

Ejemplo X = read(); If (x < 0) then y = -x; Else y = x; Fi; Write (x) 0get 1Asgvar0 2Pushv0 3Push0 4LT 5JMPF? 6Pushv0 7Chgsgn 8Asgmem1 9Jmp? FalseJump = 5 EndIf = [9]

Ejemplo X = read(); If (x < 0) then y = -x; Else y = x; Fi; Write (x) 0get 1Asgvar0 2Pushv0 3Push0 4LT 5JMPF? 6Pushv0 7Chgsgn 8Asgmem1 9Jmp? FalseJump = 5 EndIf = [9] Backpatcj(falseJump)

Ejemplo X = read(); If (x < 0) then y = -x; Else y = x; Fi; Write (x) 0get 1Asgvar0 2Pushv0 3Push0 4JMPF9 5Pushv0 6Chgsgn 7Asgmem1 8Jmp? FalseJump = 4 EndIf = [8] Backpatch(falseJump)

Ejemplo X = read(); If (x < 0) then y = -x; Else y = x; Fi; Write (x) 0get 1Asgvar0 2Pushv0 3Push0 4JMPF9 5Pushv0 6Chgsgn 7Asgmem1 8Jmp? 9Pushv0 10Asgmem2 EndIf = [8]Backpatch(EndIf)

Ejemplo X = read(); If (x < 0) then y = -x; Else y = x; Fi; Write (x) 0get 1Asgvar0 2Pushv0 3Push0 4JMPF9 5Pushv0 6Chgsgn 7Asgmem1 8Jmp11 9Pushv0 10Asgmem2 11Pushv0 12put EndIf = [8]Backpatch(EndIf)