x86 add и addl операнды добавляются неправильно?

Question

Я работаю с xv6, который реализует оригинальную UNIX на компьютерах x86. Я написал очень простой ассемблерные в программе C:

register int ecx asm ("%ecx"); 
printf(1, "%d\n", ecx); 
__asm__("movl 16(%esp), %ecx\t\n"); 
printf(1, "%d\n", ecx); 
__asm__("add $0, %ecx\t\n"); 
printf(1, "%d\n", ecx); 
__asm__("movl %ecx, 16(%esp)\t\n"); 

Я обычно получаю значение, как 434, напечатанной вторым оператором печати. Однако после команды добавления он печатает 2. Если вместо этого я использую команду addl, он также печатает 2. Я использую последнюю стабильную версию xv6. Поэтому я действительно не подозреваю, что это проблема. Есть ли другой способ добавить два числа в встроенную сборку?

По сути мне нужно прирастить 16 (% ЭСП) на 4.

---

Отредактированный код:

__asm__("addl $8, 16(%esp)\t\n");

Answer 1

1) В вашем примере вы не Инкрементирование ECX на 4 , а приразите его к 0.

__asm__("addl $4, %ecx"); 

2) Вы должны иметь возможность подключать мульти iple команды в один ассемблерный вызов

__asm__("movl 16(%esp), %ecx\n\t" 
     "addl $4, %ecx\n\t" 
     "movl %ecx, 16(%esp)"); 

3) Регистр ключевых слов является намек, и компилятор может принять решение поместить переменную, где когда-либо он хочет еще. Также чтение документации на странице GCC предупреждает о том, как некоторые функции могут сжимать различные регистры. Функция printf(), являющаяся функцией C, может очень хорошо использовать регистр ecx без сохранения ее значения. Он мог бы сохранить его, но это может не быть; компилятор может использовать этот регистр для всех видов оптимизации внутри этого вызова. Это регистр общего назначения на 80x86, и они часто используются для различных значений передачи и возврата параметров все время.

Непроверенные поправки:

int reg; // By leaving this out, we give GCC the ability to pick the best available register. 

/* 
* volatile indicates to GCC that this inline assembly might do odd side 
* effects and should disable any optimizations around it. 
*/ 
asm volatile ("movl 16(%esp), %0\n\t" 
       "addl $4, %0\n\t" 
       "movl %0, 16(%esp)" 
       : "r" (reg)); // The "r" indicates we want to use a register 

printf("Result: %d\n", reg); 

GCC manage page имеет больше деталей.