Clang 拆分函数参数

Question

如果您使用“clang -S -emit-llvm struct.c”编译以下内容

struct _mystruct {
  long long int a;
  long long int b;
};

struct _mystruct foo(struct _mystruct s) {
  s.a += 1;
  return s;
}

int main(void) {
  struct _mystruct s;
  s.a = 8;
  s.b = 9;
  s = foo(s);
  return s.a;
}

...你得到(除其他外):

define { i64, i64 } @foo(i64 %s.coerce0, i64 %s.coerce1) #0 {

为什么 clang 将 foo 的参数一分为二？有什么办法可以阻止它这样做吗？我希望能够从其他 LLVM 生成的代码调用它，这些代码只需要 foo 的一个参数。

Answer 1

由于 LLVM 没有办法表示它，所以 Clang 以这种方式对平台 ABI 进行编码。在这个特定的例子中，它是按值传递的结构，这是非常特定于 ABI 的。如果您向 clang 提供不同的目标三元组，您会注意到这一点 - 您会注意到发出的代码不同。我从问题中假设这是在可以在寄存器中传递结构的 x64 机器上运行的。