一、引言在计算机组成原理中理解高级语言中的循环结构如何被编译器转换为机器级代码汇编语言是考试的重点内容。本文以 x86-64 架构下的 GCC 编译器为例详细讲解 C 语言三种循环语句while、for、do-while的汇编实现原理。核心思想所有循环都可以用 goto 条件跳转来实现而汇编层面的核心指令是条件跳转指令jmp、jg、jl、je 等。二、基础知识条件跳转指令循环的汇编实现依赖于条件跳转指令。它们根据状态寄存器EFLAGS/RFLAGS中的标志位来决定是否跳转。常用的条件码指令是 cmp 和 test。2.1 常用条件跳转指令汇编指令含义对应C运算符jmp无条件跳转gotoje / jz相等时跳转jne / jnz不等时跳转!jl / jnge小于时跳转 (有符号)jg / jnle大于时跳转 (有符号)jle / jng小于等于时跳转 (有符号)jge / jnl大于等于时跳转 (有符号)jb / jnae低于时跳转 (无符号)ja / jnbe高于时跳转 (无符号)2.2 关键指令cmp 与 test指令功能标志位影响cmp a, b计算 a - b不保存结果设置 ZF、SF、OF、CFtest a, b计算 a b不保存结果设置 ZF、SF清除 OF、CF考试提示test 常用于判断某个值是否为 0test %rax, %rax 后跟 jzcmp 常用于比较两个值的大小关系。三、do-while 循环的汇编实现do-while 是最简单的循环因为它至少执行一次循环体然后再判断条件。编译器通常将其直接转换为“执行 条件跳转”的模式。3.1 C 代码int i 0;int sum 0;do {sum i;i;} while (i 10);3.2 等价 goto 形式i 0;sum 0;loop:sum i;i;if (i 10) goto loop;3.3 x86-64 汇编代码movl $0, -4(%rbp) ; i 0movl $0, -8(%rbp) ; sum 0.L2: ; loop:movl -4(%rbp), %eax ;取iaddl %eax, -8(%rbp) ; sum iaddl $1, -4(%rbp) ; icmpl $10, -4(%rbp) ;比较i和10jl .L2 ; i 10则跳回loop结构特点循环体在前条件判断在后结束处用条件跳转回到循环体开头。这是最直接的循环结构。四、while 循环的汇编实现while 循环是“先判断后执行”的结构。编译器有两种常见的编译策略4.1 策略一跳到中间Jump to Middle——最常见编译器将 while 转换为 do-while 初始条件跳转这样可以复用 do-while 的代码生成逻辑。步骤C goto等价形式初始跳转if (!(i 10)) goto done; // 先判断是否进入循环循环体loop: sum i; i;条件判断if (i 10) goto loop; // 继续循环结束done: // 循环结束对应汇编代码movl $0, -4(%rbp) ; i 0movl $0, -8(%rbp) ; sum 0cmpl $10, -4(%rbp) ;先判断i 10jge .L4 ;不满足则跳到done.L3: ; loop:movl -4(%rbp), %eaxaddl %eax, -8(%rbp) ; sum iaddl $1, -4(%rbp) ; icmpl $10, -4(%rbp)jl .L3 ;满足则继续循环.L4: ; done:4.2 策略二Guarded Do保护执行另一种策略是将 while 直接转为“条件为真时执行循环体”的形式goto test;loop:sum i; i;test:if (i 10) goto loop;这种方式的特点是条件判断放在循环体之后但通过初始的 goto 跳过循环体直接到测试处实现“先判断”效果。五、for 循环的汇编实现for 循环是 while 的语法糖包含初始化、条件判断、更新三个部分。编译器会将其展开为与 while 类似的结构。5.1 C 代码int sum 0;for (int i 0; i 10; i) {sum i;}5.2 等价 goto 形式sum 0; //初始化i 0; // initif (!(i 10)) goto done; //条件判断loop:sum i; //循环体i; // updateif (i 10) goto loop; //条件判断done:5.3 x86-64 汇编代码movl $0, -8(%rbp) ; sum 0movl $0, -4(%rbp) ; i 0 (init)jmp .L7 ;跳到条件判断.L6: ; loop:movl -4(%rbp), %eaxaddl %eax, -8(%rbp) ; sum iaddl $1, -4(%rbp) ; i (update).L7: ;条件判断:cmpl $9, -4(%rbp) ;比较i和9jle .L6 ; i 9则继续循环注意编译器可能将 i 10 优化为 i 9这是等价的。初始化代码放在循环外部更新代码放在循环体末尾、条件判断之前。六、三种循环的对比总结特性do-whilewhilefor执行次数至少 1 次可能 0 次可能 0 次条件判断位置循环体之后循环体之前循环体之前汇编结构最简单无需初始跳转需要初始条件跳转类似 while多一步更新测试指令位置循环末尾循环开头 末尾循环开头 末尾编译器优化直接生成常转为 jump-to-middle展开为 while 形式七、补充break 与 continue 的汇编实现循环中的流程控制语句 break 和 continue 在汇编中也有直接对应。C语句汇编实现break;直接 jmp 到循环体之后的标签done跳出循环continue;直接 jmp 到循环的条件测试处test 标签跳过剩余循环体示例含 break 的 for 循环for (i 0; i 10; i) {if (i 5) break;sum i;}//汇编等价:i 0;jmp test;loop:cmp $5, %eaxje done ; break -跳出循环sum i;i;test:if (i 10) goto loop;done:
【计算机组成原理】 循环结构如何被编译器转换为机器级代码
发布时间：2026/5/28 22:05:28
一、引言在计算机组成原理中理解高级语言中的循环结构如何被编译器转换为机器级代码汇编语言是考试的重点内容。本文以 x86-64 架构下的 GCC 编译器为例详细讲解 C 语言三种循环语句while、for、do-while的汇编实现原理。核心思想所有循环都可以用 goto 条件跳转来实现而汇编层面的核心指令是条件跳转指令jmp、jg、jl、je 等。二、基础知识条件跳转指令循环的汇编实现依赖于条件跳转指令。它们根据状态寄存器EFLAGS/RFLAGS中的标志位来决定是否跳转。常用的条件码指令是 cmp 和 test。2.1 常用条件跳转指令汇编指令含义对应C运算符jmp无条件跳转gotoje / jz相等时跳转jne / jnz不等时跳转!jl / jnge小于时跳转 (有符号)jg / jnle大于时跳转 (有符号)jle / jng小于等于时跳转 (有符号)jge / jnl大于等于时跳转 (有符号)jb / jnae低于时跳转 (无符号)ja / jnbe高于时跳转 (无符号)2.2 关键指令cmp 与 test指令功能标志位影响cmp a, b计算 a - b不保存结果设置 ZF、SF、OF、CFtest a, b计算 a b不保存结果设置 ZF、SF清除 OF、CF考试提示test 常用于判断某个值是否为 0test %rax, %rax 后跟 jzcmp 常用于比较两个值的大小关系。三、do-while 循环的汇编实现do-while 是最简单的循环因为它至少执行一次循环体然后再判断条件。编译器通常将其直接转换为“执行 条件跳转”的模式。3.1 C 代码int i 0;int sum 0;do {sum i;i;} while (i 10);3.2 等价 goto 形式i 0;sum 0;loop:sum i;i;if (i 10) goto loop;3.3 x86-64 汇编代码movl $0, -4(%rbp) ; i 0movl $0, -8(%rbp) ; sum 0.L2: ; loop:movl -4(%rbp), %eax ;取iaddl %eax, -8(%rbp) ; sum iaddl $1, -4(%rbp) ; icmpl $10, -4(%rbp) ;比较i和10jl .L2 ; i 10则跳回loop结构特点循环体在前条件判断在后结束处用条件跳转回到循环体开头。这是最直接的循环结构。四、while 循环的汇编实现while 循环是“先判断后执行”的结构。编译器有两种常见的编译策略4.1 策略一跳到中间Jump to Middle——最常见编译器将 while 转换为 do-while 初始条件跳转这样可以复用 do-while 的代码生成逻辑。步骤C goto等价形式初始跳转if (!(i 10)) goto done; // 先判断是否进入循环循环体loop: sum i; i;条件判断if (i 10) goto loop; // 继续循环结束done: // 循环结束对应汇编代码movl $0, -4(%rbp) ; i 0movl $0, -8(%rbp) ; sum 0cmpl $10, -4(%rbp) ;先判断i 10jge .L4 ;不满足则跳到done.L3: ; loop:movl -4(%rbp), %eaxaddl %eax, -8(%rbp) ; sum iaddl $1, -4(%rbp) ; icmpl $10, -4(%rbp)jl .L3 ;满足则继续循环.L4: ; done:4.2 策略二Guarded Do保护执行另一种策略是将 while 直接转为“条件为真时执行循环体”的形式goto test;loop:sum i; i;test:if (i 10) goto loop;这种方式的特点是条件判断放在循环体之后但通过初始的 goto 跳过循环体直接到测试处实现“先判断”效果。五、for 循环的汇编实现for 循环是 while 的语法糖包含初始化、条件判断、更新三个部分。编译器会将其展开为与 while 类似的结构。5.1 C 代码int sum 0;for (int i 0; i 10; i) {sum i;}5.2 等价 goto 形式sum 0; //初始化i 0; // initif (!(i 10)) goto done; //条件判断loop:sum i; //循环体i; // updateif (i 10) goto loop; //条件判断done:5.3 x86-64 汇编代码movl $0, -8(%rbp) ; sum 0movl $0, -4(%rbp) ; i 0 (init)jmp .L7 ;跳到条件判断.L6: ; loop:movl -4(%rbp), %eaxaddl %eax, -8(%rbp) ; sum iaddl $1, -4(%rbp) ; i (update).L7: ;条件判断:cmpl $9, -4(%rbp) ;比较i和9jle .L6 ; i 9则继续循环注意编译器可能将 i 10 优化为 i 9这是等价的。初始化代码放在循环外部更新代码放在循环体末尾、条件判断之前。六、三种循环的对比总结特性do-whilewhilefor执行次数至少 1 次可能 0 次可能 0 次条件判断位置循环体之后循环体之前循环体之前汇编结构最简单无需初始跳转需要初始条件跳转类似 while多一步更新测试指令位置循环末尾循环开头 末尾循环开头 末尾编译器优化直接生成常转为 jump-to-middle展开为 while 形式七、补充break 与 continue 的汇编实现循环中的流程控制语句 break 和 continue 在汇编中也有直接对应。C语句汇编实现break;直接 jmp 到循环体之后的标签done跳出循环continue;直接 jmp 到循环的条件测试处test 标签跳过剩余循环体示例含 break 的 for 循环for (i 0; i 10; i) {if (i 5) break;sum i;}//汇编等价:i 0;jmp test;loop:cmp $5, %eaxje done ; break -跳出循环sum i;i;test:if (i 10) goto loop;done:
