Apostila antiga - The Cyan Programming Language

CHAPTER 4. GERAÇÃO DE CÓDIGO 37
goto v[i]
Descrição: v é um ponteiro utilizado como vetor onde cada elemento do vetor é um endereço de uma
instrução de programa (label). Esta instrução desvia a execução do programa para a posição v[i].
push X
Descrição: empilha X na pilha, o que seria equivalente em C++ a fazer sp[++t] = X.
pop X
Descrição: coloca o topo da pilha em X, decrementando t:
X = sp[t--];
call L
Descrição: chama o procedimento do label L.
call X
Descrição: chama o procedimento cujo endereço está na variável X.
ret
Descrição: retorna do procedimento.
mov a, b
Descrição: copia b em a
mov a, b[i]
Descrição: copia b[i] em a, onde b[i] é uma indexação de um vetor
mov b[i], a
Descrição: copia a em b[i]
mov a, -b
Descrição: copia -b em a
mov a, &b
Descrição: copia o endereço de b em a. b deve ser uma variável. Se b for sp[2], por exemplo, esta
instrução copiará sp + 2 em a.
mov a, *b
Descrição: copia em a o valor contido no endereço apontado por b.
exit
Descrição: termina a execução do programa e volta o controle ao sistema operacional.
4.3 Geração de Código para S2
Esta seção define como código em assembler deve ser gerado para programas em S2. Apresentamos a
seguir as regras da gramática com o código que deve ser gerado para cada uma delas. Algumas regras
não causam geração de código e, portanto, não são citadas. A geração de código não é descrita de
maneira rigorosa pois isto está fora do escopo deste curso.
1. Assignment ::= Id “=” Expression
Se Expression for uma variável, como em
a = b;