GCC 扩展 asm，struct 元素偏移编码

Question

我正在尝试以 GCC 样式扩展 asm（x86-64 目标）编写一小段代码，但在编码结构偏移时遇到了问题。

我有一个 struct s 和一个成员 size_t a[]、一个指向此类结构的指针和一个索引，这两者都是在 asm 块中生成的。

现在我需要在 asm 中处理该元素

asm (
    "mov %[displ](%[s], %[index], 8), %%rbx"
    : [s] "+r" (s)
    , [index] "+r" (i)
    : "memory", "cc", "rax", "rbx"
);

如何将displ 编码到 asm 块中？将offsetof(struct s, a) 作为立即数传递给它加上$ 前缀并生成无效程序集。

asm (
    "mov %[displ](%[s], %[index], 8), %%rbx"
    : [s] "+r" (s)
    , [index] "+r" (i)
    : [displ] "i" (offsetof(struct s, a))
    : "memory", "cc", "rax", "rbx"
);

Answer 1

实际上是可能的，使用%c...操作数修饰符：

#include <stddef.h>
#include <stdint.h>

struct s
{
  int a, b;
};

int foo (struct s *s, int i)
{
  int r;
  asm (
       "movl %c[displ](%[s],%[index],8), %[r]\n\t"
       : [r] "=r" (r)
       : [s] "r" (s) , [index] "r" ((uintptr_t)i),
         [displ] "e" (offsetof(struct s, b))
       :
       );

  return r;
}

感谢该感谢的地方 - 发现 here。 a gcc mailing list posting 也提到了这个；那里的关键字是“输出替换”。
stackoverflow 的帖子What does %c mean in GCC inline assembly code? 也有关于%c 的解释。

Answer 2

您唯一的选择是使用 Intel 语法。当然，GCC 可以生成像 mov off(base, index, scale) 这样的 insn，但这是在整个 MEM RTL 表达式的级别上执行的，即没有像单个操作数那样的偏移量、基数等。

所以，英特尔语法，用gcc -c -masm=intel x.c 编译以下内容：

#include <stddef.h>

struct s
{
  int a, b;
};

int foo (struct s *s, int i)
{
  int r;
  asm (
       "mov %[r], dword ptr [%[s]+%[index]*8 + %[displ]] "
       : [r] "=r" (r)
       : [s] "r" (s) , [index] "r" (i),
         [displ] "e" (offsetof(struct s, b))
       :
       );

  return r;
}