c语言中if语句是怎么变成汇编代码的详解

 1. 要编译的测试代码： 

int a;
int b = 3;

int main(void)
{
    if (3)
        a = 4;
    else
        b = 5;
}

2. 词法分析

　　词法分析将c源代码解析成一个个的token。

　　关键的，将if两个字符解析成一个if token，后续语法分析的输入就从两个字符减少为1个token，减小了语法分析的难度。

3. 语法分析

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. 代码生成

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分支语句执行完成后跳转到这里。

赞 (0)

相关推荐

  • C语言 if else 语句详细讲解

    C语言 if else 语句详细讲解

    前面我们看到的代码都是顺序执行的,也就是先执行第一条语句,然后是第二条.第三条--一直到最后一条语句. 但是对于很多情况,顺序结构的代码是远远不够的,比如一个程序限制了只能成年人使用,儿童因为年龄不够,没有权限使用.这时候程序就需要做出判断,看用户是否是成年人,并给出提示. if-else语句 在C语言中,使用if和else关键字进行判断.请先看下面的代码: #include <stdio.h> int main() { int age; printf("请输入你的年龄:"

  • C语言之初始if语句详解

    目录 if语句有三种常见的使用方式 总结 if语句有三种常见的使用方式 1. if() //满足条件 .....//执行的功能 (不满足条件则不执行任何功能) 2. if() //满足条件 .....// 执行的功能 else //不满足条件 ...... //执行的功能 3. if() else if else if else if 可反复使用 else (可有可无) #include<stdio.h> int main() { int a=0; printf("请输入你的成绩:\

  • C语言中if语句加大括号和不加大括号的区别介绍

    首先来回顾以下if语句 if(表达式1){     语句1     语句2     --   } 如果表示条件的逻辑表达式的结果不是0,那么就执行后面跟着的这对大括号内的语句: 否则就跳过不执行 继续下面的其他语句. 但是if语句还有一种形式可以不用{}. 举个栗子: if(a > b) a += b + 10; if语句这一行结束的时候并没有表示语句结束的";",而后面的赋值语句写在if的下一行,而且缩进了,在这一行结束的时候有一个分号. 表明这条赋值语句是if语句的一部分,i

  • C语言入门篇--学习选择,if,switch语句以及代码块

    C语言入门篇--学习选择,if,switch语句以及代码块

    目录 1.什么是语句 2.选择语句(分支语句) 2.1if语句&注意事项 2.1.1语法结构 2.1.2悬空else 2.2switch语句&注意事项 2.2.1语法结构 2.2.2switch语句中的break 2.2.3switch语句中的default语句 2.2.4switch语句的嵌套 3.代码块 1.什么是语句 语句:C语言中由一个 ; 隔开的就是一条语句. 例如: int a = 10; printf("haha\n"); 10; 'A'; ; //空语句

  • 详解C语言中条件判断语句if和switch的用法

    if 语句 用 if 语句可以构成分支结构,它根据给的条件进行判定,以决定执行哪个分支程序段. C 语言的 if 语句有三种基本形式 第一种形式: if(条件表达式) { 语句1: } if(条件表达式) { 语句1: } 这种形式运行顺序为:当条件表达式为真,执行语句1,否则,直接跳过语句1,执行后面的语句. 例子1: BOOL result = YES: if(result) { printf("result is true\n"); } BOOL result = YES: if

  • c语言中if 语句的作用范围示例代码

    复制代码 代码如下: # include <stdio.h> int main(void) { if (1 > 2) printf("第一条表达式"); printf("第二条表达式"); } /* 输出结果 第二条表达式 */ 说明if语句的作用范围只有紧跟if的第一条表达式

  • c语言中if语句是怎么变成汇编代码的详解

     1. 要编译的测试代码:  int a; int b = 3; int main(void) { if (3) a = 4; else b = 5; } 2. 词法分析 词法分析将c源代码解析成一个个的token. 关键的,将if两个字符解析成一个if token,后续语法分析的输入就从两个字符减少为1个token,减小了语法分析的难度. 3. 语法分析 if (equal(tok, "if")) { Node *node = new_node(ND_IF, tok); tok =

  • go语言中if语句用法实例

    本文实例讲述了go语言中if语句用法.分享给大家供大家参考.具体分析如下: if 语句看起来跟 C 或者 Java 中的一样,除了没有了 ( ) 之外(甚至强制不能使用它们),而 { } 是必须的. 复制代码 代码如下: package main import (     "fmt"     "math" ) func sqrt(x float64) string {     if x < 0 {         return sqrt(-x) + "

  • Go语言中Select语句用法实例

    本文实例讲述了Go语言中Select语句用法.分享给大家供大家参考.具体分析如下: select 语句使得一个 goroutine 在多个通讯操作上等待. select 会阻塞,直到条件分支中的某个可以继续执行,这时就会执行那个条件分支.当多个都准备好的时候,会随机选择一个. 复制代码 代码如下: package main import "fmt" func fibonacci(c, quit chan int) {         x, y := 1, 1         for {

  • C语言中do-while语句的2种写法示例

    while循环和for循环都是入口条件循环,即在循环的每次迭代之前检查测试条件,所以有可能根本不执行循环体中的内容.C语言还有出口条件循环(exit-condition loop),即在循环的每次迭代之后检查测试条件,这保证了至少执行循环体中的内容一次.这种循环被称为do while循环. 看下面的例子: #include <stdio.h> int main(void) { const int secret_code = 13; int code_entered; do { printf(&

  • C语言中switch语句基本用法实例

    C语言中switch语句基本用法实例

    目录 switch语句: switch语句的基本格式 C语言switch语句用法 补充:用switch来给成绩等级 总结 switch语句: 实际生活中,需要做出很多选择,大家都知道做选择可以使用if语句,但是如果选择太多,if语句使用起来就会很繁琐,这个时候就需要一个能将代码简化的语句,也就是我们今天的主角switch语句. switch语句是一个多分支选择语句,并且可以支持嵌套. switch语句的基本格式 switch(表达式){case 常量1:语句1case 常量2:语句2defaul

  • c语言中static修饰函数的方法及代码

    1.静态函数只能在声明它的文件中可见,其他文件不能引用该函数. 2.不同的文件可以使用相同名字的静态函数,互不影响. 3.使用static声明的函数不能被另一个文件引用. 实例 /* file1.c */ #include <stdio.h> static void fun(void) { printf("hello from fun.\n"); } int main(void) { fun(); fun1(); return 0; } /* file2.c */ #inc

  • Go语言中defer语句的用法

    Go语言中defer语句的用法

    可以用作一些资源的释放. 1.在一个函数内的defer执行顺序是先写的后执行,后写的先执行(遵循栈结构) func DeferTest1(){ defer fmt.Println("我是 defer1") defer fmt.Println("我是 defer2") fmt.Println("我是DeferTest1") fmt.Println("我是DeferTest2") } 结果: 我是DeferTest1我是Defer

  • javascript 用函数语句和表达式定义函数的区别详解

    使用javascript多年,写过无数函数,今天却才真正弄明白两种函数定义的区别,真是悲剧,写下这个随笔, 以时刻提醒自己要打好基础 , 一大把年纪了, 不能继续懵懵懂懂了. 通常我们会看到以下两种定义函数的方式: 复制代码 代码如下: // 函数语句function fn(str){  console.log(str);}; // 表达式定义var fnx=function(str){  console.log(str+ ' from fnx');}; 以前都是凭借自己手指的感觉随心所欲使用两

随机推荐