1. 要編譯的測試代碼：
|
1
2
3
4
5
6
7
8
9
10
|
int a;int b = 3;int main(void){ if (3) a = 4; else b = 5;} |
2. 詞法分析
詞法分析將c源代碼解析成一個個的token。
關鍵的，將if兩個字符解析成一個if token，后續語法分析的輸入就從兩個字符減少為1個token，減小了語法分析的難度。
3. 語法分析
|
1
2
3
4
5
6
7
8
9
10
11
|
if (equal(tok, "if")) { Node *node = new_node(ND_IF, tok); tok = skip(tok->next, "("); node->cond = expr(&tok, tok); tok = skip(tok, ")"); node->then = stmt(&tok, tok); if (equal(tok, "else")) node->els = stmt(&tok, tok->next); *rest = tok; return node; } |
如果當前處理的token是if，則
3.1 創建新的類型為ND_IF的node。
3.2 跳過if后面的"("。
3.3 調用expr函數解析if語句()中的表達式,并將解析結果存儲在node->cond。
3.4 跳過“)”。
3.5 調用stmt處理then語句塊中的語句，這里是處理"a = 4;"，將解析結果存儲在node->then。
3.6 如果if語句還有else部分，則調用stmt處理else語句塊中的語句，這里是處理"b = 5;"，將解析結果存儲在node->els。
3.7 node->cond，node->then，node->els都為node節點。
4. 代碼生成
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
switch (node->kind) { case ND_IF: { int c = count(); gen_expr(node->cond); cmp_zero(node->cond->ty); println(" je .L.else.%d", c); gen_stmt(node->then); println(" jmp .L.end.%d", c); println(".L.else.%d:", c); if (node->els) gen_stmt(node->els); println(".L.end.%d:", c); return; }... |
如果當前處理的node節點類型為ND_IF，則
4.1 gen_expr
這個函數處理if語句的條件部分，這里是處理3。判斷node節點為NUM，會生成匯編語句"mov rax, 3",將3載入rax寄存器。
4.2 cmp_zero
cmp_zero會生成匯編語句"cmp eax, 0"，比較3和0。
4.3 println(" je .L.else.%d", c);
該語句會生成匯編代碼" je .L.else.1",當上條比較語句中eax為0時會執行跳轉，跳轉到else分支運行。這里由于eax為3，所以不跳轉。
4.4 gen_stmt(node->then);
這條語句會將then分支中的語句解析為匯編源碼，這里是"a = 4;"，這條語句是表達式語句，所以會調用gen_expr函數。
4.4.1 gen_expr
"lea rax, a",將a的地址載入rax寄存器中。
"push rax",將rax入棧。
"mov rax, 4",將4載入rax寄存器中。
"pop rdi",將變量a的地址載入rdi寄存器。
"mov [rdi], eax",將4寫入變量a。
4.5 println(" jmp .L.end.%d", c);
執行完then分支代碼后跳轉到下一條語句處執行。
4.6 println(".L.else.%d:", c);
插入一條標簽，表示else分支代碼的開始，如果if語句條件為0會跳轉到這。
4.7 gen_stmt(node->els);
生成else分支代碼，處理"b = 5;"。
"lea rax, b",將變量b的地址載入rax寄存器。
"push rax",將rax寄存器入棧。
"mov rax, 5",將5載入rax寄存器。
"pop rdi",將b的地址載入rdi寄存器。
"mov [rdi], eax",將5寫入變量b中。
4.8 println(".L.end.%d:", c);
插入一條標簽，表示if語句的結束，then分支語句執行完成后跳轉到這里。
總結
到此這篇關于c語言中if語句是怎么變成匯編代碼的文章就介紹到這了,更多相關c語言if語句變成匯編代碼內容請搜索服務器之家以前的文章或繼續瀏覽下面的相關文章希望大家以后多多支持服務器之家！
原文鏈接：https://www.cnblogs.com/iszhang/p/15592778.html
