Hat der Rückgabewert immer in eax-register nach einem Methodenaufruf?

Ich geschrieben habe einen Haken-Bibliothek, die untersucht, wie ein PE ausführbaren Dateien, dll-import-Tabelle zu erstellen, eine Bibliothek, ermöglicht ändern von Parametern und Rückgabewerte. Ich habe ein paar Fragen auf, wie die return-Wert übergeben von einer Funktion.

Habe ich gelernt, dass der Rückgabewert einer Funktion gespeichert ist, in den Akkumulator. Ist dies immer der Fall? Wenn nicht, wie weiß der compiler wissen, wo sich für das Ergebnis der Funktion?

Was ist mit der return-Typ Größe? Eine ganze Zahl wird leicht zu passen, aber was ist eine Gesamtstruktur? Hat der Anrufer die reserve Stapel den Raum, so dass die Methode ruft es schreiben konnte das Ergebnis auf stack?

  • Warum nicht kompilieren ein paar Beispiele und finden Sie für sich selbst?
  • Nein, der ARM7-Prozessor nicht im EAX-register. Weder andere Prozessoren.
  • Natürlich, wenn der return-Typ passt nicht in eax es kann nicht dabei sein. Finden Sie in der Dokumentation von was auch immer-Aufrufkonvention, die Sie verwenden.
  • Bottom line: es kommt auf den compiler und den Konventionen, die es verwendet. (Ich Baue einen compiler, der vergeht, double float args in EAX/EDX [manchmal]).
  • nicht, wenn die Methoden, die "void" zurückgeben und pass-Werte durch Referenzen oder Pointer.
InformationsquelleAutor Bartlomiej Lewandowski | 2014-01-17
  1. 6

    Es ist alles spezifisch für die Aufrufkonvention.

    Für die meisten Aufrufkonventionen floating-point-zahlen, die entweder auf den FPU-stack oder in XMM-Register.

    Aufruf der Funktion Rückgabe einer Struktur

        some_struct foo(int arg1, int arg2);
    some_struct s = foo(1, 2);

    erstellt werden, in etwa äquivalent von:

        some_struct* foo(some_struct* ret_val, int arg1, int arg2);
    some_struct s; //constructor isn't called
    foo(&s, 1, 2); //constructor will be called in foo

    Bearbeiten: (info ergänzen)

    nur zur Klarstellung: dies funktioniert für alle structs und Klassen auch wenn sizeof(some_struct) <= 4. Also, wenn Sie definieren kleine nützliche Klasse wie ip4_type mit nur unsigned Feld und einige Konstruktoren/Konverter zu/trom unsigned, in_addr, char* es wird mangelnde Effizienz im Vergleich zur Verwendung von raw - unigned Wert.

    • einfach und effektiv:)
    • dieser beantwortet die meisten meiner Fragen, danke
    • außerdem: 64-bit-Werte afaik zurückgegeben werden, in edx:eax auf x86
    • ja, du hast Recht, aber es ist wahr für integer-Werte nur.
    • Gut, für integer-Werte andere als COMP 🙂
    InformationsquelleAutor qwm
  2. 2

    Wenn die Funktion inlined, das Ergebnis wird nicht gespeichert in eax, auch wenn die Ergebnisse weitergegeben werden, die durch Verweis/Zeiger, dass register nicht verwendet werden.

    schauen, was passiert, auf eine Funktion, die Rendite verdoppelt (auf einer 32-bit Maschine)

    double func(){
    volatile double val=5.0;
    return val;
}

int main(){
    double val = func();
    return 0;
}

    doubles sind nicht in eax.

    func():
    pushq   %rbp
    movq    %rsp, %rbp
    movabsq $4617315517961601024, %rax
    movq    %rax, -8(%rbp)
    movq    -8(%rbp), %rax
    movq    %rax, -24(%rbp)
    movsd   -24(%rbp), %xmm0
    popq    %rbp
    ret
main:
    pushq   %rbp
    movq    %rsp, %rbp
    subq    $24, %rsp
    call    func()
    movsd   %xmm0, -24(%rbp)
    movq    -24(%rbp), %rax
    movq    %rax, -8(%rbp)
    movl    $0, %eax
    leave
    ret
    • dein code ist 64 bit, nicht 32. Es gibt keine rax, rbp, rsp... auf 32-bit-x86
    InformationsquelleAutor GameDeveloper
  3. 1

    Es hängt wirklich von der Aufrufkonvention verwendet, aber in der Regel EAX ist für 32-bit und kleinere Integrale Datentypen, Fließkomma-Werte tendieren dazu, die Verwendung der FPU-oder MMX-Register und die 64-bit-integral-Typen neigen dazu, verwenden Sie eine Kombination von EAX und EDX statt. Dann gibt es das Problem der komplexen Klasse/struct-Typen, in dem Fall der compiler entscheiden kann, zu optimieren entfernt, der Rückgabewert und die Verwendung eines zusätzlichen output-parameter auf den Aufruf-stack zu übergeben Sie das zurückgegebene Objekt durch die Referenz an den Aufrufer.

    InformationsquelleAutor Remy Lebeau
  4. 1

    Sie Fragen über die ABI (Application Binary Interface). Dies variiert je nach Betriebssystem. Sie sollten es nachschlagen. Hier finden Sie einige gute Infos und links zu anderen Dokumenten bei http://en.wikipedia.org/wiki/X86_calling_conventions

    Ihre Frage zu beantworten, ja, soweit ich weiß, alle gängigen Betriebssysteme verwenden Ein register, um das Ergebnis zurückzugeben.

    • Die MS-Windows32-coventions nicht Argumente in EAX: Standard CDECL-Aufrufe push-Argumente im stack; fastcall-die ersten argument ist in ECX. Oh, du meinst popular Betriebssysteme im Gegensatz zu Windows :- }
    • Nur der Vollständigkeit halber: Borland-Compiler unter Windows benutzen eax als erstes argument mit __fastcall 😉
    • Oh, du hast Recht. Wie peinlich.
    InformationsquelleAutor Zan Lynx
Schreibe einen Kommentar