Ассемблер до C - PullRequest
Новая
       20

Ассемблер до C

8 голосов
/ 24 октября 2010

Итак, у меня есть следующий код на ассемблере, который мне нужно преобразовать в C. Я смущен несколькими строками кода.

Я понимаю, что это цикл for. Я добавил свои комментарии к каждой строке.

Я думаю, что цикл for выглядит так 

for (int i = 1; i > 0; i << what?) {
    //Calculate result
}

Что такое условие теста? И как мне это изменить?

Глядя на код сборки, что делает переменная 'n'?

Это Intel x86, поэтому формат movl = source, dest 

  movl 8(%ebp), %esi     //Get x
  movl 12(%ebp), %ebx    //Get n
  movl $-1, %edi         //This should be result
  movl $1, %edx          //The i of the loop
.L2:
  movl %edx, %eax
  andl %esi, %eax
  xorl %eax, %edi        //result = result ^ (i & x)
  movl %ebx, %ecx        //Why do we do this? As we never use $%ebx or %ecx again
  sall %cl, %edx         //Where did %cl come from?
  testl %edx, %edx       //Tests if i != what? - condition of the for loop
  jne .L2                //Loop again
  movl %edi, %eax        //Otherwise return result.

1 Ответ

14 голосов
/ 24 октября 2010

sall %cl, %edx сдвигает% edx влево на %cl бит. (%cl, для справки, младший байт %ecx.) Последующие testl проверяют, обнулен ли этот сдвиг% edx.

jne называется так, потому что он часто используется в контексте сравнений, которые в ASM часто являются просто вычитаниями. Флаги будут установлены на основе разницы; ZF будет установлен, если элементы равны (так как x - x == 0). Он также называется jnz в синтаксисе Intel; я не уверен, позволяет ли это и GNU.

Все три инструкции переводятся в i <<= n; if (i != 0) goto L2;. Это плюс метка, кажется, делает цикл. 

for (i = 1; i != 0; i <<= n) { result ^= i & x; }

Или, вернее (но с той же целью), цикл do ... while. 

i = 1;
do { result ^= i & x; i <<= n; } while (i != 0);
...