c - AT&T 程序集 : how to mult a double by 2 without local variable. Shift Double？

Question

[家庭作业]:尝试完全按照 C 代码所说的去做。
C版本的完整功能代码注释:

/*
double f(double x) 
{
    return x * 2.0;
}

double foo (int a[], double b[], int n) 
{
    int *pint;
    double *pdouble;

double sum = 0.0;

for (pint = a, pdouble = b; n-- ; pint++, pdouble++) 
{
    *pdouble = f((double)*pint);
    sum += *pdouble;
}

return sum;
}
*/

.text

.globl f
f:
    pushl   %ebp
    movl    %esp, %ebp
    pushl   %ebx

/*fldl  8(%ebp)
fstpl   8(%ebp)*/
/*movl  8(%ebp), %ebx*/
shll    $2, 8(%ebp)
fldl    8(%ebp)

popl    %ebx
movl    %ebp, %esp
popl    %ebp
ret

.globl foo
foo:    
    pushl   %ebp
    movl    %esp, %ebp
    pushl   %ebx
    pushl   %esi


subl    $16, %esp   /* for the local variables          */

fldz            /* 0 to the top of the FPU's stack      */
fstpl   (%esp)      /* double sum = 0               */

movl    8(%ebp), %ebx   /* > pint                   */
movl    %ebx, -4(%ebp)  /*           = a <  | INIT          */
movl    12(%ebp), %esi  /* > pdouble                    */
movl    %esi, -8(%ebp)  /*       = b <      | INIT          */
L1: cmpl    $0, 16(%ebp)
js  outfor


pushl   %eax
pushl   %ecx
pushl   %edx

movl    -4(%ebp), %edi  
fildl   (%edi)      /* *pint to the top of FPU'S stack      */
subl    $8, %esp    /* > pushdouble                 */
fstpl   (%esp)      /*              *pint <             */
call    f       /* f((double)*pint) to the top of FPU'S stack   */
addl    $8, %esp    /* clears double pint from stack        */

popl    %edx
popl    %ecx
popl    %eax


movl    -8(%ebp), %eax
fldl    (%eax)      /* *pdouble to the top of FPU's stack       */ 

faddl   -16(%ebp)   /* sum += *pdouble (stored in FPU'S stack)  */
fstpl   -16(%ebp)   /* sum += *pdouble (stored in sum)      */

decl    16(%ebp)

addl    $4, -4(%ebp)
addl    $8, -8(%ebp)
jmp     L1

outfor: fldl    -16(%ebp)

popl    %esi
popl    %ebx
movl    %ebp, %esp
popl    %ebp

foo 将在同一点调用 f。我的问题就在那里。如何告诉编译器将 x 威胁为 double？我最好的选择是 fldl 8(%ebp) fstpl 8(%ebp) 给了我错误的数字。显然，任何其他后缀 l 指令都会威胁到它的长度为 4 个字节。

然后，一旦我得到了 x 的正确解释，如何在不使用局部变量的情况下将 if 乘以 2.0 (读得好，不是整数)？我尝试使用 shll，但似乎不存在 double 值的转变。我也无法fldl $2。

Answer 1

您无法将 double 左移以将其乘以 2，但您可以将 double 视为 64 位整数并递增指数字段(溢出可能是一个问题)。目前尚不清楚没有局部变量是什么意思。在 X86 汇编中，您可以使用立即添加到内存来递增指数字段，但该函数返回一个可以被视为局部变量的值。