a4_p0008 のバックアップ(No.1)

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
a4_p0008 へ行く。
- 1 (2026-05-04 (月) 11:34:18)
- 2 (2026-05-04 (月) 12:30:40)

acl4のプログラムのページ0008

(by K, 2026.05.04)　　　　（a4_i01: acl4 の目次へ戻る）（a4_log: acl4 の開発ログへ戻る）

↑

(1) プリプロセッサは善か悪か？

（この部分は a4_p0008 と同じです。）
私はかつてC言語のプリプロセッサのマクロが嫌いでした。関数みたいな見た目だけど、実際は関数ではなく、ただのテキストの置き換えです。
```
#define Square(x)  (x)*(x)
```
みたいなのがあると、xは二度評価されて、副作用があったりするとわかりにくいバグになるわけです。またマクロは型チェックもしてくれません。
こんなのやるくらいなら inline 関数を書いたほうがマシです。
そもそも x * x って書けないところからして、許せないんです。いや書いてもいいんですが、そしたら Square(2+3) がうまく計算できなくなるわけですよね。これが 11 になってうれしい状況が全く理解できません。
まあ最適化が強くないコンパイラでも、関数呼び出しコードを生成しないことが確実なところはちょっといいなと思っていましたが・・・。

私は今はプリプロセッサが大好きです。プリプロセッサは世界を変えるパワーを持っていると思います。うまく使えばこれほど有用なものはないのです。今日はその話をしたいと思います。

↑

(2) プログラム p0008a.c について #0 （プリプロセッサ）（a4_p0007と同じ）

acl4 ライブラリを使って、プリプロセッサを作りました。acl4 ライブラリにはプリプロセッサ関数があるので、それを呼んでいるだけです（a4_0022）。難しいことは何もありません。

[p0007b.txt]:

#define Square(x)  (x)*(x)
#define One     1
#define Two     2
#define Three   3
#define Four    4
#define Five    5
#define Six     6
#define Seven   7
#define Eight   8
#define Nine    9
#define Ten    10
#define Eleven 11
#define Twelve 12

#if (Square(2+3)!=11)
  Square(Three + Seven)
#endif

これをプリプロセッサにかけるとこうなります。

>p0008a pp:1 src:p0007b.txt
#line 14 "p0007b.txt"


(3 + 7)*(3 + 7)

もし #line を出力しないでほしければ、こうします。
```
>p0008a pp:1 src:p0007b.txt mod:2

(3 + 7)*(3 + 7)
```

↑

(3) プログラム p0008a.c について #1 （コマンドライン計算機）（a4_p0007と同じ）

プリプロセッサでは #if で式の値を計算する必要があります。そうしないと後続の行を出力するかしないかを決められません。ということで計算機能を持っています。
せっかくなので、それを使ってやろうと考えました。ファイルではなくコマンドラインに書くときは、ちょっと面倒ですが inline: を付けます。
```
>p0008a calc:1 src:inline:1+2+3+4+5+6+7+8+9+10
55
```
結局中身はプリプロセッサなので、#defineとかが混ざっていても問題ありません。ということで、先の p0007b.txt を src: に指定することもできます。
```
>p0008a calc:1 src:p0007b.txt
100
```
だから計算機プログラムとしては、ちょっと多機能です（笑）。

↑

(4) プログラム p0008a.c について #2 （簡易Cコンパイラ）

さてここからが本気です（笑）。
実は自作プリプロセッサである p0008a は、普通のプリプロセッサの機能に加えて #typedDef などの拡張機能を持っています（型付きdefine）。
これは acl4 ライブラリのプリプロセッサ関数が標準で持っている機能なので、別にこの機能を使うためにあれこれと準備しなければいけないということはありません。
これを使って何ができるかと考えて、今回はCコンパイラを作りました。

[p0007e.txt]:

int i, j; // 素数を表示するプログラム.
for (i = 2; i < 100; i++) {
    for (j = 2; j * j <= i; j++) {
        if (i % j == 0) goto skip;
    }
    printf("%d ", i);
skip: ;
}
printf("\n");

コンパイルしてみます。

>p0008a cc:1 src:p0007e.txt
ADD(ESP,-4096);
MOV(DWORD [ESP+(23)*4+1024],2);
JMP(L4);
LABEL(L2:);
MOV(DWORD [ESP+(24)*4+1024],2);
JMP(L8);
LABEL(L6:);
MOV(EAX,[ESP+(23)*4+1024]); CDQ(); IDIV(DWORD [ESP+(24)*4+1024]); MOV([ESP+(128)*4+1024],EDX);
MOV(EAX,[ESP+(128)*4+1024]); CMP(EAX,0); SETE(AL); MOVZX(EAX,AL); MOV([ESP+(129)*4+1024],EAX);
MOV(EAX,[ESP+(129)*4+1024]); CMP(EAX,0); JNE(L22);
LABEL(L7:);
（以下略）

こんな感じの出力が出てきます。全く最適化されていないので、冗長なコードになっていますが、でもちゃんと動きます（後述）。

ここで強調したいのは、出力コードの質の低さではなく、これだけのものがどれほど簡単にできたのかという話です。

p0008a.c のコード内で、Cコンパイラの処理は以下のように書かれています。

1: if (strtol(getArg(argc, argv, "cc:", "0"), NULL, 0) != 0) {
2:     a_convVc_pp(vc0, vc1, 1 + 2 + 2 * 16, dbg, "[preprocessed]\n%.*s\n", stdout, src);
3:     a_convVc_clang_clout(vc1, vc0, 1); if (dbg != 0) printf("[clout]\n%s\n", vc0->p);
4:     VecChr_N(vc1) = 0; VecChr_printf(vc1, "Ent_III(256,256,0);\n%sLev_III(256,256,0);\n", vc0->p);
5:     a_convVc_pp(vc1, vc0, 1 + 2 * 16, dbg, "[asm_a4vm]\n%.*s\n",     stdout, "conv_clout_a4vm");
6:     a_convVc_pp(vc0, vc1, 1 + 2 * 16, dbg, "[asm_x86-32-0]\n%.*s\n", stdout, "conv_a4vm_asmX86Bit32Typ0");
7:     a_convVc_pp(vc1, vc0, 1 + 2 * 16, 1,   "%.*s\n",                 stdout, "conv_asmX86Bit32Typ0_Typ1");
8: }

1行目と8行目は「cc:1になったときに以下を実行せよ」と言っているだけなので、実質的にこのCコンパイラは6行で構成されています。
2行目では、まず与えられたC言語のソースコードに対してプリプロセッサ処理をします。これで #include や #define などが全部展開された1つのテキストデータが得られます。
3行目では、C言語の a=b+c; を Add(a, b, c); みたいな形式に変換しています。こういうプリプロセッサで置換できる形の集まりに変換することで、その後の処理をプリプロセッサだけでやるのです（！）。この最初の形式変換処理はプリプロセッサではできないので、C言語の関数でやります。
5行目は、 a_convVc_clang_clout() の出力結果に、 conv_clout_a4vm.h （正味40行程度）をインクルードして、プリプロセッサにかけます。こうすることで a4vm のアセンブラに変換されます。
6行目は、5行目の出力結果に、 conv_a4vm_asmX86Bit32Typ0.h （26行）をインクルードしてプリプロセッサにかけます。こうすることで x86 のアセンブラになります。
7行目は、6行目の出力結果に、 conv_asmX86Bit32Typ0_Typ1.h （32行）をインクルードしてプリプロセッサにかけます。こうすることでアセンブラの文法がNASMっぽくなって、読みやすくなります。そしてそれを標準出力に出力しています。
つまりC言語の関数（今は170行くらい）を一度呼んで、プリプロセッサを合計4回実行するだけで、Cコンパイラはできてしまうということなんです。
C言語を作ったことがあればわかるのですが、これは結構衝撃的なことです。

↑

(5) プログラム p0007a.c について #3 （C言語JITコンパイラ）

せっかくコンパイルできたのですから、これをアセンブルして機械語にして、そのまま実行してしまいましょう。これを Just-In-Time 型コンパイラと言います。

まずは先の p0007e.txt がきちんと動くか確かめてみます。

>p0008a cjit:1 src:p0007e.txt
2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 61 67 71 73 79 83 89 97

このようにうまくいきます。

p0008a.c のコード内で、C言語JITコンパイラの処理は以下のように書かれています。

 1: if (strtol(getArg(argc, argv, "cjit:", "0"), NULL, 0) != 0) {
 2:     a_convVc_pp(vc0, vc1, 1 + 2 + 2 * 16, dbg, "[preprocessed]\n%.*s\n", stdout, src);
 3:     a_convVc_clang_clout(vc1, vc0, 1); if (dbg != 0) printf("[clout]\n%s\n", vc0->p);
 4:     VecChr_N(vc1) = 0; VecChr_printf(vc1, "Ent_III(256,256,0);\n%sLev_III(256,256,0);\n", vc0->p);
 5:     a_convVc_pp(vc1, vc0, 1 + 2 * 16, dbg, "[asm_a4vm]\n%.*s\n",     stdout, "conv_clout_a4vm");
 6:     a_convVc_pp(vc0, vc1, 1 + 2 * 16, dbg, "[asm_x86-32-0]\n%.*s\n", stdout, "conv_a4vm_asmX86Bit32Typ0");
 7:     a_convVc_pp(vc1, vc0, 1 + 2 * 16, dbg, "[asm_db]\n%.*s\n",       stdout, "conv_asmX86Bit32Typ0_asmDb");
 8:     intptr_t bn = a_conv_asmDb_bin(vc0->p, VecChr_N(vc0), bin, binSz, tbl, sizeof tbl / sizeof (a_AsmDbConstTable), bf);
 9:     if (bn > 0) {
10:         if (dbg != 0) { printf("[binary]\n"); hexDump(bin, bn, stdout); }
11:         void (*pf)(); pf = (void (*)()) bin; pf();
12:     }
13: }

1行目から6行目までは cc:1 の時と全く同じです。

7行目ではプリプロセッサを使ってアセンブルをしています。これにより以下のような内容に変換されます。ちなみに conv_asmX86Bit32Typ0_asmDb.h は46行です。

DB(0x81); DB(0xC0+4); DD(-4096);
DB(0xC7); DB(0x84); DB(0x24); DD((23)*4+1024); DD(2);
DB(0xE9); DD_L(4, 1, -4);
LBL(2);
DB(0xC7); DB(0x84); DB(0x24); DD((24)*4+1024); DD(2);
DB(0xE9); DD_L(8, 1, -4);
LBL(6);

アセンブラが46行で書けるというは、非常にくるっています（笑）。一部を見せるとこんな感じです。こんなのは https://www.felixcloutier.com/x86/ を見れば、テレビを見ながらでも作れます。

#define RET()         DB(0xC3)
#define CDQ()         DB(0x99)
#define PUSH_R(r)     DB(0x50+r)
#define POP_R(r)      DB(0x58+r)
#define PUSH_I(i)     DB(0x68); DD(i)
#define CALL_I(i)     DB(0xE8); DD_R(i-4)
#define ADD_RI(r,i)   DB(0x81, 0xC0+r); DD(i)
#define SUB_RI(r,i)   DB(0x81, 0xC0+r+5*8); DD(i)
#define CMP_RI(r,i)   DB(0x81, 0xC0+r+7*8); DD(i)
#define IMUL_RI(r,i)  DB(0x69, 0xC0+r*9); DD(i)
#define MOV_RI(r,i)   DB(0xB8+r); DD(i)
#define SHL_RI(r,i)   DB(0xC1, 0xC0+r+4*8, i)
#define SAR_RI(r,i)   DB(0xC1, 0xC0+r+7*8, i)
#define JMP_T(t)      DB(0xE9); DD_L(t, 1, -4)
#define JNE_T(t)      DB(0x0F, 0x85); DD_L(t, 1, -4)

8行目では、このDB/DW/DDの列を実際のバイナリデータに変換します。そこで式の計算処理が必要になりますが、 calc:1 と同じ計算ルーチンが使えるので、余裕でこなせます。
9行目以降で、生成した機械語の関数を呼び出して実行させています。
嘘みたいに簡単にC言語のJITコンパイラができました。

（以下編集中）

↑

(99) 更新履歴

2026.05.04(月) 初版