register 変数

06 April 2012

前回に引き続いて、レジスタ変数を使った時の逆アセがどうなるかを見てみた。 ARM でやっています。

int hoge()
{
        register int a = 10, b = 20;
        return a + b;
}

をコンパイルしてみると

<hoge>:
    push {r4, r5, fp}
    add fp, sp, #8
    mov r5, #10
    mov r4, #20
    add r3, r5, r4
    mov r0, r3
    sub sp, fp, #8
    pop {r4, r5, fp}
    bx lr

なるほど、変数 a, b を r5, r4 に取るのね。 r4 - r11 は復元の必要があるので、いったんスタックに退避してます。

では、 register 変数は何個まで取るんだろうという素直に思ったので、やってみた。

int hoge()
{
        register int a = 10, b = 20, c = 30, d = 40;
        register int e = 50, f = 60, g = 70, h = 80;
        return a + b + c + d + e + f + g + h;
}

をコンパイルしてみると

<hoge>:
    push {r4, r5, r6, r7, r8, r9, sl, fp}
    add fp, sp, #28
    sub sp, sp, #8
    mov r2, #10
    str r2, [fp, #-32] ; 0xffffffe0
    mov r9, #20
    mov sl, #30
    mov r8, #40 ; 0x28
    mov r7, #50 ; 0x32
    mov r6, #60 ; 0x3c
    mov r5, #70 ; 0x46
    mov r4, #80 ; 0x50
    ldr r2, [fp, #-32] ; 0xffffffe0
    add r3, r2, r9
    add r3, r3, sl
    add r3, r3, r8
    add r3, r3, r7
    add r3, r3, r6
    add r3, r3, r5
    add r3, r3, r4
    mov r0, r3
    sub sp, fp, #28
    pop {r4, r5, r6, r7, r8, r9, sl, fp}
    bx lr

変数 b ～ h は r4 ～ r10 に割り当てられているが、変数 a はレジスタに取れずに、スタックに確保しているみたい。

ちなみに sl は r10 のこと。

レジスタの別名をまとめてみた。

r9 = sb: スタティックベース
r10 = sl: スタックリミット
r11 = fp: フレームポインタ
r12 = ip: プロシージャコール内スクラッチ
r13 = sp: スタックポインタ
r14 = lr: リンクレジスタ
r15 = pc: プログラムカウンタ

ARM 8
C 6