a25_kharcs2 のバックアップ(No.2)

kharcs #2

(by K, 2025.06.09)

↑

(0) これはなに？

（kharcsページは、kharc開発でわかったことを整理して説明するためのページ群です。）

今回説明したいこと：～この順番でCコンパイラを作ったら早くできたよ！～
- [1]関数宣言・インラインアセンブラ（2日目）
- [2]変数宣言・インラインアセンブラ内でのラベル宣言（3日目）
- [3]四則演算、return、関数呼び出し（4日目）

↑

(1) 関数宣言・インラインアセンブラ（2日目：6/5）

とりあえず、以下の記述くらいならできるようになりました。
```
int func(int i)
{
    asm { LodRMd(R0,SP,$i); AddRI(R0,3); } // R0=i+3;
}
```

受け取った引数に3を足すだけのヘボ関数です。コンパイルすると以下のようになります。

LbI(1); // func()
 SubAI(SP,8);
 StoAMd(RP,SP,0); // RP値を保存している（とりあえず今は無条件でやっている）.
 LodRMd(R0,SP,8); AddRI(R0,3); // （ここはasmの中身）$iが8に置換されている.
 LodAMd(RP,SP,0); // RP値を復元している.
 AddAI(SP,8);
 Ret();

引数に名前を付けて参照できるので、どこに何があるのかを人間が管理しなくてもよくなりました。

↑

(2) 変数宣言・インラインアセンブラ内でのラベル宣言（3日目：6/6）

ローカル変数の宣言を可能にして、スタック内がどうなっているか、コンパイラに管理してもらえるようにしました。

void main()
{
    params(1); // このmain内で行われる関数呼び出しは、引数が最大で1つだという意味（もしインラインアセンブラ内で関数呼び出ししないなら、この記述はいらない）.
    asm {
        MovRI(R0,46); StoRMd(R0,SP,0); CalII($fib,@lb0:); // R0 = fib(46);
        return R0;
    }
}

int fib(int i)
{
    int tmp;
    params(1);
    asm {
        LodRMd(R0,SP,$i); CmpJleRII(R0,1,@skip); // if (i <= 1) goto skip;
                          SubRI(R0,2); StoRMd(R0,SP,0); CalII($fib,@lb0:); StoRMd(R0,SP,$tmp); // tmp = fib(i-2);
        LodRMd(R0,SP,$i); SubRI(R0,1); StoRMd(R0,SP,0); CalII($fib,@lb1:); // R0 = fib(i-1);
        LodRMd(R1,SP,$tmp); AddRR(R0,R1); // R0 += tmp;
        LbI(@skip:);
    }
}

このfib()部分のコンパイル結果はこうなります。

LbI(4); // fib()
 SubAI(SP,16);
 StoAMd(RP,SP,12);
 LodRMd(R0,SP,16); CmpJleRII(R0,1,7); // if (i <= 1) goto skip;
                   SubRI(R0,2); StoRMd(R0,SP,0); CalII(4,5); StoRMd(R0,SP,8); // tmp = fib(i-2);
 LodRMd(R0,SP,16); SubRI(R0,1); StoRMd(R0,SP,0); CalII(4,6); // R0 = fib(i-1);
 LodRMd(R1,SP,8); AddRR(R0,R1); // R0 += tmp;
LbI(7); // skip:
 LodAMd(RP,SP,12);
 AddAI(SP,16);
 Ret();

変数オフセットやラベルなどがすべて無事に数値化できています。

スタックはこんな感じになっています。

{ [SP+0:引数用の領域8バイト] [SP+8:変数tmp] [SP+12:RP保存領域] } [SP+16:引数i]

↑

(3) 四則演算、return、関数呼び出し（4日目：6/9）

（工事中）