Top / CompilerLib

コンパイラ作成を支援するライブラリです。ライブラリはC#のマネージドコードですが、出力するのはネイティブバイナリです。（関連日記）

ダウンロード †

↑

過去のリリース †

↑

例 †

コンパイラの内部処理用ライブラリを想定しているため、言語処理系を含んでいません。テキストではなくオブジェクトを渡します。アセンブリをコードで組み立てて出力するというイメージです。

以下のC言語と同等のものを作成します。

#include <windows.h>

int main()
{
    HANDLE stdout = GetStdHandle(STD_OUTPUT_HANDLE);
    const char *hello = "Hello, World!\r\n";
    DWORD dummy;
    WriteConsole(stdout, hello, strlen(hello), &dummy, NULL);
    return 0;
}

CompilerLibを利用したコードは以下のようになります。

   Module module = new Module();
   List<OpCode> c = new List<OpCode>();

   const int STD_OUTPUT_HANDLE = -11;
   Function GetStdHandle = module.GetFunction(CallType.Std, "kernel32.dll", "GetStdHandle");
   Function WriteConsole = module.GetFunction(CallType.Std, "kernel32.dll", "WriteConsoleW");
   Function ExitProcess = module.GetFunction(CallType.Std, "kernel32.dll", "ExitProcess");

   // HANDLE stdout = GetStdHandle(STD_OUTPUT_HANDLE);
   Addr32 stdout = new Addr32(module.GetInt32("stdout"));
   c.AddRange(GetStdHandle.Invoke(STD_OUTPUT_HANDLE));
   c.Add(I386.Mov(stdout, Reg32.EAX));

   Ref<uint> dummy = module.GetInt32("dummy");
   string hello = "Hello, World!\r\n";
   c.AddRange(WriteConsole.Invoke(stdout, hello, hello.Length, dummy, 0));
   c.AddRange(ExitProcess.Invoke(0));

   module.Text.OpCodes = c.ToArray();
   module.Link("output.exe");
↑

コード記述方法 †

CompilerLibではオブジェクトベースでコードを記述します。

↑

変数 †

Moduleインスタンスからグローバル変数のポインタを取得するのがModule.GetInt32()です。ポインタが指す値はAddr32クラスを通して扱います。C++と対比させたイメージを示します。

【C++】
extern int g_abc;
int *p_abc = &g_abc;
int &abc = *p_abc;

【CompilerLib】
Ref<uint> p_abc = module.GetInt32("g_abc");
Addr32 abc = new Addr32(p_abc);

アセンブラレベルでは、p_abcがEDXに割り当てられた場合、abcは[EDX]に相当します。アセンブリの[]で括ったアドレッシングがnew Addr32()に相当します。

【アセンブリ】 EDX → [EDX]
【C言語】 edx → *edx
【CompilerLib】 edx → new Addr32(edx)

この操作はCompilerLibでオブジェクト化されたアセンブリに反映されます。

// mov eax, [0x12345678]
I386.Mov(Reg32.EAX, new Addr32(0x12345678));
// mov edx, 0x12345678
I386.Mov(Reg32.EDX, 0x12345678);
// mov eax, [edx]
I386.Mov(Reg32.EAX, new Addr32(Reg32.EDX));

【事実誤認のため削除】最後の例で[EDX]がnew Addr32(Reg32.EDX)のように対称形になっていないのは、オペランドに許されている組み合わせがレジスタ経由と即値では異なるためです。別の型になっていればI386.Mov()のオーバーロードで表現することができます。たとえばmov [0x12345678], 0x12345678のような組み合わせをコンパイル時に排除する一方で、mov [EDX], 0x12345678のような組み合わせを許容することができます。

↑

ラベル †

以下のアセンブリと同等のものを作成します。 XORやLOOPでコードを節約できますが、ここでは使用しません。

    mov eax, 0
    mov ecx, 100
label:
    add eax, ecx
    dec ecx
    jnz label

CompilerLibを利用したコードは以下のようになります。

   List<OpCode> c = new List<OpCode>();
   c.Add(I386.Mov(Reg32.EAX, 0));
   c.Add(I386.Mov(Reg32.ECX, 100));
   OpCode label = new OpCode();
   c.Add(label);
   c.Add(I386.Add(Reg32.EAX, Reg32.ECX));
   c.Add(I386.Dec(Reg32.ECX));
   c.Add(I386.Jnz(label.Address));

デフォルトコンストラクタで空のOpCodeを作成して、 アドレスを取得するためだけに使用しています。

↑

今後の課題 †

  1. アセンブラの充実
    • サンプルで使っているニーモニックとオペランドの組み合わせしかサポートされていません。まともに使うには整備する必要があります。
  2. 【済】ラベル
↑

コメント †


トップ   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS