第三章家庭作业
选题：3.63
分值：两分
作业过程：
原来的函数：
int sum_col(int n,int A[E1(n)][E2(n)],int j)
{
int i;
int result = 0;
for(i=0;i<E1(n);i++)
result += A[i][j];
return result;
}
转化为goto代码的版本：
int sum_col(int n,int A[E1(n)][E2(n)],int j)
{
int i=0;
int result = 0;
if(!(i<E1(n)))
goto done;
loop:
result += A[i][j];
i++;
if(i<E1(n))
goto loop;
done:
return result;
}
在书中给的汇编代码中，逐句分析如下：
movl 8(%ebp),%edx ;把ebp+8中的值赋给edx，也就是n
leal (%edx,%edx),%eax ;eax中的值等于两倍的edx中的值，即2n
leal -1(%eax),%ecx ;ecx中的值等于eax中的值-1，即2n-1
leal (%eax,%edx),%esi ;esi中的值等于eax的值加edx的值，即3n，esi存储的是E1(n)的值
movl $0,%eax ;eax置零，eax存储的是result的值
testl %esi,%esi ;检查esi中的值是正、负还是0
jle .L3 ;因为初始化i是0，如果esi中的E1(n)≤0的话，就满足!(i<E1(n))跳转到done
leal 0(,%ecx,4),%ebx ;ebx中的值等于0+4*ecx=4（2n-1）
movl 16(%ebp),%eax ;eax中的值等于ebp+16，即j的地址
movl 12(%ebp),%edx ;edx中的值等于ebp+12，即A[i]的地址
leal (%edx,%eax,4),%ecx ;ecx中的值等于[edx+4*eax]中的值，即A[i][j]
movl $0,%edx ;edx中的值置零
movl $0,%eax ;eax中的值置零
.L4 ;相当于loop
addl (%ecx),%eax ;eax中的值+=ecx中的地址，即A[i][j]的地址
addl $1,%edx ;edx中的值加一，可以看出edx存放的是i
addl %ebx,%ecx ;ecx中的值加上ebx中的值放到ecx中，即ecx内值为A[i+1][j]
cmpl %esi,%edx ;比较esi与edx中的值，即比较E1(n)和i的值
jl .L4 ;如果i<E1(n)，跳转回.L4，相当于回到loop中的循环
.L3 ;相当于done，结束
所以，由上面的逐句分析可得，esi中存储的是E1(n)的值，E1(n)=3n；
E2(n)储存在ebx中，ebx=4*E2(n)，所以E2(n)=2n-1.
总结
这道题锻炼了我对汇编语言的分析过程，知道每一句对应的动作，不同指令的用法，寄存器中的数值的变化等等；同时还练习了for循环是如何在汇编中被实现的，这道题如果直接对着原函数分析不好分析，但是转变为goto形式的代码后就比较直接、一目了然