0

LLVM で記述されたプロファイラーを使用して Spec2K6 ベンチマークでいくつかのファイルをプロファイリングしていますが、複数の .bc ファイルをリンクする正しい方法を理解できません。

たとえば、ベンチマークには、xexit.c の xexit メソッドを使用する xmalloc.c で定義された xmalloc メソッドを使用する concat.c があります。

次のコマンドを使用して、プロファイルを作成する前に複数の .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: link error in 'xexit.bc': Linking globals named 'xexit': symbol multiple defined! で失敗します。/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 に答える