1. 要編譯的測試代碼：
|
1
2
3
4
5
6
7
|
int plus(int x, int y) { return x + y;}int main(void) { return plus(3, 4);} |
2. main中return語句語法分析
|
1
2
3
4
5
6
7
8
9
10
11
|
if (equal(tok, "return")) { Node *node = new_node(ND_RETURN, tok); if (consume(rest, tok->next, ";")) return node; Node *exp = expr(&tok, tok->next); *rest = skip(tok, ";"); node->lhs = exp; return node; } |
2.1 當(dāng)前token為return
則創(chuàng)建類型為ND_RETURN的node。
2.2 由于return后面跟著plus(3, 4)
所以調(diào)用expr函數(shù)解析這個表達(dá)式。
2.3 跳過"；"符號。
2.4 將類型為ND_RETURN的node的左表達(dá)式設(shè)置為類型為ND_CAST的node。
3. expr的處理
3.1 解析"plus"
|
1
2
3
4
5
6
7
8
9
10
|
if (tok->kind == TK_IDENT) { VarScope *sc = find_var(tok); return new_var_node(sc->var, tok); }static Node *new_var_node(Obj *var, Token *tok) { Node *node = new_node(ND_VAR, tok); node->var = var; return node;} |
當(dāng)token類型為TK_IDENT時，從符號表中找到代表plus函數(shù)的node，這個node
是在解析plus函數(shù)時創(chuàng)建的，就不詳細(xì)分析了。
創(chuàng)建新的類型為ND_VAR的node，這個node的var域為代表plus函數(shù)的node。
|
1
2
3
4
5
6
7
8
|
if (equal(tok, "(")) { node = funcall(&tok, tok->next, node);}if (ty->kind != TY_STRUCT && ty->kind != TY_UNION) exp = new_cast(exp, current_fn->ty->return_ty);node->lhs = exp;return node; |
解析完函數(shù)名plus后，繼續(xù)解析函數(shù)參數(shù)調(diào)用，如果plus后面跟著是"("，則判斷為函數(shù)調(diào)用，
于是調(diào)用funcall函數(shù)，這個函數(shù)的參數(shù)node即為上面創(chuàng)建的類型為ND_VAR的node。
創(chuàng)建完類型為ND_FUNCALL的node，又調(diào)用new_cast創(chuàng)建類型為ND_CAST的節(jié)點，這個節(jié)點
的左表達(dá)式為類型為ND_FUNCALL的node。return的node類型為ND_RETURN，它的左表達(dá)式為
ND_CAST的node。
3.2 funcall函數(shù)
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
Node head = {}; Node *cur = &head;while (!equal(tok, ")")) { if (cur != &head) tok = skip(tok, ","); Node *arg = assign(&tok, tok);if (param_ty) { if (param_ty->kind != TY_STRUCT && param_ty->kind != TY_UNION) arg = new_cast(arg, param_ty); param_ty = param_ty->next; } else if (arg->ty->kind == TY_FLOAT) { // If parameter type is omitted (e.g. in "..."), float // arguments are promoted to double. arg = new_cast(arg, ty_double); } cur = cur->next = arg;}*rest = skip(tok, ")");Node *node = new_unary(ND_FUNCALL, fn, tok);node->func_ty = ty;node->ty = ty->return_ty; node->args = head.next;return node; |
在funcall函數(shù)中調(diào)用assign函數(shù)解析"(3,4)"，3被解析為類型為ND_NUM的node，
|
1
2
3
4
5
6
7
8
9
10
|
Node *new_cast(Node *expr, Type *ty) { add_type(expr); Node *node = calloc(1, sizeof(Node)); node->kind = ND_CAST; node->tok = expr->tok; node->lhs = expr; node->ty = copy_type(ty); return node;} |
調(diào)用new_cast函數(shù)，創(chuàng)建類型為ND_CAST的node節(jié)點，這個節(jié)點的左表達(dá)式為代表3的node。
跳過","，繼續(xù)調(diào)用assign解析4,4也被解析為ND_NUM的node，繼續(xù)調(diào)用new_cast，創(chuàng)建類型為
ND_CAST的node節(jié)點，這個節(jié)點的左表達(dá)式為代表4的node。
跳出循環(huán)，跳過")"。
new_unary函數(shù)中創(chuàng)建類型為ND_FUNCALL的node，這個node的左表達(dá)式為plus函數(shù)的node，
args參數(shù)為解析"(3,4)"生成的兩個類型為ND_CAST的node。
4. 生成匯編語言
|
1
2
3
4
5
6
7
8
|
static void gen_stmt(Node *node) {switch (node->kind) {case ND_RETURN: if (node->lhs) { gen_expr(node->lhs); } println(" jmp .L.return.%s", current_fn->name);...} |
判斷node節(jié)點為ND_RETURN，則調(diào)用gen_expr處理類型為ND_CAST的節(jié)點。
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
static void gen_expr(Node *node) { switch (node->kind) { case ND_FUNCALL: { int stack_args = push_args(node); gen_expr(node->lhs); for (Node *arg = node->args; arg; arg = arg->next) { pop(argreg64[gp++]); println(" mov %%rax, %%r10"); println(" call *%%r10"); println(" add $%d, %%rsp", stack_args * 8); } case ND_VAR: gen_addr(node);return; case ND_CAST: gen_expr(node->lhs); cast(node->lhs->ty, node->ty); return;... }... |
4.1 判斷為ND_CAST類型的node
則調(diào)用gen_expr,參數(shù)為類型為ND_FUNCALL的node。
4.2 調(diào)用push_args函數(shù)依次生成匯編語句
"mov rax, 4"
"push rax"
"mov rax, 3"
"push rax"
將4和3壓入棧。
4.3 遞歸調(diào)用gen_expr
參數(shù)為類型為ND_VAR的node。
4.4 調(diào)用gen_addr函數(shù)生成匯編代碼"lea rax, plus"
將plus函數(shù)地址載入rax寄存器。
4.5 pop語句生成匯編代碼"pop rdi"
"pop rsi"，將3彈入rdi寄存器，將4彈入rsi寄存器，
plus函數(shù)中從這兩個寄存器中讀取參數(shù)。
4.6 生成匯編代碼
"mov r10, rax"
"call r10"
"add rsp, 0"
將plus函數(shù)地址從rax載入r10寄存器，call語句完成調(diào)用plus函數(shù)，由于沒有分配棧空間傳遞參數(shù)
，所以這里不需要修改rsp寄存器的值。
4.7 "jmp .L.return.main"
跳轉(zhuǎn)到main函數(shù)的結(jié)尾處，實現(xiàn)return功能。
到此這篇關(guān)于c語言是如何處理函數(shù)調(diào)用的？的文章就介紹到這了,更多相關(guān)c語言處理函數(shù)調(diào)用內(nèi)容請搜索服務(wù)器之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持服務(wù)器之家！
原文鏈接：https://www.cnblogs.com/iszhang/p/15601809.html
