在前面的文章中已經介紹過，lcc中跟硬體平臺相關的配置由src中*.md配置，本文以x86為例，詳解這一部分的工作機制。

熟悉彙編的同學都知道32位x86機器有八個通用暫存器：

eax ebx ecx edx esi edi esp ebp

而ebp和esp兩個暫存器是有固定作用的，其儲存的幀指標和棧指標是組成棧幀的基本組成部分，所以這兩個暫存器不參與分配。

所以參與分配的通用暫存器只有六個，lcc用列舉將這兩個暫存器編號：

enum { EAX=0, ECX=1, EDX=2, EBX=3, ESI=6, EDI=7 };

在x86.md的最下面是一個Interface結構體的填充，關於Interface結構體中欄位的詳細作用，請看

其程式碼如下：

Interface x86IR = {
        1, 1, 0,  /* char */
        2, 2, 0,  /* short */
        4, 4, 0,  /* int */
        4, 4, 0,  /* long */
        4, 4, 0,  /* long long */
        4, 4, 1,  /* float */
        8, 4, 1,  /* double */
        8, 4, 1,  /* long double */
        4, 4, 0,  /* T * */
        0, 1, 0,  /* struct */
        1,        /* little_endian */
        0,        /* mulops_calls */
        0,        /* wants_callb */
        1,        /* wants_argb */
        0,        /* left_to_right */
        0,        /* wants_dag */
        0,        /* unsigned_char */
        address,
        blockbeg,
        blockend,
        defaddress,
        defconst,
        defstring,
        defsymbol,
        emit,
        export,
        function,
        gen,
        global,
        import,
        local,
        progbeg,
        progend,
        segment,
        space,
        0, 0, 0, 0, 0, 0, 0,
        {1, rmap,
            blkfetch, blkstore, blkloop,
            _label,
            _rule,
            _nts,
            _kids,
            _string,
            _templates,
            _isinstruction,
            _ntname,
            emit2,
            doarg,
            target,
            clobber,
}
};
 

這個結構體填充之後，一個完整的編譯器就可以工作了，前端就可以通過通過函式指標驅動後端生成程式碼了。

這裡要插入一個知識點Iburg的介紹，lburg是一個程式碼生成器的生成器，以lburg規範為語法，類似yacc和lex可以生成詞法分析器和語法分析器一樣。

lburg接收緊縮規範併產生一個用C語言編寫的樹分析程式，該程式為目標機器選擇指令。

lburg規範的核心是樹文法，與常規的文法類似，樹文法也是一個規則列表，每個規則的左邊是一個非終結符號，右邊是終結符號和非終結符號組成的模式。

具體EBNF表示如下(term表終結符號，nonterm表示非終結符號)：

grammar：

'%{' configration '%}' { dcl } %% {rule} [%% C code]

dcl:

%start nonterm

%term { term = integer }

rule:

nonterm: tree template [ C expression ]

tree:

term[ '(' tree [, tree] ')']

nonterm

template:

" { any charactor except double quote} "

lburg以行為單位，%{  %[  %%必須單獨一行，configuration是C語言程式碼，每個dcl和rule必須出現在一行上。

lburg翻譯程式由lburg資料夾編譯生成，在一級目錄下執行make lburg即可，makefile中相關程式碼如下：

lburg:	$Blburg$E
$Blburg$E:	$Blburg$O $Bgram$O;	$(LD) $(LDFLAGS) -o [email protected] $Blburg$O $Bgram$O 

$Blburg$O $Bgram$O:	lburg/lburg.h

$Blburg$O:	lburg/lburg.c;	$(CC) $(CFLAGS) -c -Ilburg -o [email protected] lburg/lburg.c
$Bgram$O:	lburg/gram.c;	$(CC) $(CFLAGS) -c -Ilburg -o [email protected] lburg/gram.c

有了lburg，就可以將*.md翻譯.c檔案，makefile中相關部分程式碼如下：

$Bdagcheck.c:	$Blburg$E src/dagcheck.md; $Blburg src/dagcheck.md [email protected]
$Balpha.c:	$Blburg$E src/alpha.md;    $Blburg src/alpha.md    [email protected]
$Bmips.c:	$Blburg$E src/mips.md;     $Blburg src/mips.md     [email protected]
$Bsparc.c:	$Blburg$E src/sparc.md;    $Blburg src/sparc.md    [email protected]
$Bx86.c:	$Blburg$E src/x86.md;      $Blburg src/x86.md      [email protected]
$Bx86linux.c:	$Blburg$E src/x86linux.md; $Blburg src/x86linux.md [email protected]

可以看到x86.md和x86linux.md被翻譯成x86.c和x86linux.c，這就是本篇blog重點分析的部分。