Chapter 3.10, Problem 3.49PP

A.

Explanation of Solution

Logic in computation of ${\text{s}}_{\text{2}}$:

• The instruction “leaq 22(,%rdi, 8), %rax” computes value of “$\text{8n + 22}$”.
• The instruction “andq $-16, %rax” rounds it to nearest multiple of 16

B.

Explanation of Solution

Logic in computation of p:

• The instruction “leaq 7(%rsp), %rax” loads value at offset “7+%rsp” to register “%rax”.
• The instruction “shrq $3, %rax...

C.

Explanation of Solution

Trace execution table:

n	s1	s2	p	e1	e2
5	2065	2017	2024	1	7
6	2064	2000	2000	16	0

Explanation:

• The “e₁” denotes offset bytes between end of array “p” and position indicated by “s₁”.
• The “e₂” denotes offset bytes between values of “p” and “s₁”.
• The given code computes value of “8n+8” if “n” is odd and value of “8n+16” if “n” is even.
• In this case, “n” is odd, the value computed is 48...

D.

Explanation of Solution

Alignment properties for values of ${\text{s}}_{\text{2}}$ and p:

• The value of “${\text{s}}_{\text{2}}$” is compu