LLVM 错误：函数重新定义无效答案

【问题标题】：LLVM error: invalid redefinition of functionLLVM 错误：函数重新定义无效
【发布时间】：2016-11-24 01:27:34
【问题描述】：

我正在为一种伪代码语言编写 LLVM IR 生成器。这种语言应该允许重新定义功能。

这是一种情况，我有两个函数都名为“f”，但它们有不同的参数。

function f(int i, float r) returns int { return i; }
function f(float r, float r2) returns int {return i; }

我认为 LLVM 可以区分这一点，但我明白了

错误：函数重新定义无效

而我生成的代码是：

define i32 @f(i32 %i, float %r) {
    %var.i.0 = alloca i32
    store i32 %i, i32* %var.i.0
    %var.r.1 = alloca float
    store float %r, float* %var.r.1
    %int.2 = load i32* %var.i.0
    ret i32 %int.2
    ; -- 0 :: i32
    %int.3 = add i32 0, 0

    ret i32 %int.3
}

define i32 @f(float %r, float %r2) {
    %var.r.2 = alloca float
    store float %r, float* %var.r.2
    %var.r2.3 = alloca float
    store float %r2, float* %var.r2.3
    %var.i.4 = alloca i32
    %float.3 = load float* %var.r.2
    %int.7 = fptosi float %float.3 to i32
    store i32 %int.7, i32* %var.i.4
    %int.8 = load i32* %var.i.4
    ret i32 %int.8
    ; -- 0 :: i32
    %int.9 = add i32 0, 0

    ret i32 %int.9
}

所以，我认为 LLVM 不允许函数重载？那么我生成一个顺序计数器并通过添加这个顺序计数器作为后缀来区分所有这些功能是一个好主意，即define i32 @f.1()和define i32 @f.2()？

【问题讨论】：

我正在为动态类型语言做同样的事情，并且我已经采取生成函数签名为@modulename_functionname_xyz 其中xy 编码arity。在您的情况下，您可以对类型进行编码。例如。 @foo.f_if 和 @foo.f_ff.
@FrankC。我正在考虑稍后改变这件事，但现在我会通过计数器来区分它，因为我不是唯一一个在做这件事的人。

标签： llvm llvm-clang llvm-ir

【解决方案1】：

LLVM IR 没有函数重载是正确的。

根据您的语言中代码的组织方式，使用顺序计数器可能不是一个好主意。如果您只是分配递增的整数，那么在不同文件的编译中这些可能不是确定性的。例如，在 C++ 中，您可能会想像

// library.cpp
int f(int i, float r) { ... }
int f(float r, float r2) { ... }

// user.cpp
extern int f(float r, float r2);
int foo() { return f(1.0, 2.0); }

在编译user.cpp时，编译器无法知道被引用的f实际上将被命名为f.2。

实现函数重载的典型方法是使用name mangling，以某种方式将函数的类型签名编码到其名称中，以便在存在重载时它是唯一的。

【讨论】：

你说得对，我忘了运行时库也可以有同名的函数。

【解决方案2】：

我的生成器是用java编写的，所以每次解析函数定义时，如果作用域表中已经存在函数名，我会增加相同函数名的计数器。

我的表是由 Map 定义的，函数名称为键，函数列表定义为值：

Map<String,ArrayList<functionSymbol>> = new HashMap<>();

然后构造函数将如下所示：

static int counter = 0;
public FunctionSymbol(String functionName, Type retType,  List<Variable> paramList){
     this.functionName = functionName+counter;
     this.paramList = paramList;
     this.retType = retType;
     counter++;
}

【讨论】：