BL-Anweisung ARM - Wie funktioniert es

Ich bin Lern-ARM-Assembly, und ich bin stuck on something right now.

Weiß ich über den Link Registrieren, der, wenn ich bin nicht falsch, enthält die Adresse zurück, wenn ein Funktionsaufruf abgeschlossen ist.

Also wenn wir sowas haben (aus der ARM-Dokumentation):

0 | here
1 |   B there
2 |   
3 |   CMP R1, #0
4 |   BEQ anotherfunc
5 |
6 |   BL sub+rom ;  Call subroutine at computed address.

So, wenn wir denken, der die Spalte auf der linken Seite, wie die Adresse der Anweisung, dann nach B gibt es auf Adresse 1, werden die Link-Register enthält den Wert 1 richtig?

Dann geht das Programm zu der Methode gibt und dann verwendet Sie den Wert der Link-Register zu wissen, wo, um zurückzukehren.

Wenn wir Sie überspringen, um die Adresse 6 jetzt, wo ich bin stecken, wir wissen, was BL kopiert die Adresse der nächsten Anweisung in lr (r14, der link-register).

So, jetzt würde es kopieren Sie die Adresse der sub, die einem Unterprogramm (was ist ein Unterprogramm??) + rom (was ist eine Zahl?) oder die Adresse von sub+rom (ich weiß nicht, was dies sein könnte).

Aber im Allgemeinen, wenn müssten wir BL? Warum wollen wir es im Beispiel oben? Kann mir jemand ein Beispiel wo wir es wirklich brauchen?

Dank!

  • "Wann müssten wir BL?" Wenn Sie eine Funktion schreiben, die aufgerufen werden können, die aus mehr als einem Ort wird es brauchen, um zu wissen, wo es zurückgeben sollte, das ist, was das link-register wird verwendet für. Und der link registrieren, um die richtige Adresse, um zu Ihnen zurückzukehren verwenden Sie die BL Unterricht.
InformationsquelleAutor pavlos163 | 2015-12-04
  1. 8

    Es scheint, es ist ein wenig Verwirrung. Hier ist eine Erklärung :

    Den B Anweisung verzweigen. Er springt zu einem anderen Unterricht, und es gibt kein zurück erwartet. Das Link Register (LR) ist nicht berührt.

    Den BL Anweisung verzweigen, sondern auch link. LR geladen wird mit der Adresse der Instruktion nach BL im Speicher, nicht die Anweisung ausgeführt, die nach BL. Es wird dann möglich sein, die Rückkehr aus der Verzweigung mit LR.

    Beispiel :

    start:
01:  MOV r0, r2     ; some instruction
02:  B there        ; go there and never return !

there:
11:  MOV r1, r0         ; some instruction
12:  BL some_function   ; go to some_function, but hope to return !
                        ; this BL will load 13 into LR
13:  MOV r5, r0
14:  BL some_function   ; this BL will load 15 into LR
15:  MOV r6, r0


some_function:
     MOV r0, #3
     B LR               ; here, we go back to where we were before

    Wenn Sie möchten, rufen Sie eine andere Funktion innerhalb einer Funktion, LR überschrieben werden, so dass Sie nicht in der Lage sein, um zurückzukehren. Die gemeinsame Lösung ist das speichern LR auf den stack mit PUSH {LR}, und stellen Sie Sie vor der Rückkehr mit POP {LR}. Sie können sogar wiederherstellen und zurück in einem einzigen POP {PC} : dies wird zur Wiederherstellung der Wert von LR, aber in der Programm-Zähler, effektiv die Rückgabe der Funktion.

    • Das aufgerufene Unterprogramm kann speichern die link-register auf dem stack, in dem Fall, es zurückgeben kann, indem der aus dem stack zu PC (R15). Im Gegensatz zu Subroutinen, einige Ausnahmen Ergebnis in LR zeigt auf die Instruktion, die die Ausnahme verursacht hat, im Gegensatz zu dem, was wäre eine Rückkehr-Adresse.
    • Über die Ausnahmen, Sie funktionieren genauso wie interrupts, und Sie tatsächlich speichern der return-Adresse zu LR, und somit kann man wieder von Ausnahmen. Die Anweisung, die die Ausnahme verursacht hat, ist die Anweisung einfach vor.
    • Oder vielleicht bin ich falsch ? Ich habe das vor kurzem, aber jetzt habe ich Zweifel, haben Sie eine Quelle ?
    • Okay ich habe es gefunden, und Sie haben Recht : "Die tatsächliche Lage spitzt sich zu, indem der Programm-Zähler, wenn eine Ausnahme getroffen wird, hängt von den Typ der Ausnahme. Die Adresse zurück, die nicht unbedingt die nächste Instruktion, auf den program counter." Aber es ist immer noch eine Rückkehr-Adresse, die verwendet werden können, um zurückzukehren.
    • Könntest du etwas zu deiner Antwort auf die Frage, wie non-leaf-Funktionen arbeiten? In x86 call/ret push-pop-return-Adressen auf dem stack. Ich denke, ISAs, die über einen link registrieren, wie ARM, machen nicht-Blatt-Funktionen manuell abspeichern? Tatsächlich, ich habe gerade überprüft, die für mich auf godbolt: goo.gl/jgnt0T. push {r3, lr} ... pop {r3, pc}. Also ich denke r3 ist der stack-pointer. Nette, dass Sie einfach nur pop in den PC. Ich habe immer noch keine Ahnung, was sich die meisten PowerPC-asm für triviale nicht-tailcall Fall nicht, da PPC eselsbrücken scheinen viel schwieriger, herauszufinden, von Kontext / ohne Lesen docs.
    • Poping in PC ist komisch (aber bequem), aber ich habe gelernt, dass man auch ADD, SUB oder sogar UND (und viele andere) in den PC, wie AND pc, pc, r2 (edit: eigentlich veraltet). Über Ihre check auf godbolt ... Eigentlich, r3 ist auch gar nicht der stack-pointer (es ist sp, alias r13). Ich habe keine Ahnung, warum GCC push r3. Per Konvention r3 ist flüchtig. Wenn Sie foo(int i) und return i; es nutzt r4 (nicht flüchtig), die Sinn machen.
    • Vielen Dank für die Kommentare auf der gcc-Ausgabe. Ich musste nachschlagen ARM pop Unterricht. Ich wusste gar nicht, dass war ein Liste Register zum push/pop. Ich dachte, du hast zu wählen, die register, die als stack-pointer, so könnten Sie es für Ihre eigene stack-Datenstrukturen oder so etwas. (Ich möchte nicht schreiben, arm-asm, ich habe gerade auch mal versuchen, es zu Lesen, insb. für c++ - std:atomic-code zu sehen, was auf eine schwach bestellt ISA). x86-Einzel-byte-Anweisungen für push reg, so dass ich noch nicht einmal dachte an die Möglichkeit, eine variable-sized-push oder pop.
    • Ich glaube, ich weiß, warum gcc schiebt sich eine scratch-reg zusammen mit lr für mein test-code: Es ist die Beibehaltung der stack-ausgerichtet an einer 8B Grenze. Auch interessant: stackoverflow.com/questions/27693979/...
    • für die Ausnahmen, die in Punkt LR auf die Anweisung, die Fehler, die Idee ist, beheben den Fehler und re-issue der Anleitung. Die alternative ist, zu emulieren, die die fehlerhafte Anweisung, in dem Fall die fehlerhafte Anweisung übersprungen, und es erfolgt die Rücksendung an die nächste Anweisung, LR+2 im thumb-Modus, LR+4 im arm-Modus.
    • In der Tat scheint es der Fall zu sein, das macht nun Sinn.
    • Was ist mit der Instruktion BL Ausfahrt, wo das Programm nicht mit einem Unterprogramm beenden? Das gleiche mit anderen Subroutinen. Ich sah nur einige Programme wie, dass.
    • ist eine standard-C-Funktion aus der stdlib. Vielleicht war das verweisen auf diese ? Ich kann nicht wirklich sagen, ohne mehr Kontext.

    InformationsquelleAutor ElderBug
Schreibe einen Kommentar