Apostila antiga - The Cyan Programming Language

CHAPTER 4. GERAÇÃO DE CÓDIGO 41
L2:
goto L1
Contudo, existe uma forma mais eficiente:
goto L1
L2: codigo para S
L1: cmp i, n
goto< L2
A cada passo do laço, na primeira forma há um “goto L1” e um “goto>= L2” que falha. 1 Na
segunda forma, a cada passo do laço há apenas um “goto< L2” que sucede. Mesmo havendo um
“goto L1” no início da segunda forma, esta é mais eficiente do que a primeira.
4.4 Geração de Código para Vetores e Comando case/switch
Geração de Código para Vetores
Suponha que S2 suporte vetores unidimensionais declarados como
var v : array(integer)[100];
e que podem ser indexados como em C++:
a = v[i]; // 1
v[i] = a; // 2
Estas instruções serão traduzidas para
mov a, v[i] // 1
mov v[i], a // 2
em assembler. Se a instrução mov não admitisse a indexação de seus operandos, o endereço de v[i]
teria que ser calculado previamente. Nesta situação, a instrução 1 seria traduzida para
mov t1, &v
add t1, i
mov a, *t1
onde t1 é uma variável temporária. No caso geral, o endereço t1 do i-ésimo elemento do vetor é
calculado como
t1 = &v + i*sizeof(v[0])
considerando que a memória é indexada byte a byte. Na máquina que estamos utilizando, a memória
é indexada de dois em dois bytes. Isto é, o endereço t1 representa dois bytes, suficientes para um
inteiro e t1 + 1 também representa dois bytes. Assim, o endereço do i-ésimo elemento do vetor v é
t1 = &v + i;
Geração de Código para o Comando case/switch
Suponha que tenha sido acrescentado a S2 um comando case da forma
1 Este desvio condicional sucederá apenas quando o laço for terminar.