Konvertierung der rekursiven C-Funktion in ARM-Assembly?

Question

Für eine Hausaufgabe wurde mir eine rekursive C-Funktion gegeben, um ganzzahlige Partitionen zu zählen, die ich in eine ARM-Assembly konvertieren muss. Dinge, die ich weiß, über ARM assembly:

1) R0 wird der Rückgabewert eines Anrufs

2) R1, R2, halten und R3 sind Argument

Der Code registriert ist wie folgt:

int count_partitions(int n, int m) { 

if (n == 0) 
    return 1; 

else if(n < 0) 
    return 0; 

else if (m == 0) 
    return 0; 

else 
    return count_partitions(n - m, m) + count_partitions(n, m - 1); 
} 

Ich glaube, ich habe die ersten 3 if & else-if Anweisungen richtig gemacht. Meine Logik für die letzte else Anweisung war, count_partitions (n, m-1) zu finden, diese auf dem Stack zu speichern, dann count_partitions(n-m, m) zu finden und das zum vorherigen Rückgabewert hinzuzufügen, den ich vom Stack bekommen habe - aber mein Code scheint das nicht zu sein Arbeit?

Ich habe meine Lösungsansätze angefügt und habe die verschiedenen Segmente von C-Code und ihren entsprechenden Assemblercode farblich codiert. Könnte mich jemand wissen lassen, was los ist?

Answer 1

Sie können dies nach dem Befehl CMP verwenden und springen Ihre Funktion:

BEQ Etikett; BRAND EQUAL

BNE-Etikett; ZWEIG NICHT GLEICH

BLE-Etikett; BRANCHE WENIGER ALS EQUAL

BLT-Label; BRANCHEN WENIGER ALS

BGE-Etikett; Verzweigung größer als gleich

BGT-Label; BRANCHEN GRÖSSER ALS

Answer 2

Ich glaube, ich mehrere Probleme sehen:

• Sie gehen davon aus, dass n in r1 ist. Dies ist tatsächlich in r0. m wird in r1, nicht r2 sein.
• Aus diesem Grund müssen Sie sowohl r0 als auch r1 speichern.

Eine sauberere Lösung wäre, so etwas zu verwenden:

_count_partitions: 
    ...    ; First part with comparison 
        ; but r1->r0 and r2->r1 

    push {r4-r5} 
    mov r4, r0  ; saved value of n 
    mov r5, r1  ; saved value of m 
    sub r0, r4, r5 ; n = n-m 
    bl _count_partitions 

    sub r1, r5, #1 ; m = m-1 
    mov r5, r1  ; result of first function 
    mov r0, r4  ; restore n 
    bl _count_partitions 

    add r0, r0, r5 ; cumulative result 
    pop {r4,r5} 
    pop {pc}