LLVM 程序集：使用可变参数调用函数

Question

我想在 LLVM 程序集中定义一个作为参数的函数：

• 子功能的标识符
• 可变参数

这个函数应该做一些预处理，找到标识符的正确函数并使用可变参数调用它，并返回它的结果。

类似：

define ??? @1 (i32 %identifier, ...vararg...)
{
  switch i32 %identifier, label %def, i32 1, label %a
a:
  %1 = tail call @function_for_a, ...vararg...
  ret ??? %1
def:
  ret void
}

这似乎是不可能的。有没有办法做到这一点？我认为应该可以使用普通的汇编程序。

这是一个面向对象语言的调度函数。我希望它快。

我想要的是一种方法：

• 从堆栈中删除@1 使用的第一个参数
• 分支到第二个函数。

然后将执行第二个函数代替第一个函数（它是尾调用），但使用第一个函数不完全知道的参数列表（第一个函数的 vararg）。

Answer 1

首先：如果要传递可变参数，则不能使用尾调用：

http://llvm.org/docs/LangRef.html

1. 可选的“tail”标记表示被调用函数不会访问调用者中的任何 allocas 或 varargs。

第二：你的调用约定是什么？

第三：要处理可变参数（如在 C 中），您需要使用 va_* 函数创建一个新的 va_list 并将所有参数复制到其中：

http://llvm.org/docs/LangRef.html#int-varargs

最后：此调度程序将调用的每个函数都必须使用va_* 函数来获取其参数。

更新：

在您将堆栈作为函数参数的存储之前，您应该知道将使用哪种调用约定（默认值是什么）。然后。如果没有 va_* 函数，您无法访问 not pass "..." 参数，因为这是在 LLVM 程序集中访问它们的唯一方法。

有一种类似 C 的方法，这里 printf 将调用带有所有“...”参数的 vfprintf，并且不知道要传递多少个参数

// 3-clause BSD licensed to The Regents of the University of California.

int
printf(const char *fmt, ...)
{
        int ret;
        va_list ap;

        va_start(ap, fmt);
        ret = vfprintf(stdout, fmt, ap);
        va_end(ap);
        return (ret);
}

Vfprintf 以特殊方式声明以获取“...”并从中提取参数：

int
vfprintf(FILE *fp, const char *fmt0, __va_list ap)
{
...
va_arg(ap, type) //to get next arg of type `type`

Answer 2

（这对于评论来说太大了。恐怕我对 LLVM 没有太多的实践经验，所以对此持保留态度）

我一直在考虑这个问题，但我怀疑你是否能够编写这样的函数。

考虑使用 C 调用约定或任何支持可变参数的 x86_64 汇编语言编写此函数（参见 pg. 20 示例）。通常，您会在分支之前移动寄存器（rdivfprintf的函数。

其他架构也存在类似的论点，因此我会考虑考虑另一种解决问题的方法。特别是你不能用在跳转表中查找并跳转到%identifier指定的函数指针来替换对@1的调用吗？这可以做成一个检查%identifier并返回正确的函数指针并适当处理无效标识符的函数。