Apostila antiga - The Cyan Programming Language

CHAPTER 5. OTIMIZAÇÃO DE CÓDIGO 52
2. Propagação de Cópia (Copy Propagation) .
Sempre que houver uma atribuição
b = c;
a variável c poderá substituir b após esta instrução, desde que nenhuma das duas variáveis
mude de valor.
a = b;
c = a + x;
a = b;
c = b + x;
Com esta otimização, esta atribuição poderá tornar-se desnecessária e ser eliminada.
3. Eliminação de Código Morto (Dead Code Elimination)
Código Morto é o código que nunca será executado, independente do fluxo de execução do
programa.
int f (int n )
{
int i = 0;
while ( i < n ) {
if ( g == h ) {
break;
g = 1; // morto
}
i++;
g--;
}
return g;
g++; // morto
}
Esta função pode ser otimizada para
int f (int n )
{
int i = 0;
while ( i < n ) {
if ( g == h )
break;
i++;
g--;
}