Suponha que as variáveis (int)
a, b, c e d
estão alocadas respectivamente nos registradores
eax, ebx, ecx e edx.
Como programar estruturas como:
if (a==b) c=d; d=a+c;ou
while (a<=b) {
...
a++;
}
d=a+c;
?
A forma natural de execução do programa é a sequencial, ou seja, a CPU automaticamente busca instruções na memória em endereços sequenciais. Instruções de desvio de assembly servem para "quebrar" a execução sequencial, fazendo com que, sob certas condições, deixe de valer a regra que diz que sempre a próxima instrução a ser executada é a próxima fisicamente na memória.
Existem instruções de desvio condicional e incondicional.
No Pentium os desvios são chamados jump,
em algumas outras máquinas são chamadas de branch.
Um exemplo de jump condicional é a instrução:
jle label
Observe que a condição do jump se refere ao resultado da instrução anterior. Em outras máquinas, a própria instrução de desvio contém os operandos a serem comparados. No Pentium, diversas instruções registram características de seus resultados nos flags, e os desvios condicionais operam sobre os valores dos flags. Por exemplo, podemos escrever
cmp %eax, %ebx
jle depois
Nesse caso, se o valor de ebx for menor ou igual que o de eax
(observe a "inversão" dos operandos),
o controle é desviado para o endereço indicado pelo label depois.
Para programar o if acima, poderíamos escrever:
cmpl %eax, %ebx
jne depois_if
movl %edx, %ecx
depois_if:
movl %eax, %edx
addl %ecx, %edx
atenção: Observe que a condição de desvio é a negativa da condição do if!!
Existem muitas outras instruções de desvio condicional (ver manual),
como je, jg, jge, jecxz, etc.
Um exemplo de desvio incondicional é a instrução:
jmp depois
que faz com que o controle seja desviado para o endereço indicado pelo label depois, independentemente de qualquer condição.
Para implementar uma estrutura if ... else ...
é necessário utilizar um desvio condicional e um incondicional!
Tente fazê-lo!