Błąd asemblera systemu Linux "niemożliwe ograniczenie w 'asm'"

Question

Zaczynam od asemblera pod Linuksem. Mam zapisany następujący kod jako testasm.c
i skompilowałem go z: gcc testasm.c -otestasm
Kompilator odpowiada: "niemożliwe ograniczenie w" ASM "".

#include <stdio.h> 
int main(void) 
{ 
    int foo=10,bar=15; 

    __asm__ __volatile__ ("addl %%ebx,%%eax" 
     : "=eax"(foo) 
     : "eax"(foo), "ebx"(bar) 
     : "eax" 
    ); 

    printf("foo = %d", foo); 

    return 0; 
} 

Jak mogę rozwiązać ten problem? (mam skopiowane przykład z here.)

Debian Lenny, jądro 2.6.26-2-amd64
wersja gcc 4.3.2 (Debian 4.3.2-1.1)

Rozdzielczość:
Zobacz zaakceptowaną odpowiedź - wygląda na to, że klauzula "zmodyfikowana" nie jest już obsługiwana.

Answer 1

__asm__ __volatile__ ("addl %%ebx,%%eax" : "=a"(foo) : "a"(foo), "b"(bar)); 

wydaje się działać. Wierzę, że składnia ograniczeń rejestru zmieniła się w pewnym momencie, ale nie jest to dobrze udokumentowane. Ułatwiam pisanie nieprzetworzonego zestawu i unikam kłopotów.

Answer 2

Jeśli ktoś chce korzystać multilinii, to będzie również działać ..

__asm__ __volatile__ (
     "addl %%ebx,%%eax; \ 
     addl %%eax, %%eax;" 
     : "=a"(foo) 
     : "a"(foo), "b"(bar) 
    ); 

„\” należy dodać do kompilatora zaakceptować multilinii ciąg (z instrukcjami).

Answer 3

Ograniczenia to pojedynczych liter (ewentualnie z dodatkowymi zdobieniami) i można podać kilka alternatyw (tj. Bezpośredni operand lub rejestr to "ir"). Zatem ograniczenie "eax" oznacza ograniczenia "e" (podpisana 32-bitowa stała całkowita), "a" (rejestr eax) lub "x" (jakikolwiek rejestr SSE). To jest trochę inne, co OP oznaczało ... i wyjście na "e" najwyraźniej nie ma sensu. Ponadto, jeśli jakiś operand (w tym przypadku dane wejściowe i wyjściowe) musi być taki sam jak inny, odwołujesz się do niego za pomocą ograniczenia liczbowego. Nie ma potrzeby mówić, że eax zostanie spłaszczony, to wynik. Możesz odwoływać się do argumentów w kodzie wstawianym przez% 0,% 1, ..., nie trzeba używać jawnych nazw rejestrów. Tak poprawna wersja kodu w sposób zamierzony przez OP byłoby:

#include <stdio.h> 

int main(void) 
{ 
    int foo=10, bar=15; 

    __asm__ __volatile__ (
     "addl %2, %0" 
     : "=a" (foo) 
     : "0" (foo), "b" (bar) 
    ); 

    printf("foo = %d", foo); 

    return 0; 
} 

Lepszym rozwiązaniem byłoby umożliwienie% 2 za coś, a% 0 rejestr (jak x86 pozwala, ale trzeba by sprawdź swój podręcznik maszyny):

#include <stdio.h> 

int main(void) 
{ 
    int foo=10, bar=15; 

    __asm__ __volatile__ (
     "addl %2, %0" 
     : "=r" (foo) 
     : "0" (foo), "g" (bar) 
    ); 

    printf("foo = %d", foo); 

    return 0; 
}