0

我正在使用用 LLVM 编写的分析器对 Spec2K6 基准测试中的一些文件进行分析,并且无法理解链接多个 .bc 文件的正确方法是什么。

例如,benchmark 有 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+0​​x1e): 未定义引用.Lline_table_start0' /tmp/ccUldT0Y.o:(.debug_info+0x42f): undefined reference to.Lline_table_start1' /tmp/ccUldT0Y.o:(.debug_info+0​​x4a0): 未定义引用 `.Lline_table_start2' collect2: ld 返回 1 退出状态

谁能指导我llvm-link的工作原理。

谢谢。

4

1 回答 1

1

一般来说,llvm-link工作正常。这是一个简单的演示(几天前从主干构建的 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
}

因此,您必须仔细检查您的特定代码是否存在符号重复、缺失等。

于 2013-02-09T23:11:57.163 回答