Question

我正在使用LLVM编写的探查器分析Spec2K6基准测试中的一些文件，并且无法理解链接多个.bc文件的正确方法。

例如，基准测试有concat.c，它使用xmalloc.c中定义的xmalloc方法，该方法使用xexit.c中的xexit方法。

我正在使用以下命令链接多个.bc文件，然后再对其进行分析 -

CFLAGS='-D_GNU_SOURCE -D_XOPEN_SOURCE=600 -c -Wall -pedantic -Wno-long-long -g -O0 -    I/net/x/silkyar/llvm/include -I/net/403.gcc/src'
clang $CFLAGS -emit-llvm -c 403.gcc/src/concat.c -o concat.bc
clang $CFLAGS -emit-llvm -c 403.gcc/src/xexit.c -o xexit.bc
clang $CFLAGS -emit-llvm -c 403.gcc/src/xmalloc.c -o xmalloc.bc 
llvm-link concat.bc xexit.bc xmalloc.bc -o a.bc
llc a.bc -o a.s
g++ -o final a.s
./final

但这失败了， llvm-link：'xexit.bc'中的链接错误：链接名为'xexit'的全局变量：符号乘法定义！ /tmp/ccUldT0Y.o:(.debug_info+0x1e）：对.Lline_table_start0' /tmp/ccUldT0Y.o:(.debug_info+0x42f): undefined reference to的未定义引用.Lline_table_start1' /tmp/ccUldT0Y.o:(.debug_info+0x4a0）：未定义引用`.Lline_table_start2' collect2：ld返回1退出状态

有人可以指导我了解llvm-link的工作原理。

感谢。

Answer 1

通常，llvm-link工作正常。这是一个简单的演示（几天前从trunk创建了LLVM）：

$ cat lib.c 
int libfoo(int x) {
    return x * 2;
}

$ cat user.c
int libfoo(int);


int bar(int a, int b) {
    return a + libfoo(b);
}
$ clang -emit-llvm -c user.c -o user.bc
$ clang -emit-llvm -c lib.c -o lib.bc
$ llvm-link lib.bc user.bc -o linked.bc
$ llvm-dis linked.bc
$ cat linked.ll
; ModuleID = 'linked.bc'
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

define i32 @libfoo(i32 %x) nounwind uwtable {
entry:
  %x.addr = alloca i32, align 4
  store i32 %x, i32* %x.addr, align 4
  %0 = load i32* %x.addr, align 4
  %mul = mul nsw i32 %0, 2
  ret i32 %mul
}

define i32 @bar(i32 %a, i32 %b) nounwind uwtable {
entry:
  %a.addr = alloca i32, align 4
  %b.addr = alloca i32, align 4
  store i32 %a, i32* %a.addr, align 4
  store i32 %b, i32* %b.addr, align 4
  %0 = load i32* %a.addr, align 4
  %1 = load i32* %b.addr, align 4
  %call = call i32 @libfoo(i32 %1)
  %add = add nsw i32 %0, %call
  ret i32 %add
}

因此，您必须仔细检查符号重复，丢失等特定代码。

在llvm中链接

1 个答案: