与C语言等效的汇编语言

Question

我试图找到与以下程序集相当的C语言：

        .section .text
        .globl mystery
        .type mystery, @function
    mystery:
        pushl %ebp
        movl %esp, %ebp
        xorl %eax, %eax
        xorl %exc, %ecx
        movl 8(%ebp), %edx

    begin:
        cmpl 12(%ebp), %ecx
        jge  done
        addl (%edx, %ecx, 4), %eax
        incl %ecx
        jump begin

    done:
        movl %ebp, %esp
        popl %ebp
        ret

我得到“开始”部分。 似乎是一个循环，从函数接受参数并将其与％ecx中的参数进行比较。 如果满足jge条件，则该函数返回，如果不满足，则将％edx加4％ecx，将其移至％eax，递增％ecx，然后再次循环。

我真的不明白“神秘”部分。 特别是xorls和movl语句。 如果％eax或％ecx中没有任何内容可启动，那么xorl在做什么。 我猜的电影是从函数中获取参数并将其移至％edx？

任何见解都是有益和赞赏的。

Answer 1

该函数使用cdecl参数传递。 编译时的C鬃毛将是_mystery 。

int __attribute__((cdecl)) mystery(int * array, int length) {
    // save the rpevious function stack
    // pushl %ebp
    // movl %esp, %ebp

    // xorl %eax, %eax
    int eax = 0;
    // xorl %exc, %ecx
    int ecx = 0;

    // cmpl 12(%ebp), %ecx
    // jge  done
    while (length > ecx) {
        // addl (%edx, %ecx, 4), %eax
        eax += array[ecx];
        // incl %ecx
        ecx++;
        // jump begin
    }

    // restorre previous stack frame
    // movl %ebp, %esp
    // popl %ebp

    // ret
    return eax;
}

该函数在整数数组上计算总和。

Answer 2

这种汇编语言已经看起来像是对简单C程序的反汇编。

mystery:
    % The next two instructions set up the stack frame. %ebp is saved on the 
    % stack to preserve its value. Then %ebp is set to the value in %esp (the 
    % current stack ptr) to establish the stack frame for this function.
    % See http://en.wikibooks.org/wiki/X86_Disassembly/Functions_and_Stack_Frames
    % for details on stack frames.
    pushl %ebp
    movl %esp, %ebp

    % XOR anything with itself zeroes it out since
    % 1 xor 1 is 0, and 0 xor 0 is 0.
    % So the following two instructions clear %eax and %ecx
    xorl %eax, %eax
    xorl %ecx, %ecx     % (note the typo fix :))

    % The following instruction assumes there's a parameter passed from the 
    % caller that's on the stack. It is moving that parameter into %edx
    movl 8(%ebp), %edx
begin:
    ...

Answer 3

xorl %eax, %eax这是重置寄存器的标准方法（将其值设置为0）。 无论寄存器具有什么值，相同的两个值（位值）之间的XOR均为0。