Apostila antiga - The Cyan Programming Language

CHAPTER 5. OTIMIZAÇÃO DE CÓDIGO 63
e mesmo para
i = 4;
s = s + v[0] + v[1] + v[2] + v[3];
Se o número de vezes que o laço será executado não for conhecido em tempo de compilação,
o corpo do laço pode ser duplicado, permitindo outras otimizações como eliminação de subexpressões
comuns. Pittman e Peters [7] citam como exemplo o código
while ( a < b ) {
b = b - a*k;
a++;
}
transformado em
while ( 1 ) {
if ( a >= b )
break;
b = b - a*k;
a++;
if ( a >= b )
break;
b = b - a*k;
a++;
}
O valor do primeiro cálculo de a*k pode ser colocado em uma variável temporária t1 e reutilizado
na segunda atribuição
b = b - a*k;
que pode ser modificada para
b = b - t1 + k;
já que
a1*k = (a0 + 1)*k = a0*k + k = t1 + k
onde a0 e a1 correspondem aos dois valores da variável a neste laço.
Se o número de repetições for conhecido e par, pode-se duplicar o corpo do laço reduzindo-se pela
metade o número de testes de fim de laço:
for ( i = 0; i < 100; i++ )
s[i] = 0;
i = 0;
goto L1;
L2: s[i] = 0;
i++;