《深入理解计算机系统》(原书第三版)家庭作业第三章(3.69)解答

根据c代码和对应生成的汇编代码推断：

A.CNT的值。

B.结构a_struct的完整声明，假设这个结构只有字段idx和x，并且都为有符号值。

typedef struct{
int first; //0+4
a_struct a[CNT]; //8+280
int last; //288+4
}b_struct


void test(long i,b_struct *bp){
	int n = bp->first +bp->last;
	a_struct *ap = &bp->a[i];
	ap-x[ap-idx] = n;
}

汇编代码：

mov	0x120(%rsi),%ecx 	  //##%ecx = %rsi+0x120 //last偏移量288  
add 	(%rsi),%ecx		  //##%ecx =%ecx+%rsi // first+last = n
lea	(%rdi,%rdi,4),%rax	  //##%rax=5rdi
lea	(%rsi,%rax,8),%rax	  //##%rax = (5rdi)*8+rsi  //%rax = bp+40i //每个a[i]的大小是40 
mov 	0x8(%rax),%rdx		  //##%rdx = M[8+bp+40i] //因为只有这一个取内存的操作，所以%rdx =ap->idx的值，从偏移为8能看出first占用8字节，有a_struct的总大小为288-8字节，8位对齐，ap=8+bp+40i //CNT = 280/40=7
movslq	%ecx,%rcx		  //##n值从4字节拓展到8字节，说明x里的元素大小为8字节
mov	%rcx,0x10(%rax,%rdx,8)	  //##  8%rdx+%rax+16 对应的是c代码ap->x[ap->idx]，其中ap->idx的值等于%rax ,即可以替换成 ap->x[%rax],而ap->x就是ap+ x偏移。   即原式：8%rdx+%rax+16 = 8*(ap->idx)+ ap + x偏移，易看出，ap + x偏移 = %rax + 16 = 8+bp+40i + x偏移  = bp+40i+16 ,因此x的偏移量为8。x数组元素个数为(40-8)/8=4
ret

答案：

A.

CNT = 280/40=7

B.

typedef struct{
long idx;
long x[4];
}a_struct