c - x86-64组装到C

我试着把它转换成C，但我被内存地址的移位所困扰（%rdi）：

program:
  movq  (%rdi), %rax
  testq %rax, %rax
  je L1
  addq  $8, %rdi
  movq  %rax, %rdx
L3:
  cmpq  %rdx, %rax
  cmovl %rdx, %rax
  addq  $8, %rdi
  movq  -8(%rdi), %rdx
  testq %rdx, %rdx
  jne L3
L1:
  ret

到目前为止，我已经提出了以下几点：

int func(int *x){
    int ret = *x;
    if(ret != 0){
        x+=8; //is this true?
        y = ret;
        while(y!=0){
            if(ret<y){
                ret = y;
            }
            y=?? //What should this say?
        }
    }
    return ret;

可能的解决方案（等待有人确认）：

int func(int *x){
  int ret = *x;
  if(ret!=0){
    ++x;
    int y = ret;
    while(y != 0){
      if(ret < y){
        ret = y;
      }
      ++x;
      y = x[-1];
    }
  }
  return ret;
}

最佳答案

   x+=8; //is this true?

不，x是int *，在当前目标平台上int是64位宽度，即8字节。在汇编程序中，有指向字节的原始指针，因为内存可以按字节寻址，所以add rdi,8是类似于x = (int*)(((int8_t*)x)+8);的C语言，可以缩短为++x;
如果movq (%rdi), %rdx是rdx = x[0]; // or " = *x;"，那么movq -8(%rdi), %rdx是rdx = x[-1];
剩下的C部分看起来还没有完成。
警告，扰流器正在跟踪！
它将搜索x数组，直到找到零值（终止符），并用找到的最小值不断更新ret。
看起来我的扰流器是错的，比较可能是另一种方式。为了确保这一点，在调试器中运行原始的asm和您的C，看看它们是否做了相同的事情。同样，观察调试器中的汇编单步执行指令，检查寄存器中的值如何演变，通常比任何长时间的讨论都更具描述性和可视性。：）很抱歉不能确定，但是AT&T的语法让我发疯了。
顺便说一句，我的“C”翻译可能是这样的（假设asm正在数组中搜索“max”值，而不是“m in”（我仍然只有大约90%的把握））：

int64_t func(int64_t *x) {
    if (0 == *x) return 0;
    int64_t ret = *x;
    do {
        if (ret < *x) ret = *x;
        ++x;
    } while (0 != *x);
    return ret;
}

得到translated by gcc v7.2as（我必须将int更改为int64_t以拥有64bint）：

func(long*):
  movq (%rdi), %rax
  testq %rax, %rax
  je .L1
  movq %rax, %rdx
.L3:
  cmpq %rdx, %rax
  cmovl %rdx, %rax
  addq $8, %rdi
  movq (%rdi), %rdx
  testq %rdx, %rdx
  jne .L3
.L1:
  rep ret

几乎和原来的装配一样。