如何在内联汇编中实现这一点？

Question

我在理解 GNU 内联汇编语法方面非常糟糕，所以我希望一个实际的例子能有所帮助。鉴于以下程序集（x86-64，Clang 输出），我将如何使用相同的内联程序集构造函数？ GCC 为同一个函数生成不同的代码，我想让它生成与 Clang (-O3) 输出相同的版本。

bittest(unsigned char, int):
    btl %esi, %edi
    setb    %al
    ret

这是 GCC (-O3) 产生的结果：

bittest(unsigned char, int):
    movzx    eax, dil
    mov    ecx, esi
    sar    eax, cl
    and    eax, 1
    ret

这是函数的 C 代码：

bool bittest(unsigned char byte, int index)
{
    return (byte >> index) & 1;
}

Answer 1

嗯，上次我写了一个 32bit 的 bittest，它看起来像这样（64bit 看起来略有不同）：

unsigned char _bittest(const long *Base, long Offset) 
{ 
   unsigned char old; 
   __asm__ ("btl %[Offset],%[Base] ; setc %[old]" : 
      [old] "=rm" (old) : 
      [Offset] "Ir" (Offset), [Base] "rm" (*Base) : 
      "cc"); 

   return old; 
}

虽然如果你想把它放在公共标题中，我有一个不同的版本。当我使用 -O2 时，它最终会内联整个内容以生成真正高效的代码。

我很惊讶 gcc 本身不会在此处生成 btl（请参阅 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=36473），但你说得对，它不会。

Answer 2

我认为您不太可能在编译器中确定一个逐字节的等效版本，存在一些不值得担心的细微差异。在this question 之后，确保您使用正确的标志进行编译。试图让两个编译器产生相同的输出可能是徒劳的。

Answer 3

如果您想生成完全相同的代码，则可以执行以下操作

const char bittestfunction[] = { 0xf, 0xa3, 0xf7, 0xf, 0x92, 0xc0, 0x3 };
int (*bittest)( unsigned char, int ) = (int(*)(unsigned char, int))bittestfunction;

你可以用同样的方式调用它bittest( foo, bar )。

来自 (gcc) 编译的可执行文件上的 objdump

00000000004006cc <bittestfunction>:
  4006cc:       0f a3 f7                bt     %esi,%edi
  4006cf:       0f 92 c0                setb   %al
  4006d2:       c3                      retq