Skip to main content
2 de 20
adicionou 26 caracteres ao conteúdo
Piovezan
  • 18mil
  • 7
  • 53
  • 91

Qual é a diferença entre essas duas implementações de função fatorial em assembly?

Estou estudando uma linguagem de assembly de aprendizado.

Ela é para uma máquina de dezesseis registros (r0 a r15).

As duas implementações de função fatorial que vou mostrar usando essa linguagem não empilham dados (isto é, não usam stack). (P.S.: qual palavra estou querendo usar no lugar de dados? Seria estado de execução, contexto de execução?)

Em vez disso usam o registro r1 para o parâmetro de entrada e r2 para a saída (resultado do fatorial).

Por simplicidade ela não faz nenhum tipo de tratamento de exceções, como por exemplo argumentos negativos.

Também, exceto pela comparação com zero (jeqzn), não há opcode para comparação de igualdade.

O registro de retorno das funções fica em r14.

Vamos às implementações. A implementação-exemplo da função fatorial é assim (junto com um "pseudo-C" que fiz nos comentários para auxiliar a compreensão):

15 setn r2, 1      # 15: r2 = 1;
16 jeqzn r1, 20    # 16: if (r1 == 0) goto 20;
17 mul r2, r1, r2  # 17: r2 = r1 * r2;
18 addn r1, -1     # 18: r1--;
19 jumpn 16        # 19: goto 16;
20 jumpr r14       # 20: return r2;

Esta é minha implementação:

15 copy r2, r1     # 15: r2 = r1;
16 addn r1, -1     # 16: r1--;
17 jeqzn r1, 20    # 17: if (r1 == 0) goto 20;
18 mul r2, r1, r2  # 18: r2 = r1 * r2;
19 jumpn 16        # 19: goto 16;
20 jumpr r14       # 20: return r2;

A pergunta é, elas podem ser consideradas equivalentes a princípio?

Instrução por instrução parece que sim, com uma (supostamente) negligível diferença entre setn r2, 1 e copy r2, r1.

A diferença entre elas é que uma começa com um resultado 1 e vai multiplicando por N e decrementando este N até ele chegar a zero, quando então o resultado é retornado (não chega a multiplicar por zero).

Na outra começa com um valor N que é multiplicado por N - 1, decrementa-se N, multiplica-se o resultado por N - 2, e assim por diante, também até chegar a zero, momento em que o resultado é retornado.

Como elas se comparam?

Piovezan
  • 18mil
  • 7
  • 53
  • 91