a25_buntan02 のバックアップ(No.7)

buntan-pc #2

(by K, 2025.04.11)

↑

(0)

https://github.com/buntan-pc/
これにかかわる開発の話

↑

2025.04.11 Fri #0

今のbuntan-pcにはasという専用のアセンブラがあるのだけど、これの互換品をささっと作ってしまいたい。これが当面の目標。
そのために、どういうソースを渡せばどういうバイナリがでてくるかという、テストセットが欲しい。それがあればはかどる。
uchanさんに、「・・・ということでテストセットを3組くらいちょうだい！」と頼んだら、「それくらい公開済みのCコンパイラとアセンブラがあれば自分でできるでしょ」といわれて、確かにそれもそうだと思った。ということでやってみる。こちらの環境はWindows+MS-C。

uas.exeを作っていたらコンパイルエラーが出た。「//」のコメントの末尾が「取得」になっていると、次の行までコメント扱いされて、コンパイルエラーがいっぱい出る。半角ピリオドを追加してVCをなだめる。UTF-8で書かれたテキストなのに、なんでそうなるのか分からないけど、まあ対処法は簡単なので問題はない。
上記のコメント問題を直したら、7個の警告が出るだけでビルドは問題なくできた。

なるほどね、MS-Cには「/utf-8」っていうオプションがあるのかー。これを付けたらコメントいじらなくてもおとなしくなった。

次はucc.exe。

まずmakeを用意するのが面倒だったので以下のucc.cを作って代用。

#include "main.c"
#include "ast.c"
#include "insn.c"
#include "symbol.c"
#include "token.c"
#include "type.c"

問題は2つ。

libgen.hがないので、dirname()がない。

以下の記述を嫌がる。

  struct GenContext gen_ctx = {
    parse_ctx.scope,
    0, 0, 0, {}, {-1, -1}, 0, {}, print_ast, 0
  };

さてどうしたものか。
```
    0, 0, 0, {0}, {-1, -1}, 0, {0}, print_ast, 0
```
- にしたらとりあえず文句を言わなくなった。
じゃあ残るはdirname()だけだな。どこかに落ちてないかな。
- なるほど、こういう仕様なのか。 https://surf.st.seikei.ac.jp/~nakano/JMwww/html/LDP_man-pages/man3/dirname.3.html

Cursorさんに「<libgen.h>のdirnameを作ってください。」って頼んでみたら、作ってくれた。

#include <stdio.h>
#include <string.h>

char* my_dirname(char* path) {
    static char buffer[256];
    char* last_slash;

    // パスがNULLまたは空の場合、"."を返す
    if (path == NULL || *path == '\0') {
        return ".";
    }

    // パスをコピー
    strncpy(buffer, path, sizeof(buffer) - 1);
    buffer[sizeof(buffer) - 1] = '\0';

    // 最後のスラッシュを探す
    last_slash = strrchr(buffer, '/');

    // スラッシュが見つからない場合、"."を返す
    if (last_slash == NULL) {
        return ".";
    }

    // スラッシュの後ろを終端文字に置き換える
    if (last_slash != buffer) {
        *last_slash = '\0';
    } else {
        // ルートディレクトリの場合
        *(last_slash + 1) = '\0';
    }

    return buffer;
}

とりあえずこれでいけそうだな。

これでucc.exeはビルドできるようになったけど、できたucc.exeは挙動が怪しい。じゃあ次の作業はデバッグだな。
いやでも、uas.exeは問題なく動いているっぽいし、ucc/testsの中にarray.sとかもあるから、とりあえずuccはデバッグしなくてもいいのかー。

↑

2025.04.11 Fri #1

ある程度テストしてみたところ、手元でビルドしたuas.exeは完璧に動いているっぽい。

↑

2025.04.14 Mon #0

とりあえずK版のアセンブラは半分くらいできた。
今のところ、289行。
本家は section .data の次に section .text を書くというルールで、セクションをこまめに切り替えたりはできないけれど、今作っている版では、セクションの宣言順序は自由だし、途中で何度もセクションを切り替えられる。

↑

2025.04.15 Tue #0

array.sくらいならアセンブルできるようになった！（かも）。
まだ出力部を書いてないので、メモリの中でアセンブルできているだけ。バグっているかどうかは分からない。
ラベル計算を本家よりは頑張ったので、 push lb3-lb2+1 くらいならできるはず（バグってなければ）。カッコなしの加減算はできる。
今は356行。

↑

2025.04.15 Tue #1

db命令にも対応して、サンプルの.sファイルは全部アセンブルできるようになった。
あとは出力部をかかないとな・・・。

↑

2025.04.15 Tue #2

出力部もできた。ちょっとバクもあったけど、それも直して、ついに本家のアセンブラと同じバイナリを出せるようになった！
今は408行。まあでも行数はそんなに重要じゃない。1行に詰め込めばどうにでもなるのだから。

一番苦戦したデバッグは、fopen(exe, "wb")が失敗してNULLを返すというもの。・・・いやいや、なんで失敗するのさ！readじゃないよwriteだよ、普通失敗しないじゃないか！
- BZエディタで開いているファイルをfopenで書き込みオープンすると、fp==NULLにされる。なるほど、アクセス権が取れなかったんだね。
- これに気づくまでに30分くらい悩んだ。まさかここで失敗しているなんて思わなかったので・・・。

あとは些細な問題として、途中から本家が出力している実行ファイルと一致しないで、1バイトずれるという問題があった。でもそれは数秒でわかった。本家は"w"でオープンしていたから、テキストモードになっていたわけだ。それで0x0aを出力すると勝手に0x0dが追加されてしまう。ということで、本家も"wb"でオープンするようにしたら、完璧に出力結果が一致するようになった。

やったね！（明日upload予定）