a21_txt02_6a のバックアップ(No.5)

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
a21_txt02_6a へ行く。
- 1 (2021-04-29 (木) 02:02:39)
- 2 (2021-04-29 (木) 02:15:47)
- 3 (2021-05-03 (月) 00:10:09)
- 4 (2021-05-06 (木) 05:46:55)
- 5 (2021-05-06 (木) 13:39:41)
- 6 (2021-05-06 (木) 16:55:09)
- 7 (2021-05-06 (木) 23:00:34)
- 8 (2021-05-06 (木) 23:00:34)

「10日くらいでできる！プログラミング言語自作入門」の続編#1-6a

(by K, 2021.04.29)

(1) HL-16a

HL-16までで、「簡単にできる」かつ「そこそこ効果がある」なことは全部やってしまったと思っていたのですが、急に一つ思いつきました。
機械語の中で%mを使ってメモリアクセスしている回数を変数別に集計したら面白いのではないか、と。・・・さっそくやってみます。
これがわかれば、出現頻度が高いものからregVarに指定すれば、コードは最も小さくできるはずです（ただ、それはサイズ優先であって、使用頻度を優先したものではないので、性能が高いかどうかは不確かです。使用頻度を重視するならやはりコードを読んで重そうなところを探す必要があります）。

[1]optimizerX86()関数の宣言の直前に、以下の一行を追加
```
int vc[MAX_TC + 1];
```

[2]optimizerX86()関数に3行追加

        if (icq0[0] == 0x8b && isConstM(&icq0[1])) {
            int reg = (icq0[1] >> 3) & 7, i = getConstM(&icq0[1]);
+           vc[((AInt *) get32(&icq0[2])) - var]--;
            icq = icq0;
            if (i == 0) { putIcX86("31_%0c", (IntP) (reg * 9 + 0xc0), 0, 0, 0); }
            else        { putIcX86("%0c_%1i", (IntP) (reg + 0xb8), (IntP) i, 0, 0); }
        }
        if (icq0[0] <= 0x3f && (icq0[0] & 7) == 3 && isConstM(&icq0[1])) {
            int reg = (icq0[1] >> 3) & 7, i = getConstM(&icq0[1]);
+           vc[((AInt *) get32(&icq0[2])) - var]--;
            icq = icq0;
            if (-0x80 <= i && i <= 0x7f) { putIcX86("83_%0c_%1c", (IntP) ((icq0[0] & 0x38) + reg + 0xc0), (IntP) i, 0, 0); }
            else                         { putIcX86("81_%0c_%1i", (IntP) ((icq0[0] & 0x38) + reg + 0xc0), (IntP) i, 0, 0); }
        }
        if (icq0[0] == 0x0f && icq0[1] == 0xaf && isConstM(&icq0[2])) {
            int reg = (icq0[2] >> 3) & 7, i = getConstM(&icq0[2]);
+           vc[((AInt *) get32(&icq0[3])) - var]--;
            icq = icq0;
            if (-0x80 <= i && i <= 0x7f) { putIcX86("6b_%0c_%1c", (IntP) (reg * 9 + 0xc0), (IntP) i, 0, 0); }
            else                         { putIcX86("69_%0c_%1i", (IntP) (reg * 9 + 0xc0), (IntP) i, 0, 0); }
        }

[3]optimizerX86()関数に2行追加

        if (icq0[0] == 0x8b && icq1 != 0 && icq1[0] == 0x89 && icq0[1] == 0x05 && icq1[1] == 0x05 && get32(icq0 + 2) == get32(icq1 + 2)) {
            icq = icq0;	// 	8b命令は削除.
            i = (IntP) get32(icq1 + 2) - var;
+           vc[i]--;
            if (TcTmp0 <= i && i <= TcTmp9) {
+               vc[i]--;
                icq = icq1;	// 89命令も削除.
            }
        }

[4]putIcX86_sub()関数に1行追加

            if (s[i + 2] == 'm') {	// mod r/m.
                k = s[i + 3] - '0';
                i += 4;
subcmd_m:
                if (regVar(a[j]) < 0) {
                    *icq = 0x05 + k * 8 + addVal;
                    put32(icq + 1, (int) a[j]);
+                   vc[a[j] - var]++;
                    icq += 5;
                } else {
                    *icq = 0xc0 + regVarNo[regVar(a[j])] + k * 8 + addVal;
                    icq++;
                }
                addVal = 0;
                continue;
            }

[5]compile()関数に3行追加

int compile(String s)
{
    （中略）
    for (i = 0; i < 10; i++) {
        tmp_flag[i] = 0;
    }
    tmpLabelNo = 0;
+   for (i = 0; i < MAX_TC + 1; i++) {
+       vc[i] = 0;
+   }
    bd = lbd = 0;
    toExit = tmpLabelAlloc();
    for (pc = 0; pc < pc1; ) { // コンパイル開始.
    （中略）
}

[6]run()関数に5行追加

int run(String s)
{
    if (compile(s) < 0)
        return 1;
    if (codedump == 0) {
        void (*func)() = (void (*)()) ic;
        t0 = clock();
        func();
        if (win != 0) {
            aFlushAll(win);
        }
   } else {
       int i, i1 = dump1 - dump0;
       for (i = 0; i < i1; i++) {
           printf("%02x ", dump0[i]);
       }
       printf("\n(len=%d)\n", i1);
+      for (i = 0; i < MAX_TC + 1; i++) {
+          if (vc[i] != 0) {
+              printf("#%04d(%08x): %06d: %s\n", i, (int) &var[i], vc[i], ts[i]);
+          }
+       }
    }
    return 0;
}

以上すべての改造を終えると、プログラムは1081行になります。

それでは早速動かしてみます。
（以下編集中）

↑

(4) 成果の比較

上記みたいなのはすごく特別でレアケースなのか、それともよくあるメジャーケースなのか、たぶん簡単には判断できないと思うので、いくつかのプログラムでcodedumpしてバイト数を比較してみました。
サイズが小さくなったからいいとか悪いとかではなく、「サイズが小さくなった＝それだけ適用された」ということだと考えてください。

	HL-13a	HL-14	HL-14a	HL-15	HL-15a	HL-16	HL-16a	備考
mandel.c	1087	1007	942	768	726	657	657	regVar(0,zx,zy,xx,yy)[HL-14以降]
maze.c	2192	2192	2192	1770	1536	1533	1265	regVar(0,xx,yy,dd,x)[HL-16a以降]
kcube.c	4623	4623	4623	3695	3495	3494	3116	regVar(0,i,l,x,y)[HL-16a以降]
invader.c	3260	3260	3260	2750	2399	2357	1949	regVar(0,i,j,ly,ix)[HL-16a以降]

↑

次回に続く

次回: a21_txt02_7

↑

こめんと欄

コメント	お名前	NameLink