C语言提供了好几种循环结构,即while、for和do-while。汇编语言中并没有相应的指令存在,作为替代,将条件测试和跳转组合起来实现循环的效果。大多数汇编器根据一个循环的do-while形式来产生循环代码,即使在实际程序中这种形式用的相对较少。其它的循环会首先转换成do-while形式,然后再编译成机器代码。
do-while循环
其通用形式是这样的:
do
body-statement
while (test-expr);
循环的效果就是重复执行body-statement,对test-expr求值,如果求值的结果为非零,就继续循环。注意,body-statement至少执行一次。
do-while的通用形式可以翻译成如下所示的条件和goto语句:
loop:
body-statement
t = test-expr;
if(t)
goto loop;
也就是说每次循环程序会执行循环体里面的语句,然后执行测试表达式。如果测试为真,则回去再执行一次循环。
下面示例用do-while循环计算函数参数的阶乘,写作n!只计算n>0时候n阶乘的值:
int fact_do(int n)
{
int result = 1;
do {
result *= n;
n = n - 1;
}while(n > 1);
return result;
}
汇编代码是do-while循环的一个实现形式,这里用的gcc编译器
gcc version 4.8.4 (Ubuntu 4.8.4-2ubuntu1~14.04)
编译参数是