| Zeile 3: | Zeile 3: | ||
== cdecl == | == cdecl == | ||
Cdecl wird von vielen Compilern verwendet die für x86-Systeme kompilieren. Die Parameter werden, beginnend mit den letzten, nacheinander auf den Stack gelegt. Der Rückgabewert einer Funktion wird über das EAX-Register übergeben. | Cdecl wird von vielen Compilern verwendet die für x86-Systeme kompilieren. Die Parameter werden, beginnend mit den letzten, nacheinander auf den Stack gelegt. Der Rückgabewert einer Funktion wird über das EAX-Register übergeben. | ||
| + | |||
| + | Um zwischen einen in Assembly geschriebenen Teil, und einem in C oder C++ geschriebenen Teil zu interagieren sind folgende Punkte zu beachten: | ||
| + | # Name der Funktion | ||
| + | # Argumente | ||
| + | # Rückgabewert | ||
| + | |||
| + | Der '''Funktionsname''' wird beim gcc 4 ( [[C]] ) nicht verändert. Nennt man die Funktion in C ''test'' so heißt diese auch im objectfile ''test''.\\ | ||
| + | Beim g++ ( [[C++]] ) ist das schon etwas komplizierter. Bei C++ kann man namensräume verwenden, und Funktionen überladen, entsprechend wird der Funktionsname aufwändiger codiert:\\ | ||
| + | Als Beispiel folgende Funktion: | ||
| + | <cpp>namespace namensraum | ||
| + | { | ||
| + | int test(int x) | ||
| + | { | ||
| + | return x; | ||
| + | } | ||
| + | }</cpp> | ||
| + | Im Objectfile heißt die Funktion nun ''_ZN10namensraum4testEi'' <br/> | ||
| + | Aufgelöst bedeutet ''N10'' Das ein Namensraum mit 10 Buchstaben folgt (''namensraum'') <br/> | ||
| + | Die ''4'' gibt an, das nun der funktionsname mit 4 Buchstaben folgt (''test'') <br/> | ||
| + | Und nach dem ''E'' werden die datentypen der parameter aufgelistet - hier ein ''i'' für int <br/> | ||
| + | Dies kann bei anderen Compilern auch anders sein; Am besten einfach mal in ein objectfile gucken, das mit dem Compiler erstellt wurde, und die Namen, mit den Namen des entsprechenden sourcefiles vergleichen. | ||
| + | Wenn man eine Funktion mit dem Namen ''test'' erstellen möchte, muss man neben dem üblichen lable den Assembler noch anweisen, das dieses lable auch für andere "Dateien" sichtbar sein soll. Dazu verwendet man (unter nasm) das schlüsselwort ''global'' | ||
| + | <asm>[global test] | ||
| + | test: | ||
| + | ret</asm> | ||
| + | Damit man diese Funktion jetzt von C aus aufrufen kann, muss man in C angeben, dass irgendwo eine Funktion ist, die ''test'' heißt. Das geht über das Schlüsselwort ''extern'' | ||
| + | <c>extern int test(int x);</c> | ||
| + | |||
| + | Die '''Argumente''' Werden in C über den Stack übergeben. Dabei werden die Argumente von rechts nach links auf den Stack gepushed. | ||
| + | <asm>[global test] | ||
| + | test: | ||
| + | mov eax, [esp+4] | ||
| + | ret</asm> | ||
| + | Unter ''[esp]'' liegt die Rücksprungadresse, unter ''[esp+4]'' liegt das 1. Argument. Das 2. Argument würde unter ''[esp+8]'' liegen, usw. | ||
| + | |||
| + | Der '''Rückgabewert''' steht in ''eax''. Mann sollte also bei der Verwendung von ''popad'' darauf achten, dass der Rückgabewert nicht verlohren geht. Die Beispeilfunktion ''test'' würde hier das Argument zurückgeben. | ||
| + | |||
| + | Das asm-file und das C-file müssen nun jeweils zu einem object-file assembliert/compiliert werden, und können dann zusammen geliked werden. | ||
| + | |||
| + | Ein Aufruf einer C-Funktion (oder der Funktion einer anderen Hochsprache) aus einem Assembley-code geht natürlich auch: | ||
<c> | <c> | ||
| − | int a,b,c,r; | + | //int a,b,c,r; |
int test(int a,int b,int c); | int test(int a,int b,int c); | ||
| − | r = test(a,b,c) | + | //r = test(a,b,c) |
</c> | </c> | ||
<asm> | <asm> | ||