Связывание в llvm

Question

Я профилирую несколько файлов в тесте Spec2K6 с помощью профилировщика, написанного в LLVM, и не могу понять, как правильно связать несколько файлов.bc.

Например, в тесте есть concat.c, который использует метод xmalloc, определенный в xmalloc.c, который использует метод xexit из xexit.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: ошибка ссылки в "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-ссылка.

Благодарю.

Answer 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
}

Таким образом, вы должны тщательно изучить ваш конкретный код на предмет дублирования символов, отсутствия и т. Д.