a25_kharc01 のバックアップ(No.3) - essen-wiki

[ トップ ] [ 新規 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]

kharc #01

(by K, 2025.05.30)

(0) これはなに？

buntan-pcで遊んでいるうちに思い付いたもの。もはや言葉ではうまく説明できない。
だから短期間で作って、こういうのあったらいいよね？と見せたい。

なんて読めばいいの？「カーク」・・・ KH-Arc が語源。
仮想マシン(VM)なの？・・・そうとも言えるけど、そうではないともいえる。
Cコンパイラなの？・・・ある意味ではそう。
トランスパイラじゃないかな？・・・そうかもしれない。でもC言語をC言語にするんだけどね・・・。

何ができるの？・・・CPUに依存しないデバッグ機能の提供。
たぶんものができれば、「ああなるほどこういうことがやりたかったのね。じゃあ確かにこう作るしかなかったね」ってわかってもらえる。

2025.05.30 Fri #0

とりあえずの方針：
- 不便でも何でもいいので、とにかく動くものを作る。便利にする、きれいにするのは後回し。
- 詳しく考えるのがめんどくさいので、x86っぽい構成にする。Rev2で真面目に設計すればいい。

設計：
- レジスタマシン。整数レジスタ4本(R)。アドレスレジスタ4本(A)。浮動小数点レジスタ4本(F)。コンパイラではレジスタ変数を考えないので、たぶんこれで足りる。
- なんか不安になってきたので、アドレスレジスタだけは8本にしよう。
- RxとAxはこのバージョンでは32bitということにする。
まずはアセンブラを作る。
- MovRR(Rx,Rx); MovAA(Ax,Ax); MovFF(Fx,Fx); // レジスタ間転送
- MovRI(Rx,imm32);
- AddRI(Rx,imm32); SubRI(Rx,imm32);
関数呼び出し規則としては、基本的にどのレジスタも破壊可能だけど、スタックポインタであるA0とグローバルベースのA1は破壊しない。
ただ123を返すだけの関数。
```
MovRI(R0,123); Ret();
```

1から10までの和を計算する関数。

MovRI(R0,0); MovRI(R1,1);
LbI(0); AddRR(R0,R1); AddRI(R1,1); CmpJneRII(R1,11,0);
Ret(); // == JmpA(A2);

再帰でフィボナッチ数を計算する関数。スタックトップに引数がある。

LbI(0);
LodRMd(R0,A0,0); // R0=[A0+0];
CmpJg(R0,1,1); // if (R0>1) goto 1;
Ret();
LbI(1);
SubAI(A0,16);
StoAMd(A2,A0,8); // [A0+8]=A2;
SubRI(R0,1);
StoRMd(R0,A0,0);
CalII(0,2); // == MovAI(A2,2); JmpI(0); LbI(2);
StoRMd(R0,A0,12);
LodRMd(R0,A0,16);
SubRI(R0,2);
StoRMd(R0,A0,0);
CalII(0,3);
AddRMd(R0,A0,12);
LodAMd(A2,A0,8);
AddAI(A0,16);
Ret();

kharcのアセンブラは、機械語ではなくC言語のソースコードを出力する。