GCC内联程序集副作用

Question

asm ("sumsq %0, %1, %2"
 : "+f" (result)
 : "r" (x), "r" (y), "m" (*x), "m" (*y));

这里是一个虚拟的*z++=*x++**y++指令。请注意，x、y和z指针寄存器必须指定为输入/输出，因为asm会修改它们。

asm ("vecmul %0, %1, %2"
 : "+r" (z), "+r" (x), "+r" (y), "=m" (*z)
 : "m" (*x), "m" (*y));

在第一个示例中，在输入操作数中列出*x和*y有什么意义？同一份文件指出：

特别是，如果不将输入操作数指定为输出操作数，就无法指定输入操作数被修改。

void swap_2 (int *a, int *b)
{
int tmp0, tmp1;

__asm__ volatile (
    "movl (%0), %k2\n\t" /* %2 (tmp0) = (*a) */
    "movl (%1), %k3\n\t" /* %3 (tmp1) = (*b) */
    "cmpl %k3, %k2\n\t"
    "jle  %=f\n\t"       /* if (%2 <= %3) (at&t!) */
    "movl %k3, (%0)\n\t"
    "movl %k2, (%1)\n\t"
    "%=:\n\t"

    : "+r" (a), "+r" (b), "=r" (tmp0), "=r" (tmp1) :
    : "memory" /* "cc" */ );
}

Answer 1

在第一个示例中，*x和*y必须被列为输入操作数，以便GCC知道指令的结果依赖于它们。否则，GCC可能会通过内联程序集片段将存储区移动到*x和*y中，从而访问未初始化的内存。这一点可以通过编译这个示例看出：

double
f (void)
{
  double result;
  double a = 5;
  double b = 7;
  double *x = &a;
  double *y = &b;
  asm ("sumsq %0, %1, %2"
       : "+X" (result)
       : "r" (x), "r" (y) /*, "m" (*x), "m" (*y)*/);
  return result;
}

其结果是：

f:
    leaq    -16(%rsp), %rax
    leaq    -8(%rsp), %rdx
    pxor    %xmm0, %xmm0
#APP
# 8 "t.c" 1
    sumsq %xmm0, %rax, %rdx
# 0 "" 2
#NO_APP
    ret

这两条leaq指令只是设置寄存器指向堆栈上未初始化的红色区域。任务没了。