第四章选题:* 4.43、* 4.44
*4.43 在3.4.2节中,IA32pushl指令被描述成要减少栈指针,然后将寄存器存储在栈指针的位置。因此,如果我们有一条指令形如对于某个寄存器REG,pushl REG,它等价于下面的代码序列:
sub $4,%esp
movl REG,(%esp)
A.借助于练习题4.6中所做的分析,这段代码正确的描述了指令pushl%esp的行为吗?请解释。
答:没有正确执行pushl %esp。pushl %esp是将esp当前的内容入栈。如果REG是esp,那么代码是先减去了esp,然后将减了4以后的REG移入了esp。
B.该如何改写这段代码序列,使它能像对REG是其他寄存器时一样,正确地描述REG是%esp的情况?
答:
movl REG, %eax
subl $4, %esp
movl %eax, (%esp)
*4.44 在3.4.2节中,IA32popl指令被描述为将来自栈顶的结果复制到目的寄存器,然后将栈指针减少。因此,如果有一条指令形如poplREG,它等价于下面的代码序列:
movl (%esp),REG
addl $4,%esp
A.借助于练习题4.7中的分析,这段代码序列正确地描述了指令popl%esp的行为吗?请解释。
答:没有正确执行popl %esp,因为popl %esp是将当前栈顶的值放入esp。如果REG是esp,那么最后得到esp是栈顶值减4之后的值。
B.该如何改写这段代码序列,使它能像对REG是其他寄存器时一样,正确地描述REG是%esp的情况?
答:
movl (%esp), %eax
addl $4, %esp
movl %eax, REG