理解精益和装配

Question

我希望有人能验证我对以下汇编代码的理解：

test %esi,%esi
js 17 <build+0x17>
cmp $0x8,%esi
ja 1d <build+0x1d>
lea (&rsi,2),%ecx
shl $0x2,%rdi
mov %rdi,%rax
retq
mov $0x0,%eax //17
retq
mov $0x0,%eax //1d
retq

下面是我认为代码所做的事情：

• 如果esi和esi是负值，则返回地址0处的返回项
• 如果esi在8以上，则返回地址0的项。
• rsi *2进入ecx的存储地址
• 然后右移rdi，右移2位
• 复制rdi到rax并返回它

Answer 1

这就是代码的作用：

if (esi >= 0 && esi <= 7) {
    return rdi >> (esi * 8);   // Note: arithmetic shift; preserves sign
}
return 0;

因此，esi指定了从rdi右移出的字节数(0..7)。由于使用了算术移位，所以保留了rdi的原始符号。

例如：

Input:
  rdi = 0xFC00AABB12345678
  esi = 2

Output:
  rax = 0xFFFFFC00AABB1234